shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/test/Transforms/SCCP
History
CarolineConcatto d96722b660
[LLVM] Improve IR parsing and printing for target memory locations (#176968) 
This patch adds support for specifying all target memory locations using
a
single IR spellings such as:
```
memory(target_mem: read)
```

This form is not supported in TableGen, but it is now accepted by the IR
parser.
When the parser encounters target_mem, it expands it to all
target-memory
locations (e.g., target_mem0, target_mem1, …).

Printing behavior

When all target-memory locations share the same ModRef value, the
printer
now collapses them into a single entry:
```
memory(target_mem: read)
```
Otherwise, each target memory location is printed separately.

Rejected IR:
```
memory(target_mem0: write, target_mem: read)
```
This is invalid because the default access kind for the target memory
group
must appear first.
2026-03-19 17:29:54 +00:00
..
2002-05-02-MissSecondInst.ll
…
2002-05-20-MissedIncomingValue.ll
…
2002-05-21-InvalidSimplify.ll
…
2002-08-30-GetElementPtrTest.ll
…
2003-06-24-OverdefinedPHIValue.ll
…
2003-08-26-InvokeHandling.ll
…
2004-11-16-DeadInvoke.ll
…
2004-12-10-UndefBranchBug.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
2006-10-23-IPSCCP-Crash.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
2006-12-04-PackedType.ll
…
2006-12-19-UndefBug.ll
…
2007-05-16-InvokeCrash.ll
…
2008-01-27-UndefCorrelate.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
2008-04-22-multiple-ret-sccp.ll
…
2008-05-23-UndefCallFold.ll
…
2008-06-09-WeakProp.ll
…
2009-01-14-IPSCCP-Invoke.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
2009-05-27-VectorOperandZero.ll
…
2009-09-24-byval-ptr.ll
[ConstantFolding] Infer getelementptr nuw flag (#119214)
2024-12-09 16:44:05 +01:00
add-nuw-nsw-flags.ll
[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)
2024-11-06 11:53:33 +00:00
and-add-shl.ll
[SCCP] Swap out range metadata to range attribute (#90134)
2024-04-26 11:04:47 +09:00
apfloat-basictest.ll
…
apint-array.ll
…
apint-basictest2.ll
…
apint-basictest3.ll
…
apint-basictest4.ll
…
apint-basictest.ll
…
apint-bigarray.ll
…
apint-bigint2.ll
[ConstantFolding] Infer getelementptr nuw flag (#119214)
2024-12-09 16:44:05 +01:00
apint-bigint.ll
…
apint-ipsccp1.ll
…
apint-ipsccp2.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
apint-ipsccp3.ll
…
apint-ipsccp4.ll
…
apint-load.ll
…
apint-phi.ll
…
apint-select.ll
…
apint-xor.ll
…
arg-count-mismatch.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
arg-type-mismatch.ll
…
ashr.ll
…
assume-operand-bundles.ll
[PredicateInfo] Fix crash on nonnull assume taking a constant (#180440)
2026-02-09 09:18:21 +01:00
assume.ll
[PredicateInfo] Handle trunc nuw i1 condition. (#152988)
2025-08-11 13:00:54 +02:00
atomic-load-store.ll
…
atomic.ll
…
binaryops-constexprs.ll
[IR] Require DataLayout for pointer cast elimination (#162279)
2025-10-07 17:19:48 +02:00
binaryops-range-special-cases.ll
…
bitcast-vector-refinement.l.ll
[SCCP] Use mergeInValue instead of markConstant when folding CastInst (#173190)
2025-12-25 20:41:50 +08:00
bitcast.ll
…
calltest.ll
…
clang-arc-rv.ll
…
comdat-ipo.ll
…
conditions-iter-order.ll
[SCCP] Infer nuw for gep nusw with non-negative offsets (#118819)
2024-12-06 09:52:32 +01:00
conditions-ranges-with-undef.ll
[SCCP] Remove masking operations (#142736)
2025-06-04 22:31:08 +08:00
conditions-ranges.ll
[PredicateInfo] Reserve adjacent LN_Last defs for the same phi use (#164577)
2025-10-22 22:17:39 +08:00
constant-range-struct.ll
[SCCP] Support constant structure in PhiNode (#163713)
2025-10-19 03:57:56 +00:00
constant-struct.ll
…
crash.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
dangling-block-address.ll
…
deadarg.ll
…
definite-initializer.ll
…
divrem-crash.ll
…
divrem.ll
…
domtree-update.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
dont-zap-return.ll
…
exact-flags.ll
[SCCP] Infer return attributes in SCCP as well (#106732)
2024-09-02 11:44:37 +02:00
float-denormal-simplification.ll
IR: Promote "denormal-fp-math" to a first class attribute (#174293)
2026-02-05 13:31:26 +00:00
float-nan-simplification.ll
…
float-phis.ll
…
fp-bc-icmp-const-fold.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
freeze.ll
…
gep-nuw.ll
[SCCP] Infer nuw for gep nusw with non-negative offsets (#118819)
2024-12-06 09:52:32 +01:00
get_vector_length-intrinsic.ll
[SCCP] Correct range calculation for get.vector.length to use getUnsignedMax instead of getUpper. (#176493)
2026-01-17 21:32:33 -08:00
global-alias-constprop.ll
…
global.ll
…
indirectbr.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
int-phis.ll
…
intrinsics.ll
[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)
2024-11-06 11:53:33 +00:00
ip-add-range-to-call.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
ip-constant-ranges-intersection.ll
[SCCP] Merge return range attributes (#105998)
2024-08-26 09:35:05 +02:00
ip-constant-ranges.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
ip-ranges-binaryops.ll
…
ip-ranges-casts.ll
[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)
2024-11-06 11:53:33 +00:00
ip-ranges-phis.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
ip-ranges-select.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
ip-ranges-sext.ll
…
ipsccp-addr-taken.ll
…
ipsccp-basic.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
ipsccp-branch-unresolved-undef.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
ipsccp-clear-returned.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
ipsccp-cycles.ll
…
ipsccp-noundef.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
ipsccp-phi-one-pred-dead.ll
…
ipsccp-predinfo-order.ll
…
ipsccp-preserve-analysis.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
ipsccp-preserve-pdt.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
ipsccp-range-crashes.ll
…
ipsccp-ssa-copy-nested-conds.ll
[SCCP] Infer nuw for gep nusw with non-negative offsets (#118819)
2024-12-06 09:52:32 +01:00
ipscp-drop-argmemonly.ll
[LLVM] Improve IR parsing and printing for target memory locations (#176968)
2026-03-19 17:29:54 +00:00
issue59602-assume-like-call-users.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
issue59661-missing-predicate-info-for-ssa-copy.ll
[PredicateInfo] Use bitcast instead of ssa.copy (#151174)
2025-08-11 09:25:01 +02:00
landingpad.ll
…
latticeval-invalidate.ll
…
lifetime.ll
[SCCP][PredicateInfo] Do not predicate argument of lifetime intrinsic
2025-08-12 12:56:08 +02:00
load-store-range.ll
…
loadtest2.ll
[Tests] Regenerate test checks (NFC)
2024-09-03 11:42:47 +02:00
loadtest.ll
[RemoveDIs] Remove "try-debuginfo-iterators..." test flags (#130298)
2025-03-14 15:50:49 +00:00
logical-nuke.ll
…
metadata.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
multiple_callbacks.ll
…
musttail-call.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
naked-return.ll
…
no-fold-fcmp-dynamic-denormal-mode-issue114947.ll
IR: Promote "denormal-fp-math" to a first class attribute (#174293)
2026-02-05 13:31:26 +00:00
opaque-ptr.ll
…
openmp_parallel_for.ll
…
overdefined-div.ll
…
overdefined-ext.ll
[NFC][LLVM][Tests] Add RUN lines to verify Constant{Int/FP} based splats.
2025-09-17 10:20:59 +00:00
phi-cycle.ll
…
phis.ll
[SCCP] Infer return attributes in SCCP as well (#106732)
2024-09-02 11:44:37 +02:00
pointer-nonnull.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
pr27712.ll
[SCCP] Enable PredicateInfo for non-interprocedural SCCP (#153003)
2025-08-19 10:59:38 +02:00
pr35357.ll
…
pr45185-range-predinfo.ll
[IR] Convert from nocapture to captures(none) (#123181)
2025-01-29 16:56:47 +01:00
pr49582-iterator-invalidation.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
pr50901.ll
[IPSCCP] Variable not visible at Og: (#77901)
2024-04-16 09:37:51 +01:00
pr52253.ll
…
pr79696.ll
…
PR16052.ll
…
PR26044.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
PR43857.ll
…
predicateinfo-cond.ll
…
preserve-analysis.ll
…
preserving-debugloc-signedinst-branch-feasible-succ.ll
[DebugInfo][SCCPSolver] Fix missing debug locations (#98876)
2024-07-18 09:03:03 +01:00
pthreads.ll
…
range-and-ip.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
range-and-or-bit-masked.ll
[ConstantRange] Estimate tighter lower (upper) bounds for masked binary and (or) (#120352)
2024-12-31 18:40:17 -08:00
range-and.ll
[SCCP] Remove masking operations (#142736)
2025-06-04 22:31:08 +08:00
range-attribute.ll
[IPSCCP] Intersect attribute info for interprocedural args (#106397)
2024-08-29 09:34:56 +02:00
range-mul-nuw-nsw-flags.ll
[ConstantRange][LVI] Add support for multiplyWithNoWrap
2024-05-24 19:25:09 +02:00
range-with-undef.ll
[SCCP] Remove masking operations (#142736)
2025-06-04 22:31:08 +08:00
ranges-sext.ll
…
recursion.ll
Revert "[Transforms][IPO] Add func suffix in ArgumentPromotion and DeadArgume… (#105742)"
2024-09-19 03:54:13 -07:00
relax-range-checks.ll
[SCCP] Strengthen two-instruction range checks (#162008)
2025-10-06 07:14:46 +00:00
remove-call-inst.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
replace-dereferenceable-ptr-with-undereferenceable.ll
…
report-changed.ll
…
resolvedundefsin-tracked-fn.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
return-argument.ll
…
return-constant.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
return-constants.ll
…
return-zapped.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
retvalue-undef.ll
…
sccptest.ll
[SCCP] Enable PredicateInfo for non-interprocedural SCCP (#153003)
2025-08-19 10:59:38 +02:00
select.ll
[Tests] Regenerate test checks (NFC)
2024-09-03 11:42:47 +02:00
sitofp.ll
[SCCP] Add nneg flag to uitofp if its operand is non-negative
2024-05-07 14:57:29 -05:00
solve-after-each-resolving-undefs-for-function.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
strictfp-phis-fcmp.ll
[Test] Fix usage of constrained intrinsics (#113523)
2024-10-28 14:07:32 +07:00
strictfp-phis-fcmps.ll
[Test] Fix usage of constrained intrinsics (#113523)
2024-10-28 14:07:32 +07:00
struct-arg-resolve-undefs.ll
[SCCP] Use poison instead of undef when zapping returns
2024-06-25 12:35:25 +02:00
sub-nuw-nsw-flags.ll
…
switch-constantfold-crash.ll
[llvm] Remove br i1 undef from some regression tests [NFC] (#118419)
2024-12-03 20:54:36 +00:00
switch-multiple-undef.ll
…
switch-undef-constantfoldterminator.ll
…
switch.ll
[IPSCCP] Infer attributes on arguments (#107114)
2024-09-16 10:23:41 +02:00
thread_local_acs.ll
…
trunc-nuw-nsw-flags.ll
[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)
2024-11-06 11:53:33 +00:00
ub-shift.ll
…
ubsan_overflow.ll
…
undef-resolve.ll
[SCCP] Enable PredicateInfo for non-interprocedural SCCP (#153003)
2025-08-19 10:59:38 +02:00
uscmp.ll
[SCCP] Simplify [us]cmp(X, Y) into X - Y (#144717)
2025-07-20 15:01:44 +08:00
user-with-multiple-uses.ll
…
vector-bitcast.ll
[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)
2024-11-06 11:53:33 +00:00
vscale-gep.ll
…
vscale-intrinsic.ll
[SCCP] Handle llvm.vscale intrinsic calls (#114033)
2024-10-31 12:22:15 +00:00
widening.ll
[SCCP] Enable PredicateInfo for non-interprocedural SCCP (#153003)
2025-08-19 10:59:38 +02:00
with.overflow.ll
…