[ConstraintElimination] Convert to unsigned Pred if possible.
authorFlorian Hahn <flo@fhahn.com>
Fri, 7 Oct 2022 11:27:35 +0000 (12:27 +0100)
committerFlorian Hahn <flo@fhahn.com>
Fri, 7 Oct 2022 11:27:36 +0000 (12:27 +0100)
commit3771310eede0041bae452870ef5e3fa70e48c17b
tree4c314ced243d05b543e0a7bb2eb3d4d3a54aa1a9
parent1f8ffbd1ccdb7323a48e0252bb7b04a83f61e265
[ConstraintElimination] Convert to unsigned Pred if possible.

Convert SLE/SLT predicates to unsigned equivalents if both operands are
known to be signed-positive.

https://alive2.llvm.org/ce/z/tBeiZr
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
llvm/test/Transforms/ConstraintElimination/signed-query-unsigned-system.ll