[ConstraintElimination] Decompose zext for unsigned compares.
authorFlorian Hahn <flo@fhahn.com>
Sun, 7 Feb 2021 20:53:06 +0000 (20:53 +0000)
committerFlorian Hahn <flo@fhahn.com>
Sun, 7 Feb 2021 20:53:06 +0000 (20:53 +0000)
commitca268ed28520cbe05e5a9f006cb7b615301a4aa1
treea2989fe76905e64c2066f3e399bbd1d8e0ab1dbf
parent3bb6dc0b268baa05742ada7f932937934808bed5
[ConstraintElimination] Decompose zext for unsigned compares.

For unsigned compares, zext should be a no-op and we can add the
extended value to the constraint system.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
llvm/test/Transforms/ConstraintElimination/gep-arithmetic.ll
llvm/test/Transforms/ConstraintElimination/zext.ll