platform/upstream/llvm.git
2 years ago[SelectionDAG][RISCV][AMDGPU][ARM] Improve SimplifyDemandedBits for SHL with variable...
Craig Topper [Thu, 14 Jul 2022 23:07:03 +0000 (16:07 -0700)]
[SelectionDAG][RISCV][AMDGPU][ARM] Improve SimplifyDemandedBits for SHL with variable shift amount.

If we have a variable shift amount and the demanded mask has leading
zeros, we can propagate those leading zeros to not demand those bits
from operand 0. This can allow zero_extend/sign_extend to become
any_extend. This pattern can occur due to C integer promotion rules.

This transform is already done by InstCombineSimplifyDemanded.cpp where
sign_extend can be turned into zero_extend for example.

Reviewed By: spatel, foad

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

2 years ago[RISCV] Add additional tests for D121833. NFC
Craig Topper [Mon, 11 Jul 2022 22:06:00 +0000 (15:06 -0700)]
[RISCV] Add additional tests for D121833. NFC

2 years ago[Clang] Modify CXXMethodDecl::isMoveAssignmentOperator() to look through type sugar
Shafik Yaghmour [Thu, 14 Jul 2022 21:54:48 +0000 (14:54 -0700)]
[Clang] Modify CXXMethodDecl::isMoveAssignmentOperator() to look through type sugar
AcceptedPublic

Currently CXXMethodDecl::isMoveAssignmentOperator() does not look though type
sugar and so if the parameter is a type alias it will not be able to detect
that the method is a move assignment operator. This PR fixes that and adds a set
of tests that covers that we correctly detect special member functions when
defaulting or deleting them.

This fixes: https://github.com/llvm/llvm-project/issues/56456

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

2 years ago[RISCV] Make TuneSiFive7 depend on TuneNoDefaultUnroll instead of listing it for...
Craig Topper [Thu, 14 Jul 2022 22:13:02 +0000 (15:13 -0700)]
[RISCV] Make TuneSiFive7 depend on TuneNoDefaultUnroll instead of listing it for every SiFive7 CPU

2 years agoRemove testing for zlib-gnu llvm-mc support in the absence of zlib
David Blaikie [Thu, 14 Jul 2022 22:55:24 +0000 (22:55 +0000)]
Remove testing for zlib-gnu llvm-mc support in the absence of zlib

2 years ago[mlir][NVGPU] Verifier for nvgpu.ldmatrix
Manish Gupta [Thu, 14 Jul 2022 22:40:53 +0000 (22:40 +0000)]
[mlir][NVGPU] Verifier for nvgpu.ldmatrix

* Adds verifiers for `nvgpu.ldmatrix` op
* Adds tests to `mlir/test/Dialect/NVGPU/invalid.mlir`

Reviewed By: ThomasRaoux

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

2 years agoRemove zlibgnu support in llvm-mc
David Blaikie [Thu, 14 Jul 2022 22:38:17 +0000 (22:38 +0000)]
Remove zlibgnu support in llvm-mc

The feature's been removed from most other tools in LLVM at this point.

2 years ago[clang-format] Fix invalid-code-generation by RemoveBracesLLVM
owenca [Thu, 14 Jul 2022 08:05:45 +0000 (01:05 -0700)]
[clang-format] Fix invalid-code-generation by RemoveBracesLLVM

When removing an r_brace that is the first token of an annotated line, if the
line above ends with a line comment, clang-format generates invalid code by
merging the tokens after the r_brace into the line comment.

Fixes #56488.

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

2 years ago[libc++] Update RangesAlgorithms.csv
Nikolas Klauser [Thu, 14 Jul 2022 22:16:18 +0000 (00:16 +0200)]
[libc++] Update RangesAlgorithms.csv

2 years ago[mlir][sparse][bufferization] fix a few memory leaks
Aart Bik [Thu, 14 Jul 2022 21:55:43 +0000 (14:55 -0700)]
[mlir][sparse][bufferization] fix a few memory leaks

Fixed some new memory leaks after migration to new
bufferization. One is expected, the other may need
some more careful analysis.

Reviewed By: jpienaar

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

2 years ago[AMDGPU] Lowering VGPR to SGPR copies to v_readfirstlane_b32 if profitable.
Alexander Timofeev [Tue, 21 Jun 2022 08:57:58 +0000 (10:57 +0200)]
[AMDGPU] Lowering VGPR to SGPR copies to v_readfirstlane_b32 if profitable.

Since the divergence-driven instruction selection has been enabled for AMDGPU,
 all the uniform instructions are expected to be selected to SALU form, except those not having one.
 VGPR to SGPR copies appear in MIR to connect values producers and consumers. This change implements an algorithm
 that evolves a reasonable tradeoff between the profit achieved from keeping the uniform instructions in SALU form
 and overhead introduced by the data transfer between the VGPRs and SGPRs.

Reviewed By: rampitec

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

2 years agoRemove left over merge marker from 4b1e3d19370694dd2b2c04a5945f3f9e43917456
Tom Stellard [Thu, 14 Jul 2022 21:51:44 +0000 (14:51 -0700)]
Remove left over merge marker from 4b1e3d19370694dd2b2c04a5945f3f9e43917456

2 years ago[gold] Ignore bitcode from sections inside object files
Tom Stellard [Wed, 22 Jun 2022 05:22:11 +0000 (22:22 -0700)]
[gold] Ignore bitcode from sections inside object files

-fembed-bitcode will put bitcode into special sections within object
files, but this is not meant to be used by LTO, so the gold plugin
should ignore it.

https://github.com/llvm/llvm-project/issues/47216

Reviewed By: tejohnson, MaskRay

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

2 years agoRevert "[flang] Add co_sum to the list of intrinsics and update test"
Katherine Rasmussen [Thu, 14 Jul 2022 21:44:34 +0000 (14:44 -0700)]
Revert "[flang] Add co_sum to the list of intrinsics and update test"

This reverts commit d2460d90080f2ff8564ceed745998f821544ec98.

Reverting this commit because after pushing to main it caused
unexpected test failures.

2 years ago[libc] Enable a few stdlib and time functions on aarch64.
Siva Chandra [Thu, 14 Jul 2022 21:37:24 +0000 (14:37 -0700)]
[libc] Enable a few stdlib and time functions on aarch64.

2 years ago[analyzer] Evaluate construction of non-POD type arrays
isuckatcs [Thu, 16 Jun 2022 14:46:01 +0000 (16:46 +0200)]
[analyzer] Evaluate construction of non-POD type arrays

Introducing the support for evaluating the constructor
of every element in an array. The idea is to record the
index of the current array member being constructed and
create a loop during the analysis. We looping over the
same CXXConstructExpr as many times as many elements
the array has.

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

2 years ago[compiler-rt][CMake] Use linker semantics for unwinder and C++ library
Petr Hosek [Mon, 11 Jul 2022 08:18:28 +0000 (08:18 +0000)]
[compiler-rt][CMake] Use linker semantics for unwinder and C++ library

Try the shared library first, and if it doesn't exist fallback onto
the static one. When the static library is requested, skip the shared
library.

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

2 years ago[LLD][COFF] On Windows, fix the date formatting in the 'incremental' test.
Alexandre Ganea [Thu, 14 Jul 2022 20:56:23 +0000 (16:56 -0400)]
[LLD][COFF] On Windows, fix the date formatting in the 'incremental' test.

On my system the date formatting is a bit different from what the test used to
support. I'm using:

  Windows 11 version 21H2, build 22000.795 using the English(Canada) region.
  ls from BusyBox 1.36
  VS 2022 17.2.5
  WinSDK 10.0.22000

2 years ago[mlir][sparse][bufferization] initialize reduction variable
Aart Bik [Thu, 14 Jul 2022 20:18:17 +0000 (13:18 -0700)]
[mlir][sparse][bufferization] initialize reduction variable

After recent bufferization improvement, this test
started failing due to missed zero initialization.

Reviewed By: jpienaar

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

2 years ago[clang] Document -femit-compact-unwind option in the User’s Manual
Jez Ng [Thu, 14 Jul 2022 20:46:15 +0000 (16:46 -0400)]
[clang] Document -femit-compact-unwind option in the User’s Manual

Reviewed By: #lld-macho, thakis

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

2 years ago[flang] Add co_sum to the list of intrinsics and update test
Katherine Rasmussen [Thu, 26 May 2022 22:14:31 +0000 (15:14 -0700)]
[flang] Add co_sum to the list of intrinsics and update test

Add the collective subroutine, co_sum, to the list of intrinsics.
In accordance with 16.9.50 and 16.9.137, add a check for and an
error if coindexed objects are being passed to certain arguments
in co_sum and in move_alloc. Add a semantics test to check that
this error is successfully caught in calls to move_alloc. Remove
the XFAIL directive, update the ERROR directives and add both
standard-conforming and non-standard conforming calls to the
semantics test for co_sum.

Reviewed By: jeanPerier

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

2 years ago[ELF][test] Fix a typo in aarch64-ifunc-bti.s to actually test what was intended
Fangrui Song [Thu, 14 Jul 2022 20:46:38 +0000 (13:46 -0700)]
[ELF][test] Fix a typo in aarch64-ifunc-bti.s to actually test what was intended

Thanks to Alex Brachet for spotting it in D110217.

2 years ago[mlir][AMDGPU] Add lds_barrier op
Krzysztof Drewniak [Fri, 8 Jul 2022 19:11:03 +0000 (19:11 +0000)]
[mlir][AMDGPU] Add lds_barrier op

The lds_barrier op allows workgroups to wait at a barrier for
operations to/from their local data store (LDS) to complete without
incurring the performance penalties of a full memory fence.

Reviewed By: nirvedhmeshram

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

2 years ago[libc] Enable few stdio functions on aarch64.
Siva Chandra [Thu, 14 Jul 2022 20:40:32 +0000 (13:40 -0700)]
[libc] Enable few stdio functions on aarch64.

2 years ago[mlir] (NFC) run clang-format on all files
Jeff Niu [Thu, 14 Jul 2022 20:31:47 +0000 (13:31 -0700)]
[mlir] (NFC) run clang-format on all files

2 years ago[libc] Enable few pthread and threads functions on aarch64.
Siva Chandra [Thu, 14 Jul 2022 20:20:43 +0000 (13:20 -0700)]
[libc] Enable few pthread and threads functions on aarch64.

2 years ago[libc] Add implementations of pthread_equal and pthread_self.
Siva Chandra Reddy [Tue, 12 Jul 2022 21:50:03 +0000 (21:50 +0000)]
[libc] Add implementations of pthread_equal and pthread_self.

Reviewed By: michaelrj, lntue

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

2 years ago[BOLT] Replace uses of layout with basic block list
Fabian Parzefall [Thu, 14 Jul 2022 19:55:20 +0000 (12:55 -0700)]
[BOLT] Replace uses of layout with basic block list

As we are moving towards support for multiple fragments, loops that
iterate over all basic blocks of a function, but do not depend on the
order of basic blocks in the final layout, should iterate over binary
functions directly, rather than the layout.

Eventually, all loops using the layout list should either iterate over
the function, or be aware of multiple layouts. This patch replaces
references to binary function's block layout with the binary function
itself where only little code changes are necessary.

Reviewed By: maksfb

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

2 years ago[libc++][ranges] implement `std::ranges::set_union`
Hui Xie [Wed, 13 Jul 2022 16:20:22 +0000 (17:20 +0100)]
[libc++][ranges] implement `std::ranges::set_union`

[libc++][ranges] implement `std::ranges::set_union`

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

2 years ago[CVP] Add coverage for missing mul/shl nowrap variants
Philip Reames [Thu, 14 Jul 2022 19:57:32 +0000 (12:57 -0700)]
[CVP] Add coverage for missing mul/shl nowrap variants

2 years ago[gn build] Port a83004f4ff9e
LLVM GN Syncbot [Thu, 14 Jul 2022 19:46:00 +0000 (19:46 +0000)]
[gn build] Port a83004f4ff9e

2 years ago[test] Fix D129789 for 32bit platforms
Vitaly Buka [Thu, 14 Jul 2022 19:33:16 +0000 (12:33 -0700)]
[test] Fix D129789 for 32bit platforms

2 years ago[libcxx][AIX][z/OS] Remove headers included via `_IBMCPP__`
David Tenty [Mon, 11 Jul 2022 15:05:42 +0000 (11:05 -0400)]
[libcxx][AIX][z/OS] Remove headers included via `_IBMCPP__`

D127650 removed support for non-clang-based XL compilers, but left some
of the headers used only by this compiler and included under the
__IBMCPP__ macro. This change cleans this up by deleting these headers.

Reviewed By: hubert.reinterpretcast, fanbo-meng

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

2 years ago[libc++] Add missing UNSUPPORTED annotations to experimental tests that use RTTI
Louis Dionne [Thu, 14 Jul 2022 19:08:15 +0000 (15:08 -0400)]
[libc++] Add missing UNSUPPORTED annotations to experimental tests that use RTTI

2 years ago[libcxxabi][CMake] Set --unwindlib=none when using LLVM libunwind
Petr Hosek [Mon, 11 Jul 2022 07:53:47 +0000 (07:53 +0000)]
[libcxxabi][CMake] Set --unwindlib=none when using LLVM libunwind

We already link libunwind explicitly so avoid trying to link toolchain's
default libunwind which may be missing. This matches what we already do
for libcxx.

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

2 years ago[InstrProf] Add options to profile function groups
Ellis Hoag [Thu, 14 Jul 2022 18:40:53 +0000 (11:40 -0700)]
[InstrProf] Add options to profile function groups

Add two options, `-fprofile-function-groups=N` and `-fprofile-selected-function-group=i` used to partition functions into `N` groups and only instrument the functions in group `i`. Similar options were added to xray in https://reviews.llvm.org/D87953 and the goal is the same; to reduce instrumented size overhead by spreading the overhead across multiple builds. Raw profiles from different groups can be added like normal using the `llvm-profdata merge` command.

Reviewed By: ianlevesque

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

2 years ago[clang][CodeGen] add fn_ret_thunk_extern to synthetic fns
Nick Desaulniers [Thu, 14 Jul 2022 18:25:21 +0000 (11:25 -0700)]
[clang][CodeGen] add fn_ret_thunk_extern to synthetic fns

Follow up fix to
commit 2240d72f15f3 ("[X86] initial -mfunction-return=thunk-extern
support")
https://reviews.llvm.org/D129572

@nathanchance reported that -mfunction-return=thunk-extern was failing
to annotate the asan and tsan contructors.
https://lore.kernel.org/llvm/Ys7pLq+tQk5xEa%2FB@dev-arch.thelio-3990X/

I then noticed the same occurring for gcov synthetic functions.

Similar to
commit 2786e67 ("[IR][sanitizer] Add module flag "frame-pointer" and set
it for cc1 -mframe-pointer={non-leaf,all}")
define a new module level MetaData, "fn_ret_thunk_extern", then when set
adds the fn_ret_thunk_extern IR Fn Attr to synthetically created
Functions.

Fixes https://github.com/llvm/llvm-project/issues/56514

Reviewed By: MaskRay

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

2 years ago[PhaseOrdering][SystemZ] add test for combining/unrolling; NFC
Sanjay Patel [Wed, 13 Jul 2022 14:41:41 +0000 (10:41 -0400)]
[PhaseOrdering][SystemZ] add test for combining/unrolling; NFC

As discussed in D128123, this test is based on an example
that ends up with codegen regressions if sub is converted
to xor.

2 years ago[InstCombine] add/edit tests for masked sub from constant; NFC
Sanjay Patel [Wed, 13 Jul 2022 12:55:32 +0000 (08:55 -0400)]
[InstCombine] add/edit tests for masked sub from constant; NFC

2 years ago[test][CodeGen] Don't miss lifetime markers in lifetime tests
Vitaly Buka [Thu, 14 Jul 2022 17:57:07 +0000 (10:57 -0700)]
[test][CodeGen] Don't miss lifetime markers in lifetime tests

Reviewed By: MaskRay

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

2 years ago[GlobalISel] Change widenScalar of G_FCONSTANT to mutate into G_CONSTANT.
Amara Emerson [Thu, 14 Jul 2022 07:53:59 +0000 (00:53 -0700)]
[GlobalISel] Change widenScalar of G_FCONSTANT to mutate into G_CONSTANT.

Widening a G_FCONSTANT by extending and then generating G_FPTRUNC doesn't produce
the same result all the time. Instead, we can just transform it to a G_CONSTANT
of the same bit pattern and truncate using a plain G_TRUNC instead.

Fixes https://github.com/llvm/llvm-project/issues/56454

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

2 years ago[libc++] Use __unwrap_iter_impl for both unwrapping and rewrapping
Nikolas Klauser [Tue, 12 Jul 2022 13:29:07 +0000 (15:29 +0200)]
[libc++] Use __unwrap_iter_impl for both unwrapping and rewrapping

Reviewed By: ldionne, #libc

Spies: arichardson, sstefan1, libcxx-commits

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

2 years agoRevert "Rewording "static_assert" diagnostics"
Mitch Phillips [Thu, 14 Jul 2022 17:52:43 +0000 (10:52 -0700)]
Revert "Rewording "static_assert" diagnostics"

This reverts commit b7e77ff25fb2412f6ab6d6cc756666b0e2f97bd3.

Reason: Broke sanitizer builds bots + libcxx. 'static assertion
expression is not an integral constant expression'. More details
available in the Phabricator review: https://reviews.llvm.org/D129048

2 years ago[RISCV][LSR] Add coverage for ICmpZero with scaled vscale values
Philip Reames [Thu, 14 Jul 2022 17:42:17 +0000 (10:42 -0700)]
[RISCV][LSR] Add coverage for ICmpZero with scaled vscale values

Follow up to 3bc09c7da5 - remove a fixme I forgot to remove, and add test cases showing remaining work.

Note that scaled vscales show up in vectorized code from a couple of sources:
* Element types smaller than vector block size (i.e. everything under i64)
* Unrolling
* LMUL > 1

The largest scaling we can currently have is 256 (e8 in every possible vector register).  More practically useful scales are in the 2-16 range.

2 years agoRevert "[lldb] Add support for using integral const static data members in the expres...
Stella Stamenova [Thu, 14 Jul 2022 17:47:01 +0000 (10:47 -0700)]
Revert "[lldb] Add support for using integral const static data members in the expression evaluator"

This reverts commit 486787210df5ce5eabadc90a7de353ae81101feb.

This broke the windows lldb bot: https://lab.llvm.org/buildbot/#/builders/83/builds/21186

2 years ago[libc++] Error if someone tries to use MSVC and tell them to contact the libc++ devel...
Nikolas Klauser [Mon, 4 Jul 2022 01:07:26 +0000 (03:07 +0200)]
[libc++] Error if someone tries to use MSVC and tell them to contact the libc++ developers

Nobody knows if there are users of libc++ with MSVC. Let's try to find that out and encourage them to upstream their changes to make that configuration work.

Reviewed By: ldionne, #libc

Spies: libcxx-commits

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

2 years ago[gn build] Port 1a8468ba6114
LLVM GN Syncbot [Thu, 14 Jul 2022 17:28:37 +0000 (17:28 +0000)]
[gn build] Port 1a8468ba6114

2 years ago[NFC] Clang-format D129645
Vitaly Buka [Thu, 14 Jul 2022 17:26:45 +0000 (10:26 -0700)]
[NFC] Clang-format D129645

2 years ago[lldb] [llgs] Remove not-really-used m_inferior_prev_state
Michał Górny [Thu, 30 Jun 2022 05:32:27 +0000 (07:32 +0200)]
[lldb] [llgs] Remove not-really-used m_inferior_prev_state

Remove m_inferior_prev_state that's not suitable for multiprocess
debugging and that does not seem to be really used at all.

The only use of the variable right now is to "prevent" sending the stop
reason after attach/launch.  However, this code is never actually run
since none of the process plugins actually use eStateLaunching or
eStateAttaching.  Through adding an assert, I've confirmed that it's
never hit in any of the LLDB tests or while attaching/launching debugged
process via lldb-server and via lldb CLI.

Differential Revision: https://reviews.llvm.org/D128878
Sponsored by: The FreeBSD Foundation

2 years agoPass -DLIBXML2_INCLUDE_DIRS in the Windows release package script
Hans Wennborg [Thu, 14 Jul 2022 17:21:10 +0000 (19:21 +0200)]
Pass -DLIBXML2_INCLUDE_DIRS in the Windows release package script

As pointed out on https://reviews.llvm.org/D129571 this seems to
be the preferred variable to set.

2 years ago[RISCV] Add a RISCV specific CodeGenPrepare pass.
Craig Topper [Thu, 14 Jul 2022 17:10:58 +0000 (10:10 -0700)]
[RISCV] Add a RISCV specific CodeGenPrepare pass.

Initial optimization is to convert (i64 (zext (i32 X))) to
(i64 (sext (i32 X))) if the dominating condition for the basic block
guaranteed the sign bit of X is zero.

This frequently occurs in loop preheaders where a signed induction
variable that can never be negative has been widened. There will be
a dominating check that the 32-bit trip count isn't negative or zero.
The check here is not restricted to that specific case though.

A i32->i64 sext is cheaper than zext on RV64 without the Zba
extension. Later optimizations can often remove the sext from the
preheader basic block because the dominating block also needs a sext to
evaluate the greater than 0 check.

Reviewed By: asb

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

2 years ago[libc] Add nearest integer instructions to fputil.
Tue Ly [Thu, 14 Jul 2022 14:43:32 +0000 (10:43 -0400)]
[libc] Add nearest integer instructions to fputil.

Add round to nearest integer instructions to fputil.  This will be
used in sinf implementation https://reviews.llvm.org/D123154

Reviewed By: michaelrj

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

2 years ago[lldb] Remove ELF .zdebug support
Fangrui Song [Thu, 14 Jul 2022 17:12:48 +0000 (10:12 -0700)]
[lldb] Remove ELF .zdebug support

clang 14 removed -gz=zlib-gnu support and ld.lld/llvm-objcopy removed zlib-gnu
support recently. Remove lldb support by migrating away from
llvm::object::Decompressor::isCompressedELFSection.
The API has another user llvm-dwp, so it is not removed in this patch.

Reviewed By: labath

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

2 years ago[MachineCombiner] Don't compute the latency of transient instructions
Guozhi Wei [Thu, 14 Jul 2022 17:04:44 +0000 (17:04 +0000)]
[MachineCombiner] Don't compute the latency of transient instructions

If an MI will not generate a target instruction, we should not compute its
latency. Then we can compute more precise instruction sequence cost, and get
better result.

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

2 years ago[mlir][vector] Pattern to clean up vector.extract during distribution
Thomas Raoux [Thu, 14 Jul 2022 15:34:22 +0000 (15:34 +0000)]
[mlir][vector] Pattern to clean up vector.extract during distribution

This prevents blocking propagation when converting between scalar and
vector<1>

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

2 years ago[SimplifyIndVar] Use enum class for ExtendKind. NFC
Craig Topper [Thu, 14 Jul 2022 17:03:58 +0000 (10:03 -0700)]
[SimplifyIndVar] Use enum class for ExtendKind. NFC

I happened to notice a two places where the enum was being pass
directly to the bool IsSigned argument of createExtendInst. This
was functionally ok since SignExtended in the enum has value
of 1, but the code shouldn't rely on that.

Using an enum class prevents the enum from being convertible to bool,
but does make writing the enum values more verbose. Since we now
have to write ExtendKind:: in front of them, I've shortened the
names of ZeroExtended and SignExtended.

Reviewed By: nikic

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

2 years ago[clang][test] fix typo in fn attr
Nick Desaulniers [Thu, 14 Jul 2022 16:49:06 +0000 (09:49 -0700)]
[clang][test] fix typo in fn attr

While testing backports of
https://reviews.llvm.org/D129572#inline-1245936
commit 2240d72f15f3 ("[X86] initial -mfunction-return=thunk-extern support")
I noticed that one of my unit tests mistyped a function attribute. The
unit test was intended to test fn attr merging behavior, but with the
typo it was not.  Small fixup.

Reviewed By: aaron.ballman, erichkeane

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

2 years ago[NFC] Move check for isEqualityOp to CheckFloatComparisons
Erich Keane [Thu, 14 Jul 2022 15:50:21 +0000 (08:50 -0700)]
[NFC] Move check for isEqualityOp to CheckFloatComparisons

So callers don't have to.  Also, fix a clang-format/use of auto fix in
CheckFloatComparisons.

2 years ago[SCEV] Avoid creating unnecessary SCEVs for SelectInsts.
Florian Hahn [Thu, 14 Jul 2022 16:23:47 +0000 (09:23 -0700)]
[SCEV] Avoid creating unnecessary SCEVs for SelectInsts.

After 675080a4533b, we always create SCEVs for all operands of a
SelectInst. This can cause notable compile-time regressions compared to
the recursive algorithm, which only evaluates the operands if the select
is in a form we can create a usable expression.

This approach adds additional logic to getOperandsToCreate to only
queue operands for selects if we will later be able to construct a
usable SCEV.

Unfortunately this introduces a bit of coupling between actual SCEV
construction for selects and getOperandsToCreate, but I am not sure if
there are better alternatives to address the regression mentioned for
675080a4533b.

This doesn't have any notable compile-time impact on CTMark.

Reviewed By: nikic

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

2 years ago[RISCV] Disable subregister liveness by default
Fraser Cormack [Wed, 13 Jul 2022 14:48:40 +0000 (15:48 +0100)]
[RISCV] Disable subregister liveness by default

We previously enabled subregister liveness by default when compiling
with RVV. This has been shown to cause miscompilations where RVV
register operand constraints are not met. A test was added for this in
D129639 which explains the issue in more detail.

Until this issue is fixed in some way, we should not be enabling
subregister liveness unless the user asks for it.

Reviewed By: craig.topper, rogfer01, kito-cheng

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

2 years ago[OpenMP] Ignore .eggs file in OpenMP
Shilei Tian [Thu, 14 Jul 2022 16:06:43 +0000 (12:06 -0400)]
[OpenMP] Ignore .eggs file in OpenMP

The OMPD patches introduces GDB plugin. When it is built, it will create a
coulple of temp files in `.eggs`. This patch add it into `.gitignore` in case it
messed up the git tracking.

Reviewed By: jhuber6

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

2 years ago[SCEVExpander] Allow udiv with isKnownNonZero(RHS) + add vscale case
Philip Reames [Thu, 14 Jul 2022 15:50:44 +0000 (08:50 -0700)]
[SCEVExpander] Allow udiv with isKnownNonZero(RHS) + add vscale case

Motivation here is to unblock LSRs ability to use ICmpZero uses - the major effect of which is to enable count down IVs. The test changes reflect this goal, but the potential impact is much broader since this isn't a change in LSR at all.

SCEVExpander needs(*) to prove that expanding the expression is safe anywhere the SCEV expression is valid. In general, we can't expand any node which might fault (or exhibit UB) unless we can either a) prove it won't fault, or b) guard the faulting case. We'd been allowing non-zero constants here; this change extends it to non-zero values.

vscale is never zero. This is already implemented in ValueTracking, and this change just adds the same logic in SCEV's range computation (which in turn drives isKnownNonZero). We should common up some logic here, but let's do that in separate changes.

(*) As an aside, "needs" is such an interesting word here. First, we don't actually need to guard this at all; we could choose to emit a select for the RHS of ever udiv and remove this code entirely. Secondly, the property being checked here is way too strong. What the client actually needs is to expand the SCEV at some particular point in some particular loop. In the examples, the original urem dominates that loop and yet we completely ignore that information when analyzing legality. I don't plan to actively pursue either direction, just noting it for future reference.

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

2 years agotsan: fix a bug in trace part switching
Dmitry Vyukov [Thu, 14 Jul 2022 14:58:07 +0000 (16:58 +0200)]
tsan: fix a bug in trace part switching

Callers of TraceSwitchPart expect that TraceAcquire will always succeed
after the call. It's possible that TryTraceFunc/TraceMutexLock in TraceSwitchPart
that restore the current stack/mutexset filled the trace part exactly up
to the TracePart::kAlignment gap and the next TraceAcquire won't succeed.
Skip the alignment gap after writing initial stack/mutexset to avoid that.

Reviewed By: melver

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

2 years agoRevert "[UnifyLoopExits] Reduce number of guard blocks"
Brendon Cahoon [Thu, 14 Jul 2022 14:47:16 +0000 (09:47 -0500)]
Revert "[UnifyLoopExits] Reduce number of guard blocks"

This reverts commit e13248ab0e79b59d5e5ac73e2fe57d82ce485ce1.

Need to revert because the transformation cannot occur for basic
blocks that contain convergent instructions.

2 years ago[NFC][Metadata] Change MDNode::operands()'s return type from op_range to ArrayRef...
Dawid Jurczak [Thu, 14 Jul 2022 15:20:21 +0000 (17:20 +0200)]
[NFC][Metadata] Change MDNode::operands()'s return type from op_range to ArrayRef<MDOperand>

This patch is https://reviews.llvm.org/D129468 follow-up and address one of comment
coming from that review: https://reviews.llvm.org/D129468#3643295

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

2 years ago[Reassociate] Cleanup minor missed optimizations
Warren Ristow [Thu, 14 Jul 2022 15:21:04 +0000 (08:21 -0700)]
[Reassociate] Cleanup minor missed optimizations

In analyzing issue #56483, it was noticed that running `opt` with
`-reassociate` was missing some minor optimizations. For example,
there were cases where the running `opt` on IR with floating-point
instructions that have the `fast` flags applied, sometimes resulted in
less efficient code than the input IR (things like dead instructions
left behind, and missed reassociations). These were sometimes noted
in the test-files with TODOs, to investigate further. This commit
fixes some of these problems, removing some TODOs in the process.

FTR, I refer to these as "minor" missed optimizations, because when
running a full clang/llvm compilation, these inefficiencies are not
happening, as other passes clean that residue up. Regardless, having
cleaner IR produced by `opt`, makes assessing the quality of fixes done
in `opt` easier.

2 years ago[lldb] Add support for using integral const static data members in the expression...
Andy Yankovsky [Mon, 4 Jul 2022 18:17:51 +0000 (18:17 +0000)]
[lldb] Add support for using integral const static data members in the expression evaluator

This adds support for using const static integral data members as described by C++11 [class.static.data]p3
to LLDB's expression evaluator.

So far LLDB treated these data members are normal static variables. They already work as intended when they are declared in the class definition and then defined in a namespace scope. However, if they are declared and initialised in the class definition but never defined in a namespace scope, all LLDB expressions that use them will fail to link when LLDB can't find the respective symbol for the variable.

The reason for this is that the data members which are only declared in the class are not emitted into any object file so LLDB can never resolve them. Expressions that use these variables are expected to directly use their constant value if possible. Clang can do this for us during codegen, but it requires that we add the constant value to the VarDecl we generate for these data members.

This patch implements this by:
* parsing the constant values from the debug info and adding it to variable declarations we encounter.
* ensuring that LLDB doesn't implicitly try to take the address of expressions that might be an lvalue that points to such a special data member.

The second change is caused by LLDB's way of storing lvalues in the expression parser. When LLDB parses an expression, it tries to keep the result around via two mechanisms:

1. For lvalues, LLDB generates a static pointer variable and stores the address of the last expression in it: `T *$__lldb_expr_result_ptr = &LastExpression`
2. For everything else, LLDB generates a static variable of the same type as the last expression and then direct initialises that variable: `T $__lldb_expr_result(LastExpression)`

If we try to print a special const static data member via something like `expr Class::Member`, then LLDB will try to take the address of this expression as it's an lvalue. This means LLDB will try to take the address of the variable which causes that Clang can't replace the use with the constant value. There isn't any good way to detect this case (as there a lot of different expressions that could yield an lvalue that points to such a data member), so this patch also changes that we only use the first way of capturing the result if the last expression does not have a type that could potentially indicate it's coming from such a special data member.

This change shouldn't break most workflows for users. The only observable side effect I could find is that the implicit persistent result variables for const int's now have their own memory address:

Before this change:
```
(lldb) p i
(const int) $0 = 123
(lldb) p &$0
(const int *) $1 = 0x00007ffeefbff8e8
(lldb) p &i
(const int *) $2 = 0x00007ffeefbff8e8
```

After this change we capture `i` by value so it has its own value.
```
(lldb) p i
(const int) $0 = 123
(lldb) p &$0
(const int *) $1 = 0x0000000100155320
(lldb) p &i
(const int *) $2 = 0x00007ffeefbff8e8
```

Reviewed By: Michael137

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

2 years ago[libc++] Test the size of basic_string
Nikolas Klauser [Fri, 24 Jun 2022 23:40:56 +0000 (01:40 +0200)]
[libc++] Test the size of basic_string

Reviewed By: ldionne, #libc

Spies: hubert.reinterpretcast, arichardson, mstorsjo, libcxx-commits

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

2 years ago[Bitcode] Report metadata decoding error more gracefully
Nikita Popov [Thu, 14 Jul 2022 14:24:37 +0000 (16:24 +0200)]
[Bitcode] Report metadata decoding error more gracefully

2 years agoRevert "[StructurizeCFG] Improve basic block ordering"
Brendon Cahoon [Thu, 14 Jul 2022 14:05:50 +0000 (09:05 -0500)]
Revert "[StructurizeCFG] Improve basic block ordering"

This reverts commit f1b05a0a2bbbea160002be709f8a1c59de366761.

Need to revert to due to issues identified with testing. The
transformation is incorrect for blocks that contain convergent
instructions.

2 years ago[mlir][vector] Support distribution of vector.reduce with accumulator
Thomas Raoux [Thu, 14 Jul 2022 02:15:22 +0000 (02:15 +0000)]
[mlir][vector] Support distribution of vector.reduce with accumulator

Right now the pattern was ignoring the optional accumulator.

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

2 years agoAdd support for three more string_view functions
Jeff Bailey [Wed, 13 Jul 2022 06:00:25 +0000 (06:00 +0000)]
Add support for three more string_view functions

Add support for three more string_view functions

1) starts_with(char)
2) ends_with(char)
3) find_first_of(char, size_t)

Reimplemented trim in terms of the new starts_with and ends_with.

Tested:
New unit tests.

Reviewed By: gchatelet

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

2 years ago[analyzer] Fixing SVal::getType returns Null Type for NonLoc::ConcreteInt in boolean...
Ella Ma [Thu, 14 Jul 2022 07:54:40 +0000 (15:54 +0800)]
[analyzer] Fixing SVal::getType returns Null Type for NonLoc::ConcreteInt in boolean type

In method `TypeRetrievingVisitor::VisitConcreteInt`, `ASTContext::getIntTypeForBitwidth` is used to get the type for `ConcreteInt`s.
However, the getter in ASTContext cannot handle the boolean type with the bit width of 1, which will make method `SVal::getType` return a Null `Type`.
In this patch, a check for this case is added to fix this problem by returning the bool type directly when the bit width is 1.

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

2 years ago[mlir][linalg][NFC] Cleanup: Drop linalg.inplaceable attribute
Matthias Springer [Thu, 14 Jul 2022 08:15:09 +0000 (10:15 +0200)]
[mlir][linalg][NFC] Cleanup: Drop linalg.inplaceable attribute

bufferization.writable is used in most cases instead. All remaining test cases are updated. Some code that is no longer needed is deleted.

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

2 years ago[clang] Do not crash on "requires" after a fatal error occurred.
Adam Czachorowski [Mon, 11 Jul 2022 15:29:12 +0000 (17:29 +0200)]
[clang] Do not crash on "requires" after a fatal error occurred.

The code would assume that SubstExpr() cannot fail on concept
specialization. This is incorret - we give up on some things after fatal
error occurred, since there's no value in doing futher work that the
user will not see anyway. In this case, this lead to crash.

The fatal error is simulated in tests with -ferror-limit=1, but this
could happen in other cases too.

Fixes https://github.com/llvm/llvm-project/issues/55401

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

2 years ago[lldb] [llgs] Convert m_debugged_processes into a map of structs
Michał Górny [Wed, 13 Jul 2022 15:33:28 +0000 (17:33 +0200)]
[lldb] [llgs] Convert m_debugged_processes into a map of structs

Convert the m_debugged_processes map from NativeProcessProtocol pointers
to structs, and combine the additional set(s) holding the additional
process properties into a flag field inside this struct.  This is
desirable since there are more properties to come and having a single
structure with all information should be cleaner and more efficient than
using multiple sets for that.

Suggested by Pavel Labath in D128893.

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

2 years agoTurn on flag to not re-run simplification pipeline.
Alina Sbirlea [Mon, 13 Jun 2022 22:09:18 +0000 (15:09 -0700)]
Turn on flag to not re-run simplification pipeline.

This patch turns on the flag `-enable-no-rerun-simplification-pipeline`, which means the simplification pipeline will not be rerun on unchanged functions in the CGSCCPass Manager.

Compile time improvement:
https://llvm-compile-time-tracker.com/compare.php?from=17457be1c393ff691cca032b04ea1698fedf0301&to=882301ebb893c8ef9f09fe1ea871f7995426fa07&stat=instructions

No meaningful run time regressions observed in the llvm test suite and
in additional internal workloads at this time.

The example test in `test/Other/no-rerun-function-simplification-pipeline.ll` is a good means to understand the effect of this change:
```
define void @f1(void()* %p) alwaysinline {
  call void %p()
  ret void
}

define void @f2() #0 {
  call void @f1(void()* @f2)
  call void @f3()
  ret void
}

define void @f3() #0 {
  call void @f2()
  ret void
}
```

There are two SCCs formed by the ModuleToPostOrderCGSCCAdaptor: (f1) and (f2, f3).

The pass manager runs on the first SCC, leading to running the simplification pipeline (function and loop passes) on f1. With the flag on, after this, the output will have `Running analysis: ShouldNotRunFunctionPassesAnalysis on f1`.

Next, the pass manager runs on the second SCC: (f2, f3). Since f1() was inlined, f2() now calls itself, and also calls f3(), while f3() only calls f2().
So the pass manager for the SCC first runs the Inliner on (f2, f3), then the simplification pipeline on f2.
With the flag on, the output will have `Running analysis: ShouldNotRunFunctionPassesAnalysis on f2`; unless the inliner makes a change, this analysis remains preserved which means there's no reason to rerun the simplification pipeline. With the flag off, there is a second run of the simplification pipeline run on f2.

Next, the same flow occurs for f3. The simplification pipeline is run on f3 a single time with the flag on, along with `ShouldNotRunFunctionPassesAnalysis on f3`, and twice with the flag off.
The reruns occur only on f2 and f3 due to the additional ref edges.

2 years ago[libc++] Allow setting _LIBCPP_OVERRIDABLE_FUNC_VIS
Nikolas Klauser [Thu, 14 Jul 2022 13:04:36 +0000 (15:04 +0200)]
[libc++] Allow setting _LIBCPP_OVERRIDABLE_FUNC_VIS

Chromium changes this flag to be able to use a custom new/delete from a
dylib.

2 years ago[flang][OpenMP] Added semantic checks for hint clause
Nimish Mishra [Thu, 14 Jul 2022 12:54:57 +0000 (18:24 +0530)]
[flang][OpenMP] Added semantic checks for hint clause

This patch improves semantic checks for hint clause.
It checks "hint-expression is a constant expression
that evaluates to a scalar value with kind
`omp_sync_hint_kind` and a value that is a valid
synchronization hint."

Reviewed By: peixin

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

2 years ago[flang][OpenMP] Lowering support for atomic update construct
Nimish Mishra [Thu, 14 Jul 2022 12:50:28 +0000 (18:20 +0530)]
[flang][OpenMP] Lowering support for atomic update construct

This patch adds lowering support for atomic update construct. A region
is associated with every `omp.atomic.update` operation wherein resides:
(1) the evaluation of the expression on the RHS of the atomic assignment
statement, and (2) a `omp.yield` operation that yields the extended value
of expression evaluated in (1).

Reviewed By: peixin

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

2 years ago[LoopPredication] Use isSafeToExpandAt() member function (NFC)
Nikita Popov [Thu, 14 Jul 2022 12:49:07 +0000 (14:49 +0200)]
[LoopPredication] Use isSafeToExpandAt() member function (NFC)

As a followup to D129630, this switches a usage of the freestanding
function in LoopPredication to use the member variant instead. This
was the last use of the freestanding function, so drop it entirely.

2 years ago[SCEVExpander] Make CanonicalMode handing in isSafeToExpand() more robust (PR50506)
Nikita Popov [Wed, 13 Jul 2022 10:18:40 +0000 (12:18 +0200)]
[SCEVExpander] Make CanonicalMode handing in isSafeToExpand() more robust (PR50506)

isSafeToExpand() for addrecs depends on whether the SCEVExpander
will be used in CanonicalMode. At least one caller currently gets
this wrong, resulting in PR50506.

Fix this by a) making the CanonicalMode argument on the freestanding
functions required and b) adding member functions on SCEVExpander
that automatically take the SCEVExpander mode into account. We can
use the latter variant nearly everywhere, and thus make sure that
there is no chance of CanonicalMode mismatch.

Fixes https://github.com/llvm/llvm-project/issues/50506.

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

2 years ago[llvm-objdump] Create fake sections for a ELF core file
Namhyung Kim [Thu, 14 Jul 2022 06:58:38 +0000 (07:58 +0100)]
[llvm-objdump] Create fake sections for a ELF core file

The linux perf tools use /proc/kcore for disassembly kernel functions.
Actually it copies the relevant parts to a temp file and then pass it to
objdump. But it doesn't have section headers so llvm-objdump cannot
handle it.

Let's create fake section headers for the program headers. It'd have a
single section for each segment to cover the entire range. And for this
purpose we can consider only executable code segments.

With this change, I can see the following command shows proper outputs.

perf annotate --stdio --objdump=/path/to/llvm-objdump

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

2 years ago[mlir][Linalg] Retire LinalgPromotion pattern
Nicolas Vasilache [Wed, 13 Jul 2022 15:09:38 +0000 (08:09 -0700)]
[mlir][Linalg] Retire LinalgPromotion pattern

This revision removes the LinalgPromotion pattern and adds a `transform.structured.promotion` op.
Since the LinalgPromotion transform allows the injection of arbitrary C++ via lambdas, the current
transform op does not handle it.
It is left for future work to decide what the right transform op control is for those cases.

Note the underlying implementation remains unchanged and the mechanism is still controllable by
lambdas from the API.

During this refactoring it was also determined that the `dynamicBuffers` option does not actually
connect to a change of behavior in the algorithm.
This also exhibits that the related test is wrong (and dangerous).
Both the option and the test are therefore removed.

Lastly, a test that connects patterns using the filter-based mechanism is removed: all the independent
pieces are already tested separately.

Context: https://discourse.llvm.org/t/psa-retire-linalg-filter-based-patterns/63785

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

2 years agoRewording "static_assert" diagnostics
Muhammad Usman Shahid [Thu, 14 Jul 2022 11:44:51 +0000 (07:44 -0400)]
Rewording "static_assert" diagnostics

This patch rewords the static assert diagnostic output. Failing a
_Static_assert in C should not report that static_assert failed. This
changes the wording to be more like GCC and uses "static assertion"
when possible instead of hard coding the name. This also changes some
instances of 'static_assert' to instead be based on the token in the
source code.

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

2 years ago[IndVars] Eliminate redundant type cast between unsigned integer and float
zhongyunde [Thu, 14 Jul 2022 11:40:49 +0000 (19:40 +0800)]
[IndVars] Eliminate redundant type cast between unsigned integer and float

Extend for unsigned integer according the comment of D129191.

Reviewed By: nikic

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

2 years agoThread safety analysis: Don't erase TIL_Opcode type (NFC)
Aaron Puchert [Thu, 14 Jul 2022 11:36:35 +0000 (13:36 +0200)]
Thread safety analysis: Don't erase TIL_Opcode type (NFC)

This is mainly for debugging, but it also eliminates some casts.

2 years agoThread safety analysis: Support builtin pointer-to-member operators
Aaron Puchert [Thu, 14 Jul 2022 11:36:11 +0000 (13:36 +0200)]
Thread safety analysis: Support builtin pointer-to-member operators

We consider an access to x.*pm as access of the same kind into x, and
an access to px->*pm as access of the same kind into *px. Previously we
missed reads and writes in the .* case, and operations to the pointed-to
data for ->* (we didn't miss accesses to the pointer itself, because
that requires an LValueToRValue cast that we treat independently).

We added support for overloaded operator->* in D124966.

Reviewed By: aaron.ballman

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

2 years ago[JITLink] Silence unused variable warning. (NFC)
Sunho Kim [Thu, 14 Jul 2022 11:14:22 +0000 (20:14 +0900)]
[JITLink] Silence unused variable warning. (NFC)

2 years ago[gn build] Port 3e9cc543f223
LLVM GN Syncbot [Thu, 14 Jul 2022 11:06:28 +0000 (11:06 +0000)]
[gn build] Port 3e9cc543f223

2 years agoRevert "[llvm-ar][test] Add testing for bitcode file handling"
gbreynoo [Thu, 14 Jul 2022 11:04:38 +0000 (12:04 +0100)]
Revert "[llvm-ar][test] Add testing for bitcode file handling"

This reverts commit 264b9a4885e6f1beac3de72ee55c15dc78981927.

Due to build bot test failure.

2 years ago[VP] Add test to show optimization opportunities
Simon Moll [Thu, 14 Jul 2022 10:36:22 +0000 (12:36 +0200)]
[VP] Add test to show optimization opportunities

Add vp.add test cases that can are optimized with D92086 to show the
potential of generalized pattern rewriting.

Reviewed By: frasercrmck

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

2 years ago[lldb] [gdb-remote] Remove stray GetSupportsThreadSuffix() method (NFC)
Michał Górny [Thu, 14 Jul 2022 09:34:36 +0000 (11:34 +0200)]
[lldb] [gdb-remote] Remove stray GetSupportsThreadSuffix() method (NFC)

Remove stray GDBRemoteCommunicationClient::GetSupportsThreadSuffix()
method that is not implemented nor used anywhere.

2 years ago[llvm-ar][test] Add testing for bitcode file handling
gbreynoo [Thu, 14 Jul 2022 09:48:52 +0000 (10:48 +0100)]
[llvm-ar][test] Add testing for bitcode file handling

This change adds testing for handling of bitcode files in archives,
particularly the creation of symbol tables and through MRI scripts.
Although there is some testing of bitcode handling in the archive
library testing, this was not covered.

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

2 years agoRevert "[ORC] Add a shared-memory based orc::MemoryMapper."
Cullen Rhodes [Thu, 14 Jul 2022 09:46:23 +0000 (09:46 +0000)]
Revert "[ORC] Add a shared-memory based orc::MemoryMapper."

This reverts commit 5acd471698849d9e322a29e6ca08791e8d447b7b.

Breaks shared library build with:

  ld.lld-12: error: undefined symbol: shm_open
  >>> referenced by ExecutorSharedMemoryMapperService.cpp:68
  (/home/culrho01/llvm-project/llvm/lib/ExecutionEngine/Orc/TargetProcess/ExecutorSharedMemoryMapperService.cpp:68)
  >>>
  lib/ExecutionEngine/Orc/TargetProcess/CMakeFiles/LLVMOrcTargetProcess.dir/ExecutorSharedMemoryMapperService.cpp.o:(llvm::orc::rt_bootstrap::ExecutorSharedMemoryMapperService::reserve[abi:cxx11](unsigned
  long))
  >>> did you mean: sem_open
  >>> defined in:
  /usr/bin/../lib/gcc/aarch64-linux-gnu/9/../../../aarch64-linux-gnu/libpthread.so

2 years agoRevert "[ORC] Fix compilation on mingw"
Cullen Rhodes [Thu, 14 Jul 2022 09:46:11 +0000 (09:46 +0000)]
Revert "[ORC] Fix compilation on mingw"

This reverts commit 46b1a7c5f9e6841016078d32728bb0d205336df5.

Parent commit breaks shared library build, reverting both commits.

2 years ago[AMDGPU] Update LiveVariables after killing an immediate def
Jay Foad [Wed, 13 Jul 2022 16:17:35 +0000 (17:17 +0100)]
[AMDGPU] Update LiveVariables after killing an immediate def

D114999 added code to kill an immediate def if it was folded into its
only use by convertToThreeAddress. This patch updates LiveVariables when
that happens in order to fix verification failures exposed by D129213.

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

2 years ago[IndVars] Make sure header phi simplification preserves LCSSA form
Nikita Popov [Thu, 14 Jul 2022 09:45:35 +0000 (11:45 +0200)]
[IndVars] Make sure header phi simplification preserves LCSSA form

When simplifying instructions, make sure that the replacement
preserves LCSSA form. This fixes the issue reported at:
https://reviews.llvm.org/D129293#3650851

2 years ago[RISCV] Add a test showing a miscompilation with subreg liveness
Fraser Cormack [Wed, 13 Jul 2022 13:21:48 +0000 (14:21 +0100)]
[RISCV] Add a test showing a miscompilation with subreg liveness

This patch adds a test which shows that we may incorrectly register
allocate for RVV instructions which have no-overlap constraints on
source/dest registers of different LMUL groups.

The particular case shows that a vrgatherei16 instruction writes to a
LMUL=1 register group v11 and reads from an EMUL=2 register group
v10/v11. This breaks the overlap constraints of the vrgatherei16
instruction.

The test also shows that disabling subregister liveness fixes the test.

We use `early-clobber` on the `VR` dest and the `VRM2` source to enforce
the constraint but with subregister liveness this constraint is not met.

It's unclear to me at this point whether this is per-design of
early-clobber in conjunction with subregisters (meaning we should find
another way of expressing this constraint) or whether it's a bug in the
register allocator somewhere.

Reviewed By: rogfer01

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

2 years ago[AArch64][NFC] Drop 'V' from ASIMD FP convert, other, D/Q-form regex
Cullen Rhodes [Wed, 13 Jul 2022 10:29:02 +0000 (10:29 +0000)]
[AArch64][NFC] Drop 'V' from ASIMD FP convert, other, D/Q-form regex

In the Cortex A57 Optimization Guide [1] VCVTAU (AArch32) is incorrectly
listed in the AArch64 instructions for instruction groups:

  - ASIMD FP convert, other, D-form
  - ASIMD FP convert, other, Q-form

It's meant to be FCVTAU, this will be fixed in future releases of the guide.

[1] https://developer.arm.com/documentation/uan0015/b