projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30e49a3) | patch
[ConstraintElimination] Transfer info from SLT to unsigned system.
authorFlorian Hahn <flo@fhahn.com>
Thu, 23 Jun 2022 13:57:59 +0000 (15:57 +0200)
committerFlorian Hahn <flo@fhahn.com>
Thu, 23 Jun 2022 13:57:59 +0000 (15:57 +0200)
commit9a33f3975e1a0cbfcfa3e5455b0d1429b98fabf4
tree6ebabeaa8e3f9c4bb88803e19921ce9fcd3c21batree | snapshot
parent30e49a3794726fd9d0ae60d34880f15e64a9fb3fcommit | diff
[ConstraintElimination] Transfer info from SLT to unsigned system.

If A s< B holds, then A u< also holds, if A s>= 0.

https://alive2.llvm.org/ce/z/J4JZuN
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp diff | blob | history
llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll diff | blob | history
Domain: System / Toolchain;