aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ConstraintSystem.cpp
AgeCommit message (Expand)AuthorFilesLines
2024-01-03[𝘀𝗽𝗿] changes introduced through rebaseusers/avillega/main.clangd-migrate-command-line-option-parsin-to-opttableAndrés Villegas1-2/+2
2024-01-03[𝘀𝗽𝗿] changes to main this commit is based onAndrés Villegas1-8/+2
2023-04-21[ConstraintElim] Fix integer overflow in ConstraintSystem::negate.Florian Hahn1-0/+2
2023-02-16[ConstraintSystem] Use sparse representation for constraints. (NFC)Florian Hahn1-23/+63
2023-02-15[ConstriantElimination] Add NODEBUG condition around `dump`Zain Jaffal1-0/+4
2023-02-15Recommit "[ConstraintElimination] Change debug output to display variable nam...Zain Jaffal1-10/+17
2023-02-15Revert "Recommit "[ConstraintElimination] Change debug output to display vari...Nikita Popov1-15/+10
2023-02-15Recommit "[ConstraintElimination] Change debug output to display variable nam...Zain Jaffal1-10/+15
2023-02-15Revert "[ConstraintElimination] Change debug output to display variable names."Zain Jaffal1-15/+10
2023-02-15[ConstraintElimination] Change debug output to display variable names.Zain Jaffal1-10/+15
2023-02-06[ConstraintElim] Update existing constraint system in place (NFC).Florian Hahn1-17/+23
2023-02-06[ConstraintElim] Move some array accesses to variables (NFC).Florian Hahn1-12/+16
2023-02-02[ConstraintSystem] Remove last variable, use move instead of copy. (NFC)Florian Hahn1-18/+13
2023-01-05Move from llvm::makeArrayRef to ArrayRef deduction guides - llvm/ partserge-sans-paille1-1/+1
2022-07-16[Analysis] Qualify auto variables in for loops (NFC)Kazu Hirata1-1/+1
2022-03-01Cleanup includes: LLVMAnalysisserge-sans-paille1-1/+0
2022-01-27[ConstraintSystem] Mark function as const (NFC).Florian Hahn1-1/+1
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
generated by cgit v1.1 at 2024-09-07 05:59:01 +0000