projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f8ffbd) | patch
[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
tree4c314ced243d05b543e0a7bb2eb3d4d3a54aa1a9tree | snapshot
parent1f8ffbd1ccdb7323a48e0252bb7b04a83f61e265commit | diff
[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 diff | blob | history
llvm/test/Transforms/ConstraintElimination/signed-query-unsigned-system.ll diff | blob | history
Domain: System / Toolchain;