shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/test/Transforms/LICM
History
Valeriy Savchenko 33ca7a4667
[LICM] Reassociate add/sub expressions to hoist invariant computations (#183082) 
While `sub` is not associative, we can still reassociate `add` and
`sub`.

## Alive2 proofs

| Case | Transform | Proof |
|------|-----------|-------|
| 1 | `(x + c1) - c2` => `x + (c1 - c2)` |
[proof](https://alive2.llvm.org/ce/z/iofzYy) |
| 2 | `(x - c1) - c2` => `x - (c1 + c2)` |
[proof](https://alive2.llvm.org/ce/z/U4K_tE) |
| 3 | `(x - c1) + c2` => `x + (c2 - c1)` |
[proof](https://alive2.llvm.org/ce/z/moiJVw) |
2026-04-01 18:29:40 +01:00
..
AArch64
[LLVM][AArch64] Mark SVE integer intrinsics as speculatable. (#167915)
2025-11-18 11:37:51 +00:00
AMDGPU
[AMDGPU] Add the support for 45-bit buffer resource (#159702)
2025-09-24 11:12:02 -04:00
Inputs
…
2003-02-26-LoopExitNotDominated.ll
…
2003-02-27-NestedLoopExitBlocks.ll
…
2003-02-27-PreheaderExitNodeUpdate.ll
…
2003-02-27-PreheaderProblem.ll
…
2003-02-27-StoreSinkPHIs.ll
…
2003-02-28-PromoteDifferentType.ll
…
2003-05-02-LoadHoist.ll
…
2003-12-11-SinkingToPHI.ll
…
2004-09-14-AliasAnalysisInvalidate.ll
…
2004-11-17-UndefIndexCrash.ll
…
2006-09-12-DeadUserOfSunkInstr.ll
…
2007-05-22-VolatileSink.ll
…
2007-07-30-AliasSet.ll
…
2007-09-17-PromoteValue.ll
…
2007-09-24-PromoteNullValue.ll
…
2007-10-01-PromoteSafeValue.ll
…
2008-05-20-AliasSetVAArg.ll
…
2008-07-22-LoadGlobalConstant.ll
…
2009-12-10-LICM-Indbr-Crash.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
2011-04-06-HoistMissedASTUpdate.ll
…
2011-04-06-PromoteResultOfPromotion.ll
[llvm] Regenerate test checks including TBAA semantics (NFC)
2025-09-12 20:01:17 +02:00
2011-04-09-RAUW-AST.ll
…
2011-07-06-Alignment.ll
…
2014-09-10-doFinalizationAssert.ll
…
alias-set-tracker-loss.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
AliasSetMemSet.ll
…
allow-speculation-option.ll
…
argmemonly-call.ll
…
assume.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
atomics.ll
…
basictest.ll
…
bisect-state.ll
…
call-hoisting.ll
[LICM] Mark load function as willreturn in test (NFC)
2026-03-19 17:18:52 +01:00
callbr-crash.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
constexpr.ll
…
convergent.ll
…
crash.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
dbg-value-sink.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
debug-value.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
debugloc-preserve-fmul-drop-fdiv.ll
…
dropped-tbaa.ll
[IR] Remove size argument from lifetime intrinsics (#150248)
2025-08-08 11:09:34 +02:00
explicit_guards.ll
…
expr-reassociate-int.ll
…
expr-reassociate.ll
…
extra-copies.ll
…
fence.ll
…
freeze.ll
…
funclet.ll
[LICM] Support hoisting of non-argmemonly readonly calls (#144497)
2025-06-18 12:24:55 +02:00
gc-relocate.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
gep-reassociate.ll
[LICM] Do not reassociate constant offset GEP (#151492)
2025-08-01 09:43:15 +02:00
guards.ll
…
hoist-add-sub.ll
[LICM] Handle disjoint or's in hoistAdd (#182915)
2026-02-24 14:11:32 +00:00
hoist-alloc.ll
[Options] Use UseDerefAtPointSemantics cl::opt<bool>. (#123192)
2025-01-16 14:07:03 +00:00
hoist-binop.ll
[LICM] Reassociate add/sub expressions to hoist invariant computations (#183082)
2026-04-01 18:29:40 +01:00
hoist-bitcast-load.ll
…
hoist-debuginvariant.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
hoist-deref-load.ll
…
hoist-fast-fdiv.ll
…
hoist-invariant-load.ll
…
hoist-load-without-store.ll
…
hoist-metadata.ll
[LICM] Only set AA metadata on hoisted load if it executes. (#117204)
2024-11-26 14:16:16 +00:00
hoist-mustexec.ll
[IR] Convert from nocapture to captures(none) (#123181)
2025-01-29 16:56:47 +01:00
hoist-nounwind.ll
…
hoist-phi-metadata.ll
[licm] clone MD_prof when hoisting conditional branch (#152232)
2025-08-13 02:01:00 +02:00
hoist-phi.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
hoist-profdata.ll
[licm] don't drop MD_prof when dropping other metadata (#152420)
2025-08-16 07:26:13 -07:00
hoist-readonly-memory-def.ll
[LICM] Avoid assertion failure on stale MemoryDef
2025-08-19 10:25:45 +02:00
hoist-round.ll
…
hoist-speculatable-load.ll
[IR] Allow nofree metadata to inttoptr (#153149)
2025-09-02 21:50:47 +08:00
hoisting-preheader-debugloc.ll
[IR] Remove size argument from lifetime intrinsics (#150248)
2025-08-08 11:09:34 +02:00
hoisting.ll
…
infinite_loops.ll
…
int_sideeffect.ll
…
invariant.group.ll
…
invariant.start.ll
…
lcssa-ssa-promoter.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
licm-ci.ll
[IR] Replace alignment argument with attribute on masked intrinsics (#163802)
2025-10-20 08:50:09 +00:00
lnicm-sink.ll
…
lnicm.ll
[Delinearization] Add validation for large size arrays (#169902)
2025-12-03 03:01:18 +00:00
loop-sink-phi-in-preheader.ll
…
loopsink-phi2.ll
…
loopsink-phi.ll
…
loopsink-pr38462.ll
[IR] Remove size argument from lifetime intrinsics (#150248)
2025-08-08 11:09:34 +02:00
loopsink-pr39570.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
loopsink-pr39695.ll
…
loopsink.ll
…
min_max.ll
LICM: teach hoistMinMax about samesign (#122730)
2025-01-13 20:03:58 +00:00
no-preheader-test.ll
…
opt-remarks-conditional-load.ll
…
opt-remarks-intervening-store.ll
…
opt-remarks.ll
…
outer-loop-deleted-before-licm.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
pr23608.ll
…
pr26843.ll
…
pr27262.ll
…
pr32129.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
pr35342.ll
…
pr36228.ll
…
pr37323.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
pr38513.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
pr40317.ll
…
pr42969.ll
…
pr50367.ll
[llvm] Regenerate test checks including TBAA semantics (NFC)
2025-09-12 20:01:17 +02:00
pr51333.ll
…
pr54495.ll
…
pr55672.ll
…
pr57780.ll
…
pr59324.ll
LICM: Avoid looking at use list of constant data (#134690)
2025-04-13 17:06:38 +02:00
pr64897.ll
…
pr117157.ll
[MemorySSA] Don't create phi nodes in fixupDefs() (#156021)
2025-09-04 08:23:29 +00:00
PR19798.ll
…
PR21582.ll
…
PR24013.ll
…
PR116813-memoryssa-outdated.ll
Revert "[SimpleLoopUnswitch] Record loops from unswitching non-trivial conditions"
2025-08-18 17:40:08 +02:00
pragma-licm-disable.ll
…
preheader-safe.ll
[LICM] Generate test checks (NFC) (#189963)
2026-04-01 15:52:17 +02:00
Preserve-LCSSA.ll
…
promote-atomic.ll
…
promote-capture.ll
[CaptureTracking] Fix handling for non-returning read-only calls (#158979)
2025-09-17 11:27:06 +02:00
promote-order.ll
…
promote-single-thread.ll
…
promote-tls.ll
…
promote-unknown-load.ll
…
read-only-calls.ll
[LICM] Generate test checks (NFC) (#189963)
2026-04-01 15:52:17 +02:00
read-volatile-register.ll
…
salvage-hoisted-add.ll
[DebugInfo][LICM] Salvage dbg_values for the dead instructions to erase (#138796)
2025-05-12 09:07:30 +08:00
salvage-hoisted-binop.ll
[DebugInfo][LICM] Salvage dbg_values for the dead instructions to erase (#138796)
2025-05-12 09:07:30 +08:00
salvage-hoisted-gep.ll
[DebugInfo][LICM] Salvage dbg_values for the dead instructions to erase (#138796)
2025-05-12 09:07:30 +08:00
salvage-hoisted-minmax.ll
[DebugInfo][LICM] Fix debug value loss caused by hoisting the cmp instructions (#146640)
2025-07-07 13:46:56 +08:00
salvage-hoisted-sub.ll
[DebugInfo][LICM] Salvage dbg_values for the dead instructions to erase (#138796)
2025-05-12 09:07:30 +08:00
scalar-promote-memmodel.ll
…
scalar-promote-unwind.ll
…
scalar-promote.ll
Revert "[LICM] Sink unused l-invariant loads in preheader. #157559"
2025-11-14 14:51:33 +01:00
sink-debuginfo-preserve.ll
…
sink-foldable.ll
[llvm][LICM] Limit multi-use BOAssociation to FP and Vector (#149829)
2025-08-14 11:56:55 +01:00
sink-instruction-invalid-location.ll
…
sink-promote.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
sink-with-coroutine.ll
Reapply "[Coroutines] Add llvm.coro.is_in_ramp and drop return value of llvm.coro.end (#155339)" (#159278)
2025-09-24 11:29:25 +08:00
sinking-debugify.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
sinking.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#116739)
2024-11-19 08:12:25 +00:00
speculate-div.ll
…
speculate.ll
…
store-hoisting.ll
[LICM] Regenerate test checks (NFC)
2026-03-19 16:56:16 +01:00
strlen.ll
[LibCall] Infer nocallback for libcalls (#135173)
2025-04-12 15:11:54 +08:00
unrolled-deeply-nested.ll
…
update-scev-after-hoist.ll
[ScalarEvolution] Limit recursion in getRangeRef for PHI nodes. (#152823)
2026-03-13 16:27:39 -07:00
update-scev.ll
…
variant-aainfo.ll
[llvm] Regenerate test checks including TBAA semantics (NFC)
2025-09-12 20:01:17 +02:00
vector-intrinsics.ll
[IR] Mark vector intrinsics speculatable (#162334)
2025-10-09 09:41:59 +01:00
volatile-alias.ll
[test][Transforms] Remove unsafe-fp-math uses part 2 (NFC) (#164786)
2025-10-23 20:31:31 +08:00