forked from OSchip/llvm-project
parent
6f1bb7a9d9
commit
5c2b556b13
|
@ -144,10 +144,6 @@ public:
|
||||||
}
|
}
|
||||||
|
|
||||||
class ValidatorResult visitSignExtendExpr(const SCEVSignExtendExpr *Expr) {
|
class ValidatorResult visitSignExtendExpr(const SCEVSignExtendExpr *Expr) {
|
||||||
// We currently allow only signed SCEV expressions. In the case of a
|
|
||||||
// signed value, a sign extend is a noop.
|
|
||||||
//
|
|
||||||
// TODO: Reconsider this when we add support for unsigned values.
|
|
||||||
return visit(Expr->getOperand());
|
return visit(Expr->getOperand());
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -163,7 +159,6 @@ public:
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
// TODO: Check for NSW and NUW.
|
|
||||||
return Return;
|
return Return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -199,7 +194,6 @@ public:
|
||||||
if (HasMultipleParams && Return.isValid())
|
if (HasMultipleParams && Return.isValid())
|
||||||
return ValidatorResult(SCEVType::PARAM, Expr);
|
return ValidatorResult(SCEVType::PARAM, Expr);
|
||||||
|
|
||||||
// TODO: Check for NSW and NUW.
|
|
||||||
return Return;
|
return Return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -273,8 +267,8 @@ public:
|
||||||
}
|
}
|
||||||
|
|
||||||
class ValidatorResult visitUMaxExpr(const SCEVUMaxExpr *Expr) {
|
class ValidatorResult visitUMaxExpr(const SCEVUMaxExpr *Expr) {
|
||||||
// We do not support unsigned operations. If 'Expr' is constant during Scop
|
// We do not support unsigned max operations. If 'Expr' is constant during
|
||||||
// execution we treat this as a parameter, otherwise we bail out.
|
// Scop execution we treat this as a parameter, otherwise we bail out.
|
||||||
for (int i = 0, e = Expr->getNumOperands(); i < e; ++i) {
|
for (int i = 0, e = Expr->getNumOperands(); i < e; ++i) {
|
||||||
ValidatorResult Op = visit(Expr->getOperand(i));
|
ValidatorResult Op = visit(Expr->getOperand(i));
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue