SuccessChanges

Summary

  1. [lldb] Enable markdown support for documentation (details)
  2. Once we've found a firmware binary and loaded it, don't search more (details)
  3. [CostModel] remove hack for intrinsic cost based on cost type (details)
  4. [wasm] Move WasmTraits.h to BinaryFormat (details)
  5. [libc++] Fix heap UaF issue in coroutine test (details)
  6. [libc++] Add UNSUPPORTED markup to atomic test in single-threaded mode (details)
  7. [libc++] Replace uses of __libcpp_allocate by std::allocator<> (details)
  8. [COFF] Aliases resolve directly to defined external targets (details)
  9. [InstCombine] Regenerate cast tests. NFC. (details)
  10. [X86] Use inlineasm flag output for the _bittest* intrinsics. (details)
  11. [mlir] [VectorOps] Relaxed restrictions on vector.reduction types even more (details)
  12. Revert "Revert "[AArch64][GlobalISel] Add selection support for <8 x s16>  G_INSERT_VECTOR_ELT with GPR scalar."" (details)
  13. [lldb] Add print_function import (details)
  14. Fix a think-o with the numerical suffixes in the docs for init_priority. (details)
  15. [gn build] Re-run CompletionModelCodegen when input json files change (details)
  16. [CMake][AIX] Limit tools in external project build (details)
  17. [GlobalISel] Add support for lowering of vector G_SELECT and use for AArch64. (details)
  18. [X86] Add tests for D87883. NFC (details)
  19. [X86] Add support for calling SimplifyDemandedBits on the input of PDEP with a constant mask. (details)
  20. [libc++] Fix constexpr dynamic allocation on GCC 10 (details)
  21. [libcxx] Don't pass -s to libtool (details)
  22. [mlir][shape] Make conversion passes more consistent. (details)
  23. [EHStreamer] Simplify sharedTypeIDs with std::mismatch (details)
  24. [CVP] Allow two transforms in one invocation (details)
  25. Guard `find_library(tensorflow_c_api ...)` by checking for TENSORFLOW_C_LIB_PATH to be set by the user (details)
Commit 8b95bd3310c126e76e0714bea6003a9b1aa739fb by Jonas Devlieghere
[lldb] Enable markdown support for documentation

This enables support for writing LLDB documentation in markdown in
addition to reStructured text. We already had documentation written in
markdown (StructuredDataPlugins and DarwinLog) which will now also be
available on the website.
The file was addedlldb/docs/resources/structureddataplugins.md
The file was modifiedlldb/docs/index.rst
The file was removedlldb/docs/structured_data/DarwinLog.md
The file was modifiedlldb/docs/conf.py
The file was removedlldb/docs/structured_data/StructuredDataPlugins.md
Commit 6e54918db7f4dad0d5a6fbff140009ed6f151d2c by Jason Molenda
Once we've found a firmware binary and loaded it, don't search more

Add the flag in ProcessMachCore::DoLoadCore that stops additional
searches for the binaries when we have an LC_NOTE identifying the
firmware/standalone binary as the correct one & we have loaded it
successfully.
The file was modifiedlldb/source/Plugins/Process/mach-core/ProcessMachCore.cpp
Commit c37a8acef64213c2d9cf6fc76f958eb6bd252b4f by spatel
[CostModel] remove hack for intrinsic cost based on cost type

This hack seems to only have been necessary because of the
constructor bug noted in 33125cffd.

Once again, it's hard to prove NFC, but that's the hope...
The file was modifiedllvm/include/llvm/Analysis/TargetTransformInfoImpl.h
Commit b59dff4b164c62fd802d06bb7be75fe31de94c71 by benny.kra
[wasm] Move WasmTraits.h to BinaryFormat

There's no dependency on Object in there and this avoids a cyclic
dependency between libMC and libObject.
The file was modifiedllvm/lib/MC/WasmObjectWriter.cpp
The file was modifiedlld/wasm/SyntheticSections.h
The file was removedllvm/include/llvm/Object/WasmTraits.h
The file was modifiedlld/wasm/Writer.cpp
The file was addedllvm/include/llvm/BinaryFormat/WasmTraits.h
Commit 46fdaac098a3a14cfbca3fe2d922ae62a100794d by Louis Dionne
[libc++] Fix heap UaF issue in coroutine test

This wasn't being flagged by older versions of ASAN, but it is now.
The file was modifiedlibcxx/test/std/experimental/language.support/support.coroutines/end.to.end/expected.pass.cpp
Commit 93ba33066c35d1430bc9305c4cb112f769c9ee30 by Louis Dionne
[libc++] Add UNSUPPORTED markup to atomic test in single-threaded mode
The file was modifiedlibcxx/test/libcxx/atomics/ext-int.verify.cpp
Commit 59f8ac3eb441b9bf1fb589facc024a03c218bece by Louis Dionne
[libc++] Replace uses of __libcpp_allocate by std::allocator<>

Both are equivalent, however std::allocator can appear in constant
expressions and is higher level.
The file was modifiedlibcxx/include/valarray
The file was modifiedlibcxx/include/__sso_allocator
Commit bd19876dc60c69f50a7110740e97c6878e56be60 by epastor
[COFF] Aliases resolve directly to defined external targets

Avoid introducing unnecessary indirection for weak-external references.

We only need to introduce ".weak.<SYMBOL>.default" when referencing a
symbol that is defined, but not external.

Reviewed By: mstorsjo

Differential Revision: https://reviews.llvm.org/D88305
The file was modifiedllvm/test/MC/COFF/weak.s
The file was modifiedllvm/lib/MC/WinCOFFObjectWriter.cpp
The file was addedllvm/test/MC/COFF/weak-alias-labels.s
Commit 2f768a68a148a73bf1f52b160a28b9f77c6d830e by llvm-dev
[InstCombine] Regenerate cast tests. NFC.
The file was modifiedllvm/test/Transforms/InstCombine/cast.ll
Commit 288c5776c9d3cb14abe1c86f961c8ff166772d28 by craig.topper
[X86] Use inlineasm flag output for the _bittest* intrinsics.

Instead of expliciting emitting a setc in the inline asm instructions,
we can use flag output. This allows the backend to use the flag
directly if it is needed by a branch. Previously we needed a test
instruction to convert the register back to a flag.

If the flag can't be used directly, the backend will emit a setcc.

Differential Revision: https://reviews.llvm.org/D87888
The file was modifiedclang/lib/CodeGen/CGBuiltin.cpp
The file was addedllvm/test/CodeGen/X86/bittest-intrin.ll
The file was modifiedclang/test/CodeGen/bittest-intrin.c
Commit e9628955f5e965b0a60b8df3c731fc6bfa87ad20 by ajcbik
[mlir] [VectorOps] Relaxed restrictions on vector.reduction types even more

Recently, restrictions on vector reductions were made more relaxed by
accepting any width signless integer and floating-point. This CL relaxes
the restriction even more by including unsigned and signed integers.

Reviewed By: bkramer

Differential Revision: https://reviews.llvm.org/D88442
The file was addedmlir/integration_test/Dialect/Vector/CPU/test-reductions-ui4.mlir
The file was modifiedmlir/lib/Dialect/Vector/VectorOps.cpp
The file was addedmlir/integration_test/Dialect/Vector/CPU/test-reductions-i4.mlir
The file was addedmlir/integration_test/Dialect/Vector/CPU/test-reductions-si4.mlir
The file was modifiedmlir/lib/Conversion/VectorToLLVM/ConvertVectorToLLVM.cpp
Commit 5aa56b242951ab0f0181386ea58509f19b09206e by Amara Emerson
Revert "Revert "[AArch64][GlobalISel] Add selection support for <8 x s16>  G_INSERT_VECTOR_ELT with GPR scalar.""

This isn't a real with the codegen, it's a previously known bug in clang which
causes non-deterministic failures due to garbage bits in undef registers being
used in saturating instructions.

I'm disabling the result checking for the test until this issue is resolved.

This reverts commit 6c8168324b5329c94fe7e8f9a1619802091b9bec.
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/select-insert-vector-elt.mir
The file was modifiedllvm/lib/Target/AArch64/GISel/AArch64InstructionSelector.cpp
Commit 974551d37da8352c22fd849d19cb8fb1facff680 by Jonas Devlieghere
[lldb] Add print_function import
The file was modifiedlldb/docs/conf.py
Commit e7549dafcd33ced4280a81ca1d1ee4cc78ed253f by aaron
Fix a think-o with the numerical suffixes in the docs for init_priority.
The file was modifiedclang/include/clang/Basic/AttrDocs.td
Commit d89735133582ebca482e94bc2710733a09dfb643 by thakis
[gn build] Re-run CompletionModelCodegen when input json files change
The file was modifiedllvm/utils/gn/secondary/clang-tools-extra/clangd/quality/gen_decision_forest.gni
Commit 25affb04aab7ad55bd7c0dc95e8c2d3973ab8f6d by daltenty
[CMake][AIX] Limit tools in external project build

This is a follow on to D85329 which disabled some llvm tools in the
runtimes build due to XCOFF64 limitations. This change disables them
in other external project builds as well, when no list of tools is
specified in the arguments.

Reviewed By: hubert.reinterpretcast, stevewan

Differential Revision: https://reviews.llvm.org/D88310
The file was modifiedllvm/cmake/modules/LLVMExternalProjectUtils.cmake
Commit 082321909e514d3cb50adedfdeb4e8de22df9113 by Amara Emerson
[GlobalISel] Add support for lowering of vector G_SELECT and use for AArch64.

The lowering is a port of the SDAG expansion.

Differential Revision: https://reviews.llvm.org/D88364
The file was modifiedllvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
The file was modifiedllvm/lib/Target/AArch64/GISel/AArch64LegalizerInfo.cpp
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalize-select.mir
The file was modifiedllvm/test/CodeGen/AArch64/arm64-vabs.ll
The file was modifiedllvm/include/llvm/CodeGen/GlobalISel/LegalizerHelper.h
The file was modifiedllvm/test/CodeGen/AArch64/GlobalISel/legalizer-info-validation.mir
Commit e5ef523ee46895ab5c75260b420d608f08002d97 by craig.topper
[X86] Add tests for D87883. NFC
The file was modifiedllvm/test/CodeGen/X86/bmi2.ll
Commit e53196b1e862902c74d83f0ce6f3578b1326f23d by craig.topper
[X86] Add support for calling SimplifyDemandedBits on the input of PDEP with a constant mask.

We can do several optimizations for PDEP using computeKnownBits and SimplifyDemandedBits

-If the MSBs of the output aren't demanded, those MSBs of the mask input aren't demanded either. We need to keep the most significant demanded bit of the mask and any mask bits before it.
-The number of possible ones in the mask determines how many bits of the lsbs of the other operand are demanded. Any bits of the mask we don't demand by the previous rule should not be counted.
-The result will have zeros in any position that the mask is zero.
-Since non-mask input bits can only be output in the original position or a higher bit position, the result will have at least as many trailing zeroes as the non-mask input.

Differential Revision: https://reviews.llvm.org/D87883
The file was modifiedllvm/test/CodeGen/X86/bmi2.ll
The file was modifiedllvm/test/CodeGen/X86/bmi2-x86_64.ll
The file was modifiedllvm/lib/Target/X86/X86ISelLowering.cpp
Commit d092c912885cc152bef27019525b8fd0761aaaa2 by Louis Dionne
[libc++] Fix constexpr dynamic allocation on GCC 10

We're technically not allowed by the Standard to call ::operator new in
constexpr functions like __libcpp_allocate. Clang doesn't seem to complain
about it, but GCC does.
The file was modifiedlibcxx/test/std/utilities/memory/specialized.algorithms/specialized.construct/construct_at.pass.cpp
The file was modifiedlibcxx/include/memory
The file was modifiedlibcxx/include/new
The file was modifiedlibcxx/test/std/utilities/memory/specialized.algorithms/specialized.destroy/destroy_at.pass.cpp
Commit 2d657d1bd7f1e45722ced24e1da897ba5e87ab7a by phosek
[libcxx] Don't pass -s to libtool

This flag is the default in libtool on Darwin, and it's not supported
by llvm-libtool-darwin causing a build failure.

Differential Revision: https://reviews.llvm.org/D88449
The file was modifiedlibcxx/utils/merge_archives.py
Commit a975be0e00a12fdf09ffc9127825321c79813f33 by silvasean
[mlir][shape] Make conversion passes more consistent.

- use select-ops to make the lowering simpler
- change style of FileCheck variables names to be consistent
- change some variable names in the code to be more explicit

Differential Revision: https://reviews.llvm.org/D88258
The file was modifiedmlir/lib/Conversion/ShapeToStandard/ShapeToStandard.cpp
The file was modifiedmlir/test/Conversion/ShapeToStandard/shape-to-standard.mlir
The file was modifiedmlir/test/Conversion/ShapeToStandard/convert-shape-constraints.mlir
The file was modifiedmlir/lib/Conversion/ShapeToStandard/ConvertShapeConstraints.cpp
Commit bd08a87cfede308f040d79b45245213afd87959a by i
[EHStreamer] Simplify sharedTypeIDs with std::mismatch

(Note that EMStreamer.cpp is largely under tested. The only test checking the prefix sharing is CodeGen/WebAssembly/eh-lsda.ll)
The file was modifiedllvm/lib/CodeGen/AsmPrinter/EHStreamer.cpp
Commit e46d74b58922a427562552464d798448520e4928 by listmail
[CVP] Allow two transforms in one invocation

For a call site which had both constant deopt operands and nonnull arguments, we were missing the opportunity to recognize the later by bailing early.

This is somewhat of a speculative fix.  Months ago, I'd had a private report of performance and compile time regressions from the deopt operand folding.  I never received a test case.  However, the only possibility I see was that after that change CVP missed the nonnull fold, and we end up with a pass ordering/missed simplification issue.  So, since it's a real issue, fix it and hope.
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/deopt.ll
The file was modifiedllvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
Commit e72d792c147ee506e337401e20c0f23042cc43fe by joker.eph
Guard `find_library(tensorflow_c_api ...)` by checking for TENSORFLOW_C_LIB_PATH to be set by the user

Also have CMake fails if the user provides a TENSORFLOW_C_LIB_PATH but
we can't find TensorFlow at this path.

At the moment the CMake script tries to figure if TensorFlow is
available on the system and enables support for it. This is in general
not desirable to customize build features this way and instead it is
preferable to let the user opt-in explicitly into the features they want
to enable. This is in line with other optional external dependencies
like Z3.
There are a few reasons to this but amongst others:
- reproducibility: making features "magically" enabled based on whether
  we find a package on the system or not makes it harder to handle bug
  reports from users.
- user control: they can't have TensorFlow on the system and build LLVM
  without TensorFlow right now. They also would suddenly distribute LLVM
  with a different set of features unknowingly just because their build
  machine environment would change subtly.

Right now this is motivated by a user reporting build failures on their system:

.../mesa-git/llvm-git/src/llvm-project/llvm/lib/Analysis/TFUtils.cpp:23:10: fatal error: tensorflow/c/c_api.h: No such file or directory
   23 | #include "tensorflow/c/c_api.h"
      |          ^~~~~~

It looks like we detected TensorFlow at configure time but couldn't set all the paths correctly.

Differential Revision: https://reviews.llvm.org/D88371
The file was modifiedllvm/CMakeLists.txt