Joe Nash [Fri, 16 Apr 2021 17:22:23 +0000 (13:22 -0400)]
[AMDGPU] Remove redundant field from DPP8 def
These lines set the value to what it already was,
so they are redundant. NFC
Reviewed By: rampitec
Differential Revision: https://reviews.llvm.org/D100664
Change-Id: Ibf6f27d50a7fa1f76c127f01b799821378bfd3b3
Joe Nash [Fri, 16 Apr 2021 17:15:50 +0000 (13:15 -0400)]
[AMDGPU] NFC, Comment in disassembler for dpp8
Gives reasoning for convertDPP8.
Also corrects typo in Operand type comment.
Reviewed By: rampitec
Differential Revision: https://reviews.llvm.org/D100665
Change-Id: I33ff269db8072d83e5e0ecdbfb731d6000fc26c4
Craig Topper [Fri, 16 Apr 2021 20:16:47 +0000 (13:16 -0700)]
[TableGen] Predicate::operator== needs to compare the HwMode feature name in addition to the HwMode flag.
This was causing GenerateVariants to lose some variants since
HwMode is expanded first. We were mistakenly thinking the HwMode
predicate matched and finding the variant was isomorphic to a
pattern in another HwMode and discarding it.
Found while investigating it if would be better to generate
variants before expanding HwModes to improve RISCV build time.
I noticed an increase in the number of Opc_MorphNodeTo in the table
which indicated that the number of patterns had changed.
Tony [Thu, 10 Dec 2020 04:07:04 +0000 (04:07 +0000)]
[AMDGPU] Enforce that gfx802/803/805 do not support XNACK
Reviewed By: kzhuravl
Differential Revision: https://reviews.llvm.org/D100679
Jonas Devlieghere [Wed, 14 Apr 2021 23:34:04 +0000 (16:34 -0700)]
[lldb] Add code and data address mask to Process
Add a code and data address mask to Process with respective getters and
setters and a setting that allows the user to specify the mast as a
number of addressable bits. The masks will be used by FixCodeAddress and
FixDataAddress respectively in the ABI classes.
Differential revision: https://reviews.llvm.org/D100515
Fangrui Song [Fri, 16 Apr 2021 19:18:45 +0000 (12:18 -0700)]
[ELF] Default to -z start-stop-gc with a glibc "__libc_" special case
Change the default to facilitate GC for metadata section usage, so that they
don't need SHF_LINK_ORDER or SHF_GROUP just to drop the unhelpful rule (if they
want to be unconditionally retained, use SHF_GNU_RETAIN
(`__attribute__((retain))`) or linker script `KEEP`).
The dropped SHF_GROUP special case makes the behavior of -z start-stop-gc and -z
nostart-stop-gc closer to GNU ld>=2.37 (https://sourceware.org/PR27451).
However, we default to -z start-stop-gc (which actually matches more closely to
GNU ld before 2015-10 https://sourceware.org/PR19167), which is different from
modern GNU ld (which has the unhelpful rule to work around glibc). As a
compensation, we special case `__libc_` sections as a workaround for glibc<2.34
(https://sourceware.org/PR27492).
Since -z start-stop-gc as the default actually matches the traditional GNU ld
behavior, there isn't much to be aware of. There was a systemd usage which has
been fixed by https://github.com/systemd/systemd/pull/19144
Thomas Lively [Fri, 16 Apr 2021 19:11:20 +0000 (12:11 -0700)]
[WebAssembly] Remove saturating fp-to-int target intrinsics
Use the target-independent @llvm.fptosi and @llvm.fptoui intrinsics instead.
This includes removing the instrinsics for i32x4.trunc_sat_zero_f64x2_{s,u},
which are now represented in IR as a saturating truncation to a v2i32 followed by
a concatenation with a zero vector.
Differential Revision: https://reviews.llvm.org/D100596
Björn Schäpers [Thu, 15 Apr 2021 18:49:46 +0000 (20:49 +0200)]
DeclContext: Fix iterator category
This amends
0cb7e7ca0c864e052bf49978f3bcd667c9e16930.
The iterator category of lookup_iterator was changed, but here it stayed
hardcoded as random access. Found while trying to build Clazy.
Differential-Revision: https://reviews.llvm.org/D100590
Benjamin Kramer [Fri, 16 Apr 2021 18:47:38 +0000 (20:47 +0200)]
[tblgen] Fold loop into assert to avoid unused variable warnings. NFCI.
Philip Reames [Fri, 16 Apr 2021 18:37:36 +0000 (11:37 -0700)]
[nofree] Restrict semantics to memory visible to caller
This patch clarifies the semantics of the nofree function attribute to make clear that it provides an "as if" semantic. That is, a nofree function is guaranteed not to free memory which existed before the call, but might allocate and then deallocate that same memory within the lifetime of the callee.
This is the result of the discussion on llvm-dev under the thread "Ambiguity in the nofree function attribute".
The most important part of this change is the LangRef wording. The rest is minor comment changes to emphasize the new semantics where code was accidentally consistent, and fix one place which wasn't consistent. That one place is currently narrowly used as it is primarily part of the ongoing (and not yet enabled) deref-at-point semantics work.
Differential Revision: https://reviews.llvm.org/D100141
Dávid Bolvanský [Fri, 16 Apr 2021 18:34:03 +0000 (20:34 +0200)]
[Builtins] Add memory allocation builtins (PR12543)
Artem Belevich [Thu, 15 Apr 2021 20:48:28 +0000 (13:48 -0700)]
[CUDA, FDO] Filter out profiling options from GPU-side compilations.
Differential Revision: https://reviews.llvm.org/D100598
Vitaly Buka [Fri, 16 Apr 2021 18:28:41 +0000 (11:28 -0700)]
Address D100645 comment
Vitaly Buka [Fri, 16 Apr 2021 16:50:24 +0000 (09:50 -0700)]
Sanitizer built against glibc 2.34 doesn't work
As mentioned in https://gcc.gnu.org/PR100114 , glibc starting with the
https://sourceware.org/git/?p=glibc.git;a=commit;h=
6c57d320484988e87e446e2e60ce42816bf51d53
change doesn't define SIGSTKSZ and MINSIGSTKSZ macros to constants, but to sysconf function call.
sanitizer_posix_libcdep.cpp has
static const uptr kAltStackSize = SIGSTKSZ * 4; // SIGSTKSZ is not enough.
which is generally fine, just means that when SIGSTKSZ is not a compile time constant will be initialized later.
The problem is that kAltStackSize is used in SetAlternateSignalStack which is called very early, from .preinit_array
initialization, i.e. far before file scope variables are constructed, which means it is not initialized and
mmapping 0 will fail:
==145==ERROR: AddressSanitizer failed to allocate 0x0 (0) bytes of SetAlternateSignalStack (error code: 22)
Here is one possible fix, another one could be to make kAltStackSize a preprocessor macro if _SG_SIGSTKSZ is defined
(but perhaps with having an automatic const variable initialized to it so that sysconf isn't at least called twice
during SetAlternateSignalStack.
Reviewed By: vitalybuka
Differential Revision: https://reviews.llvm.org/D100645
Caroline Tice [Fri, 16 Apr 2021 18:06:19 +0000 (11:06 -0700)]
[LLDB] Re-land: Use path relative to binary for finding .dwo files.
DWARF allows .dwo file paths to be relative rather than absolute. When
they are relative, DWARF uses DW_AT_comp_dir to find the .dwo
file. DW_AT_comp_dir can also be relative, making the entire search
patch for the .dwo file relative. In this case, LLDB currently
searches relative to its current working directory, i.e. the directory
from which the debugger was launched. This is not right, as the
compiler, which generated the relative paths, can have no idea where
the debugger will be launched. The correct thing is to search relative
to the location of the executable binary. That is what this patch
does.
Differential Revision: https://reviews.llvm.org/D97786
Min-Yih Hsu [Fri, 16 Apr 2021 17:53:17 +0000 (10:53 -0700)]
[M68k] Fix empty builtin va_list kind
Clang _requires_ every target to provide a va_list kind so we shouldn't
put a llvm_unreachable there. Using `VoidPtrBuiltinVaList` because m68k
doesn't have any special ABI for variadic args.
Nico Weber [Fri, 16 Apr 2021 18:05:12 +0000 (14:05 -0400)]
Reland "[Support] Don't include <algorithm> in MathExtras.h"
This reverts commit
af2a93fd6e9f9e037d2e2d67b879fe85d7e1cbed.
This time, add the include to APInt.h, which apparently relied
on getting this include transitively.
Simon Pilgrim [Fri, 16 Apr 2021 17:54:35 +0000 (18:54 +0100)]
[TableGen] CodeGenDAGPatterns - use const references on for-range loops to avoid unnecessary copies. NFCI.
Simon Pilgrim [Fri, 16 Apr 2021 17:32:56 +0000 (18:32 +0100)]
[TableGen] CodeGenMapTable - use for-range loop. NFCI.
Christudasan Devadasan [Fri, 16 Apr 2021 17:24:57 +0000 (22:54 +0530)]
[AMDGPU] Remove dead dcode (NFC).
Siva Chandra Reddy [Wed, 14 Apr 2021 20:32:50 +0000 (20:32 +0000)]
[libc][NFC] Add template tests for a bunch of math functions.
Namely, template tests have been added for the following functions:
ceil, copysign, fabs, fmax, fmin, floor, trunc, round.
Simon Pilgrim [Fri, 16 Apr 2021 17:21:13 +0000 (18:21 +0100)]
[TableGen] CodeGenDAGPatterns - (style) remove if-else chain when if block always returns. NFCI.
Simon Pilgrim [Fri, 16 Apr 2021 16:26:32 +0000 (17:26 +0100)]
[DAG] SelectionDAG::isSplatValue - early out if binop is not splat. NFCI.
Just return false if we fail to match splats - the remainder of the code is for (fixed)vector operations - shuffles/insertions etc.
Stella Stamenova [Fri, 16 Apr 2021 17:22:32 +0000 (10:22 -0700)]
Revert "[Support] Don't include <algorithm> in MathExtras.h"
This reverts commit
6580d8a2b14d50b7e067dc86df6e5dd65703d147.
Joe Nash [Thu, 15 Apr 2021 21:41:04 +0000 (17:41 -0400)]
[AMDGPU] Refactor VOP3P Profile and AsmParser, NFC
Refactors VOP3P tablegen and the AsmParser for VOP3P
for better extensibility. NFC intended
Reviewed By: rampitec
Differential Revision: https://reviews.llvm.org/D100602
Change-Id: I038e3a772ac348bb18979cdf3e3ae2e9476dd411
Alexey Vishnyakov [Fri, 16 Apr 2021 16:21:49 +0000 (09:21 -0700)]
[fuzzer] Print reloaded file paths
In order to integrate libFuzzer with a dynamic symbolic execution tool
Sydr we need to print loaded file paths.
Reviewed By: morehouse
Differential Revision: https://reviews.llvm.org/D100303
Nicolas Vasilache [Fri, 16 Apr 2021 14:00:50 +0000 (14:00 +0000)]
[mlir][scf] Add scf.for + tensor.cast canonicalization pattern
Fold scf.for iter_arg/result pairs that go through incoming/ougoing
a tensor.cast op pair so as to pull the tensor.cast inside the scf.for:
```
%0 = tensor.cast %t0 : tensor<32x1024xf32> to tensor<?x?xf32>
%1 = scf.for %i = %c0 to %c1024 step %c32 iter_args(%iter_t0 = %0)
-> (tensor<?x?xf32>) {
%2 = call @do(%iter_t0) : (tensor<?x?xf32>) -> tensor<?x?xf32>
scf.yield %2 : tensor<?x?xf32>
}
%2 = tensor.cast %1 : tensor<?x?xf32> to tensor<32x1024xf32>
use_of(%2)
```
folds into:
```
%0 = scf.for %arg2 = %c0 to %c1024 step %c32 iter_args(%arg3 = %arg0)
-> (tensor<32x1024xf32>) {
%2 = tensor.cast %arg3 : tensor<32x1024xf32> to tensor<?x?xf32>
%3 = call @do(%2) : (tensor<?x?xf32>) -> tensor<?x?xf32>
%4 = tensor.cast %3 : tensor<?x?xf32> to tensor<32x1024xf32>
scf.yield %4 : tensor<32x1024xf32>
}
use_of(%0)
```
Differential Revision: https://reviews.llvm.org/D100661
Nick Lewycky [Wed, 24 Mar 2021 23:13:29 +0000 (16:13 -0700)]
Verify the LLVMContext that an Attribute belongs to.
Attributes don't know their parent Context, adding this would make Attribute larger. Instead, we add hasParentContext that answers whether this Attribute belongs to a particular LLVMContext by checking for itself inside the context's FoldingSet. Same with AttributeSet and AttributeList. The Verifier checks them with the Module context.
Differential Revision: https://reviews.llvm.org/D99362
Zakk Chen [Tue, 13 Apr 2021 02:01:44 +0000 (19:01 -0700)]
[RISCV][Clang] Add RVV miscellaneous intrinsic functions.
1. vreinterpret
2. vundefined
3. LMUL truncation and extension.
Reviewed By: craig.topper
Differential Revision: https://reviews.llvm.org/D100391
Stanislav Mekhanoshin [Fri, 5 Feb 2021 22:02:41 +0000 (14:02 -0800)]
Ignore assume like calls by default in hasAddressTaken()
Differential Revision: https://reviews.llvm.org/D96179
Zakk Chen [Fri, 16 Apr 2021 03:16:09 +0000 (20:16 -0700)]
[RISCV][Clang] Drop the assembly tests for RVV intrinsics.
We had verified the correctness of all intrinsics in downstream, so
dropping the assembly tests to decrease the check-clang time.
It would remove 1/3 of the RUN lines.
https://reviews.llvm.org/D99151#2654154 mentions why we need to have
the ASM tests before.
Reviewed By: craig.topper
Differential Revision: https://reviews.llvm.org/D100617
Fangrui Song [Fri, 16 Apr 2021 16:28:51 +0000 (09:28 -0700)]
[sanitizer] Mark g_use_dlpi_tls_data as unused
There is a -Wunused-variable warning on Android
Nico Weber [Fri, 16 Apr 2021 16:11:11 +0000 (12:11 -0400)]
[ADT] Don't include <algorithm> in iterator.h
As far as I can tell, nothing in iterator.h uses anything from <algorithm>.
Differential Revision: https://reviews.llvm.org/D100659
Michael Liao [Fri, 16 Apr 2021 16:17:42 +0000 (12:17 -0400)]
Revert "[Support] Don't include <algorithm> in Hashing.h"
This reverts commit
ef620c40f371e7e3269bd8bef57d069330baa355.
- `std::rotate` still needs <alogirthm>
Nico Weber [Fri, 16 Apr 2021 16:04:09 +0000 (12:04 -0400)]
[Support] Don't include <algorithm> in Hashing.h
The include is for std::swap(), but that's in <utility> in C++11,
and Hashing.h already includes that.
Differential Revision: https://reviews.llvm.org/D100657
Nico Weber [Fri, 16 Apr 2021 15:40:52 +0000 (11:40 -0400)]
[Support] Don't include <algorithm> in MathExtras.h
MathExtras.h is indirectly included in over 98% of LLVM's
translation units. It currently expands to over 1MB of stuff,
over which far more than half is due to <algorithm>. Since not
using <algorithm> is slightly less code, do that.
No behavior change.
Differential Revision: https://reviews.llvm.org/D100656
Malhar Jajoo [Fri, 16 Apr 2021 15:45:07 +0000 (16:45 +0100)]
[ARM] Prevent phi-node-elimination from generating copy above t2WhileLoopStartLR
This patch prevents phi-node-elimination from generating a COPY
operation for the register defined by t2WhileLoopStartLR, as it is a
terminator that defines a value.
This happens because of the presence of phi-nodes in the loop body (the
Preheader of which is the block containing the t2WhileLoopStartLR). If
this is not done, the COPY is generated above/before the terminator
(t2WhileLoopStartLR here), and since it uses the value defined by
t2WhileLoopStartLR, MachineVerifier throws a 'use before define' error.
This essentially adds on to the change in differential D91887/D97729.
Differential Revision: https://reviews.llvm.org/D100376
thomasraoux [Thu, 15 Apr 2021 20:43:44 +0000 (13:43 -0700)]
[mlir][vector] Move transferOp on tensor opt to folder/canonicalization
Move the existing optimization for transfer op on tensor to folder and
canonicalization. This handles the write after write case and read after write
and also add write after read case.
Differential Revision: https://reviews.llvm.org/D100597
Mats Petersson [Fri, 16 Apr 2021 14:08:56 +0000 (15:08 +0100)]
[OpenMP IRBuilder, MLIR] Add support for OpenMP do schedule dynamic
The implementation supports static schedule for Fortran do loops. This
implements the dynamic variant of the same concept.
Reviewed By: Meinersbur
Differential Revision: https://reviews.llvm.org/D97393
Troy Johnson [Fri, 16 Apr 2021 14:48:55 +0000 (09:48 -0500)]
[Driver] Allow both lib64 and lib in rocm-detect test.
Differential Revision: https://reviews.llvm.org/D100502
Sanjay Patel [Fri, 16 Apr 2021 14:50:02 +0000 (10:50 -0400)]
[PhaseOrdering] add test for loop-invariant fdiv; NFC
Discussed in D87479 - disabling loop unrolling should
not mean that instcombine or other passes interfere
with LICM.
Jonathan Crowther [Fri, 16 Apr 2021 14:02:48 +0000 (10:02 -0400)]
[SystemZ][z/OS] Add IsText Argument to GetFile and GetFileOrSTDIN
Add the `IsText` argument to `GetFile` and `GetFileOrSTDIN` which will help z/OS distinguish between text and binary correctly. This is an extension to [this patch](https://reviews.llvm.org/D97785)
Reviewed By: abhina.sreeskantharajan, amccarth
Differential Revision: https://reviews.llvm.org/D100488
paperchalice [Fri, 16 Apr 2021 13:55:42 +0000 (09:55 -0400)]
[TableGen] Allow mnemonics aliases with uppercase
Differential Revision: https://reviews.llvm.org/D96691
Javier Setoain [Fri, 16 Apr 2021 13:51:17 +0000 (15:51 +0200)]
[mlir][ArmSVE] Cleanup dialect registration
ArmSVE dialect is behind the recent changes in how the Vector dialect
interacts with backend vector dialects and the MLIR -> LLVM IR
translation module. This patch cleans up ArmSVE initialization within
Vector and removes the need for an LLVMArmSVE dialect.
Reviewed By: ftynse
Differential Revision: https://reviews.llvm.org/D100171
Louis Dionne [Wed, 14 Apr 2021 19:07:14 +0000 (15:07 -0400)]
[libc++] Fix LWG 2874: Constructor shared_ptr::shared_ptr(Y*) should be constrained.
This patch fixes LWG2874. It is based on the original patch by Zoe Carver
originally uploaded at D81417.
Differential Revision: https://reviews.llvm.org/D81417
Nicolas Vasilache [Fri, 16 Apr 2021 12:54:43 +0000 (12:54 +0000)]
[mlir][python] Add simple debugging and printing helpers
Differential Revision: https://reviews.llvm.org/D100643
Sanjay Patel [Fri, 16 Apr 2021 13:30:25 +0000 (09:30 -0400)]
[PhaseOrdering] add test to track PR49785; NFC
See D99759 / D100573 /
bb907b26e2bf for details.
Alexey Bataev [Thu, 8 Apr 2021 17:13:15 +0000 (10:13 -0700)]
[OPENMP]Fix PR49115: Incorrect results for scan directive.
For combined worksharing directives need to emit the temp arrays outside
of the parallel region and update them in the master thread only.
Differential Revision: https://reviews.llvm.org/D100187
Kristof Beyls [Fri, 16 Apr 2021 13:10:52 +0000 (15:10 +0200)]
[docs] Add Pointer Authentication call info
Frederik Gossen [Fri, 16 Apr 2021 12:58:05 +0000 (14:58 +0200)]
[MLIR] Fix `isValidIndex`
Differential Revision: https://reviews.llvm.org/D100635
Hansang Bae [Tue, 13 Apr 2021 01:20:27 +0000 (20:20 -0500)]
[OpenMP] Add omp_target_is_accessible() to header files
-- Added omp_target_is_accessible to the header files
-- Added missing const qualifier to device memory routines
Differential Revision: https://reviews.llvm.org/D100420
Sanjay Patel [Fri, 16 Apr 2021 12:39:22 +0000 (08:39 -0400)]
[ValueTracking] don't recursively compute known bits using multiple llvm.assumes
This is an alternative to D99759 to avoid the compile-time explosion seen in:
https://llvm.org/PR49785
Another potential solution would make the exclusion logic stronger to avoid
blowing up, but note that we reduced the complexity of the exclusion mechanism
in D16204 because it was too costly.
So I'm questioning the need for recursion/exclusion entirely - what is the
optimization value vs. cost of recursively computing known bits based on
assumptions?
This was built into the implementation from the start with 60db058,
and we have kept adding code/cost to deal with that capability.
By clearing the query's AssumptionCache inside computeKnownBitsFromAssume(),
this patch retains all existing assume functionality except refining known
bits based on even more assumptions.
We have 1 regression test that shows a difference in optimization power.
Differential Revision: https://reviews.llvm.org/D100573
Roman Lebedev [Fri, 16 Apr 2021 12:25:23 +0000 (15:25 +0300)]
[X86][CostModel] Fix cost model for non-power-of-two vector load/stores
Sometimes LV has to produce really wide vectors,
and sometimes they end up being not powers of two.
As it can be seen from the diff, the cost computation
is currently completely non-sensical in those cases.
Instead of just scalarizing everything, split/factorize the wide vector
into a number of subvectors, each one having a power-of-two elements,
recurse to get the cost of op on this subvector. Also, check how we'd
legalize this subvector, and if the legalized type is scalar,
also account for the scalarization cost.
Note that for sub-vector loads, we might be able to do better,
when the vectors are properly aligned.
Reviewed By: RKSimon
Differential Revision: https://reviews.llvm.org/D100099
Abhina Sreeskantharajan [Fri, 16 Apr 2021 12:06:35 +0000 (08:06 -0400)]
[SystemZ][z/OS][Windows] Add new functions that set Text/Binary mode for Stdin and Stdout based on OpenFlags
On Windows, we want to open a file in Binary mode if OF_CRLF bit is not set. On z/OS, we want to open a file in Binary mode if the OF_Text bit is not set.
This patch creates two new functions called ChangeStdinMode and ChangeStdoutMode which will take OpenFlags as an arg to determine which mode to set stdin and stdout to. This will enable patches like https://reviews.llvm.org/D100056 to not affect Windows when setting the OF_Text flag for raw_fd_streams.
Reviewed By: rnk
Differential Revision: https://reviews.llvm.org/D100130
Nigel Perks [Tue, 18 Aug 2020 12:21:20 +0000 (13:21 +0100)]
Restore lit feature object-emission. Omit DebugInfo/Generic on XCore.
D73568 removed the lit feature object-emission, because it was introduced for a
target which did not support the integrated assembler, and that target no longer
required the feature. XCore still does not support the integrated assembler,
so a build with XCore as the default target fails tests requiring
object-emission. This issue was not publicly visible because there was not a
buildbot for XCore as the default target. We fixed the failures downstream. We
now have builder clang-xcore-ubuntu-20-x64 on the staging buildmaster, which
shows the failures. We would like to make upstream build green.
Omit DebugInfo/Generic on XCore to avoid annotating 70 separate files.
Differential Revision: https://reviews.llvm.org/D98508
Frederik Gossen [Fri, 16 Apr 2021 11:50:14 +0000 (13:50 +0200)]
[MLIR][Shape] Expose `getShapeVec` and add support for extent tensors
Differential Revision: https://reviews.llvm.org/D100636
Nico Weber [Fri, 16 Apr 2021 11:24:15 +0000 (07:24 -0400)]
[llvm-objcopy] clang-format a line
Florian Hahn [Fri, 16 Apr 2021 10:51:36 +0000 (11:51 +0100)]
[SimplifyCFG] Regenerate CHECK lines and add test for PR49982.
Caroline Concatto [Fri, 16 Apr 2021 09:57:08 +0000 (10:57 +0100)]
[NFC][AArch64][SVE] Move select-sve.ll tests to sve-select.ll
This patch merges the two select tests: select-sve.ll and sve-select.ll into
sve-select.ll as they are both testing SELECT instruction
David Green [Fri, 16 Apr 2021 10:52:31 +0000 (11:52 +0100)]
[ARM] Combine sub 0, csinc X, Y, CC -> csinv -X, Y, CC
Combine sub 0, csinc X, Y, CC to csinv -X, Y, CC providing that the
negation of X is cheap, currently just handling constants. This comes up
during the splat of an i1 to a predicate, where we now generate csetm,
as opposed to cset; rsb.
Differential Revision: https://reviews.llvm.org/D99940
Fraser Cormack [Fri, 16 Apr 2021 09:58:41 +0000 (10:58 +0100)]
[RISCV] Rerun stack test through update_llc_test_checks.py
Adjusts formatting of comments only. Just to reduce diffs in future
patches.
Simon Pilgrim [Fri, 16 Apr 2021 09:35:13 +0000 (10:35 +0100)]
[CostModel][X86] Add fully aligned load/store tests
As noted on D100099, if these illegal vector types are suitably aligned they should be much cheaper to load (but probably not store).
Pushpinder Singh [Fri, 16 Apr 2021 08:54:06 +0000 (08:54 +0000)]
Revert "[AMDGPU][OpenMP] Add amdgpu-arch tool to list AMD GPUs installed"
This reverts commit
7029cffc4e78556cfe820791c612968bb15b2ffb.
LemonBoy [Fri, 16 Apr 2021 09:12:29 +0000 (11:12 +0200)]
[lld] Fix test crashing when AVR target is missing
Fixes buildbot error.
Simon Moll [Fri, 16 Apr 2021 08:45:40 +0000 (10:45 +0200)]
[docs] Add vector predication call
Add the syncup call to the table
Reviewed By: craig.topper
Differential Revision: https://reviews.llvm.org/D100474
Nicolas Vasilache [Tue, 13 Apr 2021 06:25:47 +0000 (06:25 +0000)]
[mlir][Python][Linalg] Add support for captures in body builder.
When Linalg named ops support was added, captures were omitted
from the body builder. This revision adds support for captures
which allows us to write FillOp in a more idiomatic fashion using
the _linalg_ops_ext mixin support.
This raises an issue in the generation of `_linalg_ops_gen.py` where
```
@property
def result(self):
return self.operation.results[0] if len(self.operation.results) > 1 else None
```.
The condition should be `== 1`.
This will be fixed in a separate commit.
Differential Revision: https://reviews.llvm.org/D100363
LemonBoy [Fri, 16 Apr 2021 08:38:58 +0000 (10:38 +0200)]
[LLD][ELF][AVR] Propagate ELF flags to the linked image
The `e_flags` for a ELF file targeting the AVR ISA contains two fields at the time of writing:
- A 7-bit integer field specifying the ISA revision being targeted
- A 1-bit flag specifying whether the object files being linked are suited for applying the relaxations at link time
The linked ELF file is blessed with the arch revision shared among all the files.
The behaviour in case of mismatch is purposefully different than the one implemented in libbfd: LLD will raise a fatal error while libbfd silently picks a default value of `avr2`.
The relaxation-ready flag is handled as done by libbfd, in order for it to appear in the linked object every source object must be tagged with it.
Reviewed By: MaskRay
Differential Revision: https://reviews.llvm.org/D99754
Max Sagebaum [Fri, 16 Apr 2021 08:02:02 +0000 (10:02 +0200)]
[clang-format] Inconsistent behavior regarding line break before access modifier
Fixes https://llvm.org/PR41870.
Checks for newlines in option Style.EmptyLineBeforeAccessModifier are now based on the formatted new lines and not on the new lines in the file.
Reviewed By: HazardyKnusperkeks, curdeius
Differential Revision: https://reviews.llvm.org/D99503
Nicolas Vasilache [Thu, 15 Apr 2021 22:47:25 +0000 (22:47 +0000)]
[mlir][linalg] Add support for WAW fusion on tensors.
Differential Revision: https://reviews.llvm.org/D100603
Guillaume Chatelet [Fri, 16 Apr 2021 08:09:28 +0000 (08:09 +0000)]
[libc] Fix typo
Guillaume Chatelet [Thu, 15 Apr 2021 15:31:15 +0000 (15:31 +0000)]
[libc] Add slice/take/drop methods to ArrayRef
Add various methods from llvm::ArrayRef. Refactor implementation to remove code duplication.
Differential Revision: https://reviews.llvm.org/D100569
Nick Desaulniers [Fri, 16 Apr 2021 06:10:16 +0000 (23:10 -0700)]
[Aarch64] handle "o" inline asm memory constraints
This Linux kernel is making use of this inline asm constraint which is
causing an ICE.
PR49956
Link: https://github.com/ClangBuiltLinux/linux/issues/1348
Reviewed By: MaskRay
Differential Revision: https://reviews.llvm.org/D100412
Petr Hosek [Mon, 29 Mar 2021 19:10:18 +0000 (12:10 -0700)]
[libcxx] Make the GDB pretty printer test less strict
This is a workaround for PR48937. GDB can sometimes print additional
warnings which currently fails the test. Use re.search instead of
re.match to ignore this additional output.
Differential Revision: https://reviews.llvm.org/D99532
patacca [Fri, 16 Apr 2021 04:34:57 +0000 (23:34 -0500)]
[Polly][Ast] Partial refactoring of IslAst and IslAstInfo to use isl++. NFC.
Polly use algorithms from the Integer Set Library (isl), which is a library written in C and which is incompatible with the rest of the LLVM as it is written in C++.
Changes made:
- Refactoring the following methods of class `IslAst`
- `getAst()` `getRunCondition()` `buildRunCondition()`
- Removed the destructor in favor of the default one
- Change the type of the attribute `IslAst.RunCondition` to `isl::ast_expr`
- Change the type of the attribute `IslAst.Root` to `isl::ast_node`
- Change the order of attributes in class `IslAst` to reflect the data dependencies so that the destructor won't complain
- Refactoring the following methods of class `IslAstInfo`
- `getAst()` `getRunCondition()`
Reviewed By: Meinersbur
Differential Revision: https://reviews.llvm.org/D100265
Pushpinder Singh [Tue, 6 Apr 2021 06:53:20 +0000 (06:53 +0000)]
[AMDGPU][OpenMP] Add amdgpu-arch tool to list AMD GPUs installed
This patch adds new clang tool named amdgpu-arch which uses
HSA to detect installed AMDGPU and report back latter's march.
This tool is built only if system has HSA installed.
The value printed by amdgpu-arch is used to fill -march when
latter is not explicitly provided in -Xopenmp-target.
Reviewed By: JonChesterfield, gregrodgers
Differential Revision: https://reviews.llvm.org/D99949
Jim Lin [Fri, 16 Apr 2021 04:50:51 +0000 (12:50 +0800)]
[RISCV] Don't emit save-restore call if function is a interrupt handler
It has to save all caller-saved registers before a call in the handler.
So don't emit a call that save/restore registers.
Reviewed By: simoncook, luismarques, asb
Differential Revision: https://reviews.llvm.org/D100532
Ahmed Taei [Fri, 16 Apr 2021 00:03:17 +0000 (17:03 -0700)]
Fix tile-and-pad when padding doesn't span all dimension
Without this tile-and-pad will never terminate if pad-fails.
Reviewed By: nicolasvasilache
Differential Revision: https://reviews.llvm.org/D97720
Jason Molenda [Fri, 16 Apr 2021 01:58:13 +0000 (18:58 -0700)]
Don't refer to allocation map entry after deallocating it
debugserver's MachTask::DeallocateMemory when removing an
allocate entry from our map (in resposne to an '_m' packet),
copy the size from the entry before removing it from the
map and then using the iterator to fix an ASAN error on
the bots when running TestGdbRemoteMemoryAllocation.py
rdar://
76595998
Christopher Di Bella [Sun, 4 Apr 2021 05:12:46 +0000 (05:12 +0000)]
[libcxx] adds `cpp17-.*iterator` concepts for iterator_traits
The `iterator_traits` patch became too large for a concise review, so
the "bloat" —as it were— was moved into this patch. Also tests most
C++[98,17] iterator types to confirm backwards compatibility is
successful (regex iterators are intentionally not present, but directory
iterators are due to a peculiar error encountered while patching
`iterator_traits`).
Depends on D99461.
Differential Revision: https://reviews.llvm.org/D99854
hsmahesha [Fri, 16 Apr 2021 02:53:44 +0000 (08:23 +0530)]
[AMDGPU] Refactor ds_read/ds_write related select code for better readability.
Part of the code related to ds_read/ds_write ISel is refactored, and the
corresponding comment is re-written for better readability, which would help
while implementing any future ds_read/ds_write ISel related modifications.
Reviewed By: rampitec
Differential Revision: https://reviews.llvm.org/D100300
Mircea Trofin [Fri, 16 Apr 2021 01:43:40 +0000 (18:43 -0700)]
[MLGO] Fix use of AM.invalidate post D100519
The ML inline advisors more aggressively invalidate certain analyses
after each call site inlining, to more accurately capture the problem
state.
Marcythm [Wed, 14 Apr 2021 11:52:35 +0000 (19:52 +0800)]
[LICM][NFC] Fix typo
fixed some typos which may lead to misunderstandings in LICM.cpp
Reviewed By: nikic, asbirlea
Differential Revision: https://reviews.llvm.org/D100470
Juneyoung Lee [Fri, 16 Apr 2021 01:40:53 +0000 (10:40 +0900)]
[LangRef] formatting
Fangrui Song [Fri, 16 Apr 2021 01:41:20 +0000 (18:41 -0700)]
[Polly] Fix PM invalidate usage after D100519
LLVM GN Syncbot [Fri, 16 Apr 2021 01:16:51 +0000 (01:16 +0000)]
[gn build] Port
3bc88eb3924f
Jez Ng [Fri, 16 Apr 2021 01:14:36 +0000 (21:14 -0400)]
[lld-macho] Don't use arrays as template parameters
MSVC from VSCode 2017 appears unhappy with it (causes an
internal compiler error.)
This also means that we need to avoid doing `sizeof(stubCode)` as
`sizeof(int[N])` on function array parameters decays into `sizeof(int *)`.
Reviewed By: #lld-macho, gkm
Differential Revision: https://reviews.llvm.org/D100605
Jez Ng [Fri, 16 Apr 2021 01:14:34 +0000 (21:14 -0400)]
[lld-macho] Make load relaxation work for arm64_32
arm64_32 uses 32-bit GOT loads, so we should accept those
instructions in `ARM64Common::relaxGotLoad()` too.
Reviewed By: #lld-macho, gkm
Differential Revision: https://reviews.llvm.org/D100229
Jez Ng [Fri, 16 Apr 2021 01:14:33 +0000 (21:14 -0400)]
[lld-macho] Add 32-bit compact unwind support
This could probably have been part of D99633, but I split it up to make
things a bit more reviewable. I also fixed some bugs in the implementation that
were masked through integer underflows when operating in 64-bit mode.
Reviewed By: #lld-macho, gkm
Differential Revision: https://reviews.llvm.org/D99823
Jez Ng [Fri, 16 Apr 2021 01:14:32 +0000 (21:14 -0400)]
[lld-macho] Add support for arm64_32
From what I can tell, it's pretty similar to arm64. The two main differences
are:
1. No 64-bit relocations
2. Stub code writes to 32-bit registers instead of 64-bit
Plus of course the various on-disk structures like `segment_command` are using
the 32-bit instead of the 64-bit variants.
Reviewed By: #lld-macho, gkm
Differential Revision: https://reviews.llvm.org/D99822
Jez Ng [Fri, 16 Apr 2021 01:14:30 +0000 (21:14 -0400)]
[lld-macho] Re-root absolute input file paths if -syslibroot is specified
Reviewed By: #lld-macho, gkm
Differential Revision: https://reviews.llvm.org/D100147
Jez Ng [Fri, 16 Apr 2021 01:14:29 +0000 (21:14 -0400)]
[lld-macho] LTO: Unset VisibleToRegularObj where possible
This allows LLVM's LTO to internalize symbols that are not referenced
directly by regular objects. Naturally, this means we need to track
which symbols are referenced by regular objects. The approach taken here
is similar to LLD-COFF's: like the COFF port, we extend
`SymbolTable::insert()` to set the isVisibleToRegularObj bit. (LLD-ELF
relies on the Symbol constructor and `Symbol::mergeProperties()`, but
the Mach-O port does not have a `mergeProperties()` equivalent.)
From what I can tell, ld64 (which uses libLTO) doesn't do this
optimization at all. I'm not even sure libLTO provides a way to do this.
Not having ld64's behavior as a reference implementation is unfortunate;
instead, I am relying on LLD-ELF/COFF's behavior as references while
erring on the conservative side. In particular, LLD-MachO will only do
this optimization for executables right now.
We also don't attempt it when `-flat_namespace` is used -- otherwise
we'd need scan the symbol table to find matches for every un-namespaced
symbol reference, which is expensive.
internalize.ll is based off the LLD-ELF tests `internalize-basic.ll` and
`internalize-undef.ll`. Looks like @davide added some of LLD-ELF's internalize
tests, so adding him as a reviewer...
Reviewed By: #lld-macho, gkm
Differential Revision: https://reviews.llvm.org/D99105
Richard Smith [Fri, 16 Apr 2021 01:07:52 +0000 (18:07 -0700)]
Add triple to fix test failure.
This test uses `__regcall`, support for which is target-specific.
Juneyoung Lee [Fri, 16 Apr 2021 00:58:55 +0000 (09:58 +0900)]
[LangRef] fix unexepcted unindent errror
Juneyoung Lee [Tue, 13 Apr 2021 04:57:06 +0000 (13:57 +0900)]
[LangRef] clarify the semantics of nocapture
This patch clarifies the semantics of nocapture attribute.
A 'Pointer Capture' subsection is added to describe the semantics of pointer capture first.
For the nocapture example with two same pointer arguments, it is consistent with the semantics that Alive2 used to run lit tests.
Reviewed By: nlopes
Differential Revision: https://reviews.llvm.org/D97924
George Balatsouras [Thu, 15 Apr 2021 23:49:54 +0000 (16:49 -0700)]
[dfsan] Remove hard-coded constant in release_shadow_space.c
Reviewed By: stephan.yichao.zhao
Differential Revision: https://reviews.llvm.org/D100608
Caroline Tice [Fri, 16 Apr 2021 00:17:04 +0000 (17:17 -0700)]
Revert "[LLDB] Use path relative to binary for finding .dwo files."
This reverts commit
b241f3cb292d0ba1ad5a33b3bbd4a8a3a9c909dc.
Test case is breaking windows builder.
Joshua Haberman [Thu, 15 Apr 2021 23:49:19 +0000 (16:49 -0700)]
Implemented [[clang::musttail]] attribute for guaranteed tail calls.
This is a Clang-only change and depends on the existing "musttail"
support already implemented in LLVM.
The [[clang::musttail]] attribute goes on a return statement, not
a function definition. There are several constraints that the user
must follow when using [[clang::musttail]], and these constraints
are verified by Sema.
Tail calls are supported on regular function calls, calls through a
function pointer, member function calls, and even pointer to member.
Future work would be to throw a warning if a users tries to pass
a pointer or reference to a local variable through a musttail call.
Reviewed By: rsmith
Differential Revision: https://reviews.llvm.org/D99517
Christopher Di Bella [Tue, 23 Mar 2021 20:48:41 +0000 (20:48 +0000)]
[libcxx] adds `std::indirectly_readable_traits` to <iterator>
Implements parts of:
* P0896R4 The One Ranges Proposal
* LWG3446 `indirectly_readable_traits` ambiguity for types with both `value_type` and `element_type`
Depends on D99141.
Differential Revision: https://reviews.llvm.org/D99461
Arthur Eubanks [Thu, 15 Apr 2021 01:40:07 +0000 (18:40 -0700)]
[NFC][NewPM] Remove some AnalysisManager invalidate methods
These were misleading, they're more of a "clear" than an "invalidate".
We shouldn't be individually clearing analysis results. Either we clear
all analyses when some IR becomes invalid, or we properly go through
invalidation.
There was only one use of this, which can be simulated with
AM.invalidate(F, PA).
Reviewed By: mtrofin
Differential Revision: https://reviews.llvm.org/D100519
Prashant Kumar [Thu, 15 Apr 2021 19:55:56 +0000 (19:55 +0000)]
Add support for numpy arrays to memref conversions.
This offers the ability to pass numpy arrays to the corresponding
memref argument.
Reviewed By: mehdi_amini, nicolasvasilache
Differential Revision: https://reviews.llvm.org/D100077