platform/upstream/llvm.git
4 years agobuild: explicitly set the linker language for unwind
Saleem Abdulrasool [Tue, 5 Nov 2019 00:55:31 +0000 (16:55 -0800)]
build: explicitly set the linker language for unwind

The unwinder should not depend on libc++.  In fact, we do not end up
with a link against libc++ as we do not have a dependency on libc++ at
runtime.  This ensures that we link with `clang` rather than `clang++`.

4 years ago[CGDebugInfo] Emit subprograms for decls when AT_tail_call is understood
Vedant Kumar [Sat, 2 Nov 2019 00:20:38 +0000 (17:20 -0700)]
[CGDebugInfo] Emit subprograms for decls when AT_tail_call is understood

Currently, clang emits subprograms for declared functions when the
target debugger or DWARF standard is known to support entry values
(DW_OP_entry_value & the GNU equivalent).

Treat DW_AT_tail_call the same way to allow debuggers to follow cross-TU
tail calls.

Pre-patch debug session with a cross-TU tail call:

```
  * frame #0: 0x0000000100000fa4 main`target at b.c:4:3 [opt]
    frame #1: 0x0000000100000f99 main`main at a.c:8:10 [opt]
```

Post-patch (note that the tail-calling frame, "helper", is visible):

```
  * frame #0: 0x0000000100000fa4 main`target at b.c:4:3 [opt]
    frame #1: 0x0000000100000f80 main`helper [opt] [artificial]
    frame #2: 0x0000000100000f99 main`main at a.c:8:10 [opt]
```

rdar://46577651

Differential Revision: https://reviews.llvm.org/D69743

4 years agoTest commit: adds a . to comment. NFC
Ron Lieberman [Mon, 4 Nov 2019 22:51:03 +0000 (16:51 -0600)]
Test commit: adds a . to comment. NFC

4 years ago[AArch64] Update for Exynos
Evandro Menezes [Mon, 4 Nov 2019 22:12:09 +0000 (16:12 -0600)]
[AArch64] Update for Exynos

Fix the costs of integer division.

4 years agoAdd more binutils tools to LLVM_INSTALL_TOOLCHAIN_ONLY target
Sam Clegg [Wed, 30 Oct 2019 19:50:14 +0000 (12:50 -0700)]
Add more binutils tools to LLVM_INSTALL_TOOLCHAIN_ONLY target

Also add the aliases for these tools so that
LLVM_INSTALL_BINUTILS_SYMLINKS and LLVM_INSTALL_TOOLCHAIN_ONLY can work
together.

Differential Revision: https://reviews.llvm.org/D69635

4 years ago[AST][NFC] Fixes a comment typo
Mark de Wever [Mon, 4 Nov 2019 21:27:53 +0000 (22:27 +0100)]
[AST][NFC] Fixes a comment typo

Also a test for commit access.

4 years ago[AMDGPU] Added assert in SIFoldOperands before ptr use. NFC.
Stanislav Mekhanoshin [Mon, 4 Nov 2019 21:21:19 +0000 (13:21 -0800)]
[AMDGPU] Added assert in SIFoldOperands before ptr use. NFC.

4 years ago[OPENMP][DOCS]Update list of implemented features, NFC.
Alexey Bataev [Mon, 4 Nov 2019 21:28:34 +0000 (16:28 -0500)]
[OPENMP][DOCS]Update list of implemented features, NFC.

4 years agoAdd release notes for commit ccc4d83cda16bea1d9dfd0967dc7d2cfb24b8e75.
James Y Knight [Mon, 4 Nov 2019 17:44:31 +0000 (12:44 -0500)]
Add release notes for commit ccc4d83cda16bea1d9dfd0967dc7d2cfb24b8e75.

(Which was "[ObjC] Diagnose implicit type coercion from ObjC 'Class'
to object pointer types.")

4 years ago[OPENMP50]Support for imperfectly nested loops.
Alexey Bataev [Mon, 4 Nov 2019 14:59:11 +0000 (09:59 -0500)]
[OPENMP50]Support for imperfectly nested loops.

Added support for imperfectly nested loops introduced in OpenMP 5.0.

4 years ago[LLDB][Python] remove ArgInfo::count
Lawrence D'Anna [Mon, 4 Nov 2019 20:48:49 +0000 (12:48 -0800)]
[LLDB][Python] remove ArgInfo::count

Summary:
This patch updates the last user of ArgInfo::count and deletes
it.   I also delete `GetNumInitArguments()` and `GetInitArgInfo()`.
Classess are callables and `GetArgInfo()` should work on them.

On python 3 it already works, of course. `inspect` is good.

On python 2 we have to add yet another special case.   But hey if
python 2 wasn't crufty we wouln't need python 3.

I also delete `is_bound_method` becuase it is unused.

This path is tested in `TestStepScripted.py`

Reviewers: labath, mgorny, JDevlieghere

Reviewed By: labath, JDevlieghere

Subscribers: lldb-commits

Tags: #lldb

Differential Revision: https://reviews.llvm.org/D69742

4 years ago[AMDGPU] deduplicate tablegen predicates
Stanislav Mekhanoshin [Mon, 4 Nov 2019 19:50:18 +0000 (11:50 -0800)]
[AMDGPU] deduplicate tablegen predicates

We are duplicating predicates if several parts of the combined
predicate list contain the same condition. Added code to deduplicate
the list.

We have AssemblerPredicates and AssemblerPredicate in the
PredicateControl, but we never use AssemblerPredicates with an
actual list, so this one is dropped.

This addresses the first part of the llvm bug 43886:
https://bugs.llvm.org/show_bug.cgi?id=43886

Differential Revision: https://reviews.llvm.org/D69815

4 years ago[demangle] NFC: get rid of NodeOrString
Erik Pilkington [Mon, 4 Nov 2019 18:47:44 +0000 (10:47 -0800)]
[demangle] NFC: get rid of NodeOrString

This class was a bit overengineered, and was triggering some PVS warnings.
Instead, put strings into a NameType and let clients unconditionally treat it
as a Node.

4 years agoRemove unused variables, as suggested by @mcgov.
Alexandre Ganea [Mon, 4 Nov 2019 19:55:51 +0000 (14:55 -0500)]
Remove unused variables, as suggested by @mcgov.

Fixes warning: unused variable 'XXX' [-Wunused-const-variable]

4 years agoFix warning: format specifies type 'unsigned long' but the argument has type 'unsigne...
Alexandre Ganea [Mon, 4 Nov 2019 19:36:36 +0000 (14:36 -0500)]
Fix warning: format specifies type 'unsigned long' but the argument has type 'unsigned long long' [-Wformat]

4 years agoclang/Modules: Bring back optimization lost in 31e14f41a21f
Duncan P. N. Exon Smith [Mon, 4 Nov 2019 19:10:09 +0000 (11:10 -0800)]
clang/Modules: Bring back optimization lost in 31e14f41a21f

31e14f41a21f9016050a20f07d5da03db2e8c13e accidentally dropped caching of
failed module loads.  This brings it back by making
ModuleMap::getCachedModuleLoad return an Optional.

4 years ago[X86] Add support for -mvzeroupper and -mno-vzeroupper to match gcc
Craig Topper [Mon, 4 Nov 2019 18:20:00 +0000 (10:20 -0800)]
[X86] Add support for -mvzeroupper and -mno-vzeroupper to match gcc

-mvzeroupper will force the vzeroupper insertion pass to run on
CPUs that normally wouldn't. -mno-vzeroupper disables it on CPUs
where it normally runs.

To support this with the default feature handling in clang, we
need a vzeroupper feature flag in X86.td. Since this flag has
the opposite polarity of the fast-partial-ymm-or-zmm-write we
used to use to disable the pass, we now need to add this new
flag to every CPU except KNL/KNM and BTVER2 to keep identical
behavior.

Remove -fast-partial-ymm-or-zmm-write which is no longer used.

Differential Revision: https://reviews.llvm.org/D69786

4 years ago[SimplifyCFG] Use a (trivially) dominanting widenable branch to remove later slow...
Philip Reames [Mon, 4 Nov 2019 17:40:53 +0000 (09:40 -0800)]
[SimplifyCFG] Use a (trivially) dominanting widenable branch to remove later slow path blocks

This transformation is a variation on the GuardWidening transformation we have checked in as it's own pass. Instead of focusing on merge (i.e. hoisting and simplifying) two widenable branches, this transform makes the observation that simply removing a second slowpath block (by reusing an existing one) is often a very useful canonicalization. This may lead to later merging, or may not. This is a useful generalization when the intermediate block has loads whose dereferenceability is hard to establish.

As noted in the patch, this can be generalized further, and will be.

Differential Revision: https://reviews.llvm.org/D69689

4 years ago[DAGCombine][MSP430] use shift amount threshold in DAGCombine (2/2)
Sanjay Patel [Mon, 4 Nov 2019 18:41:41 +0000 (13:41 -0500)]
[DAGCombine][MSP430] use shift amount threshold in DAGCombine (2/2)

Continuation of:
D69116

Contributes to a fix for PR43559:
https://bugs.llvm.org/show_bug.cgi?id=43559

See also D69099 and D69116

Use the TLI hook in DAGCombine.cpp to guard against creating
shift nodes that are not optimal for a target.

Patch by: @joanlluch (Joan LLuch)

Differential Revision: https://reviews.llvm.org/D69120

4 years ago[lldb] [Process/NetBSD] Add register info for missing register sets
Michał Górny [Thu, 31 Oct 2019 16:04:35 +0000 (17:04 +0100)]
[lldb] [Process/NetBSD] Add register info for missing register sets

Add info for all register sets supported in NetBSD, particularly for all
registers 'expected' by LLDB.  This is necessary in order to fix
python_api/lldbutil/iter/TestRegistersIterator.py test that currently
fails due to missing names of register sets (None).

This copies fpreg descriptions from Linux, and combines Linux' AVX
and MPX registers into a single XState group, to fit NetBSD register
group design.  Technically, we do not support MPX registers
at the moment but gdb-remote insists on passing their errors anyway,
and if we do not include it in any group, they end up in a separate
anonymous group that breaks the test.

While at it, swap the enums for XState and DBRegs to match register set
ordering.

This also adds a few consts to the lldb-x86-register-enums.h to provide
more consistency between user registers and debug registers.

Differential Revision: https://reviews.llvm.org/D69667

4 years ago[lit] Move measurement of testing time out of Run.execute
Julian Lettner [Tue, 26 Feb 2019 05:14:43 +0000 (21:14 -0800)]
[lit] Move measurement of testing time out of Run.execute

4 years ago[lit] Better/earlier errors when no tests are executed
Julian Lettner [Sat, 2 Nov 2019 01:52:50 +0000 (18:52 -0700)]
[lit] Better/earlier errors when no tests are executed

Fail early, when we discover no tests at all, or filter out all of them.

4 years ago[ms] Fix Microsoft compatibility handling of commas in nested macro expansions.
Eric Astor [Wed, 30 Oct 2019 16:44:49 +0000 (12:44 -0400)]
[ms] Fix Microsoft compatibility handling of commas in nested macro expansions.

In Microsoft-compatibility mode, single commas from nested macro expansions
should not be considered as argument separators; we already emulated this by
marking them to be ignored. However, in MSVC's preprocessor, subsequent
expansions DO treat these commas as argument separators... so we now ignore
each comma at most once.

Includes a small unit test that validates we match MSVC's behavior as shown
in https://gcc.godbolt.org/z/y0twaq

Fixes PR43282

Subscribers: cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69626

4 years ago[X86] Fix uninitialized variable warnings. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 17:24:18 +0000 (17:24 +0000)]
[X86] Fix uninitialized variable warnings. NFCI.

4 years agoVirtualFileSystem - fix uninitialized variable warnings. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 17:23:07 +0000 (17:23 +0000)]
VirtualFileSystem - fix uninitialized variable warnings. NFCI.

4 years agocreateMCObjectStreamer - fix uninitialized variable warning. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 17:17:37 +0000 (17:17 +0000)]
createMCObjectStreamer - fix uninitialized variable warning. NFCI.

4 years agoMCDwarfFile::DirIndex - fix uninitialized variable warning. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 17:16:52 +0000 (17:16 +0000)]
MCDwarfFile::DirIndex - fix uninitialized variable warning. NFCI.

4 years agogn build: Merge 40d0d4e2335
LLVM GN Syncbot [Mon, 4 Nov 2019 17:20:23 +0000 (17:20 +0000)]
gn build: Merge 40d0d4e2335

4 years agoFix static analysis warnings in ARM calling convention lowering
Oliver Stannard [Mon, 4 Nov 2019 13:10:37 +0000 (13:10 +0000)]
Fix static analysis warnings in ARM calling convention lowering

Fixes https://bugs.llvm.org/show_bug.cgi?id=43891

4 years agoLower generic MASSV entries to PowerPC subtarget-specific entries
Jinsong Ji [Mon, 4 Nov 2019 16:27:23 +0000 (16:27 +0000)]
Lower generic MASSV entries to PowerPC subtarget-specific entries

This patch (second of two patches) lowers the generic PowerPC vector
entries to PowerPC subtarget-specific entries.
For instance, the PowerPC generic entry 'cbrtd2_massv' is lowered to
'cbrtd2_P9' or Power9 subtarget.

The first patch enables the vectorizer to recognize the IBM MASS vector
library routines. This patch specifically adds support for recognizing
the '-vector-library=MASSV' option, and defines mappings from IEEE
standard scalar math functions to generic PowerPC MASS vector
counterparts.
For instance, the generic PowerPC MASS vector entry for double-precision
'cbrt' function is '__cbrtd2_massv'

The overall support for MASS vector library is presented as such in two
patches for ease of review.

Patch by pjeeva01 (Jeeva P.)
Differential Revision: https://reviews.llvm.org/D59883

4 years agoRecommit "[CodeView] Add option to disable inline line tables."
Amy Huang [Thu, 31 Oct 2019 16:15:53 +0000 (09:15 -0700)]
Recommit "[CodeView] Add option to disable inline line tables."

This reverts commit 004ed2b0d1b86d424643ffc88fce20ad8bab6804.
Original commit hash 6d03890384517919a3ba7fe4c35535425f278f89

Summary:
This adds a clang option to disable inline line tables. When it is used,
the inliner uses the call site as the location of the inlined function instead of
marking it as an inline location with the function location.

https://reviews.llvm.org/D67723

4 years agoELF: Discard .ARM.exidx sections for empty functions instead of misordering them.
Peter Collingbourne [Sat, 2 Nov 2019 01:48:59 +0000 (18:48 -0700)]
ELF: Discard .ARM.exidx sections for empty functions instead of misordering them.

The logic added in r372781 caused ARMExidxSyntheticSection::addSection()
to return false for exidx sections without a link order dep that passed
isValidExidxSectionDep(). This included exidx sections for empty functions. As
a result, such exidx sections would end up treated like ordinary sections and
would end up being laid out before the ARMExidxSyntheticSection, most likely in
the wrong order relative to the exidx entries in the ARMExidxSyntheticSection,
breaking the orderedness invariant relied upon by unwinders. Fix this by
simply discarding such sections.

Differential Revision: https://reviews.llvm.org/D69744

4 years ago[FPEnv][SelectionDAG] Refactor strict FP node construction
Ulrich Weigand [Mon, 4 Nov 2019 16:42:32 +0000 (17:42 +0100)]
[FPEnv][SelectionDAG] Refactor strict FP node construction

Small refactoring in visitConstrainedFPIntrinsic that should make
it easier to create DAG nodes requiring extra arguments.  That is
the case currently only for STRICT_FP_ROUND, but may be the case
for additional nodes (in particular compares) in the future.

Extracted from the patch for D69281.

NFC.

4 years ago[Sema] Make helper in TreeTransform.h 'inline' instead of 'static'. NFC
Ilya Biryukov [Mon, 4 Nov 2019 08:20:38 +0000 (09:20 +0100)]
[Sema] Make helper in TreeTransform.h 'inline' instead of 'static'. NFC

Summary:
There seems to be no evidence that having internal linkage for the function
was intentional. Since 'static' functions are normally used only in .cpp
files, using 'inline' in the header file is more appropriate.

Reviewers: Anastasia

Reviewed By: Anastasia

Subscribers: merge_guards_bot, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D69242

4 years agoFix buildbots troubled by b7b170c.
Jonas Paulsson [Mon, 4 Nov 2019 15:52:41 +0000 (16:52 +0100)]
Fix buildbots troubled by b7b170c.

Add '# REQUIRES: systemz-registered-target' in the new tests.

4 years ago[SLP]Fix PR43799: Crash on different sizes of GEP indices.
Alexey Bataev [Wed, 30 Oct 2019 16:51:58 +0000 (12:51 -0400)]
[SLP]Fix PR43799: Crash on different sizes of GEP indices.

Summary:
If the GEP instructions are going to be vectorized, the indices in those
GEP instructions must be of the same type. Otherwise, the compiler may
crash when trying to build the vector constant.

Reviewers: RKSimon, spatel

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69627

4 years ago[X86] Convert ShrinkMode to scoped enum class. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 15:32:57 +0000 (15:32 +0000)]
[X86] Convert ShrinkMode to scoped enum class. NFCI.

4 years agoAliasSetTracker - fix uninitialized variable warnings. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 15:30:18 +0000 (15:30 +0000)]
AliasSetTracker - fix uninitialized variable warnings. NFCI.

4 years ago[Diagnostics] Improve some error messages related to bad use of dynamic_cast
Dávid Bolvanský [Mon, 4 Nov 2019 15:26:21 +0000 (16:26 +0100)]
[Diagnostics] Improve some error messages related to bad use of dynamic_cast

4 years ago[test] Use system locale for mri-utf8.test
Thomas Preud'homme [Thu, 10 Oct 2019 11:48:30 +0000 (11:48 +0000)]
[test] Use system locale for mri-utf8.test

Summary:
llvm-ar's mri-utf8.test test relies on the en_US.UTF-8 locale to be
installed for its last RUN line to work. If not installed, the unicode
string gets encoded (interpreted) as ascii which fails since the most
significant byte is non zero. This commit changes the test to only rely
on the system being able to encode the pound sign in its default
encoding (e.g. UTF-16 for Microsoft Windows) by always opening the file
via input/output redirection. This avoids forcing a given locale to be
present and supported. A Byte Order Mark is also added to help
recognizing the encoding of the file and its endianness. Finally the
XFAIL on system-darwin is removed since the test actually passes fine on
Mac OS X and XFAIL was only added because it failed before.

Reviewers: gbreynoo, MaskRay, rupprecht, JamesNagurne, jfb

Subscribers: dexonsmith, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D68472

4 years ago[SystemZ] Use LivePhysRegs instead of isCCLiveOut() in SystemZElimCompare.cpp
Jonas Paulsson [Mon, 4 Nov 2019 15:11:12 +0000 (16:11 +0100)]
[SystemZ]  Use LivePhysRegs instead of isCCLiveOut() in SystemZElimCompare.cpp

Review: Ulrich Weigand
https://reviews.llvm.org/D68267

4 years ago[MachineVerifier] Improve verification of live-in lists.
Jonas Paulsson [Mon, 4 Nov 2019 14:59:18 +0000 (15:59 +0100)]
[MachineVerifier]  Improve verification of live-in lists.

MachineVerifier::visitMachineFunctionAfter() is extended to check the
live-through case for live-in lists. This is only done for registers without
aliases and that are neither allocatable or reserved, such as the SystemZ::CC
register.

The MachineVerifier earlier only catched the case of a live-in use without
an entry in the live-in list (as "using an undefined physical register").

A comment in LivePhysRegs.h has been added stating a guarantee that
addLiveOuts() can be trusted for a full register both before and after
register allocation.

Review: Quentin Colombet
https://reviews.llvm.org/D68267

4 years agoSanitizerMask::bitPosToMask - fix operator precedence warnings. NFCI.
Simon Pilgrim [Mon, 4 Nov 2019 15:07:37 +0000 (15:07 +0000)]
SanitizerMask::bitPosToMask - fix operator precedence warnings. NFCI.

Fix static analyzer operator precedence warnings with suitable bracketing. Pull out the mask generation code so clang-format doesn't make such a mess of it.

4 years ago[X86] Regenerate known-signbits-vector.ll tests.
Simon Pilgrim [Mon, 4 Nov 2019 13:17:14 +0000 (13:17 +0000)]
[X86] Regenerate known-signbits-vector.ll tests.

Use X86 instead of X32 and add a common CHECK prefix

4 years ago[OpenCL] Fix FileCheck pattern
Sven van Haastregt [Mon, 4 Nov 2019 14:51:24 +0000 (14:51 +0000)]
[OpenCL] Fix FileCheck pattern

For this test, FileCheck is not run with the CHECK prefix; it seems
COMMON was intended here.

4 years ago[ARM] Use isFMAFasterThanFMulAndFAdd for MVE
David Green [Mon, 4 Nov 2019 14:06:04 +0000 (14:06 +0000)]
[ARM] Use isFMAFasterThanFMulAndFAdd for MVE

The Arm backend will usually return false for isFMAFasterThanFMulAndFAdd,
where both the fused VFMA.f32 and a non-fused VMLA.f32 are usually
available for scalar code. For MVE we don't have the non-fused version
though. It makes more sense for isFMAFasterThanFMulAndFAdd to return
true, allowing us to simplify some of the existing ISel patterns.

The tests here are that non of the existing tests failed, and so we are
still selecting VFMA and VFMS. The one test that changed shows we can
now select from fast math flags, as opposed to just relying on the
isFMADLegalForFAddFSub option.

Differential Revision: https://reviews.llvm.org/D69115

4 years ago[IR] adjust assert when replacing undef elements in vector constant
Sanjay Patel [Mon, 4 Nov 2019 15:02:08 +0000 (10:02 -0500)]
[IR] adjust assert when replacing undef elements in vector constant

As noted in follow-up to:
rGa1e8ad4f2fa7

It's not safe to assume that an element of the constant is always
non-null. It's definitely not an expected case for the current
instcombine user, but that may not hold if this function is
eventually called from arbitrary places.

4 years agoFix compilation warning. NFC.
Michael Liao [Mon, 4 Nov 2019 14:59:39 +0000 (09:59 -0500)]
Fix compilation warning. NFC.

4 years ago[SystemZ] Fix typo
Ulrich Weigand [Mon, 4 Nov 2019 15:00:32 +0000 (16:00 +0100)]
[SystemZ] Fix typo

Typo in comment.  NFC.

4 years agogn build: (manually) merge 51b4b17eb
Nico Weber [Mon, 4 Nov 2019 14:51:41 +0000 (09:51 -0500)]
gn build: (manually) merge 51b4b17eb

Also reverts r353980 since that duplicated the GenAsmMatcher target for
AArch64. Instead use visiblity.

4 years agogn build: run "gn format"
Nico Weber [Mon, 4 Nov 2019 14:50:16 +0000 (09:50 -0500)]
gn build: run "gn format"

4 years agogn build: add deps, see discussion on D69130
Nico Weber [Mon, 4 Nov 2019 14:18:05 +0000 (09:18 -0500)]
gn build: add deps, see discussion on D69130

4 years agoRevert "[LV] Apply sink-after & interleave-groups as VPlan transformations (NFC)"
Benjamin Kramer [Mon, 4 Nov 2019 14:04:42 +0000 (15:04 +0100)]
Revert "[LV] Apply sink-after & interleave-groups as VPlan transformations (NFC)"

This reverts commit 2be17087f8c38934b7fc9208ae6cf4e9b4d44f4b. Fails ASAN.

4 years ago[ARM] More MVE shuffle tests for sequences that can be converted to VMOVS. NFC.
David Green [Mon, 4 Nov 2019 13:38:09 +0000 (13:38 +0000)]
[ARM] More MVE shuffle tests for sequences that can be converted to VMOVS. NFC.

4 years ago[ARM] Add vrev32 NEON fp16 patterns
David Green [Mon, 4 Nov 2019 13:33:22 +0000 (13:33 +0000)]
[ARM] Add vrev32 NEON fp16 patterns

Fill in the gaps for vrev32.16 f16 patterns, extending the existing i16
patterns.

Differential Revision: https://reviews.llvm.org/D69508

4 years ago[InstSimplify] use FMF to improve fcmp+select fold
Sanjay Patel [Mon, 4 Nov 2019 13:29:56 +0000 (08:29 -0500)]
[InstSimplify] use FMF to improve fcmp+select fold

This is part of a series of patches needed to solve PR39535:
https://bugs.llvm.org/show_bug.cgi?id=39535

4 years ago[InstSimplify] add more tests for fcmp+select; NFC
Sanjay Patel [Mon, 4 Nov 2019 13:23:08 +0000 (08:23 -0500)]
[InstSimplify] add more tests for fcmp+select; NFC

The easy code fix won't catch non-canonical mismatched
constant patterns, so adding extra coverage for those in
case we decide that's important (but seems unlikely).

4 years ago[OpenCL] Fix address space for const method call from nonconst (PR43145)
Sven van Haastregt [Mon, 4 Nov 2019 13:12:17 +0000 (13:12 +0000)]
[OpenCL] Fix address space for const method call from nonconst (PR43145)

Patch by Anastasia Stulova and Sven van Haastregt.

Differential Revision: https://reviews.llvm.org/D68781

4 years ago[SystemZ] Add GHC calling convention
Ulrich Weigand [Mon, 4 Nov 2019 12:26:38 +0000 (13:26 +0100)]
[SystemZ] Add GHC calling convention

This is a special calling convention to be used by the GHC compiler.

Author: Stefan Schulze Frielinghaus
Differential Revision: https://reviews.llvm.org/D69024

4 years ago[InstSimplify] add more tests for fcmp+select; NFC
Sanjay Patel [Mon, 4 Nov 2019 12:36:03 +0000 (07:36 -0500)]
[InstSimplify] add more tests for fcmp+select; NFC

The addition of FMF for select allows more folding for these
kinds of patterns.

4 years ago[llvm-readobj] Change errors to warnings for symbol section name dumping
James Henderson [Mon, 4 Nov 2019 12:00:39 +0000 (12:00 +0000)]
[llvm-readobj] Change errors to warnings for symbol section name dumping

Also only print each such warning once.

LLVM-style output will now print "<?>" for sections it cannot identify,
e.g. because the section index is invalid. GNU output continues to print
the raw index. In both cases where the st_shndx value is SHN_XINDEX and
the index cannot be looked up in the SHT_SYMTAB_SHNDX section (e.g.
because it is missing), the symbol is printed like other symbols with
st_shndx >= SHN_LORESERVE.

Reviewed by: grimar, MaskRay

Differential Revision: https://reviews.llvm.org/D69671

4 years ago[X86] SimplifyDemandedVectorElts - attempt to recombine target shuffle using Demanded...
Simon Pilgrim [Mon, 4 Nov 2019 11:37:42 +0000 (11:37 +0000)]
[X86] SimplifyDemandedVectorElts - attempt to recombine target shuffle using DemandedElts mask (REAPPLIED)

If we don't demand all elements, then attempt to combine to a simpler shuffle.

At the moment we can only do this if Depth == 0 as combineX86ShufflesRecursively uses Depth to track whether the shuffle has really changed or not - we'll need to change this before we can properly start merging combineX86ShufflesRecursively into SimplifyDemandedVectorElts (see D66004).

This reapplies rL368307 (reverted at rL369167) after the fix for the infinite loop reported at PR43024 was applied at rG3f087e38a2e7b87a5adaaac1c1b61e51220e7ff3

4 years ago[FIX] Removed duplicated v4f16 and v8f16 declarations
Diogo Sampaio [Mon, 4 Nov 2019 10:41:32 +0000 (10:41 +0000)]
[FIX] Removed duplicated v4f16 and v8f16 declarations

Reviewers: RKSimon, ostannard

Reviewed By: RKSimon

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69795

4 years ago[RISCV] Implement the TargetLowering::getRegisterByName hook
Luís Marques [Mon, 4 Nov 2019 11:21:51 +0000 (11:21 +0000)]
[RISCV] Implement the TargetLowering::getRegisterByName hook

Summary: The hook should work for any RISC-V register. Non-allocatable registers
do not need to be reserved, for the remaining the hook will only succeed
if you pass clang the -ffixed-xX flag. This builds upon D67185, which
currently only allows reserving GPRs.

Reviewers: asb, lenary

Reviewed By: lenary

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69130

4 years ago[hwasan] Remove lazy thread-initialisation
David Spickett [Mon, 4 Nov 2019 10:58:46 +0000 (10:58 +0000)]
[hwasan] Remove lazy thread-initialisation

This was an experiment made possible by a non-standard feature of the
Android dynamic loader.

It required introducing a flag to tell the compiler which ABI was being
targeted.
This flag is no longer needed, since the generated code now works for
both ABI's.

We leave that flag untouched for backwards compatibility. This also
means that if we need to distinguish between targeted ABI's again
we can do that without disturbing any existing workflows.

We leave a comment in the source code and mention in the help text to
explain this for any confused person reading the code in the future.

Patch by Matthew Malcomson

Differential Revision: https://reviews.llvm.org/D69574

4 years ago[lldb][NFC] Remove Ocaml from TypeSystem::LLVMCastKind
Raphael Isemann [Mon, 4 Nov 2019 10:14:26 +0000 (11:14 +0100)]
[lldb][NFC] Remove Ocaml from TypeSystem::LLVMCastKind

Ocaml support was removed.

4 years ago[lldb][NFC] Remove unused ExpressionParser::Parse
Raphael Isemann [Mon, 4 Nov 2019 10:12:27 +0000 (11:12 +0100)]
[lldb][NFC] Remove unused ExpressionParser::Parse

Summary:
This function is only used internally by ClangExpressionParser. By putting it in the ExpressionParser class all languages
that implement ExpressionParser::Parse have to share the same signature (which forces us in downstream to add
swift-specific arguments to ExpressionParser::Parse which then propagate to ClangExpressionParser and so on).

Reviewers: davide

Subscribers: JDevlieghere, lldb-commits

Tags: #upstreaming_lldb_s_downstream_patches, #lldb

Differential Revision: https://reviews.llvm.org/D69710

4 years ago[SystemZ] Improve handling of huge PC relative immediate offsets.
Jonas Paulsson [Sat, 2 Nov 2019 08:38:25 +0000 (09:38 +0100)]
[SystemZ]  Improve handling of huge PC relative immediate offsets.

Demand that an immediate offset to a PC relative address fits in 32 bits, or
else load it into a register and perform a separate add.

Verify in the assembler that such immediate offsets fit the bitwidth.

Even though the final address of a Load Address Relative Long may fit in 32
bits even with a >32 bit offset (depending on where the symbol lives relative
to PC), the GNU toolchain demands the offset by itself to be in range. This
patch adapts the same behavior for llvm.

Review: Ulrich Weigand
https://reviews.llvm.org/D69749

4 years ago[LV] Apply sink-after & interleave-groups as VPlan transformations (NFC)
Gil Rapaport [Mon, 7 Oct 2019 14:24:33 +0000 (17:24 +0300)]
[LV] Apply sink-after & interleave-groups as VPlan transformations (NFC)

The sink-after and interleave-group vectorization decisions were so far applied to
VPlan during initial VPlan construction, which complicates VPlan construction – also because of
their inter-dependence. This patch refactors buildVPlanWithRecipes() to construct a simpler
initial VPlan and later apply both these vectorization decisions, in order, as VPlan-to-VPlan
transformations.

Differential Revision: https://reviews.llvm.org/D68577

4 years ago[lldb][NFC] Make test/python_api/module_section test smaller
Raphael Isemann [Mon, 4 Nov 2019 08:25:01 +0000 (09:25 +0100)]
[lldb][NFC] Make test/python_api/module_section test smaller

Summary:
I don't see why this test needs to compile this rather complicated file for just testing module sections. This just removes all this code with a simple
"Hello world!" program which should be faster to compile

Reviewers: labath, davide, JDevlieghere

Reviewed By: JDevlieghere

Subscribers: jfb, lldb-commits

Tags: #lldb

Differential Revision: https://reviews.llvm.org/D69705

4 years ago[lldb] Also disable de-registration of EHFrames in IRExecutionUnit
Raphael Isemann [Mon, 4 Nov 2019 08:23:37 +0000 (09:23 +0100)]
[lldb] Also disable de-registration of EHFrames in IRExecutionUnit

Summary:
We disabled registration by providing an empty `registerEHFrames`, so we should also provide an empty `deregisterEHFrames`
in case that function relies on `registerEHFrames` being called before. Currently `deregisterEHFrames` is a no-op anyway
as it just iterates over the (empty( list of registered EHFrames and then clear the empty list.

Reviewers: davide, JDevlieghere

Reviewed By: JDevlieghere

Subscribers: JDevlieghere, lldb-commits

Tags: #upstreaming_lldb_s_downstream_patches, #lldb

Differential Revision: https://reviews.llvm.org/D69713

4 years ago[lldb] Provide a getter for m_materializer_up in LLVMUserExpression instead of relyin...
Raphael Isemann [Mon, 4 Nov 2019 08:05:24 +0000 (09:05 +0100)]
[lldb] Provide a getter for m_materializer_up in LLVMUserExpression instead of relying on it being accessible.

Summary:
Motivated by Swift using the materializer in a few places which requires us to add this getter ourselves.
We also need a setter, but let's keep this minimal to unblock the downstream reverts in Swift.

Reviewers: davide

Reviewed By: davide

Subscribers: abidh, JDevlieghere, lldb-commits

Tags: #upstreaming_lldb_s_downstream_patches, #lldb

Differential Revision: https://reviews.llvm.org/D69714

4 years ago[lldb] Add trailing dots to comments in Value.cpp
Raphael Isemann [Mon, 4 Nov 2019 07:35:56 +0000 (08:35 +0100)]
[lldb] Add trailing dots to comments in Value.cpp

Reviewers: JDevlieghere

Reviewed By: JDevlieghere

Subscribers: JDevlieghere, lldb-commits

Tags: #upstreaming_lldb_s_downstream_patches, #lldb

Differential Revision: https://reviews.llvm.org/D69717

4 years ago Set the floating point status register as reserved
Pengfei Wang [Mon, 4 Nov 2019 07:13:51 +0000 (23:13 -0800)]
 Set the floating point status register as reserved

Summary:
This patch sets the FPSW (X87 floating-point status register) as a reserved
physical register and fix the test failure caused by [[ https://reviews.llvm.org/D68854| D68854 ]].

Before this patch, some tests will fail because it implicit uses FPSW without
define it. Setting the FPSW as a reserved physical register will skip liveness
analysis because it is always live.

Reviewers: pengfei, craig.topper

Reviewed By: craig.topper

Subscribers: craig.topper, hiraditya, llvm-commits

Patch by LiuChen.

Differential Revision: https://reviews.llvm.org/D69784

4 years agoclang/Modules: Sink CompilerInstance::KnownModules into ModuleMap
Duncan P. N. Exon Smith [Mon, 4 Nov 2019 03:29:29 +0000 (19:29 -0800)]
clang/Modules: Sink CompilerInstance::KnownModules into ModuleMap

Avoid use-after-frees when FrontendAction::BeginSourceFile is called
twice on the same CompilerInstance by sinking
CompilerInstance::KnownModules into ModuleMap.  On the way, rename the
map to CachedModuleLoads.  I considered (but rejected) merging this with
ModuleMap::Modules, since that only has top-level modules and this map
includes submodules.

This is an alternative to https://reviews.llvm.org/D58497.  Thanks to
nemanjai for the detailed analysis of the problem!

4 years ago[compiler-rt] [msan] Correct the __libc_thr_keycreate prototype
Kamil Rytarowski [Mon, 4 Nov 2019 00:10:59 +0000 (01:10 +0100)]
[compiler-rt] [msan] Correct the __libc_thr_keycreate prototype

Fixes build with GCC8.

4 years ago[compiler-rt] [msan] Support POSIX iconv(3) on NetBSD 9.99.17+
Kamil Rytarowski [Mon, 4 Nov 2019 00:08:53 +0000 (01:08 +0100)]
[compiler-rt] [msan] Support POSIX iconv(3) on NetBSD 9.99.17+

Fixes build of test.

4 years ago[mips] Move test case for Octeon instructions to cnmips sub-folder. NFC
Simon Atanasyan [Sun, 3 Nov 2019 18:46:57 +0000 (21:46 +0300)]
[mips] Move test case for Octeon instructions to cnmips sub-folder. NFC

4 years ago[mips] Add disassembler tests for `octeon` CPU. NFC
Simon Atanasyan [Sun, 3 Nov 2019 16:12:19 +0000 (19:12 +0300)]
[mips] Add disassembler tests for `octeon` CPU. NFC

4 years ago[mips] Add disassembler tests for `sigrie` instruction. NFC
Simon Atanasyan [Sun, 3 Nov 2019 15:22:32 +0000 (18:22 +0300)]
[mips] Add disassembler tests for `sigrie` instruction. NFC

4 years ago[X86][SSE] combineX86ShufflesRecursively - at Depth==0, only resolve KnownZero if...
Simon Pilgrim [Sun, 3 Nov 2019 21:10:22 +0000 (21:10 +0000)]
[X86][SSE] combineX86ShufflesRecursively - at Depth==0, only resolve KnownZero if it removes an input.

This stops infinite loops where KnownUndef elements are converted to Zeroable, resulting in KnownZero elements which are then simplified (via SimplifyDemandedElts etc.) back to KnownUndef elements........

Prep fix for PR43024 which will allow rL368307 to be re-applied.

4 years ago[SIMachineScheduler] Fixed ''then' statement is equivalent to the 'else' statement...
Dávid Bolvanský [Sun, 3 Nov 2019 19:40:53 +0000 (20:40 +0100)]
[SIMachineScheduler] Fixed ''then' statement is equivalent to the 'else' statement.' warning. NFCI.

4 years ago[SILoadStoreOptimizer] Fixed typo. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:38:29 +0000 (20:38 +0100)]
[SILoadStoreOptimizer] Fixed typo. NFCI.

4 years agoReland '[InstructionCombining] Fixed null check after dereferencing warning. NFCI.'
Dávid Bolvanský [Sun, 3 Nov 2019 19:34:54 +0000 (20:34 +0100)]
Reland '[InstructionCombining] Fixed null check after dereferencing warning. NFCI.'

4 years agoRevert "[InstructionCombining] Fixed null check after dereferencing warning. NFCI."
Dávid Bolvanský [Sun, 3 Nov 2019 19:31:05 +0000 (20:31 +0100)]
Revert "[InstructionCombining] Fixed null check after dereferencing warning. NFCI."

This reverts commit 8308187fd9bfa08ffad0a636d4dd1d25e7de5a76. This exposed a bug.

4 years ago[SCEV] Fixed 'Uninitialized variable 'ContainsAddRec' used.' warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:28:45 +0000 (20:28 +0100)]
[SCEV] Fixed 'Uninitialized variable 'ContainsAddRec' used.' warning. NFCI.

4 years ago[MemorySSA] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:27:40 +0000 (20:27 +0100)]
[MemorySSA] Fixed null check after dereferencing warning. NFCI.

4 years agoRevert "[InstructionCompares] Fixed null check after dereferencing warning. NFCI."
Dávid Bolvanský [Sun, 3 Nov 2019 19:24:01 +0000 (20:24 +0100)]
Revert "[InstructionCompares] Fixed null check after dereferencing warning. NFCI."

This reverts commit b8685cf3042f6a2e129061922bd6b18e3c42258e.

4 years ago[InstructionCompares] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:13:45 +0000 (20:13 +0100)]
[InstructionCompares] Fixed null check after dereferencing warning. NFCI.

4 years ago[InstructionCombining] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:10:46 +0000 (20:10 +0100)]
[InstructionCombining] Fixed null check after dereferencing warning. NFCI.

4 years ago[CHR] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:06:38 +0000 (20:06 +0100)]
[CHR] Fixed null check after dereferencing warning. NFCI.

4 years ago[LoopUnrollRuntime] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:03:54 +0000 (20:03 +0100)]
[LoopUnrollRuntime] Fixed null check after dereferencing warning. NFCI.

4 years ago[LoopUnrollAndJam] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 19:02:54 +0000 (20:02 +0100)]
[LoopUnrollAndJam] Fixed null check after dereferencing warning. NFCI.

4 years ago[BitcodeReader] Fixed use after move warnings. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 18:45:25 +0000 (19:45 +0100)]
[BitcodeReader] Fixed use after move warnings. NFCI.

4 years ago[BitcodeReader] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 18:42:11 +0000 (19:42 +0100)]
[BitcodeReader] Fixed null check after dereferencing warning. NFCI.

4 years ago[BitcodeReader] Fixed null pointer dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 18:40:26 +0000 (19:40 +0100)]
[BitcodeReader] Fixed null pointer dereferencing warning. NFCI.

4 years ago[SelectionDAG] Fixed null check after dereferencing warning. NFCI.
Dávid Bolvanský [Sun, 3 Nov 2019 18:34:03 +0000 (19:34 +0100)]
[SelectionDAG] Fixed null check after dereferencing warning. NFCI.

4 years ago[opaque pointer types] Add element type argument to IRBuilder CreatePreserveStructAcc...
Craig Topper [Sun, 3 Nov 2019 17:30:08 +0000 (09:30 -0800)]
[opaque pointer types] Add element type argument to IRBuilder CreatePreserveStructAccessIndex and CreatePreserveArrayAccessIndex

Summary:
These were the only remaining users of the GetElementPtrInst::getGEPReturnType
method that gets the element type from the pointer type.

Remove that method since its now dead.

Reviewers: jyknight, t.p.northover, arsenm

Reviewed By: arsenm

Subscribers: wdng, arsenm, arphaman, cfe-commits, llvm-commits

Tags: #clang, #llvm

Differential Revision: https://reviews.llvm.org/D69756

4 years agogn build: (manually) merge 3a399c09 / add76dd3c
Nico Weber [Sun, 3 Nov 2019 17:52:12 +0000 (12:52 -0500)]
gn build: (manually) merge 3a399c09 / add76dd3c

4 years ago[X86][SSE] combineX86ShufflesRecursively - don't bother merging shuffles with empty...
Simon Pilgrim [Sun, 3 Nov 2019 17:45:32 +0000 (17:45 +0000)]
[X86][SSE] combineX86ShufflesRecursively - don't bother merging shuffles with empty roots. NFCI.

This doesn't affect actual codegen, but is a minor refactor toward fixing PR43024 where we need to avoid excess changes (folding zeroables etc.) to the shuffle mask at Depth == 0.