aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ConstraintSystem.cpp
AgeCommit message (Expand)AuthorFilesLines
2021-01-12[llvm] Remove redundant string initialization (NFC)Kazu Hirata1-1/+1
2020-12-06[ConstraintElimination] Bail out if system gets too big.Florian Hahn1-0/+3
2020-12-05[ConstraintElimination] Wrap dump() call in LLVM_DEBUG (NFC).Florian Hahn1-1/+1
2020-12-05[ConstraintElimination] Handle constraints with all zero var coeffs.Florian Hahn1-0/+5
2020-09-17[ConstraintSystem] Remove local variable that is set but not read [NFC]Mikael Holmen1-2/+0
2020-09-15[ConstraintSolver] Add isConditionImplied helper.Florian Hahn1-0/+10
2020-09-15Recommit "[ConstraintSystem] Add helpers to deal with linear constraints."Florian Hahn1-0/+142
2020-09-11Revert "[ConstraintSystem] Add helpers to deal with linear constraints."Florian Hahn1-141/+0
2020-09-11[ConstraintSystem] Add helpers to deal with linear constraints.Florian Hahn1-0/+141