LLVM/project 3d421d5 — llvm/include/llvm/Analysis DependenceAnalysis.h, llvm/lib/Analysis DependenceAnalysis.cpp

by Ryotaro Kasuga via GitHub on ⎇
[DA] Refactor the signature of the Exact SIV test (NFCI) (#186386)

Change the signature of `exactSIVtest` to directly pass addrecs instead
of passing their operands separately. I *think* this change is not
mandatory, but it will simplify the code, especially because we will be
checking the presence of nsw flags on the addrecs.
DeltaFile
+8-7llvm/lib/Analysis/DependenceAnalysis.cpp
+1-3llvm/include/llvm/Analysis/DependenceAnalysis.h
+9-102 files

LLVM/project 234aacf — clang/lib/Sema SemaDecl.cpp, clang/test/Modules pr186603.cppm

by Chuanqi Xu via GitHub on ⎇
[C++20] [Modules] Diagnose for duplicated definition in the same module (#186959)

Close https://github.com/llvm/llvm-project/issues/186603
DeltaFile
+22-0clang/test/Modules/pr186603.cppm
+8-3clang/lib/Sema/SemaDecl.cpp
+30-32 files

LLVM/project f1b16ea — orc-rt/include/orc-rt ControllerInterface.h, orc-rt/unittests ControllerInterfaceTest.cpp

by Lang Hames via GitHub on ⎇
[orc-rt] Hold `const void*` rather than `void*` in ControllerInterface. (#186954)

We only care about addresses in ControllerInterface, not the underlying
memory.
DeltaFile
+12-0orc-rt/unittests/ControllerInterfaceTest.cpp
+1-1orc-rt/include/orc-rt/ControllerInterface.h
+13-12 files

LLVM/project 02a7d27 — clang/test/OpenMP target_teams_distribute_parallel_for_simd_schedule_codegen.cpp teams_distribute_parallel_for_simd_schedule_codegen.cpp, libc/AOR_v20.02/math/test/traces sincosf.txt exp.txt

by Ryotaro Kasuga via GitHub on ⎇
Merge branch 'main' into users/kasuga-fj/da-exact-siv-refactor-signature
DeltaFile
+0-31,999libc/AOR_v20.02/math/test/traces/sincosf.txt
+0-16,000libc/AOR_v20.02/math/test/traces/exp.txt
+5,294-4,814clang/test/OpenMP/target_teams_distribute_parallel_for_simd_schedule_codegen.cpp
+5,238-4,758clang/test/OpenMP/teams_distribute_parallel_for_simd_schedule_codegen.cpp
+4,350-4,098clang/test/OpenMP/distribute_parallel_for_simd_codegen.cpp
+4,004-3,524clang/test/OpenMP/teams_distribute_parallel_for_schedule_codegen.cpp
+18,886-65,1932,958 files not shown
+219,804-232,8342,964 files

LLVM/project 33cfc6b — .ci compute_projects_test.py compute_projects.py

by Wenju He via GitHub on ⎇
[CI][libclc] Enable libclc in premerge CI with single target (#186104)

Enable libclc build and test in the Linux premerge CI when libclc or .ci
files are modified.
To minimize build time, only build the amdgcn-amd-amdhsa-llvm target.
DeltaFile
+14-4.ci/compute_projects_test.py
+11-1.ci/compute_projects.py
+1-0.ci/monolithic-windows.sh
+1-0.ci/monolithic-linux.sh
+27-54 files

LLVM/project b7843a2 — llvm/lib/Target/RISCV RISCVISelLowering.cpp

by Jim Lin via GitHub on ⎇
[RISCV][NFC] Remove duplicate setTargetDAGCombine registrations (#186928)

ISD::SRA and ISD::MUL are already registered unconditionally in the
constructor, so remove the redundant registrations from the
hasVInstructions() block. Fold the standalone SRA call into the existing
brace-initializer list.

---------

Co-authored-by: Claude Opus 4.6 <noreply at anthropic.com>
DeltaFile
+27-12llvm/lib/Target/RISCV/RISCVISelLowering.cpp
+27-121 files

LLVM/project 6439500 — clang/lib/AST/ByteCode Compiler.cpp, clang/test/AST/ByteCode loops.cpp

by Timm Baeder via GitHub on ⎇
[clang][bytecode] Clean up CondScope after while loop (#186816)

Similar to what we already do for for loops.
DeltaFile
+15-11clang/lib/AST/ByteCode/Compiler.cpp
+13-3clang/test/AST/ByteCode/loops.cpp
+28-142 files

LLVM/project 51b3b9b — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp, llvm/test/Transforms/LoopVectorize/AArch64 conditional-scalar-assignment-fold-tail.ll

by Elvis Wang via GitHub on ⎇
[LV] Optimize x && (x && y) -> x && y (#185806)

This patch removes the extra logical-and in `x && (x && y)` and `x && (y && x)` to `x && y`.
This helps to simplify mask calculation in the FindLast reduction and
exposes more opportunities to replace to EVL.

PR link: https://github.com/llvm/llvm-project/pull/185806
DeltaFile
+7-8llvm/test/Transforms/LoopVectorize/VPlan/conditional-scalar-assignment-vplan.ll
+10-0llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+3-4llvm/test/Transforms/LoopVectorize/AArch64/conditional-scalar-assignment-fold-tail.ll
+20-123 files

LLVM/project 69b8327 — orc-rt/include/orc-rt ControllerInterface.h Session.h, orc-rt/lib/executor ControllerInterface.cpp Session.cpp

by Lang Hames via GitHub on ⎇
[orc-rt] Add ControllerInterface symbol table. (#186947)

ControllerInterface holds the set of named symbols that the ORC runtime
exposes to the controller for bootstrapping the ExecutionSession.
Insertion is checked: duplicate symbols are rejected with an error.

Session is updated to own a ControllerInterface instance, pre-populated
with an orc_rt_SessionInstance entry pointing to the Session object.
DeltaFile
+134-0orc-rt/unittests/ControllerInterfaceTest.cpp
+79-0orc-rt/include/orc-rt/ControllerInterface.h
+34-0orc-rt/lib/executor/ControllerInterface.cpp
+7-4orc-rt/unittests/SessionTest.cpp
+4-7orc-rt/include/orc-rt/Session.h
+4-1orc-rt/lib/executor/Session.cpp
+262-123 files not shown
+265-129 files

LLVM/project 376f414 — llvm/lib/Target/AArch64 AArch64ConditionalCompares.cpp, llvm/test/CodeGen/AArch64 ccmp-look-through-copy.mir

by Peter Collingbourne via GitHub on ⎇
AArch64: Look through copies in CCMP converter.

The usual IR pattern for llvm.ptrauth.auth involves creating an
inttoptr for the auth operation to convert the result into a pointer.
CodeGenPrepare will copy these inttoptr operations into the user basic
blocks as this generally results in more efficient code. However, this is
not the case for the CCMP converter as it will encounter a COPY created
by the inttoptr and inhibit the optimization. Fix it by looking through
copies in the CCMP converter pass.

Assisted-by: gemini (wrote test)

Reviewers: davemgreen, fmayer, atrosinenko

Reviewed By: fmayer

Pull Request: https://github.com/llvm/llvm-project/pull/186842
DeltaFile
+45-0llvm/test/CodeGen/AArch64/ccmp-look-through-copy.mir
+12-1llvm/lib/Target/AArch64/AArch64ConditionalCompares.cpp
+57-12 files

LLVM/project f572cc0 — llvm/lib/Target/RISCV RISCVISelLowering.cpp, llvm/test/CodeGen/RISCV rv32p.ll

by Craig Topper via GitHub on ⎇
[RISCV] Fold (WADDAU -C, -1, rs1, 0) -> (WSUBU rs1, C) where C > 0 (#186638)
DeltaFile
+15-5llvm/test/CodeGen/RISCV/rv32p.ll
+14-0llvm/lib/Target/RISCV/RISCVISelLowering.cpp
+29-52 files

LLVM/project b005ff7 — llvm/lib/Analysis ValueTracking.cpp, llvm/test/Transforms/Attributor nofpclass-frem.ll

by 134ARG via GitHub on ⎇
[ValueTracking] frem in computeKnownFPClass can not return +/-Inf (#186748)

`frem` only produces finite numbers or NaN, never +/-Inf. Before the
patch `computeKnownFPClass` failed to clear the `fcInf` mask for
`Instruction::FRem`, causing potential missed optimizations.

Fix #186746.
DeltaFile
+79-79llvm/test/Transforms/Attributor/nofpclass-frem.ll
+27-0llvm/test/Transforms/InstCombine/frem-inf.ll
+3-0llvm/lib/Analysis/ValueTracking.cpp
+109-793 files

LLVM/project a8edc53 — mlir/lib/Interfaces ControlFlowInterfaces.cpp

by Yang Bai via GitHub on ⎇
[mlir][Interfaces][NFC] Improve time complexity of RegionBranchOpInterface canonicalization patterns (#186114)

Optimize RemoveDuplicateSuccessorInputUses in
`ControlFlowInterfaces.cpp`:

- Replace O(n² * k) pairwise comparison of successor inputs with O(n * k
* max(log k, log n)) signature-based grouping using `std::map`, where
_n_ is the number of successor inputs and _k_ is the number of
predecessors per input.

Assisted-by: Claude Code

---------

Co-authored-by: Yang Bai <yangb at nvidia.com>
Co-authored-by: Claude Opus 4.6 (1M context) <noreply at anthropic.com>
DeltaFile
+57-43mlir/lib/Interfaces/ControlFlowInterfaces.cpp
+57-431 files

LLVM/project 8270121 — llvm/test/tools/llvm-ir2vec/bindings ir2vec-bindings.py ir2vec-initEmbedding.py

by Nishant Sachdeva via GitHub on ⎇
[llvm-ir2vec] Refactoring the ir2vec python bindings testing (#180664)

This is order to make it more thorough and cover the API and possible
exceptions better
DeltaFile
+0-126llvm/test/tools/llvm-ir2vec/bindings/ir2vec-bindings.py
+62-0llvm/test/tools/llvm-ir2vec/bindings/ir2vec-initEmbedding.py
+0-38llvm/test/tools/llvm-ir2vec/bindings/ir2vec-exceptions.py
+27-0llvm/test/tools/llvm-ir2vec/bindings/ir2vec-getInstEmbMap.py
+25-0llvm/test/tools/llvm-ir2vec/bindings/ir2vec-getBBEmbMap.py
+21-0llvm/test/tools/llvm-ir2vec/bindings/ir2vec-getFuncEmb.py
+135-1642 files not shown
+172-1648 files

LLVM/project 45974ca — clang/test/CodeGenObjC direct-method-ret-mismatch.m

by Peter Rong on ⎇
fix test
DeltaFile
+17-14clang/test/CodeGenObjC/direct-method-ret-mismatch.m
+17-141 files

LLVM/project 3751ee3 — bolt/lib/Profile DataAggregator.cpp

by Amir Ayupov on ⎇
format

Created using spr 1.3.4
DeltaFile
+1-2bolt/lib/Profile/DataAggregator.cpp
+1-21 files

LLVM/project 88f1ec9 — clang/include/clang/Basic Attr.td, clang/lib/Parse ParseOpenMP.cpp

by David Pagan via GitHub on ⎇
[clang][OpenMP] Parse/Sema for OpenMP 6.0 declare_target 'local' clause (#186281)

Parse and perform semantic checks for declare_target 'local' clause.
When compiling for device offloading, generate a warning that 'local' is
not yet fully supported. On the host, 'local' is/will be a no-op, so no
warning is generated.

NOTE: The minimal CodeGen changes allow 'local' to flow through as
equivalent to the 'enter' clause after warning is generated.

Testing:
  - Updated messages and ast tests for declare target/declare_target
  - ninja check-all.
DeltaFile
+119-20clang/test/OpenMP/declare_target_messages.cpp
+44-26clang/lib/Parse/ParseOpenMP.cpp
+49-1clang/test/OpenMP/declare_target_ast_print.cpp
+25-4clang/lib/Sema/SemaOpenMP.cpp
+26-1clang/test/AST/dump.cpp
+9-11clang/include/clang/Basic/Attr.td
+272-636 files not shown
+314-8312 files

LLVM/project 38eebe8 — llvm/lib/Target/AMDGPU SIInstrInfo.cpp, llvm/test/CodeGen/AMDGPU llvm.amdgcn.s.sethalt.ll

by jundaliuAMD via GitHub on ⎇
[AMDGPU] Add s_sethalt to hasUnwantedEffectsWhenEXECEmpty (#186745)

We don't want to execute s_sethalt when all lanes want to skip it.

Co-authored-by: Junda Liu <Junda.Liu at amd.com>
DeltaFile
+21-0llvm/test/CodeGen/AMDGPU/llvm.amdgcn.s.sethalt.ll
+2-1llvm/lib/Target/AMDGPU/SIInstrInfo.cpp
+23-12 files

LLVM/project 6d615b2 — clang/lib/Sema SemaTemplateDeduction.cpp SemaConcept.cpp, clang/test/CXX/expr/expr.prim/expr.prim.req nested-requirement.cpp

by Matheus Izvekov on ⎇
[clang] Backport: use canonical arguments for checking function template constraints

Backport from #186889

This is a partial revert of #161671, restoring the original behaviour
where the canonical template arguments are used for function template
constraint checking in diagnostics.

This reverts the fix from #183010, which attempted to fix #182344
but it causes regressions. These regressions now have test cases
included.

The attempt at #183010 is flawed because in the general case we can't
check satisfaction for constraints which have unsubstituted template
arguments, even if they don't affect the canonical type (ie they are
purely
syntactical), because these types can still turn out to be invalid after
substitution.


    [20 lines not shown]
DeltaFile
+43-0clang/test/SemaTemplate/concepts.cpp
+4-4clang/test/SemaCXX/cxx2b-deducing-this.cpp
+3-4clang/lib/Sema/SemaTemplateDeduction.cpp
+6-1clang/lib/Sema/SemaConcept.cpp
+3-3clang/test/SemaTemplate/concepts-recursive-inst.cpp
+1-1clang/test/CXX/expr/expr.prim/expr.prim.req/nested-requirement.cpp
+60-136 files

LLVM/project 4abb927 — libclc/cmake/modules CMakeCLCInformation.cmake CMakeDetermineCLCCompiler.cmake, llvm/runtimes CMakeLists.txt

by Wenju He via GitHub on ⎇
[libclc][CMake] Use clang/llvm-ar on Windows (#186726)

When LLVM_TARGETS_TO_BUILD contains host target, runtime build sets
CMAKE_C_COMPILER to clang-cl on Windows.
Changes to fix build on Windows:
- libclc struggles to pass specific flags to clang-cl MSVC-like interface.
- compile flag handling will be consistent across all host systems.
- libclc build is cross-compilation for offloading targets.
DeltaFile
+21-3libclc/cmake/modules/CMakeCLCInformation.cmake
+16-1libclc/cmake/modules/CMakeDetermineCLCCompiler.cmake
+1-1llvm/runtimes/CMakeLists.txt
+38-53 files

LLVM/project fe1f512 — clang/test/C/C2y n3517.c n3652.c, clang/www c_status.html

by A. Jiang via GitHub on ⎇
[Clang][docs][test] Add N3517, N3652, and N3715 according to N3783 (#185566)

And test that these papers are not yet implemented.
DeltaFile
+46-0clang/test/C/C2y/n3517.c
+19-0clang/test/C/C2y/n3652.c
+17-0clang/test/C/C2y/n3715.c
+10-0clang/www/c_status.html
+92-04 files

LLVM/project 779ec94 — bolt/docs profiles.md index.rst, bolt/include/bolt/Profile DataAggregator.h

by Amir Ayupov on ⎇
[𝘀𝗽𝗿] initial version

Created using spr 1.3.4
DeltaFile
+212-0bolt/docs/profiles.md
+55-0bolt/test/X86/pre-aggregated-perf-buildid.test
+19-0bolt/lib/Profile/DataAggregator.cpp
+9-0bolt/test/X86/Inputs/pre-aggregated-buildid.txt
+6-0bolt/docs/index.rst
+4-0bolt/include/bolt/Profile/DataAggregator.h
+305-01 files not shown
+306-17 files

LLVM/project e2c4121 — bolt/docs profiles.md index.rst

by Amir Ayupov on ⎇
[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.4

[skip ci]
DeltaFile
+212-0bolt/docs/profiles.md
+6-0bolt/docs/index.rst
+218-02 files

LLVM/project 4dd80d2 — clang/lib/Sema SemaConcept.cpp SemaTemplateDeduction.cpp, clang/test/CXX/expr/expr.prim/expr.prim.req nested-requirement.cpp

by Matheus Izvekov on ⎇
[clang] Backport: use canonical arguments for checking function template constraints

Backport from #186889

This is a partial revert of #161671, restoring the original behaviour
where the canonical template arguments are used for function template
constraint checking in diagnostics.

This reverts the fix from #183010, which attempted to fix #182344
but it causes regressions. These regressions now have test cases
included.

The attempt at #183010 is flawed because in the general case we can't
check satisfaction for constraints which have unsubstituted template
arguments, even if they don't affect the canonical type (ie they are
purely
syntactical), because these types can still turn out to be invalid after
substitution.


    [20 lines not shown]
DeltaFile
+43-0clang/test/SemaTemplate/concepts.cpp
+4-4clang/test/SemaCXX/cxx2b-deducing-this.cpp
+6-1clang/lib/Sema/SemaConcept.cpp
+3-4clang/lib/Sema/SemaTemplateDeduction.cpp
+2-2clang/test/SemaTemplate/concepts-recursive-inst.cpp
+1-1clang/test/CXX/expr/expr.prim/expr.prim.req/nested-requirement.cpp
+59-126 files

LLVM/project 47970a4 — flang/test/Lower/PowerPC ppc-vec-store.f90 ppc-vec-store-elem-order.f90

by Kelvin Li via GitHub on ⎇
[flang][PPC] Update vector tests with nuw nsw (NFC) (#186879)
DeltaFile
+60-60flang/test/Lower/PowerPC/ppc-vec-store.f90
+10-10flang/test/Lower/PowerPC/ppc-vec-store-elem-order.f90
+70-702 files

LLVM/project 83965ad — clang/include/clang/Sema Template.h, clang/lib/Sema SemaConcept.cpp SemaTemplateDeduction.cpp

by Matheus Izvekov via GitHub on ⎇
[clang] use canonical arguments for checking function template constraints (#186889)

This is a partial revert of #161671, restoring the original behaviour
where the canonical template arguments are used for function template
constraint checking in diagnostics.

This reverts the fix from #183010, which attempted to fix #182344
but it causes regressions. These regressions now have test cases
included.

The attempt at #183010 is flawed because in the general case we can't
check satisfaction for constraints which have unsubstituted template
arguments, even if they don't affect the canonical type (ie they are
purely
syntactical), because these types can still turn out to be invalid after
substitution.

This is a problem when directly evaluating a concept specialization, but
it's not a problem with other template specializations because the

    [18 lines not shown]
DeltaFile
+25-2clang/test/SemaTemplate/concepts.cpp
+7-2clang/lib/Sema/SemaConcept.cpp
+4-4clang/test/SemaCXX/cxx2b-deducing-this.cpp
+3-4clang/lib/Sema/SemaTemplateDeduction.cpp
+2-3clang/include/clang/Sema/Template.h
+2-2clang/test/SemaTemplate/concepts-recursive-inst.cpp
+43-172 files not shown
+45-198 files

LLVM/project 4ccd036 — bolt/docs profiles.md index.rst

by Amir Ayupov on ⎇
[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]
DeltaFile
+212-0bolt/docs/profiles.md
+6-0bolt/docs/index.rst
+218-02 files

LLVM/project 5232d9a — bolt/docs profiles.md index.rst, bolt/include/bolt/Profile DataAggregator.h

by Amir Ayupov on ⎇
[𝘀𝗽𝗿] initial version

Created using spr 1.3.7
DeltaFile
+212-0bolt/docs/profiles.md
+55-0bolt/test/X86/pre-aggregated-perf-buildid.test
+19-0bolt/lib/Profile/DataAggregator.cpp
+9-0bolt/test/X86/Inputs/pre-aggregated-buildid.txt
+6-0bolt/docs/index.rst
+4-0bolt/include/bolt/Profile/DataAggregator.h
+305-01 files not shown
+306-17 files

LLVM/project 182723f — lldb/packages/Python/lldbsuite/test decorators.py

by Jonas Devlieghere via GitHub on ⎇
[lldb] Add a decorator for arm64e (#186909)
DeltaFile
+30-0lldb/packages/Python/lldbsuite/test/decorators.py
+30-01 files

LLVM/project 957283a — llvm/test/CodeGen/MIR/Generic inline-asm-extra-info.mir

by Florian Mayer via GitHub on ⎇
[NFC] [MIR] mark inline-asm-extra-info as failing on UBSan



Reviewers: boomanaiden154

Reviewed By: boomanaiden154

Pull Request: https://github.com/llvm/llvm-project/pull/186919
DeltaFile
+2-0llvm/test/CodeGen/MIR/Generic/inline-asm-extra-info.mir
+2-01 files