summaryrefslogtreecommitdiff
path: root/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
AgeCommit message (Expand)Author
2025-10-23[ConstraintElim] Apply add with neg constant first during decomp. (#164791)Florian Hahn
2025-09-03[ConstraintElim] Bail out on non-canonical GEPs (#156688)Yingwei Zheng
2025-09-02[ConstraintElim] Use constraints from bounded memory accesses (#155253)Yingwei Zheng
2025-07-21[DebugInfo] Remove intrinsic-flavours of findDbgUsers (#149816)Jeremy Morse
2025-07-18[DebugInfo] Shave even more users of DbgVariableIntrinsic from LLVM (#149136)Jeremy Morse
2025-06-08[llvm] Compare std::optional<T> to values directly (NFC) (#143340)Kazu Hirata
2025-05-22[ConstraintElim] Do not allow overflows in `Decomposition` (#140541)Yingwei Zheng
2025-05-14[ConstraintElim] Simplify and/or instead of replacing its operand (#139874)Yingwei Zheng
2025-05-05[DebugInfo][ConstraintElimination] Fix debug value loss in replacing comparis...Shan Huang
2025-04-30Recommit "[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)" (#...Iris Shi
2025-04-18[Transforms] Construct SmallVector with iterator ranges (NFC) (#136259)Kazu Hirata
2025-04-18Revert "[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)"Arthur Eubanks
2025-04-15[NFC] Fix auto* warning (#135765)Iris
2025-04-14[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)Iris
2025-04-08[ConstraintSystem] Update comments (#127351)Lee Wei
2025-02-25[ConstraintElim] Preserve analyses when IR is unchanged. (#128588)Andreas Jonson
2025-02-24[ConstraintElim] Teach checkAndReplaceCondition about samesign (#128168)Marina Taylor
2025-02-03[ConstraintElimination] Fix comment (#125375)Lee Wei
2025-01-24[NFC][DebugInfo] Use iterator moveBefore at many call-sites (#123583)Jeremy Morse
2025-01-23[ConstraintElimination] Add eq/ne facts to signed constraint system (#121423)Stephen Senran Zhang
2025-01-01[NFC][ConstraintElimination] Optimize code styles (#121422)Stephen Senran Zhang
2024-12-16[ConstraintElim] Decompose `sub nsw` (#118219)Yingwei Zheng
2024-12-15ConstraintElim: teach fact-transfer about samesign (#115893)Ramkumar Ramachandra
2024-12-13PatternMatch: migrate to CmpPredicate (#118534)Ramkumar Ramachandra
2024-12-06[ConstraintElim] Add support for `trunc nsw/nuw` (#118745)Yingwei Zheng
2024-12-04[ConstraintElim] Add support for decomposing gep nuw (#118639)Nikita Popov
2024-12-03[ConstraintElim] Use nusw flag for GEP decompositionNikita Popov
2024-11-27[ConstraintElim] Extend `checkOrAndOpImpliedByOther` to handle and/or expr tr...Yingwei Zheng
2024-11-20IR: de-duplicate two CmpInst routines (NFC) (#116866)Ramkumar Ramachandra
2024-11-18[ConstraintElim] Bail out on non-dedicated exits when adding exiting conditio...Yingwei Zheng
2024-11-13ConstraintElim: assert on invalid union field (NFC) (#115898)Ramkumar Ramachandra
2024-09-30[NFC] Use initial-stack-allocations for more data structures (#110544)Jeremy Morse
2024-09-20[llvm] Don't call raw_string_ostream::flush() (NFC)Youngsuk Kim
2024-08-23[ConstraintElim] Fix miscompilation caused by PR97974 (#105790)Yingwei Zheng
2024-08-12[ConstraintElimination] Use getAllOnesValue()Nikita Popov
2024-07-10[ConstraintElimination] Add support for UCMP/SCMP intrinsics (#97974)Poseydon42
2024-07-09[ConstraintElim] Use cond from header as upper bound on IV in exit BB. (#94610)Florian Hahn
2024-06-29[IRBuilder] Don't include Module.h (NFC) (#97159)Nikita Popov
2024-06-28[IR] Add getDataLayout() helpers to Function and GlobalValue (#96919)Nikita Popov
2024-06-24Revert "[IR][NFC] Update IRBuilder to use InsertPosition (#96497)"Stephen Tozer
2024-06-24[IR][NFC] Update IRBuilder to use InsertPosition (#96497)Stephen Tozer
2024-05-22[ConstraintElim] Look through SExt with precond Op sge 0.Florian Hahn
2024-02-28[ConstraintElim] Use default depth for most calls of isNonNegative.Florian Hahn
2024-02-23[ConstraintElim] Decompose sext-like insts for signed predicates (#82344)Yingwei Zheng
2024-02-06[ConstraintElim] Add facts for llvm.abs >= 0 (#79070)Alexander Shaposhnikov
2024-02-04[ConstraintElim] Simplify `MinMaxIntrinsic` (#75306)Yingwei Zheng
2024-01-24[ConstraintElimination] Use std::move in the constructor (NFC) (#79259)Kazu Hirata
2024-01-24[ConstraintElim] Make sure min/max intrinsic results are not poison.Florian Hahn
2024-01-22[ConstraintElim] Remove unused checkCondition() parameters (NFC)Nikita Popov
2024-01-08[ConstraintElim] Support signed induction variables (#77103)Nikita Popov
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-12 14:47:44 +0000