BSD Commit Log Search

[CI] Tweak wording for builds with passing tests and build errors (#171436)

"All tests passed" is too easily interpreted as every possible test was
run and was fine. A lot of the time it means all the tests that didn't
fail to build ran and were fine.

Maybe the wording is still too subtle but at least it hints to the idea
that the tests run might be fewer than if the build had no compilation
errors.

[VPlan] Use SCEV to prove non-aliasing for stores at different offsets. (#170347)

Extend the logic add in https://github.com/llvm/llvm-project/pull/168771
to also allow sinking stores past stores in the same noalias set by
checking if we can prove no-alias via the distance between accesses,
checked via SCEV.

PR: https://github.com/llvm/llvm-project/pull/170347

[clang][FMV][AArch64] Remove O3 from failing test (#171457)

This fixes the buildbot failures from
https://github.com/llvm/llvm-project/pull/150267.

I could not reproduce them locally but my intuition suggests that the
-O3 option on the RUN line behaves incosistently on different hosts
judging from the error logs.

My intention was to run an integration test which will use llvm's
globalopt pass, but there's no need actually. We have unittests in place
for it.

Merge branch 'main' into users/kparzysz/dims-modifier

[AArch64][ARM] Optimize more `tbl`/`tbx` calls into `shufflevector` (#169748)

Resolves #169701.

This PR extends the existing InstCombine operation which folds `tbl1`
intrinsics to `shufflevector` if the mask operand is constant. Before
this change, it only handled 64-bit `tbl1` intrinsics with no
out-of-bounds indices. I've extended it to support both 64-bit and
128-bit vectors, and it now handles the full range of `tbl1`-`tbl4` and
`tbx1`-`tbx4`, as long as at most two of the input operands are actually
indexed into.

For the purposes of `tbl`, we need a dummy vector of zeroes if there are
any out-of-bounds indices, and for the purposes of `tbx`, we use the
"fallback" operand. Both of those take up an operand for the purposes of
`shufflevector`.

This works a lot like https://github.com/llvm/llvm-project/pull/169110,
with some added complexity because we need to handle multiple operands.

    [11 lines not shown]

[OCaml] Fix build

Fix a mistake introduced in https://github.com/llvm/llvm-project/pull/163979:

We should stick with the deprecated LLVMGetGlobalContext() API
in this file, as getGlobalContextForCAPI() is a C++ API that is
not available here.

[llvm][docs] Add a release note for LLDB "version -v"

Added by #170772.

Update the NATVIS file

ElaboratedType is no longer a thing.

[libc++] Don't try to be compatible with libstdc++ in __libcpp_refstring on iOS (#170816)

iOS doesn't provide a libstdc++ dylib anymore, so we can remove the
compatiblity check whether we can load the dylib.

[BOLT] Fix pacret-synchronous-unwind.cpp test (#171395)

The test case build a binary from C++, and checks for the number of
functions the PointerAuthCFIFixup pass runs on.
This can change based on the platform. To account for this, the patch
changes the number to a regex.

The test failed when running on RHEL 9.

format

Update bolt/test/runtime/AArch64/pacret-synchronous-unwind.cpp

Update bolt/test/runtime/AArch64/pacret-synchronous-unwind.cpp

[BOLT] Fix pacret-synchronous-unwind.cpp test

The test case build a binary from C++, and checks for the number of
functions the PointerAuthCFIFixup pass runs on.
This can change based on the platform. To account for this, the patch
changes the number to a regex.

[NFC][ELF] Remove pointless NEEDS_TLSGD_TO_IE (#171046)

NEEDS_TLSGD_TO_IE is only ever set when the symbol is preeptible, in
which case addTpOffsetGotEntry will just add the symbol to the GOT and
emit a symbolic tlsGotRel anyway, so there is no need to give it its own
special case.

As well as simplifying the code upstream, this is useful downstream for
Morello, which doesn't really have a proper GD/IE-to-LE relaxation, and
so for GD-to-IE can benefit from being able to use the optimisations
addTpOffsetGotEntry has for non-preemptible symbols, rather than having
to reimplement them here.

[LSR] Use getSigned() for negated immediate

[libc][CI] update macOS version in workflow configuration (#171228)

upgrade macOS version to latest stable version in github action. We run
into a problem that timed `os_sync` API only becomes available in 14.4+.

[BypassSlowDivision] Explicitly create bit mask

Explicitly create the high bit mask using getBitsSetFrom() instead
of inverting an integer. This avoids relying on implicit
truncation.

[AtomicExpand] Use getSigned() for negative value

[Hexagon] Use getSigned() for signed value

[GlobalISel][AArch64] Added support for sli intrinsic

sli intrinsic now lowers correctly for all vector types.

[flang][OpenMP] Fix firstprivate not working with lastprivate in DO SIMD (#170163)

This fixes a bug where firstprivate was ignored when the same variable
had both firstprivate and lastprivate clauses in a do simd construct.

What was broken:
```
integer :: a
a = 10
!$omp do simd firstprivate(a) lastprivate(a)
do i = 1, 1
   print *, a  ! Should print 10, but printed garbage/0
   a = 20
end do
!$omp end do simd
print *, a  ! Correctly prints 20
```

Inside the loop, [a] wasn't being initialized from the firstprivate

    [25 lines not shown]

[flang][OpenMP] Frontend support for DIMS modifier

Add parsing and semantic checks for DIMS modifier on NUM_TEAMS,
NUM_THREADS, and THREAD_LIMIT.

[ThumbRegisterInfo] Use getSigned() for constant pool loads

To match the signed int parameter for the value.

[Bitcode] Use ConstantInt::getSigned()

This is encoded as a signed value, so use getSigned().

[SjLjEHPrepare] Use getSigned() for call site number

This may be -1.

[X86] Use getSigned() for segment offset

The offset here is a signed quantity.

[Hexagon] Simplify creation of splat value (NFC)

ConstantInt::get() already knows how to create splats, no need to
do it manually.

[GlobalISel][AArch64] Added support for sli intrinsic

sli intrinsic now lowers correctly for all vector types.

[Hexagon] Avoid unnecessary by reference passing (NFC)

SplatVal is not modified in these functions, so pass it by value.
This was probably a copy&paste mistake from checkConstantVector(),
which does modify SplatVal.