aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/ConstraintElimination
AgeCommit message (Expand)AuthorFilesLines
2026-02-10[ConstraintElim] Infer linear constraints from udiv and urem (#180689)Manasij Mukherjee1-0/+361
2025-10-23[ConstraintElim] Apply add with neg constant first during decomp. (#164791)Florian Hahn2-8/+4
2025-09-03[ConstraintElim] Bail out on non-canonical GEPs (#156688)Yingwei Zheng1-0/+18
2025-09-02[ConstraintElim] Use constraints from bounded memory accesses (#155253)Yingwei Zheng1-0/+373
2025-05-22[ConstraintElim] Do not allow overflows in `Decomposition` (#140541)Yingwei Zheng1-0/+22
2025-05-14[ConstraintElim] Simplify and/or instead of replacing its operand (#139874)Yingwei Zheng8-70/+50
2025-05-05[DebugInfo][ConstraintElimination] Fix debug value loss in replacing comparis...Shan Huang2-0/+147
2025-04-30Recommit "[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)" (#...Iris Shi1-5/+2
2025-04-30[ConstraintElim] Fix poison check before adding intrinsic facts (#136291)Iris Shi2-28/+162
2025-04-18Revert "[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)"Arthur Eubanks1-43/+0
2025-04-14[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)Iris1-0/+43
2025-02-25[ConstraintElim] Preserve analyses when IR is unchanged. (#128588)Andreas Jonson1-4/+0
2025-02-25[ConstraintElim] Test for #128588Andreas Jonson1-3/+25
2025-02-24[ConstraintElim] Teach checkAndReplaceCondition about samesign (#128168)Marina Taylor1-0/+61
2025-01-23[ConstraintElimination] Add eq/ne facts to signed constraint system (#121423)Stephen Senran Zhang3-6/+53
2024-12-16[ConstraintElim] Decompose `sub nsw` (#118219)Yingwei Zheng1-0/+129
2024-12-15ConstraintElim: teach fact-transfer about samesign (#115893)Ramkumar Ramachandra1-0/+305
2024-12-06[ConstraintElim] Add support for `trunc nsw/nuw` (#118745)Yingwei Zheng1-0/+212
2024-12-04[ConstraintElim] Add support for decomposing gep nuw (#118639)Nikita Popov1-4/+2
2024-12-04[ConstraintElim] Add tests for gep nuw (NFC)Nikita Popov1-0/+72
2024-12-03[ConstraintSystem] Fix signed overflow in negate.Florian Hahn1-0/+14
2024-12-03[ConstraintElim] Use nusw flag for GEP decompositionNikita Popov1-0/+65
2024-11-27[ConstraintElim] Extend `checkOrAndOpImpliedByOther` to handle and/or expr tr...Yingwei Zheng2-1/+218
2024-11-21[LLVM][IR] Use splat syntax when printing ConstantExpr based splats. (#116856)Paul Walker1-1/+1
2024-11-18[ConstraintElim] Bail out on non-dedicated exits when adding exiting conditio...Yingwei Zheng1-0/+44
2024-11-06[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)Paul Walker2-2/+2
2024-09-10[ConstraintElim] Add tests with exiting latch.Florian Hahn1-0/+66
2024-09-09[ConstraintElim] Add tests for loops with chained header conditions.Florian Hahn1-0/+274
2024-08-23[ConstraintElim] Fix miscompilation caused by PR97974 (#105790)Yingwei Zheng1-0/+46
2024-07-10[ConstraintElimination] Add support for UCMP/SCMP intrinsics (#97974)Poseydon421-0/+149
2024-07-09[ConstraintElim] Use cond from header as upper bound on IV in exit BB. (#94610)Florian Hahn1-10/+5
2024-06-28[ConstraintElim] Add multi-exit tests for #94610.Florian Hahn1-0/+286
2024-06-28[ConstraintElim] Add test for mis-compile due to #94610.Florian Hahn1-0/+41
2024-06-06[ConstraintElim] Add induction tests with different start values.Florian Hahn1-0/+166
2024-06-06[ConstraintElim] Add set of tests where a loop iv is used in exit.Florian Hahn1-0/+277
2024-05-22[ConstraintElim] Look through SExt with precond Op sge 0.Florian Hahn2-7/+5
2024-02-28[ConstraintElim] Use default depth for most calls of isNonNegative.Florian Hahn3-23/+11
2024-02-27[ConstraintElim] Add additional sext tests with unsigned predicates.Florian Hahn2-30/+188
2024-02-23[ConstraintElim] Decompose sext-like insts for signed predicates (#82344)Yingwei Zheng2-33/+60
2024-02-20[ConstraintElim] Add pre-commit tests for PR82271. NFC. (#82357)Yingwei Zheng2-0/+338
2024-02-06[ConstraintElim] Add facts for llvm.abs >= 0 (#79070)Alexander Shaposhnikov1-4/+2
2024-02-05[Transforms] Convert tests to opaque pointers (NFC)Nikita Popov1-1/+1
2024-02-04[ConstraintElim] Simplify `MinMaxIntrinsic` (#75306)Yingwei Zheng1-0/+258
2024-01-29[ConstraintElim] Add tests for llvm.abs >= 0 (#79068)Alexander Shaposhnikov1-0/+47
2024-01-24[ConstraintElim] Make sure min/max intrinsic results are not poison.Florian Hahn2-3/+7
2024-01-24[ConstraintElim] Add tests for #78621.Florian Hahn1-0/+60
2024-01-08[ConstraintElim] Support signed induction variables (#77103)Nikita Popov1-12/+6
2024-01-05[ConstraintElim] Add tests for signed induction variables (NFC)Nikita Popov1-0/+297
2024-01-05[ConstraintElim] Decompose shl nsw for signed predicates (#76961)Nikita Popov1-6/+37
2024-01-04[ConstraintElim] Add tests for shl nsw decomposition (NFC)Nikita Popov1-0/+87
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-16 15:59:21 +0000