Go to the source code of this file.
|
static LogicalResult | isCmpIConvertable (DataFlowSolver &solver, CmpIOp op) |
| Succeeds when the comparison predicate is a signed operation and all the operands are non-negative, indicating that the cmpi operation op can have its predicate changed to an unsigned equivalent. More...
|
|
static CmpIPredicate | toUnsignedPred (CmpIPredicate pred) |
| Return the unsigned equivalent of a signed comparison predicate, or the predicate itself if there is none. More...
|
|
◆ GEN_PASS_DEF_ARITHUNSIGNEDWHENEQUIVALENT
#define GEN_PASS_DEF_ARITHUNSIGNEDWHENEQUIVALENT |
◆ isCmpIConvertable()
static LogicalResult isCmpIConvertable |
( |
DataFlowSolver & |
solver, |
|
|
CmpIOp |
op |
|
) |
| |
|
static |
Succeeds when the comparison predicate is a signed operation and all the operands are non-negative, indicating that the cmpi operation op
can have its predicate changed to an unsigned equivalent.
Definition at line 33 of file UnsignedWhenEquivalent.cpp.
◆ toUnsignedPred()
static CmpIPredicate toUnsignedPred |
( |
CmpIPredicate |
pred | ) |
|
|
static |
Return the unsigned equivalent of a signed comparison predicate, or the predicate itself if there is none.
Definition at line 50 of file UnsignedWhenEquivalent.cpp.