LLVM / project - FreshBSD

LLVM/project 0cd9c89 — llvm/include/llvm/CodeGen SelectionDAGNodes.h, llvm/lib/CodeGen/SelectionDAG ScheduleDAGSDNodes.cpp

2026-04-04 19:04:20 UTC by Alexis Engelke on ⎇

users/aengelke/spr/schedulernfc-dont-use-set-to-track-visited-nodes

[spr] initial version

Created using spr 1.3.8-wip

Delta		File
+10	-4	llvm/lib/CodeGen/SelectionDAG/ScheduleDAGSDNodes.cpp
+3	-0	llvm/include/llvm/CodeGen/SelectionDAGNodes.h
+13	-4	2 files

LLVM/project 064b6ba — llvm/include/llvm/IR InstrTypes.h, llvm/lib/Analysis ConstantFolding.cpp

2026-04-04 18:58:40 UTC by Serge Pavlov on ⎇

users/spavloff/bundles.constfold

[ConstantFolding] Non-constrained functions in strictfp

Non-constrained function calls, allowed in strictfp functions by
PR188297, are equivalent to their constrained counterparts with dynamic
rounding and strict exception handling. When constant folding the calls
of these functions, some cases cannot be folded due to unknown rounding
mode or floting-point exceptions that can be lost. This change adapts
constant folding for these case.

Delta		File
+306	-0	llvm/test/Transforms/InstSimplify/constfold-strictfp.ll
+87	-50	llvm/lib/Analysis/ConstantFolding.cpp
+9	-0	llvm/include/llvm/IR/InstrTypes.h
+402	-50	3 files

LLVM/project 3b6e56d — llvm/test/CodeGen/AMDGPU integer-mad-patterns.ll fcanonicalize.bf16.ll, llvm/test/CodeGen/RISCV/rvv expandload.ll

2026-04-04 18:37:49 UTC by Alexis Engelke on ⎇

users/aengelke/spr/ir-use-iteration-limit-in-stripandaccumulateconstantoffsets

rebase

Created using spr 1.3.8-wip

Delta		File
+3,666	-5,073	llvm/test/CodeGen/RISCV/rvv/expandload.ll
+1,318	-117	llvm/test/CodeGen/AMDGPU/integer-mad-patterns.ll
+835	-387	llvm/test/CodeGen/AMDGPU/fcanonicalize.bf16.ll
+610	-305	llvm/test/CodeGen/AMDGPU/atomics-system-scope.ll
+505	-259	llvm/test/CodeGen/AMDGPU/insert_vector_elt.v2bf16.ll
+460	-214	llvm/test/CodeGen/AMDGPU/load-constant-i1.ll
+7,394	-6,355	200 files not shown
+14,725	-8,698	206 files

LLVM/project 5845d8e — llvm/include/llvm/IR InstrTypes.h, llvm/lib/Analysis ConstantFolding.cpp

2026-04-04 18:16:00 UTC by Serge Pavlov on ⎇

users/spavloff/bundles.constfold

[ConstantFolding] Non-constrained functions in strictfp

Non-constrained function calls, allowed in strictfp functions by
PR188297, are equivalent to their constrained counterparts with dynamic
rounding and strict exception handling. When constant folding the calls
of these functions, some cases cannot be folded due to unknown rounding
mode or floting-point exceptions that can be lost. This change adapts
constant folding for these case.

Delta		File
+306	-0	llvm/test/Transforms/InstSimplify/constfold-strictfp.ll
+87	-50	llvm/lib/Analysis/ConstantFolding.cpp
+9	-0	llvm/include/llvm/IR/InstrTypes.h
+402	-50	3 files

LLVM/project b5e7dbb — llvm/lib/IR Value.cpp

2026-04-04 18:13:21 UTC by Alexis Engelke via GitHub on ⎇

main

[IR] Use iteration limit in stripPointerCastsAndOffsets (#190472)

Using a SmallPtrSet is not quite free for such a frequently called
operation. However, calls on ill-formed IR are not particularly rare, so
some iteration limit is needed. Therefore, use a simple counter.

Termination statistics on a Clang Release build for N>5:

   2448 N=6
   1295 N=7
    480 N=8
    294 N=9
    160 N=10
  14350 (endless loop)

Therefore, bound the number of iterations by 12, which should cover most
practically relevant cases.

It is worth noting that _all_ of the endless loop cases have the

    [5 lines not shown]

Delta		File
+12	-7	llvm/lib/IR/Value.cpp
+12	-7	1 files

LLVM/project ba3dbbf — lldb/include/lldb/Utility Log.h, lldb/source/Breakpoint BreakpointResolverName.cpp

2026-04-04 17:41:11 UTC by Jonas Devlieghere via GitHub on ⎇

main

[lldb] Remove Log::Error and Log::Warning (NFC) (#190440)

Delta		File
+24	-24	lldb/source/Target/ThreadPlan.cpp
+0	-26	lldb/source/Utility/Log.cpp
+5	-5	lldb/source/Plugins/ObjectFile/Mach-O/ObjectFileMachO.cpp
+3	-5	lldb/source/Breakpoint/BreakpointResolverName.cpp
+0	-5	lldb/include/lldb/Utility/Log.h
+2	-3	lldb/source/Plugins/Process/gdb-remote/ProcessGDBRemote.cpp
+34	-68	6 files

LLVM/project 27a762c — lldb/source/Target Process.cpp

2026-04-04 17:39:41 UTC by Felipe de Azevedo Piovezan via GitHub on ⎇

main

[lldb][NFC] Add helper function for computing whether to show Process error (#190189)

Delta		File
+13	-12	lldb/source/Target/Process.cpp
+13	-12	1 files

LLVM/project d4fe1d3 — llvm/lib/Analysis DependenceAnalysis.cpp, llvm/test/Analysis/DependenceAnalysis banerjee-overflow.ll

2026-04-04 17:18:40 UTC by Ruoyu Qiu on ⎇

users/cabbaken/04-04-_da_add_overflow_check_in_banerjeemivtest

[DA] Add overflow check in BanerjeeMIVtest

Add an overflow check in BanerjeeMIVtest.
Fix the related test case.

Signed-off-by: Ruoyu Qiu <cabbaken at outlook.com>

Delta		File
+7	-1	llvm/lib/Analysis/DependenceAnalysis.cpp
+1	-3	llvm/test/Analysis/DependenceAnalysis/banerjee-overflow.ll
+8	-4	2 files

LLVM/project 420111e — mlir/lib/Dialect/LLVMIR/IR LLVMDialect.cpp, mlir/test/Dialect/LLVMIR roundtrip.mlir

2026-04-04 17:17:37 UTC by Ivan R. Ivanov via GitHub on ⎇

main

[mlir][LLVM] Fix incorrect verification of atomicrmw f{min,max}imumnum (#190474)

Fix llvm.atomicrmw fminimumnum and fmaximumnum to correctly take the
float operation verification path.

Delta		File
+3	-1	mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
+2	-0	mlir/test/Dialect/LLVMIR/roundtrip.mlir
+5	-1	2 files

LLVM/project f27b88e — llvm/lib/IR Value.cpp

2026-04-04 16:59:24 UTC by Alexis Engelke on ⎇

users/aengelke/spr/ir-use-iteration-limit-in-stripandaccumulateconstantoffsets

move decl into for header

Created using spr 1.3.8-wip

Delta		File
+13	-9	llvm/lib/IR/Value.cpp
+13	-9	1 files

LLVM/project 4ee5beb — llvm/lib/IR Value.cpp

2026-04-04 16:59:13 UTC by Alexis Engelke on ⎇

users/aengelke/spr/main.ir-use-iteration-limit-in-stripandaccumulateconstantoffsets

[spr] changes introduced through rebase

Created using spr 1.3.8-wip

[skip ci]

Delta		File
+12	-7	llvm/lib/IR/Value.cpp
+12	-7	1 files

LLVM/project 5790db7 — llvm/lib/IR Value.cpp

2026-04-04 16:54:13 UTC by Alexis Engelke on ⎇

users/aengelke/spr/ir-use-iteration-limit-in-stripandaccumulateconstantoffsets

[spr] initial version

Created using spr 1.3.8-wip

Delta		File
+27	-14	llvm/lib/IR/Value.cpp
+27	-14	1 files

LLVM/project 052716e — llvm/lib/IR Value.cpp

2026-04-04 16:19:42 UTC by Alexis Engelke on ⎇

users/aengelke/spr/ir-use-iteration-limit-in-strippointercastsandoffsets

[spr] initial version

Created using spr 1.3.8-wip

Delta		File
+12	-7	llvm/lib/IR/Value.cpp
+12	-7	1 files

LLVM/project c6932e5 — llvm/lib/Analysis DependenceAnalysis.cpp, llvm/test/Analysis/DependenceAnalysis banerjee-overflow.ll

2026-04-04 15:50:59 UTC by Ruoyu Qiu on ⎇

users/cabbaken/04-04-_da_add_overflow_check_in_banerjeemivtest

[DA] Add overflow check in BanerjeeMIVtest

Add an overflow check in BanerjeeMIVtest.
Fix the related test case.

Signed-off-by: Ruoyu Qiu <cabbaken at outlook.com>

Delta		File
+3	-1	llvm/lib/Analysis/DependenceAnalysis.cpp
+1	-3	llvm/test/Analysis/DependenceAnalysis/banerjee-overflow.ll
+4	-4	2 files

LLVM/project 5a3d062 — llvm/test/Analysis/DependenceAnalysis banerjee-overflow.ll

2026-04-04 15:45:07 UTC by Ruoyu Qiu on ⎇

users/cabbaken/04-04-_da_add_overflow_test_for_banerjeemivtest

[DA] Add overflow test for BanerjeeMIVtest

Delta		File
+74	-0	llvm/test/Analysis/DependenceAnalysis/banerjee-overflow.ll
+74	-0	1 files

LLVM/project ff4c6fe — llvm/include/llvm/Analysis ScalarEvolution.h ScalarEvolutionExpressions.h, llvm/lib/Analysis ScalarEvolution.cpp

2026-04-04 15:03:36 UTC by Florian Hahn via GitHub on ⎇

main

[SCEV] Move NoWrapFlags definition outside SCEV scope, use for SCEVUse. (#190199)

The patch moves out of SCEV's scope so they can be re-used for SCEVUse.
SCEVUse gets an additional getNoWrapFlags helper that returns the union
of the expressions SCEV flags and the use-specific flags.

SCEVExpander has been updated to use this new helper.

In order to avoid other changes, the original names are exposed via
constexpr in SCEV. Not sure if there's a nicer way. One alternative
would be to define the enum in struct, and have SCEV inherit from it.

The patch also clarifies that the SCEVUse flags encode NUW/NSW, and
hides getInt, setInt, etc to avoid potential mis-use.

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

Delta		File
+105	-72	llvm/include/llvm/Analysis/ScalarEvolution.h
+22	-27	llvm/lib/Analysis/ScalarEvolution.cpp
+49	-0	llvm/unittests/Transforms/Utils/ScalarEvolutionExpanderTest.cpp
+16	-15	llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp
+20	-7	llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h
+1	-2	polly/test/CodeGen/non_affine_float_compare.ll
+213	-123	2 files not shown
+215	-125	8 files

LLVM/project 47cd798 — llvm/lib/Target/RISCV RISCVTargetTransformInfo.h, llvm/test/Transforms/LoopVectorize/RISCV conditional-scalar-assignment.ll conditional-scalar-assignment-fold-tail.ll

2026-04-04 15:03:11 UTC by Elvis Wang via GitHub on ⎇

main

Revert "[LV] Enable scalable FindLast on RISCV." (#190463)

Reverts llvm/llvm-project#184931 since it crash llvm-test-suite.
https://lab.llvm.org/buildbot/#/builders/210/builds/9807

Delta		File
+0	-172	llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment.ll
+0	-129	llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment-fold-tail.ll
+35	-21	llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+0	-1	llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h
+35	-323	4 files

LLVM/project 7c60d08 — llvm/lib/CodeGen/SelectionDAG SelectionDAG.cpp, llvm/test/CodeGen/AArch64 known-fpclass-splat-vector.ll

2026-04-04 14:54:12 UTC by Kartik Ohlan via GitHub on ⎇

main

[DAG] computeKnownFPClass - add ISD::SPLAT_VECTOR handling (#189780)

Fixes #189481

Implement ISD::SPLAT_VECTOR in SelectionDAG::computeKnownFPClass to
correctly propagate floating-point properties from scalar operands to
vectors.

Added AArch64 and RISC-V test coverage

Delta		File
+31	-0	llvm/test/CodeGen/RISCV/combine-is_fpclass.ll
+24	-0	llvm/test/CodeGen/AArch64/known-fpclass-splat-vector.ll
+4	-0	llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
+59	-0	3 files

LLVM/project ee40533 — llvm/include/llvm/IR DiagnosticInfo.h

2026-04-04 14:52:54 UTC by Jinsong Ji via GitHub on ⎇

main

DiagnosticInfo: Fix stack-use-after-scope in DiagnosticInfoStackSize (#190442)

The string literal "stack frame size" passed to the base class
constructor created a temporary Twine that was destroyed after
the base constructor completed, leaving a dangling reference.

Fix by storing the Twine as a member variable in the derived class,
ensuring it lives as long as the diagnostic object itself.

Fixes ASAN stack-use-after-scope error in
  Clang :: Misc/backend-stack-frame-diagnostics-fallback.cpp
  LLVM :: CodeGen/X86/2007-04-24-Huge-Stack.ll
  LLVM :: CodeGen/X86/huge-stack-offset.ll
  LLVM :: CodeGen/X86/huge-stack-offset2.ll
  LLVM :: CodeGen/X86/huge-stack.ll
  LLVM :: CodeGen/X86/large-displacements.ll
  LLVM :: CodeGen/X86/stack-clash-extra-huge.ll
  LLVM :: CodeGen/X86/warn-stack.ll
  LLVM :: CodeGen/X86/win64-stackprobe-overflow.ll

Delta		File
+3	-2	llvm/include/llvm/IR/DiagnosticInfo.h
+3	-2	1 files

LLVM/project a8ad2a7 — lldb/include/lldb lldb-defines.h, lldb/source/Interpreter Options.cpp

2026-04-04 14:38:28 UTC by Dave Lee via GitHub on ⎇

main

[lldb] Fix alias parsing with joined options (#190301)

Fixes a crash with the following alias, which I use for printing the
contents of pointer variables:

```
command alias vp v -P1
```

At some point in the recent-ish past, parsing this alias has started
crashing lldb. The problem is code that assumes the option and its value
are separate. This assumption causes an index past the end of a vector.

This fix changes `FindArgumentIndexForOption`. The function now returns
a pair of indexes, the first index is the option, the second index is
the index of the value. In the case of joined options like `-P1`, the
two indexes are the same.

Delta		File
+27	-16	lldb/source/Interpreter/Options.cpp
+7	-0	lldb/test/Shell/Commands/command-alias-joined-arg.test
+1	-0	lldb/include/lldb/lldb-defines.h
+35	-16	3 files

LLVM/project e6a0695 — llvm/lib/Target/RISCV RISCVTargetTransformInfo.h, llvm/test/Transforms/LoopVectorize/RISCV conditional-scalar-assignment.ll conditional-scalar-assignment-fold-tail.ll

2026-04-04 14:14:30 UTC by Elvis Wang via GitHub on ⎇

revert-184931-support-CSA-EVL-not-opt

Revert "[LV] Enable scalable FindLast on RISCV. (#184931)"

This reverts commit a955b3cabab66bba586fdd14f56ab251c50dfc05.

Delta		File
+0	-172	llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment.ll
+0	-129	llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment-fold-tail.ll
+35	-21	llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+0	-1	llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h
+35	-323	4 files

LLVM/project 230d757 — mlir/lib/Reducer OptReductionPass.cpp

2026-04-04 14:08:34 UTC by lonely eagle via GitHub on ⎇

main

[mlir][reducer] make opt-reduction pass clone topOp after check (NFC) (#189356)

To avoid potential memory leaks, this PR defers the ModuleOp cloning
until after the verification check. If the check fails, the
moduleVariant might not be properly deallocated(original
implementation), leading to a memory leak. Therefore, this PR ensures
that the clone operation is only performed after a successful check. It
is part of https://github.com/llvm/llvm-project/pull/189353.

Delta		File
+1	-2	mlir/lib/Reducer/OptReductionPass.cpp
+1	-2	1 files

LLVM/project fb3fada — polly/include/polly ScopBuilder.h, polly/lib/Analysis ScopBuilder.cpp

2026-04-04 13:20:15 UTC by Michael Kruse via GitHub on ⎇

main

[Polly][NFC] Convert ScopBuilder::getPwAff() to isl++ (#190458)

Delta		File
+18	-11	polly/lib/Analysis/ScopBuilder.cpp
+4	-3	polly/include/polly/ScopBuilder.h
+22	-14	2 files

LLVM/project 5e0efc0 — llvm/include/llvm/CodeGenTypes LowLevelType.h, llvm/lib/CodeGen LowLevelTypeUtils.cpp

2026-04-04 12:57:13 UTC by Alan Li via GitHub on ⎇

main

Reland "[GlobalISel][LLT] Introduce FPInfo for LLT (Enable bfloat, ppc128float and others in GlobalISel) (#155107)" (#188502)

This is a reland of https://github.com/llvm/llvm-project/pull/155107
along with a fix for old gcc builds.

This patch is reverted in
https://github.com/llvm/llvm-project/pull/188344 due to compilation
failures described in
https://github.com/llvm/llvm-project/pull/155107#issuecomment-4121292756

The fix to old gcc builds is to remove `constexpr` modifiers in the
original patch in 0721d8e7768c011b8cf2d4d223ca6eca3392b1f9

Delta		File
+400	-145	llvm/include/llvm/CodeGenTypes/LowLevelType.h
+160	-73	llvm/lib/CodeGen/GlobalISel/LegalizerHelper.cpp
+135	-0	llvm/unittests/CodeGen/GlobalISel/IRTranslatorBF16Test.cpp
+77	-35	llvm/lib/CodeGen/MIRParser/MIParser.cpp
+64	-39	llvm/utils/TableGen/Common/GlobalISel/GlobalISelMatchTable.cpp
+69	-25	llvm/lib/CodeGen/LowLevelTypeUtils.cpp
+905	-317	48 files not shown
+1,300	-485	54 files

LLVM/project 47d8003 — polly/include/polly ScopInfo.h, polly/lib/Analysis ScopInfo.cpp ScopBuilder.cpp

2026-04-04 12:49:13 UTC by Michael Kruse via GitHub on ⎇

main

[Polly][NFC] Use factory pattern (#190456)

To (theoretically) reduce coupling of Scop and ScopBuilder.

Delta		File
+14	-10	polly/lib/Analysis/ScopInfo.cpp
+6	-5	polly/include/polly/ScopInfo.h
+2	-2	polly/lib/Analysis/ScopBuilder.cpp
+22	-17	3 files

LLVM/project 6565e08 — lld/COFF Driver.cpp Config.h, lld/test/COFF discard-section.test

2026-04-04 12:26:12 UTC by Haohai Wen via GitHub on ⎇

main

[lld][COFF] Add /discard-section option to discard input sections by name (#189542)

This provides a general mechanism similar to ELF linker scripts'
/DISCARD/ for COFF. Though the intention is to explicitly discard
.llvmbc and .llvmcmd sections. (See discussion in #150897, #188398
for more details.)

Delta		File
+51	-0	lld/test/COFF/discard-section.test
+4	-0	lld/COFF/Driver.cpp
+3	-0	lld/COFF/Config.h
+3	-0	lld/COFF/InputFiles.cpp
+1	-0	lld/COFF/Options.td
+62	-0	5 files

LLVM/project 948a647 — polly/include/polly ScopBuilder.h ScopInfo.h, polly/include/polly/Support SCEVAffinator.h

2026-04-04 11:42:04 UTC by Michael Kruse via GitHub on ⎇

main

[Polly] Assumptions used to derive domain must not be pruned by that domain (#190436)

The code that emits the conditions for whether a statement is executed
by checking whether we are in the statement's domain may apply
assumptions (such as an integer truncation being reversible). Later code
then assumes that these assumptions are only relevent for then the
statement is executed, but actually it is used for determining whether
it is executed.

Break this circular reasoning by introducing an `IsInsideDomain` flag
that can be set when the domain has not been verified yet.

Fixes #190128

Thanks to @thapgua for the bug report

Delta		File
+101	-69	polly/lib/Analysis/ScopBuilder.cpp
+71	-0	polly/test/ScopInfo/issue190128.ll
+27	-6	polly/include/polly/ScopBuilder.h
+17	-2	polly/include/polly/Support/SCEVAffinator.h
+7	-3	polly/test/ScopInfo/zero_ext_of_truncate_2.ll
+8	-1	polly/include/polly/ScopInfo.h
+231	-81	4 files not shown
+244	-89	10 files

LLVM/project 4066590 — clang/lib/Driver Driver.cpp, clang/test/Driver hip-toolchain-no-rdc.hip

2026-04-04 11:27:53 UTC by Matt Arsenault via GitHub on ⎇

main

clang: Stop assuming one toolchain covers all GPUArchs (#190369)

Delta		File
+27	-23	clang/lib/Driver/Driver.cpp
+1	-1	clang/test/Driver/hip-toolchain-no-rdc.hip
+28	-24	2 files

LLVM/project a955b3c — llvm/lib/Target/RISCV RISCVTargetTransformInfo.h, llvm/test/Transforms/LoopVectorize/RISCV conditional-scalar-assignment.ll conditional-scalar-assignment-fold-tail.ll

2026-04-04 10:58:58 UTC by Elvis Wang via GitHub on ⎇

main

[LV] Enable scalable FindLast on RISCV. (#184931)

This patch enables FindLast reduction vectorization with scalable vectors
on RISCV.

Delta		File
+172	-0	llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment.ll
+129	-0	llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment-fold-tail.ll
+21	-35	llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+1	-0	llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h
+323	-35	4 files

LLVM/project d27cbc5 — llvm/lib/Transforms/Scalar DeadStoreElimination.cpp, llvm/test/Transforms/DeadStoreElimination dead-stores-via-dom-conditions.ll

2026-04-04 10:55:25 UTC by Antonio Frighetto via GitHub on ⎇

main

[DSE] Introduce `eliminateRedundantStoresViaDominatingConditions` (#181709)

While optimizing tautological assignments, if there exists a dominating
condition that implies the value being stored in a pointer, and such a
condition appears in a node that dominates the store via equality edge,
then subsequent stores may be redundant, if no write occurs in between.
This is achieved via a DFS top-down walk of the dom-tree, collecting
dominating conditions and propagating them to each subtree, popping them
upon backtracking.

This also generalizes `dominatingConditionImpliesValue` transform, which
was previously taking into account only the immediate dominator.

Compile-time:
https://llvm-compile-time-tracker.com/compare.php?from=f8906704104e446a7482aeca32d058b91867e05c&to=24c5d61f1e28acbe6a59ea4e9a5da0ffcee3bf1a&stat=instructions:u.

Compile-time w/ limit on recursion:
https://llvm-compile-time-tracker.com/compare.php?from=24c5d61f1e28acbe6a59ea4e9a5da0ffcee3bf1a&to=9889567fe8a0515ab895b22003c93fabfd9ac4e5&stat=instructions:u.
Seems to alleviate the small regression in stage2-O3, but seemingly adds
one in stage2-O0-g.

Delta		File
+121	-62	llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
+0	-3	llvm/test/Transforms/DeadStoreElimination/dead-stores-via-dom-conditions.ll
+121	-65	2 files