FailedChanges

Summary

  1. [libc++] Do not try creating llvm-lit when LIBCXX_INCLUDE_TESTS is OFF in the standalone build (details)
  2. [NFC] Fixed ignored .hip test. (details)
  3. [sve][acle] Implement some of the C intrinsics for brain float. (details)
  4. Correctly report Changed status in FoldBranchToCommonDest (details)
  5. [analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor (details)
  6. [gn build] Port fe0a555aa3c (details)
  7. [LLDB] skip TestCreateDuringInstructionStep on aarch64/linux (details)
  8. [libc++] Provide a default LLVM_PATH when building standalone (details)
  9. [libc++] Enable tests and documentation by default when building standalone (details)
  10. [Sphinx] Support older recommonmark versions. (details)
  11. [AArch64][SVE] clang: Add missing svbfloat16_t tests (details)
  12. [analyzer][Z3-refutation] Fix a refutation BugReporterVisitor bug (details)
Commit eb68a0ab5ee8a8354f1539fb00409f027a7137b2 by Louis Dionne
[libc++] Do not try creating llvm-lit when LIBCXX_INCLUDE_TESTS is OFF in the standalone build

Doing so doesn't work reliably, since it relies on LLVM_* implementation
detail variables being set. Furthermore, since we rely on the lit.site.cfg
being generated, running the tests requires LIBCXX_INCLUDE_TESTS=ON anyway.
The file was modifiedlibcxx/CMakeLists.txt
Commit 8cc722ffc749b83fcd9f55264ee359ff41cb0ac8 by dfukalov
[NFC] Fixed ignored .hip test.

Reviewers: hliao

Reviewed By: hliao

Subscribers: yaxunl, cfe-commits, llvm-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D82764
The file was addedclang/test/CodeGenHIP/lit.local.cfg
Commit 67e4330facfbf798ecc40cd2449f70e6758078b9 by francesco.petrogalli
[sve][acle] Implement some of the C intrinsics for brain float.

Summary:
The following intrinsics have been extended to support brain float types:

svbfloat16_t svclasta[_bf16](svbool_t pg, svbfloat16_t fallback, svbfloat16_t data)
bfloat16_t svclasta[_n_bf16](svbool_t pg, bfloat16_t fallback, svbfloat16_t data)
bfloat16_t svlasta[_bf16](svbool_t pg, svbfloat16_t op)

svbfloat16_t svclastb[_bf16](svbool_t pg, svbfloat16_t fallback, svbfloat16_t data)
bfloat16_t svclastb[_n_bf16](svbool_t pg, bfloat16_t fallback, svbfloat16_t data)
bfloat16_t svlastb[_bf16](svbool_t pg, svbfloat16_t op)

svbfloat16_t svdup[_n]_bf16(bfloat16_t op)
svbfloat16_t svdup[_n]_bf16_m(svbfloat16_t inactive, svbool_t pg, bfloat16_t op)
svbfloat16_t svdup[_n]_bf16_x(svbool_t pg, bfloat16_t op)
svbfloat16_t svdup[_n]_bf16_z(svbool_t pg, bfloat16_t op)

svbfloat16_t svdupq[_n]_bf16(bfloat16_t x0, bfloat16_t x1, bfloat16_t x2, bfloat16_t x3, bfloat16_t x4, bfloat16_t x5, bfloat16_t x6, bfloat16_t x7)
svbfloat16_t svdupq_lane[_bf16](svbfloat16_t data, uint64_t index)

svbfloat16_t svinsr[_n_bf16](svbfloat16_t op1, bfloat16_t op2)

Reviewers: sdesmalen, kmclaughlin, c-rhodes, ctetreau, efriedma

Subscribers: tschuett, hiraditya, rkruppe, psnobl, cfe-commits, llvm-commits

Tags: #clang, #llvm

Differential Revision: https://reviews.llvm.org/D82345
The file was modifiedllvm/lib/Target/AArch64/AArch64SVEInstrInfo.td
The file was modifiedllvm/test/CodeGen/AArch64/sve-intrinsics-shifts.ll
The file was modifiedclang/include/clang/Basic/arm_sve.td
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_lastb-bfloat.c
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_clasta-bfloat.c
The file was modifiedllvm/test/CodeGen/AArch64/sve-intrinsics-scalar-to-vec.ll
The file was modifiedclang/lib/CodeGen/CGBuiltin.cpp
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dupq-bfloat.c
The file was modifiedllvm/test/CodeGen/AArch64/sve-vector-splat.ll
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_lasta-bfloat.c
The file was modifiedllvm/test/CodeGen/AArch64/sve-intrinsics-perm-select.ll
The file was modifiedllvm/test/CodeGen/AArch64/sve-intrinsics-dup-x.ll
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dup-bfloat.c
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_clastb-bfloat.c
The file was addedclang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_insr-bfloat.c
Commit b4130e6e99640046b60452272264823bf0f8813f by sguelton
Correctly report Changed status in FoldBranchToCommonDest

It's possible for the first loop trip(s) to set the `Changed` Status, and to a
later one to early exit, in which case `Changed` must be return.

Differential Revision: https://reviews.llvm.org/D82753
The file was modifiedllvm/lib/Transforms/Utils/SimplifyCFG.cpp
Commit fe0a555aa3c6f37a5b5d79942215b07587893efa by benicsbalazs
[analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor

Adds the test infrastructure for testing the FalsePositiveRefutationBRVisitor.
It will be extended in the D78457 patch, which demonstrates and fixes a bug in
the visitor.

Differential Revision: https://reviews.llvm.org/D78704
The file was addedclang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp
The file was modifiedclang/unittests/StaticAnalyzer/CheckerRegistration.h
The file was modifiedclang/unittests/StaticAnalyzer/CMakeLists.txt
Commit 0f95f4c65939af7da23ad1b864219cd119018eef by llvmgnsyncbot
[gn build] Port fe0a555aa3c
The file was modifiedllvm/utils/gn/secondary/clang/unittests/StaticAnalyzer/BUILD.gn
Commit 3936b753bacc17aae4bb421bd8a27f428a9a4173 by omair.javaid
[LLDB] skip TestCreateDuringInstructionStep on aarch64/linux

TestCreateDuringInstructionStep have started failing again on
aarch64/linux after moving to new machine. I am going mark it skipped
for aarch64/linux.
The file was modifiedlldb/test/API/linux/thread/create_during_instruction_step/TestCreateDuringInstructionStep.py
Commit 09943e8de1586dd7f28aa24879fd68717a859588 by Louis Dionne
[libc++] Provide a default LLVM_PATH when building standalone

Since we require that libc++ is built as part of the monorepo layout, we
can assume the path of the rest of LLVM and avoid requiring that LLVM_PATH
be set explicitly.
The file was modifiedlibcxx/cmake/Modules/HandleOutOfTreeLLVM.cmake
The file was modifiedlibcxx/docs/BuildingLibcxx.rst
Commit da940b1a2d06382f11ead4369a48edf617697183 by Louis Dionne
[libc++] Enable tests and documentation by default when building standalone

Since we can always find the rest of the LLVM tree, we can always run the
tests in the standalone mode. Do it so that the default behavior is the
same in the standalone and non-standalone modes.
The file was modifiedlibcxx/cmake/Modules/HandleOutOfTreeLLVM.cmake
Commit 29ea1b4baaa8b9ec5dbd25f91693e422c958db2d by Jonas Devlieghere
[Sphinx] Support older recommonmark versions.

The "new way" of enabling recommonmark is only supported in recommonmark
0.5 and later. Use the deprecated approach with versions of Sphinx that
still support it.

If I understand correctly there's no way to use older versions of
recommonmark (<0.5) with newer versions of Sphinx (>3.0) because the old
approach got removed.

Differential revision: https://reviews.llvm.org/D75284
The file was modifiedllvm/docs/conf.py
Commit 1ef75f53e9e6aeb35a1d46798b3063192ee86f0f by cullen.rhodes
[AArch64][SVE] clang: Add missing svbfloat16_t tests

Summary:
Patch adds tests for mangling of svbfloat16_t and several other type
related tests.

Reviewers: sdesmalen, kmclaughlin, fpetrogalli, efriedma

Reviewed By: sdesmalen, fpetrogalli

Differential Revision: https://reviews.llvm.org/D82668
The file was modifiedclang/test/Sema/aarch64-sve-types.c
The file was modifiedclang/test/SemaObjC/aarch64-sve-types.m
The file was modifiedclang/test/CodeGenCXX/aarch64-mangle-sve-vectors.cpp
The file was modifiedclang/test/PCH/aarch64-sve-types.c
The file was modifiedclang/test/CodeGen/aarch64-sve.c
The file was modifiedclang/test/CodeGenCXX/aarch64-sve-typeinfo.cpp
The file was modifiedclang/test/CodeGenObjC/aarch64-sve-types.m
Commit de361df3f6d0f20bf16a8deb9e6219556d028b81 by benicsbalazs
[analyzer][Z3-refutation] Fix a refutation BugReporterVisitor bug

FalsePositiveRefutationBRVisitor had a bug where the constraints were not
properly collected thus crosschecked with Z3.
This patch demonstratest and fixes that bug.

Bug:
The visitor wanted to collect all the constraints on a BugPath.
Since it is a visitor, it stated the visitation of the BugPath with the node
before the ErrorNode. As a final step, it visited the ErrorNode explicitly,
before it processed the collected constraints.

In principle, the ErrorNode should have visited before every other node.
Since the constraints were collected into a map, mapping each symbol to its
RangeSet, if the map already had a mapping with the symbol, then it was skipped.

This behavior was flawed if:
We already had a constraint on a symbol, but at the end in the ErrorNode we have
a tighter constraint on that. Therefore, this visitor would not utilize that
tighter constraint during the crosscheck validation.

Differential Revision: https://reviews.llvm.org/D78457
The file was modifiedclang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
The file was modifiedclang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp
The file was modifiedclang/lib/StaticAnalyzer/Core/BugReporter.cpp
The file was modifiedclang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h