projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f7d30d) | patch
[ConstraintElimination] Handle solving-only `ICMP_NE` predicates
authorAntonio Frighetto <me@antoniofrighetto.com>
Thu, 29 Jun 2023 18:32:55 +0000 (20:32 +0200)
committerAntonio Frighetto <me@antoniofrighetto.com>
Thu, 29 Jun 2023 19:22:48 +0000 (21:22 +0200)
commita2ba4e8075140a97680edf1878535c4c2c651b19
tree368a08c1494de0692cad508a64538634feb269eetree | snapshot
parent2f7d30dee8262746c3e8ee1f6f25be8c1ace9990commit | diff
[ConstraintElimination] Handle solving-only `ICMP_NE` predicates

Simplification of non-equality predicates for solving constraint
systems is now supported by checking the validity of related
inequalities and equalities.

Differential Revision: https://reviews.llvm.org/D152684
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp diff | blob | history
llvm/test/Transforms/ConstraintElimination/constants-unsigned-predicates.ll diff | blob | history
llvm/test/Transforms/ConstraintElimination/ne.ll diff | blob | history
Domain: System / Toolchain;