projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0b3a93) | patch
[ConstraintElimination] Handle constraints with all zero var coeffs.
authorFlorian Hahn <flo@fhahn.com>
Sat, 5 Dec 2020 10:52:50 +0000 (10:52 +0000)
committerFlorian Hahn <flo@fhahn.com>
Sat, 5 Dec 2020 12:06:53 +0000 (12:06 +0000)
commit4ceecc820b7197c2f302aa235875eb6619a397c3
tree3241f55f5f328782a7b1a6ac38c60e955492f479tree | snapshot
parenta0b3a9391cd8cfff2ad1741f12e5ed10acc97869commit | diff
[ConstraintElimination] Handle constraints with all zero var coeffs.

Constraints where all variable coefficients are 0 do not add any useful
information. When checking, we can check if they are always true/false.
llvm/include/llvm/Analysis/ConstraintSystem.h diff | blob | history
llvm/lib/Analysis/ConstraintSystem.cpp diff | blob | history
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp diff | blob | history
llvm/test/Transforms/ConstraintElimination/empty-constraint.ll [new file with mode: 0644] blob
Domain: System / Toolchain;