LLVM/project dff356dclang-tools-extra/clang-tidy/bugprone ArgumentCommentCheck.cpp ArgumentCommentCheck.h, clang-tools-extra/docs ReleaseNotes.rst

[clang-tidy] comment braced and parenthesized init arguments (#180408)

Handle arguments like `{}`, `Type{}` and `Type()` in
`bugprone-argument-comment` and
add coverage for `initializer_list` and designated initializers.

Fixes: https://github.com/llvm/llvm-project/issues/171842
DeltaFile
+239-0clang-tools-extra/test/clang-tidy/checkers/bugprone/argument-comment-init-list.cpp
+117-37clang-tools-extra/docs/clang-tidy/checks/bugprone/argument-comment.rst
+111-27clang-tools-extra/clang-tidy/bugprone/ArgumentCommentCheck.cpp
+69-0clang-tools-extra/test/clang-tidy/checkers/bugprone/argument-comment-init-list-cxx20.cpp
+18-7clang-tools-extra/clang-tidy/bugprone/ArgumentCommentCheck.h
+8-2clang-tools-extra/docs/ReleaseNotes.rst
+562-736 files

LLVM/project b66d798libc/src/__support high_precision_decimal.h

[libc] Fix a copyright comment typo (#196846)

No behavior change.
DeltaFile
+1-1libc/src/__support/high_precision_decimal.h
+1-11 files

LLVM/project fb53478llvm/include/llvm/Support VersionTuple.h ELFAttributeParser.h, llvm/lib/Support ConvertUTFWrapper.cpp APInt.cpp

Add missing direct includes for bit.h/SwapByteOrder.h. NFC (#196843)

These translation units use llvm::endianness, llvm::byteswap,
llvm::has_single_bit, or sys::IsLittleEndianHost without explicitly
including the header that declares them. They currently compile only
because llvm/ADT/Hashing.h transitively pulls in
llvm/Support/SwapByteOrder.h (which includes llvm/ADT/bit.h).
DeltaFile
+1-0llvm/unittests/Object/SymbolicFileTest.cpp
+1-0llvm/unittests/DebugInfo/DWARF/DWARFFormValueTest.cpp
+1-0llvm/lib/Support/ConvertUTFWrapper.cpp
+1-0llvm/lib/Support/APInt.cpp
+1-0llvm/include/llvm/Support/VersionTuple.h
+1-0llvm/include/llvm/Support/ELFAttributeParser.h
+6-02 files not shown
+8-08 files

LLVM/project d565d51llvm/test/Transforms/LoopVectorize/AArch64 reduction-cost.ll binop-costs.ll, llvm/test/Transforms/LoopVectorize/X86/CostModel vpinstruction-cost.ll

[LV] Add missing cost tests for various unary and binary ops (NFC) (#196841)
DeltaFile
+317-24llvm/test/Transforms/LoopVectorize/X86/CostModel/vpinstruction-cost.ll
+111-0llvm/test/Transforms/LoopVectorize/AArch64/reduction-cost.ll
+34-1llvm/test/Transforms/LoopVectorize/AArch64/binop-costs.ll
+462-253 files

LLVM/project e88bf12clang-tools-extra/test/clang-tidy/checkers/bugprone unhandled-code-paths.cpp, clang-tools-extra/test/clang-tidy/checkers/hicpp multiway-paths-covered.cpp

Add a check for cross-block vectorization

Created using spr 1.3.7
DeltaFile
+0-2,614llvm/test/CodeGen/AMDGPU/ctlz_zero_undef.ll
+2,614-0llvm/test/CodeGen/AMDGPU/ctlz_zero_poison.ll
+1,670-0llvm/test/CodeGen/AMDGPU/cttz_zero_poison.ll
+0-1,670llvm/test/CodeGen/AMDGPU/cttz_zero_undef.ll
+468-0clang-tools-extra/test/clang-tidy/checkers/bugprone/unhandled-code-paths.cpp
+0-468clang-tools-extra/test/clang-tidy/checkers/hicpp/multiway-paths-covered.cpp
+4,752-4,752321 files not shown
+12,761-10,589327 files

LLVM/project 5a1635cllvm/test/Transforms/LoopVectorize preserve-inbounds-gep-with-pointer-casts.ll version-mem-access.ll, llvm/test/Transforms/LoopVectorize/VPlan/X86 scalarize-wide-load-for-address-use.ll

[LV] Add tests for load/store scalarization and ptrcasts (NFC) (#196839)

Add missing test coverage for range of pointer casts and load/store
scalarization.
DeltaFile
+227-0llvm/test/Transforms/LoopVectorize/VPlan/X86/scalarize-wide-load-for-address-use.ll
+154-0llvm/test/Transforms/LoopVectorize/preserve-inbounds-gep-with-pointer-casts.ll
+48-0llvm/test/Transforms/LoopVectorize/version-mem-access.ll
+429-03 files

LLVM/project a85e494mlir/include/mlir/Dialect/SPIRV/IR SPIRVNonUniformOps.td SPIRVGroupOps.td, mlir/lib/Dialect/SPIRV/IR GroupOps.cpp

[mlir][spirv] Enforce execution scope for group operations in ODS (#196644)

This adds a new class `SPIRV_ExecutionScopeAttrIs` shared between group
and non-uniform group operations.

Assisted-by: Codex
DeltaFile
+0-106mlir/lib/Dialect/SPIRV/IR/GroupOps.cpp
+60-35mlir/include/mlir/Dialect/SPIRV/IR/SPIRVNonUniformOps.td
+42-11mlir/include/mlir/Dialect/SPIRV/IR/SPIRVGroupOps.td
+17-17mlir/test/Dialect/SPIRV/IR/non-uniform-ops.mlir
+11-0mlir/include/mlir/Dialect/SPIRV/IR/SPIRVBase.td
+2-1mlir/test/Dialect/SPIRV/IR/group-ops.mlir
+132-1706 files

LLVM/project a8868e6mlir/include/mlir/Dialect/SPIRV/IR SPIRVAttributes.td, mlir/test/Dialect/SPIRV/IR target-and-abi.mlir

[mlir][spirv] Remove stale NV CooperativeMatrix attributes (#196639)

Since the support for NV CooperativeMatrix has been removed a while
back, those attributes can be safely removed.
DeltaFile
+0-39mlir/test/Dialect/SPIRV/IR/target-and-abi.mlir
+0-22mlir/include/mlir/Dialect/SPIRV/IR/SPIRVAttributes.td
+0-612 files

LLVM/project 8996639llvm/lib/Target/AArch64 AArch64CodeLayoutOpt.cpp AArch64Processors.td, llvm/test/CodeGen/AArch64 code-layout-opt.ll

[AArch64] New pass for code layout optimizations. (#184434)

This pass is intended to optimize code layout prior to AsmPrinter. The
initial version handles two known cases:
I.  FCMP-FCSEL
II. CMP/CMN-CSEL, 32-bit only

Using existing directives, the pass induces function-alignment (of
64-bytes by default) when a pair is detected, and possibly induces
block-alignment of up to 4-bytes on top of that if the pair would
straddle cache-lines.
 
Beyond performance improvement, this pass reduces noise due to code
layout thus stabilizes measured performance over-time. For example,
knock-out effects on a "sensitive function" won't be triggered by
codegen changes outside it.

Enabled by default on processors with the new `FeatureAlignCmpCSelPairs`
subtarget feature (gated per sub-case by `FeatureFuseCmpCSel` /

    [6 lines not shown]
DeltaFile
+264-0llvm/test/CodeGen/AArch64/code-layout-opt.ll
+262-0llvm/lib/Target/AArch64/AArch64CodeLayoutOpt.cpp
+6-0llvm/lib/Target/AArch64/AArch64Processors.td
+6-0llvm/lib/Target/AArch64/AArch64TargetMachine.cpp
+4-0llvm/lib/Target/AArch64/AArch64Features.td
+2-0llvm/lib/Target/AArch64/AArch64.h
+544-02 files not shown
+546-08 files

LLVM/project 0f9c84bllvm/test/CodeGen/WebAssembly slp-memory-interleave.ll

Disable non-power-of-2 in codegen test

Created using spr 1.3.7
DeltaFile
+1-1llvm/test/CodeGen/WebAssembly/slp-memory-interleave.ll
+1-11 files

LLVM/project 2893aa5libc/src/__support/math cos.h

[libc][math] Fix -Wshadow warnings in cos.h (#196342)

cos() does `using namespace range_reduction_double_internal;` and
range_reduction_double_internal after 51e9430a0c767 contains

    using LIBC_NAMESPACE::fputil::DoubleDouble;
    using Float128 = LIBC_NAMESPACE::fputil::DyadicFloat<128>;

So the local using statements for DoubleDouble and Float128 shadowed
these. Just remove the local using statements.

No behavior change.
DeltaFile
+0-2libc/src/__support/math/cos.h
+0-21 files

LLVM/project 93c1336libc/src/__support/File file.cpp, libc/src/__support/File/linux file.cpp

[libc] Move a few -Wshadow warnings in __support/File (#196810)

No behavior change.
DeltaFile
+5-5libc/src/__support/File/file.cpp
+1-1libc/src/__support/File/linux/file.cpp
+6-62 files

LLVM/project 865465dutils/bazel/llvm-project-overlay/clang BUILD.bazel

[Bazel] Fixes 2f4c387 (#196822)

This fixes 2f4c387147f1617e242dd500960410728e5ec35e.

Co-authored-by: Google Bazel Bot <google-bazel-bot at google.com>
DeltaFile
+2-0utils/bazel/llvm-project-overlay/clang/BUILD.bazel
+2-01 files

LLVM/project dd23e41clang-tools-extra/clang-tidy/modernize UseTrailingReturnTypeCheck.cpp UseTrailingReturnTypeCheck.h

[clang-tidy][NFC] Move `ClassifiedToken` to cpp file (#196820)

`ClassifiedToken` is used in only the implementation of
`UseTrailingReturnTypeCheck`. Move it into the unnamed namespace of the
cpp file instead of it being in the header.
DeltaFile
+10-0clang-tools-extra/clang-tidy/modernize/UseTrailingReturnTypeCheck.cpp
+0-6clang-tools-extra/clang-tidy/modernize/UseTrailingReturnTypeCheck.h
+10-62 files

LLVM/project b50027fllvm/lib/Transforms/Vectorize SLPVectorizer.cpp, llvm/test/Transforms/PhaseOrdering/AArch64 reduce_submuladd.ll

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7
DeltaFile
+140-76llvm/test/Transforms/SLPVectorizer/X86/horizontal-minmax.ll
+137-42llvm/test/Transforms/SLPVectorizer/X86/dot-product.ll
+31-98llvm/test/Transforms/PhaseOrdering/AArch64/reduce_submuladd.ll
+44-56llvm/test/Transforms/SLPVectorizer/X86/horizontal-list.ll
+24-60llvm/test/Transforms/SLPVectorizer/RISCV/revec.ll
+65-14llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp
+441-34631 files not shown
+645-68337 files

LLVM/project 232aa78clang-tools-extra/clang-tidy/modernize UseTrailingReturnTypeCheck.cpp UseTrailingReturnTypeCheck.h

[clang-tidy] Move `ClassifiedToken` to cpp file

`ClassifiedToken` is used in only the implementation of `UseTrailingReturnTypeCheck`. Move it into the unnamed namespace of the cpp file instead of it being in the header.
DeltaFile
+10-0clang-tools-extra/clang-tidy/modernize/UseTrailingReturnTypeCheck.cpp
+0-6clang-tools-extra/clang-tidy/modernize/UseTrailingReturnTypeCheck.h
+10-62 files

LLVM/project 10f9417clang/lib/CodeGen CoverageMappingGen.cpp, clang/test/CoverageMapping system_macro_switch.cpp

[Coverage] Fix assertion failure when a -isystem header invokes a user macro (#195427)

```
  // a.cc
  static void foo(int x) {
    switch (x) {
  #define GENERIC(n) case n:
  #include "types.def"   // -isystem header invokes a user macro
      break;
    }
  }

  // sys/types.def
  #define MID(name) GENERIC(name)
  MID(0)
  MID(1)
  MID(2)
```


    [17 lines not shown]
DeltaFile
+42-0clang/test/CoverageMapping/system_macro_switch.cpp
+16-11clang/lib/CodeGen/CoverageMappingGen.cpp
+58-112 files

LLVM/project 2f4c387llvm/include/llvm/Support Hash.h, llvm/include/llvm/Transforms/Utils KCFIHash.h

Move KCFI type ID hash helpers out of LLVMSupport (#196784)

PR #167254 inappropriately introduced llvm/Support/Hash.{h,cpp} for the
KCFI helpers. The name is misleading — it has nothing to do with the
generic hashing facility in llvm/ADT/Hashing.h — and KCFI is a
CodeGen/IR feature that does not belong in the foundational Support
layer.

Move the files to llvm/lib/Transforms/Utils/KCFIHash.cpp, alongside
setKCFIType, which is the only existing KCFI helper in TransformUtils.

Also relocate the deprecated pre-xxh3 xxHash64 implementation into
KCFIHash.cpp, the sole user. clang/test/CodeGen/kcfi-generalize.c and
kcfi-normalize.c are end-to-end regression tests for the xxHash64 output
DeltaFile
+142-0llvm/lib/Transforms/Utils/KCFIHash.cpp
+0-75llvm/lib/Support/xxhash.cpp
+0-54llvm/lib/Support/Hash.cpp
+37-0llvm/include/llvm/Transforms/Utils/KCFIHash.h
+0-37llvm/include/llvm/Support/Hash.h
+0-12llvm/unittests/Support/xxhashTest.cpp
+179-1786 files not shown
+183-18812 files

LLVM/project 285ac8clibcxx/utils/ci run-buildbot

[libcxx] Switch to check-runtimes for generic-llvm-libc (#196780)
DeltaFile
+1-13libcxx/utils/ci/run-buildbot
+1-131 files

LLVM/project dc2f9fellvm/lib/Transforms/InstCombine InstCombineLoadStoreAlloca.cpp, llvm/test/Transforms/InstCombine store.ll

[InstCombine] Fold constant byte stores to integer stores (#196740)

Byte constants are equivalent to integer constants when stored to
memory. Replacing them in store instructions reduces IR differences and
enables existing optimizations over integer constants.
DeltaFile
+111-0llvm/test/Transforms/InstCombine/store.ll
+7-0llvm/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
+118-02 files

LLVM/project 7504f6aflang/include/flang/Semantics openmp-utils.h, flang/lib/Semantics openmp-utils.cpp check-omp-loop.cpp

[flang][OpenMP] Optionally get final symbol in Get(Argument|Object)Symbol

Originally these functions returned the ultimate symbol for the one
obtained from the argument or object. However, this may be somewhat
unintuitive/unexpected, so instead return the original symbol, and
add a flag to optionally return the ultimate one.
DeltaFile
+15-6flang/lib/Semantics/openmp-utils.cpp
+2-10flang/lib/Semantics/check-omp-loop.cpp
+6-6flang/lib/Semantics/check-omp-structure.cpp
+4-2flang/include/flang/Semantics/openmp-utils.h
+27-244 files

LLVM/project ea4e329llvm/lib/CodeGen/SelectionDAG LegalizeVectorOps.cpp, llvm/test/CodeGen/NVPTX f16x2-instructions.ll

[llvm][RISCV] Optimize fcopysign for fixed vectors (#193802)

vfsgnj is not available on zvfhmin or zvfbfmin, it's expected to expand
to integer operations instead of unrolling to scalar operations.
General expandFCOPYSIGN already handles that in most of cases except for
fixed vector types that are not promotable, we need to find a better
heuristic to gate this.
DeltaFile
+61-144llvm/test/CodeGen/NVPTX/f16x2-instructions.ll
+169-30llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vcopysign-sdnode.ll
+38-128llvm/test/CodeGen/Thumb2/mve-fmath.ll
+20-4llvm/lib/CodeGen/SelectionDAG/LegalizeVectorOps.cpp
+288-3064 files

LLVM/project 7cc1f32llvm/lib/CodeGen/SelectionDAG LegalizeVectorOps.cpp, llvm/test/CodeGen/ARM vfloatintrinsics.ll

[llvm][RISCV] Optimize fabs for fixed vectors (#194554)

vfabs is not available on zvfhmin or zvfbfmin, it's expected to expand
to integer operations instead of unrolling to scalar operations.
General expandFABS already handles that in most of cases except for
fixed vector types that are not promotable, we need to find a better
heuristic to gate this.
DeltaFile
+174-35llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfabs-sdnode.ll
+29-43llvm/test/CodeGen/Thumb2/mve-vabd.ll
+10-32llvm/test/CodeGen/Thumb2/mve-fp-negabs.ll
+9-27llvm/test/CodeGen/NVPTX/f16x2-instructions.ll
+20-4llvm/lib/CodeGen/SelectionDAG/LegalizeVectorOps.cpp
+2-2llvm/test/CodeGen/ARM/vfloatintrinsics.ll
+244-1436 files

LLVM/project 8730fb7llvm/lib/CodeGen/SelectionDAG LegalizeVectorOps.cpp, llvm/test/CodeGen/NVPTX f16-instructions.ll

[llvm][RISCV] Optimize fneg for fixed vectors (#194555)

vfneg is not available on zvfhmin or zvfbfmin, it's expected to expand
to integer operations instead of unrolling to scalar operations.
General expandFNEG already handles that in most of cases except for
fixed vector types that are not promotable, we need to find a better
heuristic to gate this.
DeltaFile
+162-35llvm/test/CodeGen/RISCV/rvv/fixed-vectors-vfneg-sdnode.ll
+14-33llvm/test/CodeGen/Thumb2/mve-fp-negabs.ll
+20-4llvm/lib/CodeGen/SelectionDAG/LegalizeVectorOps.cpp
+1-2llvm/test/CodeGen/NVPTX/f16-instructions.ll
+197-744 files

LLVM/project 9c95f37clang/lib/CIR/CodeGen CIRGenBuiltinAArch64.cpp, clang/test/CodeGen/AArch64 neon-perm.c

[CIR][AArch64] Lower NEON vuzp intrinsics (#195591)

### Summary

part of : https://github.com/llvm/llvm-project/issues/185382

lower `vuzp` intrinsics in:
https://arm-software.github.io/acle/neon_intrinsics/advsimd.html#unzip-elements

this is a follow up : https://github.com/llvm/llvm-project/pull/195527

Lower `NEON::BI__builtin_neon_vuzp_v` and
`NEON::BI__builtin_neon_vuzpq_v`in CIRGenBuiltinAArch64.cpp by porting
by porting the existing incubator
logic(clangir/clang/lib/CIR/CodeGen/CIRGenBuiltinAArch64.cpp) : two
bitcasts on the input vectors,two rounds of cir.vec.shuffle generating
the deinterleave (even/odd) shuffle patterns with indices 2*i+vi, each
stored via ptr_stride on the sret base pointer.
DeltaFile
+382-0clang/test/CodeGen/AArch64/neon/perm.c
+0-376clang/test/CodeGen/AArch64/neon-perm.c
+0-36clang/test/CodeGen/AArch64/fp8-intrinsics/acle_neon_fp8_untyped.c
+20-2clang/lib/CIR/CodeGen/CIRGenBuiltinAArch64.cpp
+402-4144 files

LLVM/project 02f78d0clang/lib/Interpreter IncrementalParser.h, clang/tools/libclang CIndexDiagnostic.h

[NFC] Fix C++23 build failures caused by incomplete types in `unique_ptr`
DeltaFile
+6-0llvm/lib/Target/AMDGPU/SIInsertWaitcnts.cpp
+6-0llvm/lib/Target/BPF/BPFAsmPrinter.cpp
+1-4clang/lib/Interpreter/IncrementalParser.h
+2-2llvm/lib/Target/BPF/BPFAsmPrinter.h
+1-2clang/tools/libclang/CIndexDiagnostic.h
+2-1llvm/utils/TableGen/Common/GlobalISel/GlobalISelMatchTable.h
+18-92 files not shown
+24-98 files

LLVM/project d0d40cfclang-tools-extra/clang-tidy/modernize UseStringViewCheck.cpp UseStringViewCheck.h, clang-tools-extra/docs/clang-tidy/checks/modernize use-string-view.rst

[clang-tidy] Reland "An option for conditional skipping overloaded functions in modernize-use-string-view" (#196387)
DeltaFile
+185-0clang-tools-extra/test/clang-tidy/checkers/modernize/use-string-view-overloaded.cpp
+0-91clang-tools-extra/test/clang-tidy/checkers/modernize/use-string-view.cpp
+10-0clang-tools-extra/docs/clang-tidy/checks/modernize/use-string-view.rst
+5-1clang-tools-extra/clang-tidy/modernize/UseStringViewCheck.cpp
+3-2clang-tools-extra/clang-tidy/modernize/UseStringViewCheck.h
+203-945 files

LLVM/project c74ecc9clang/lib/CodeGen CGBuiltin.cpp, llvm/include/llvm/IR IRBuilder.h

[IRBuilder] Split CreateAssumption to one with bundle and one with condition [NFC] (#196795)

as it is not possible to combine bundles and conditions from
https://github.com/llvm/llvm-project/pull/160460 reflect that in
CreateAssumption
DeltaFile
+14-15llvm/lib/IR/IRBuilder.cpp
+7-6llvm/include/llvm/IR/IRBuilder.h
+2-4llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
+1-1clang/lib/CodeGen/CGBuiltin.cpp
+24-264 files

LLVM/project 2162c16clang-tools-extra/clang-tidy/bugprone UnhandledCodePathsCheck.cpp, clang-tools-extra/clang-tidy/hicpp MultiwayPathsCoveredCheck.cpp

[clang-tidy] Rename hicpp-multiway-paths-covered to bugprone-unhandled-code-paths (#191625)

Part of the work in https://github.com/llvm/llvm-project/issues/183462.

Closes https://github.com/llvm/llvm-project/issues/183464.

Splitting the check into two more focused checks was considered during
discussion, but since clang-tidy does not support one-to-many aliases, a
single name covering both behaviors was chosen instead that is more
clear than `multiway-paths-covered`.

---------

Co-authored-by: Zeyi Xu <mitchell.xu2 at gmail.com>
DeltaFile
+468-0clang-tools-extra/test/clang-tidy/checkers/bugprone/unhandled-code-paths.cpp
+0-468clang-tools-extra/test/clang-tidy/checkers/hicpp/multiway-paths-covered.cpp
+0-175clang-tools-extra/clang-tidy/hicpp/MultiwayPathsCoveredCheck.cpp
+174-0clang-tools-extra/clang-tidy/bugprone/UnhandledCodePathsCheck.cpp
+3-93clang-tools-extra/docs/clang-tidy/checks/hicpp/multiway-paths-covered.rst
+95-0clang-tools-extra/docs/clang-tidy/checks/bugprone/unhandled-code-paths.rst
+740-73610 files not shown
+855-84116 files

LLVM/project 6983aa7llvm/lib/Target/AArch64 AArch64InstrInfo.td AArch64ISelLowering.cpp, llvm/test/CodeGen/AArch64 store-float-conversion.ll tbl-loops.ll

[AArch64] Improve post-inc stores of SIMD/FP values (#151372)

Add patterns to match post-increment truncating stores from lane 0 of
wide integer vectors (v4i32/v2i64) to narrower types (i8/i16/i32). This
avoids transferring the value through a GPR when storing.

Also remove the pre-legaliztion early-exit in `combineStoreValueFPToInt`
as it prevented the optimization from applying in some cases.
DeltaFile
+260-0llvm/test/CodeGen/AArch64/store-float-conversion.ll
+7-0llvm/lib/Target/AArch64/AArch64InstrInfo.td
+0-3llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
+1-2llvm/test/CodeGen/AArch64/tbl-loops.ll
+268-54 files