Nathan Sidwell [Fri, 11 Feb 2022 16:20:28 +0000 (08:20 -0800)]
[clang] Itanium mangler constructors
The Itanium mangler constructors use both NSDMI and explicit member
construction for default values. This is confusing.
*) Use NSDMIs wherever possible
*) Use forwarding ctor for the nesting case with an
llvm::raw_null_ostream (and explicitly set NullOut flag in that ctor).
*) Copy the ModuleSubstitutions. This is a bug with no effect in the
current mangling, but not in the newer mangling.
Reviewed By: ChuanqiXu
Differential Revision: https://reviews.llvm.org/D119550
Nemanja Ivanovic [Wed, 16 Feb 2022 11:56:25 +0000 (05:56 -0600)]
[ELF][test] Fix build break after
20bdd3e23263
The added run lines build a bitcode file for x86 and an object file
for whatever the default target is that is running the test. This
causes an incompatibility between the files.
Add the triple to the llvm-mc invocation.
Florian Hahn [Wed, 16 Feb 2022 11:35:14 +0000 (11:35 +0000)]
[MemCpyOpt] Add tests with incorrect memcpy->byval forwarding.
Add a few test cases with clobbers (writes and lifetime.end) that should
prevent memcpy->byval forwarding, but those clobbers are missed at the
moment.
Andrzej Warzynski [Mon, 14 Feb 2022 12:18:14 +0000 (12:18 +0000)]
[flang] Fix `LoweringBridge::validModule`
This patch updates `validModule` not to use `getModule`. `getModule`
will dereference `module`, but that will lead to a seg-fault if `module`
is a `nullptr`.
Differential Revision: https://reviews.llvm.org/D119705
Shengchen Kan [Wed, 16 Feb 2022 04:43:08 +0000 (12:43 +0800)]
[Debugify] Mark mir-check-debugify change nothing of input
Reviewed By: pengfei
Differential Revision: https://reviews.llvm.org/D119914
Pavel Labath [Wed, 16 Feb 2022 10:16:36 +0000 (11:16 +0100)]
[lldb] Enable TestThreadStepOut on linux
After applying the same for as in TestThreadBacktraceRepeat, the test
appears to pass reliably. The skip decorator was added many years ago,
so it's not clear whether this is what caused it to hang.
Sven van Haastregt [Wed, 16 Feb 2022 10:07:35 +0000 (10:07 +0000)]
[OpenCL] Guard atomic_double with cl_khr_int64_*
It is necessary to guard atomic_double type according to
https://www.khronos.org/registry/OpenCL/specs/3.0-unified/html/OpenCL_C.html#_footnotedef_54.
Platform that disable cl_khr_int64_base_atomics and
cl_khr_int64_extended_atomics will have compiling errors even if
atomic_double is not used.
Patch by Haonan Yang.
Differential Revision: https://reviews.llvm.org/D119398
Arlo Siemsen [Wed, 16 Feb 2022 09:53:00 +0000 (09:53 +0000)]
Add a case for Rust in LLDB's PDB reader
D115300 added Rust as a new PDB language type.
This change allows LLDB to recognize the new language type.
Reviewed By: rnk
Differential Revision: https://reviews.llvm.org/D119044
Balazs Benics [Wed, 16 Feb 2022 09:56:18 +0000 (10:56 +0100)]
[analyzer] Remove breaking RUN line in the test case
This is a followup for D118690.
I'm removing the offending RUN line, to resolve the build breakage:
https://lab.llvm.org/buildbot/#/builders/91/builds/3975/steps/8/logs/stdio
Exit Code: 1
Command Output (stderr):
--
/scratch/buildbot/bothome/clang-ve-ninja/llvm-project/clang/test/Analysis/analyze-function-guide.cpp:58:22:
error: CHECK-EMPTY2-NOT: excluded string found in input
// CHECK-EMPTY2-NOT: Every top-level function was skipped.
^
<stdin>:1:1: note: found here
Every top-level function was skipped.
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Differential Revision: https://reviews.llvm.org/D118690
Sheng [Wed, 16 Feb 2022 09:29:22 +0000 (17:29 +0800)]
Revert "Revert "[M68k] Adopt VarLenCodeEmitter for control instructions""
This reverts commit
69a7d49de6a0368c0ba1aec4d8e2ced11c705c2f.
llvm/test/MC/M68k/Relaxations/branch.s needs disassembler support.
So I disabled it temporarily
Balazs Benics [Wed, 16 Feb 2022 09:33:21 +0000 (10:33 +0100)]
Revert "Revert "[analyzer] Prevent misuses of -analyze-function""
This reverts commit
620d99b7edc64ee87b1ce209f179305e6a919006.
Let's see if removing the two offending RUN lines makes this patch pass.
Not ideal to drop tests but, it's just a debugging feature, probably not
that important.
Sheng [Wed, 16 Feb 2022 09:08:34 +0000 (17:08 +0800)]
Revert "[M68k] Adopt VarLenCodeEmitter for control instructions"
This reverts commit
9ffd498fcbd92c6843b969bfa2a475aaacc54a5b.
This patch introduce regression on MC/M68k/Relaxations/branch.s
Nikita Popov [Sat, 12 Feb 2022 09:29:33 +0000 (10:29 +0100)]
[libunwind] Only include cet.h if __CET__ defined
We should not assume that the cet.h header exists just because
we're on x86 linux. Only include it if __CET__ is defined. This
makes the code more similar to what compiler-rt does in
https://github.com/llvm/llvm-project/blob/
ee423d93ead39e94c2970b3cc7ef6e6faa75d10b/compiler-rt/lib/builtins/assembly.h#L17
(though that one also has a __has_include() check -- I've not found
that to be necessary).
Differential Revision: https://reviews.llvm.org/D119697
Nikita Popov [Tue, 15 Feb 2022 17:11:19 +0000 (18:11 +0100)]
[Support] Use posix_madvise() if available
This is a followup to D119695 using the suggestion by joerg. Rather
than manually declaring madvise() on __sun__, this uses
posix_madvise() if available, which does get declared properly on
Illumos.
Differential Revision: https://reviews.llvm.org/D119856
Qiu Chaofan [Wed, 16 Feb 2022 08:16:30 +0000 (16:16 +0800)]
[NFC] Fix intel intrinsics test for PowerPC
These tests are dumped without optimization, which makes them too
lengthy and contain meaningless load/stores. Clean them up to prepare
for future headers update.
Jan Svoboda [Wed, 16 Feb 2022 07:19:06 +0000 (08:19 +0100)]
[Bitstream] Remove pessimizing move
Commit
4a794d848ce81f41c6e23a4d3d3f70c2d7d1baa4 caused build failure with -Werror -Wpessimizing-move on the clang-ppc64-aix buildbot. This patch applies Clang's suggestion to remove `std::move`.
Zakk Chen [Tue, 15 Feb 2022 03:26:38 +0000 (19:26 -0800)]
[RISCV] Add the passthru operand for some RVV nomask unary and nullary intrinsics.
The goal is support tail and mask policy in RVV builtins.
We focus on IR part first.
If the passthru operand is undef, we use tail agnostic, otherwise
use tail undisturbed.
My plan is to handle more complex operations in follow-up patches.
Reviewers: frasercrmck
Differential Revision: https://reviews.llvm.org/D118253
Siva Chandra Reddy [Wed, 16 Feb 2022 05:48:10 +0000 (05:48 +0000)]
[lib][Obvious] Fix style in a few include directives.
Chuanqi Xu [Tue, 25 Jan 2022 03:12:25 +0000 (11:12 +0800)]
[ValueTracking] Checking haveNoCommonBitsSet for (x & y) and ~(x | y)
This one tries to fix:
https://github.com/llvm/llvm-project/issues/53357.
Simply, this one would check (x & y) and ~(x | y) in
haveNoCommonBitsSet. Since they shouldn't have common bits (we could
traverse the case by enumerating), and we could convert this one to (x &
y) | ~(x | y) . Then the compiler could handle it in
InstCombineAndOrXor.
Further more, since ((x & y) + (~x & ~y)) would be converted to ((x & y)
+ ~(x | y)), this patch would fix it too.
https://alive2.llvm.org/ce/z/qsKzRS
Reviewed By: spatel, xbolva00, RKSimon, lebedev.ri
Differential Revision: https://reviews.llvm.org/D118094
Chuanqi Xu [Mon, 10 Jan 2022 11:18:33 +0000 (19:18 +0800)]
[C++20] [Coroutines] Implement return value optimization for get_return_object
This patch tries to implement RVO for coroutine's return object got from
get_return_object.
From [dcl.fct.def.coroutine]/p7 we could know that the return value of
get_return_object is either a reference or a prvalue. So it makes sense
to do copy elision for the return value. The return object should be
constructed directly into the storage where they would otherwise be
copied/moved to.
Test Plan: folly, check-all
Reviewed By: junparser
Differential revision: https://reviews.llvm.org/D117087
Shao-Ce SUN [Wed, 16 Feb 2022 05:09:59 +0000 (13:09 +0800)]
[NFC][MC] remove unused argument `MCRegisterInfo` in `MCCodeEmitter`
Reviewed By: skan
Differential Revision: https://reviews.llvm.org/D119846
Sheng [Wed, 16 Feb 2022 04:56:05 +0000 (12:56 +0800)]
[TableGen][VarLenCodeEmitterGen] Improve the error message
This gives a approximate error location. Although not very
accurate, it suffices to debug.
Reviewed By: myhsu
Differential Revision: https://reviews.llvm.org/D119684
Sheng [Wed, 16 Feb 2022 04:54:04 +0000 (12:54 +0800)]
[M68k] Adopt VarLenCodeEmitter for control instructions
Refactor the instructions in M68kInstrControl.td to use the VarLenCodeEmitter.
This patch is tested by the existing test cases.
Reviewed By: myhsu, ricky26
Differential Revision: https://reviews.llvm.org/D119665
Min-Yih Hsu [Fri, 17 Dec 2021 02:06:19 +0000 (10:06 +0800)]
[M68k][VarLenCodeEmitter] Support reloc & pc-rel immediate values
Supporting relocatable and pc-relative immediate values for the new code
emitter.
Differential Revision: https://reviews.llvm.org/D119101
Jonas Devlieghere [Wed, 16 Feb 2022 04:35:52 +0000 (20:35 -0800)]
[lldb] Don't rely on wrapping in PutRawBytes/PutBytesAsRawHex8
I was looking at Stream::PutRawBytes and thought I spotted a bug because
both loops are using `i < src_len` as the loop condition despite them
iterating in opposite directions.
On closer inspection, the existing code is correct, because it relies on
well-defined unsigned integer wrapping. Correct doesn't mean readable,
so this patch changes the loop condition to compare against 0 when
decrementing i while still covering the edge case of src_len potentially
being 0 itself.
Differential revision: https://reviews.llvm.org/D119857
Mubariz Afzal [Wed, 16 Feb 2022 04:25:50 +0000 (23:25 -0500)]
Revert [SystemZ][z/OS] Fix f32 variadic argument assertion
This reverts
ea0676f97d734196b15da7553cd407e6a36cef2d
Serguei Katkov [Tue, 15 Feb 2022 08:30:58 +0000 (15:30 +0700)]
[MemoryDependency] Relax the re-ordering with volatile store.
Volatile store does not provide any special rules for reordering with
atomics. Usual must alias anaylsis is enough here.
This makes the bahavior similar to how volatile load is handled.
Reviewers: reames, nikic
Reviewed By: reames
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D119818
Shao-Ce SUN [Wed, 16 Feb 2022 03:57:49 +0000 (11:57 +0800)]
Revert "[NFC][MC] remove unused argument `MCRegisterInfo` in `MCCodeEmitter`"
This reverts commit
fe25c06cc5bdc2ef9427309f8ec1434aad69dc7a.
Shao-Ce SUN [Tue, 15 Feb 2022 15:47:36 +0000 (23:47 +0800)]
[NFC][MC] remove unused argument `MCRegisterInfo` in `MCCodeEmitter`
For ten years, it seems that `MCRegisterInfo` is not used by any target.
Reviewed By: skan
Differential Revision: https://reviews.llvm.org/D119846
Jeff Bailey [Wed, 16 Feb 2022 03:45:57 +0000 (03:45 +0000)]
Rewrite much of the index page for libc
The prior page was the proposal doc, this one is now
more about what the project intends to do, written in the
present tense.
Reviewed By: sivachandra
Differential Revision: https://reviews.llvm.org/D119379
Carl Ritson [Wed, 16 Feb 2022 02:56:54 +0000 (11:56 +0900)]
[MachineSink] Use SkipPHIsAndLabels for sink insertion points
For AMDGPU the insertion point for a block may not be the first
non-PHI instruction. This happens when a block contains EXEC
mask manipulation related to control flow (converging lanes).
Use SkipPHIsAndLabels to determine the block insertion point
so that the target can skip any block prologue instructions.
Reviewed By: rampitec, ruiling
Differential Revision: https://reviews.llvm.org/D119399
Jeff Bailey [Sat, 12 Feb 2022 19:01:37 +0000 (19:01 +0000)]
Implement basic loader for Linux aarch64
This implements a basic arm64 loader for Linux, and all the currently
enabled linker tests pass. TLS is not implemented, and functions
using it will have undefined behaviour. Notably, the TLS test is
currently disabled on x86_64.
Much of the structure is copied from x86_64 to allow for a refactoring
of the start code between architectures.
Tested:
ninja libc_loader_tests on aarch64-linux.
Co-authored-by: Raman Tenneti <rtenneti@google.com>
Reviewed By: sivachandra
Differential Revision: https://reviews.llvm.org/D119641
Serguei Katkov [Tue, 15 Feb 2022 08:30:58 +0000 (15:30 +0700)]
[MemoryDepndency] Add a test for re-ordering with volatile load/store.
Nico Weber [Wed, 16 Feb 2022 03:23:26 +0000 (22:23 -0500)]
Revert "[NFC] Update new warning to test"
This reverts commit
25cdf87b13eb990eb84d31211280f4b0d5d470b3.
125abb61f7ae reverted the patch.
It is incorrect to update this file when a flagless warning is added.
This test exists to make sure _all_ warnings are behind a flag.
The right fix is to put the new warning in a warning group (so that
it can be toggled with a flag), not to update the list here.
Nikolas Klauser [Tue, 15 Feb 2022 20:52:21 +0000 (21:52 +0100)]
[libc++] Remove cpp17_input_iterator.h
Reviewed By: Quuxplusone, #libc
Spies: libcxx-commits
Differential Revision: https://reviews.llvm.org/D119881
Mahesh Ravishankar [Mon, 7 Feb 2022 03:43:52 +0000 (03:43 +0000)]
[mlir][Linalg] Add pattern for folding reshape by collapsing.
Fusion of `linalg.generic` with
`tensor.expand_shape/tensor.collapse_shape` currently handles fusion
with reshape by expanding the dimensionality of the `linalg.generic`
operation. This helps fuse elementwise operations better since they
are fused at the highest dimensionality while keeping all indexing
maps involved projected permutations. The intent of these is to push
the reshape to the boundaries of functions.
The presence of named ops (or other ops across which the reshape
cannot be propagated) stops the propagation to the edges of the
function. At this stage, the converse patterns that fold the reshapes
with generic ops by collapsing the dimensions of the generic op can
push the reshape towards edges. In particular it helps the case where
reshapes exist in between named ops and generic ops.
`linalg.named_op` -> `tensor.expand_shape` -> `linalg.generic`
Pushing the reshape down will help fusion of `linalg.named_op` ->
`linalg.generic` using tile + fuse transformations.
This pattern is intended to replace the following patterns
1) FoldReshapeByLinearization : These patterns create indexing maps
that are not projected permutations that affect future
transformations. They are only useful for folding unit-dimensions.
2) PushReshapeByExpansion : This pattern has the same functionality
but has some restrictions
a) It tries to avoid creating new reshapes that limits its
applicability. The pattern added here can achieve the same
functionality through use of the `controlFn` that allows clients
of the pattern freedom to make this decision.
b) It does not work for ops with indexing semantics.
These patterns will be deprecated in a future patch.
Differential Revision: https://reviews.llvm.org/D119365
Nikolas Klauser [Tue, 15 Feb 2022 17:18:08 +0000 (18:18 +0100)]
[libc++] Granularize algorithm includes
Reviewed By: Mordante, ldionne, Quuxplusone, #libc, #libc_abi
Spies: #libc_vendors, libcxx-commits, miyuki
Differential Revision: https://reviews.llvm.org/D119667
Nico Weber [Wed, 16 Feb 2022 03:02:25 +0000 (22:02 -0500)]
Revert "Add support for floating-point option `ffp-eval-method` and for"
This reverts commit
4bafe65c2b2f1ce745894a509a6d80c87fb1c335.
Breaks at least Misc/warning-flags.c, see comments on
https://reviews.llvm.org/D109239
Chuanqi Xu [Wed, 16 Feb 2022 02:44:20 +0000 (10:44 +0800)]
[NFC] Update new warning to test
This tries to fix the broke test introduced in
4bafe65c2b2f1ce745894a509a6.
Bin Cheng [Tue, 15 Feb 2022 08:51:04 +0000 (16:51 +0800)]
[FuncSpec] Save compilation time by caching uses for propagation
We only need to do propagation on use instructions of the original
value, rather than the replacing const value which might have lots
of irrelavant uses. This is done by caching uses before replacing.
Differential Revision: https://reviews.llvm.org/D119815
Zakk Chen [Mon, 14 Feb 2022 01:28:44 +0000 (17:28 -0800)]
[RISCV] Add the passthru operand for RVV nomask binary intrinsics.
The goal is support tail and mask policy in RVV builtins.
We focus on IR part first.
If the passthru operand is undef, we use tail agnostic, otherwise
use tail undisturbed.
Add passthru operand for VSLIDE1UP_VL and VSLIDE1DOWN_VL to support
i64 scalar in rv32.
The masked VSLIDE1 would only emit mask undisturbed policy regardless
of giving mask agnostic policy until InsertVSETVLI supports mask agnostic.
Reviewed by: craig.topper, rogfer01
Differential Revision: https://reviews.llvm.org/D117989
Jez Ng [Wed, 16 Feb 2022 02:28:18 +0000 (21:28 -0500)]
[lld-macho][nfc] Clean up trailing spaces and tabs
Matt Arsenault [Tue, 15 Feb 2022 22:18:32 +0000 (17:18 -0500)]
AMDGPU: Use subtarget in class instead of querying function
Jez Ng [Wed, 16 Feb 2022 02:13:41 +0000 (21:13 -0500)]
[lld-macho][nfc] Factor out callgraph parsing code
`parseSections()` is a getting a bit large unwieldy, let's factor out
logic where we can.
Other minor changes in this diff:
* `"__cg_profile"` is now a global constexpr
* We now use `checkError()` instead of `fatal()`-ing without handling
the Error
* Check for `callGraphProfileSort` before checking the section name,
since the boolean comparison is likely cheaper
Reviewed By: #lld-macho, lgrey, oontvoo
Differential Revision: https://reviews.llvm.org/D119892
Alexander Yermolovich [Wed, 16 Feb 2022 02:06:03 +0000 (18:06 -0800)]
[BOLT][DWARF] Add ability to insert new entries in to DIE
Added ability to append new entries to DIE. This is useful to standadize DWARF4
Split Dwarf, and simplify implementation of DWARF5.
Multiple DIEs can share an abbrev. So currently limitation is that only unique
Attributes can be added.
Reviewed By: maksfb
Differential Revision: https://reviews.llvm.org/D119577
Richard Smith [Wed, 16 Feb 2022 01:55:35 +0000 (17:55 -0800)]
Fix crash when deserializing a lambda expression in a decltype.
Fangrui Song [Wed, 16 Feb 2022 01:54:38 +0000 (17:54 -0800)]
[ELF][test] Improve LTO duplicate symbol test
zhongyunde [Wed, 16 Feb 2022 01:35:15 +0000 (09:35 +0800)]
[DAGCombiner][AArch64] Enhance to fold CSNEG into CSINC instruction
Perform the scalar expression combine in the form of:
CSNEG(1, c, cc) + b => cc ? b+1 : b-c => CSINC(b-c, b, !cc)
CSNEG(c, -1, cc) + b => cc ? b+c : b+1 => CSINC(b+c, b, cc)
Fix https://github.com/llvm/llvm-project/issues/53071
Reviewed By: dmgreen
Differential Revision: https://reviews.llvm.org/D119105
Sergei Grechanik [Wed, 16 Feb 2022 01:09:08 +0000 (17:09 -0800)]
[mlir] Expose printer flags in AsmState
This change exposes printer flags in AsmState and AsmStateImpl. All functions
receiving AsmState as a parameter now use the flags from the AsmState instead of
taking an additional OpPrintingFlags parameter.
Reviewed By: rriddle
Differential Revision: https://reviews.llvm.org/D119870
Sam Clegg [Tue, 15 Feb 2022 23:33:42 +0000 (15:33 -0800)]
[lld][WebAssembly] Don't force the export symbols assiged internal/dummy GOT entries
Symbols with regular GOT entries do need to be exported, but those that
are internalized (and have dymmy/internal GOT entries) need not be
exported.
This happens to fix the failures on the emscripten waterfall where extra
symbols were being exported by the linker (and then later removed by
wasm-opt).
Differential Revision: https://reviews.llvm.org/D119902
Jan Korous [Tue, 15 Feb 2022 02:22:18 +0000 (18:22 -0800)]
[Bitstream] Improve error propagation from ReadVBR
Differential Revision: https://reviews.llvm.org/D119307
Jan Korous [Tue, 15 Feb 2022 02:21:00 +0000 (18:21 -0800)]
[Bitstream] Add assert to ReadVBR and ReadVBR64
We want to prevent UB potentially caused by left-shifting by type bit-width.
Differential Revision: https://reviews.llvm.org/D119307
Fangrui Song [Wed, 16 Feb 2022 01:02:55 +0000 (17:02 -0800)]
[ELF] --exclude-libs: skip local symbols for ET_REL. NFC
Beside the optimization, this will avoid accessing nullptr entries with my
planned change to parallelize initializeLocalSymbols.
Konstantin Varlamov [Wed, 16 Feb 2022 00:59:16 +0000 (16:59 -0800)]
[libc++][ranges] Implement Ranges changes to `istream{,buf}_iterator`.
The changes from the One Ranges Proposal amount to adding:
- a constructor that takes a `default_sentinel_t` and is equivalent to
the default constructor;
- an `operator==` that compares the iterator to `default_sentinel_t`.
The original proposal defined two overloads for `operator==` (different
argument order) as well as `operator!=`. This has been removed by
[P1614](https://wg21.link/p1614).
Differential Revision: https://reviews.llvm.org/D119620
Reid Kleckner [Fri, 11 Feb 2022 18:58:34 +0000 (10:58 -0800)]
[X86] Add test for interaction between pushf/popf and redzones
As requested on D92695
Michael Jones [Mon, 14 Feb 2022 23:15:22 +0000 (15:15 -0800)]
[libc] change ASAN condition to generator expression
Previously, building LLVM-libc with GWP ASAN was conditioned on the flag
COMPILER_RT_BUILD_GWP_ASAN, which caused issues do to the default value
of the flag being set in the compiler-rt cmake, which is seperate. Now
GWP ASAN is included based on if it exists as a target, which is more
consistent.
Reviewed By: sivachandra
Differential Revision: https://reviews.llvm.org/D119789
Bixia Zheng [Tue, 15 Feb 2022 18:17:51 +0000 (10:17 -0800)]
[mlir][sparse][taco] Handle tensor copy and trivial reduction expression.
Handle tensor copy, such as A[i, j] = B[i, j]. Also, handle trivial
reduction expression, such as A[i] = B[i, j].
Add unit tests.
Reviewed By: aartbik
Differential Revision: https://reviews.llvm.org/D119867
Heejin Ahn [Tue, 15 Feb 2022 02:04:48 +0000 (18:04 -0800)]
[WebAssembly] Add TLS FileCheck lines to Wasm SjLj test
Reviewed By: sbc100
Differential Revision: https://reviews.llvm.org/D119800
Nikolas Klauser [Tue, 15 Feb 2022 19:00:34 +0000 (20:00 +0100)]
[libc++][test] Run clang-tidy during CI
I'm trying to get libc++ to the point of being able to run clang-tidy. This is a PR to see if clang-tidy is happy with all the CI configs.
Reviewed By: Quuxplusone, ldionne, #libc
Spies: mgorny, aheejin, libcxx-commits, arichardson
Differential Revision: https://reviews.llvm.org/D117174
Mubariz Afzal [Tue, 15 Feb 2022 23:11:50 +0000 (18:11 -0500)]
[SystemZ][z/OS] Fix f32 variadic argument assertion
The tablegen lines that specify the XPLINK64 calling convention for promoting an f32 vararg to an f64 are effectively overwritten by the following tablegen line which bitcast an f64 vararg to an i64 (so that it can be used in the GPRs). It becomes a bitcast from f32 to i64.
Since we don't handle a bitcast for f32s this caused an assertion.
Sam Clegg [Tue, 15 Feb 2022 21:04:13 +0000 (13:04 -0800)]
[lld][WebAssemlby] Warn on unknown -z flags
This code mirrors that in lld/ELF/Driver.cpp, as does the new test code.
Differential Revision: https://reviews.llvm.org/D119888
Zahira Ammarguellat [Tue, 19 Oct 2021 16:12:57 +0000 (09:12 -0700)]
Add support for floating-point option `ffp-eval-method` and for
`pragma clang fp eval_method`.
Jonas Devlieghere [Tue, 15 Feb 2022 21:53:19 +0000 (13:53 -0800)]
[lldb] Check max_size before resizing DataBufferHeap
Don't resize DataBufferHeap if the newly requested size exceeds the
capacity of the underlying data structure, i.e. std::vector<uint8_t>.
This matches the existing check in the DataBufferHeap constructor.
Muhammad Omair Javaid [Tue, 15 Feb 2022 21:32:19 +0000 (02:32 +0500)]
Fix typo in llvm-config.h.cmake
This patch fixes a typo in https://reviews.llvm.org/rGa1862d78eb45 where
parenthesis was placed by in place of curly braces which was strangely
building with 3.17.
Differential Revision: https://reviews.llvm.org/D114639
Arthur O'Dwyer [Sun, 13 Feb 2022 19:46:29 +0000 (14:46 -0500)]
[libc++] [test] Qualify `distance` as `std::distance` in a lot of tests. NFCI.
We shouldn't be calling `distance` via ADL -- and neither should anybody
in the wild be calling it via ADL, so it's not like we need to test
this ADL ability of `distance` in particular.
Differential Revision: https://reviews.llvm.org/D119685
Louis Dionne [Tue, 15 Feb 2022 21:12:08 +0000 (16:12 -0500)]
[libc++] Mark test as unsupported with apple-clang
This is to avoid spurious test failures in case apple-clang-14 doesn't
support _BitInt.
Louis Dionne [Mon, 14 Feb 2022 19:39:17 +0000 (14:39 -0500)]
[libc++] Take more knobs into account when generating ABI lists
This change will make it possible to track exported symbols in more
configurations, notably the Apple system one, where we disable incomplete
features and the debug mode. Also, as a fly-by fix, shorten the name for
whether new is in libc++ or not.
Differential Revision: https://reviews.llvm.org/D119764
Florian Mayer [Tue, 15 Feb 2022 02:12:32 +0000 (18:12 -0800)]
[NFC] [MTE] only do one pass over allocas for stack tagging.
Reviewed By: eugenis
Differential Revision: https://reviews.llvm.org/D119801
Aaron Ballman [Tue, 15 Feb 2022 21:06:01 +0000 (16:06 -0500)]
Use functions with prototypes when appropriate; NFC
A significant number of our tests in C accidentally use functions
without prototypes. This patch converts the function signatures to have
a prototype for the situations where the test is not specific to K&R C
declarations. e.g.,
void func();
becomes
void func(void);
This is the eleventh batch of tests being updated (there are a
significant number of other tests left to be updated).
Stanislav Mekhanoshin [Tue, 15 Feb 2022 19:17:13 +0000 (11:17 -0800)]
[AMDGPU] Do not define GET_INSTRINFO_SCHED_ENUM
Autogenerated names are too long and break compilation on Windows,
while we do not need this enum at all.
Differential Revision: https://reviews.llvm.org/D119869
Fangrui Song [Tue, 15 Feb 2022 20:57:27 +0000 (12:57 -0800)]
[ELF][PPC64] Fix assertion failure for branches to hidden undefined weak for -no-pie
Reported by Stefan Pintilie in D119773.
For a branch to a hidden undefined weak symbol, there is an
`assert(sym->getVA());` failure in PPC64LongBranchTargetSection::writeTo for a
-no-pie link. The root cause is that we unnecessarily create the thunk for the
-no-pie link.
Fix this by changing the condition to just `s.isUndefined()`. See the inline
comment.
Rename ppc64-weak-undef-call.s to ppc64-undefined-weak.s to be consistent with
other architectures.
Reviewed By: sfertile, stefanp
Differential Revision: https://reviews.llvm.org/D119787
Louis Dionne [Tue, 15 Feb 2022 20:47:45 +0000 (15:47 -0500)]
[libc++] Temporarily silence failing debug mode test
Also, fix the actual code so that the test would pass if we fixed the
issue that the method is instantiated in the dylib, and hence the debug
assertion will never fire except if the debug mode is enabled when the
dylib is being compiled.
Thomas Raoux [Tue, 15 Feb 2022 20:23:57 +0000 (12:23 -0800)]
[mlir][scf] Add callback to annotate ops during pipelining
This allow user to register a callback that can annotate operations
during software pipelining. This allows user potential annotate op to
know what part of the pipeline they correspond to.
Differential Revision: https://reviews.llvm.org/D119866
Björn Schäpers [Fri, 3 Dec 2021 08:19:11 +0000 (09:19 +0100)]
[clang-format][NFC] Give State.Stack.back() a meaningful name
Without that debugging was a hell for me.
Differential Revision: https://reviews.llvm.org/D119597
Björn Schäpers [Sun, 7 Nov 2021 21:02:34 +0000 (22:02 +0100)]
[clang-format] Extend SpaceBeforeParens for requires
We can now configure the space between requires and the following paren,
seperate for clauses and expressions.
Differential Revision: https://reviews.llvm.org/D113369
Björn Schäpers [Mon, 7 Feb 2022 14:46:46 +0000 (15:46 +0100)]
[clang-format] Further improve support for requires expressions
Detect requires expressions in more unusable contexts. This is far from
perfect, but currently we have no good metric to decide between a
requires expression and a trailing requires clause.
Differential Revision: https://reviews.llvm.org/D119138
Philip Reames [Tue, 15 Feb 2022 20:20:33 +0000 (12:20 -0800)]
[SLP] Add assert that entities are scheduled as expected
Requested in D118538
Jacques Pienaar [Tue, 15 Feb 2022 20:20:07 +0000 (12:20 -0800)]
[mlir][ods] Allow type attribute/operand for 0 result ops prefixed
Without results, there is no getType injected and so generating one in prefixed form doesn't result in any failures during C++ compilation.
Differential Revision: https://reviews.llvm.org/D119871
Yaxun (Sam) Liu [Sat, 12 Feb 2022 04:07:46 +0000 (23:07 -0500)]
[CUDA][HIP] Do not promote constexpr var with non-constant initializer
constexpr var may be initialized with address of non-const variable.
In this case the initializer is not constant in device compilation.
This has been handled for const vars but not for constexpr vars.
This patch makes handling of const var and constexpr var
consistent.
Reviewed by: Artem Belevich
Differential Revision: https://reviews.llvm.org/D119615
Fixes: https://github.com/llvm/llvm-project/issues/53780
Louis Dionne [Tue, 15 Feb 2022 20:10:27 +0000 (15:10 -0500)]
[libc++] Add missing UNSUPPORTED for the has-no-incomplete-ranges test
This wasn't caught because we don't test the combination of no-filesystem
and no-experimental-features in the CI.
Louis Dionne [Tue, 15 Feb 2022 20:07:47 +0000 (15:07 -0500)]
[libc++][ci] Pin apple-system to arm64 to relieve pressure on x86_64 hosts
Joseph Huber [Mon, 14 Feb 2022 18:03:36 +0000 (13:03 -0500)]
[Libomptarget] Run CPU offloading tests using the new driver
This patch adds a new target to the OpenMP CPU offloading tests. This
tests the usage of the new driver for CPU offloading. If this all works
then we can move to transition to the new driver as the default.
Depends on D119613
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D119736
Joseph Huber [Sat, 12 Feb 2022 02:58:15 +0000 (21:58 -0500)]
[OpenMP] Add support for CPU offloading in new driver
This patch adds support for linking CPU offloading applications in the
linker wrapper. We generate the necessary linking job using the host
linker's path and library arguments. This may not be true for more
complex offloading schemes, but this is sufficient for now.
Reviewed By: jdoerfert
Differential Revision: https://reviews.llvm.org/D119613
David Blaikie [Tue, 15 Feb 2022 19:26:15 +0000 (11:26 -0800)]
DebugInfo: Disable simplified template names for -gmlt and below
Since -gmlt doesn't carry any type information necessary to rebuild
template names.
David Blaikie [Fri, 11 Feb 2022 05:14:02 +0000 (21:14 -0800)]
DebugInfo: Don't simplify template names using _BitInt(N)
_BitInt(N) only encodes the byte size in DWARF, not the bit size, so
can't be reconstituted.
Aart Bik [Tue, 15 Feb 2022 18:07:50 +0000 (10:07 -0800)]
[mlir][sparse] sparse transpose operation
This test shows that when access patterns do not match (e.g. transposing
a row-wise sparse matrix into another row-wise sparse matrix), a conversion
operation in between can enable codegen (i.e. avoid cycle in iteration graph).
Reviewed By: bixia
Differential Revision: https://reviews.llvm.org/D119864
Mogball [Tue, 15 Feb 2022 19:41:01 +0000 (19:41 +0000)]
[mlir][ods] NFC fix compilation error on clang-8
Florian Mayer [Tue, 15 Feb 2022 02:25:45 +0000 (18:25 -0800)]
[HWASan] remove replacement of DbgVariableIntrinsics.
This code was dead because we AI->replaceUsesWithIf above. I verified
this doesn't actually get run by applying
https://gist.github.com/fmayer/
aea7cbb4700cfe2c9d932591ae1073c3 to the
Android toolchain and building AOSP, without any crash.
Reviewed By: eugenis
Differential Revision: https://reviews.llvm.org/D119802
LLVM GN Syncbot [Tue, 15 Feb 2022 19:28:46 +0000 (19:28 +0000)]
[gn build] Port
c62eefb8863e
Mircea Trofin [Sat, 5 Feb 2022 04:29:53 +0000 (20:29 -0800)]
[nfc][codegen] Move RegisterBank[Info].cpp under CodeGen
Layering-wise, it seems RegisterBank stuff fits under CodeGen, like
other target abstraction.
In particular, TargetSubtargetInfo has a getRegBankInfo member, but
using that object requires making sure GlobalISel is linked, which is
not always the case (e.g. llvm-jitlink doesn't).
Differential Revision: https://reviews.llvm.org/D119053
Peter Klausler [Sat, 12 Feb 2022 00:58:01 +0000 (16:58 -0800)]
[flang] Make source location more accurate for actual arguments
Track source location information when available for actual arguments
to procedure references, and use this information when checking constraints
on calls so that error messages refer to specific actual arguments
rather than to the entire call.
Differential Revision: https://reviews.llvm.org/D119849
Fangrui Song [Tue, 15 Feb 2022 19:18:31 +0000 (11:18 -0800)]
[ELF] reportDuplicate: change Symbol * to const Symbol &. NFC
Mogball [Tue, 15 Feb 2022 19:00:12 +0000 (19:00 +0000)]
[mlir][ods] Default-valued parameters in attribute or type defs
Optional parameters with `defaultValue` set will be populated with that value if they aren't encountered during parsing. Moreover, parameters equal to their default values are elided when printing.
Depends on D118210
Reviewed By: rriddle
Differential Revision: https://reviews.llvm.org/D118544
minglotus-6 [Tue, 15 Feb 2022 07:18:18 +0000 (23:18 -0800)]
[ProfData] Change type of options from int to uint64_t.
- Reader uses option values to override uint64_t values.
Differential Revision: https://reviews.llvm.org/D119810
Christopher Di Bella [Tue, 15 Feb 2022 06:55:09 +0000 (06:55 +0000)]
[polly][NFC] removes using-directives to fix modules build
When compiling with Clang modules enabled, polly's use of using-directives
caused the global object `Target` in RegisterPasses.cpp to clash with
`llvm::Target`. By eliminating the using-directives, we're able to get
polly to play nicely with a modules build.
Differential Revision: https://reviews.llvm.org/D119809
Peter Klausler [Wed, 9 Feb 2022 18:33:20 +0000 (10:33 -0800)]
[flang] Handle CALL C_F_POINTER(without SHAPE=)
Calls to C_F_POINTER() without the optional SHAPE= third argument
were failing to be recognized as proper calls to the intrinsic,
but the failure was not generating any error message. This led to
a crash in lowering, which rightfully expects a typed expression
to be associated with the call.
So (1) catch silent failures to convert CALL statements as internal
errors, as is done for expressions and assignment statements; and
(2) clean up C_F_POINTER intrinsic handling to cope with only two
arguments and to emit an error for a FPTR= argument with no type.
Differential Revision: https://reviews.llvm.org/D119847
Krzysztof Drewniak [Tue, 15 Feb 2022 16:55:22 +0000 (16:55 +0000)]
[MLIR] Add support for alloca() of non-zero address spaces
This change is needed when lowering alloca()-using code on targets
such as ROCDL that represent private scratch space as a separate
address space.
Reviewed By: ftynse
Differential Revision: https://reviews.llvm.org/D119775
LLVM GN Syncbot [Tue, 15 Feb 2022 18:33:42 +0000 (18:33 +0000)]
[gn build] Port
987c7f407d14
Nico Weber [Tue, 15 Feb 2022 18:31:46 +0000 (13:31 -0500)]
[gn build] (manually) port
9c30bafd59bf1
This is needed after
b432eb5c8412c to keep std::unexpected_handler
around (which libcxxabi uses from libcxx).
Amy Kwan [Tue, 15 Feb 2022 16:47:55 +0000 (10:47 -0600)]
[PowerPC] Fix __builtin_pdepd and __builtin_pextd to be 64-bit and P10 only.
The `__builtin_pdepd` and `__builtin_pextd` are P10 builtins that are meant to
be used under 64-bit only. For instance, when the builtins are compiled under
32-bit mode:
```
$ cat t.c
unsigned long long foo(unsigned long long a, unsigned long long b) {
return __builtin_pextd(a,b);
}
$ clang -c t.c -mcpu=pwr10 -m32
ExpandIntegerResult #0: t31: i64 = llvm.ppc.pextd TargetConstant:i32<6928>, t28, t29
fatal error: error in backend: Do not know how to expand the result of this operator!
```
This patch adds sema checking for these builtins to compile under 64-bit
mode only and on P10. The builtins will emit a diagnostic when they are compiled on
non-P10 compilations and on 32-bit mode.
Differential Revision: https://reviews.llvm.org/D118753