Give SCEVAddRecExpr no-signed-overflow and no-unsigned-overflow flags.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76928 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-07-24 01:01:06 +00:00
parent 2f1b15386f
commit d3ff304557

View File

@ -459,6 +459,15 @@ namespace llvm {
return SE.getAddExpr(this, getStepRecurrence(SE));
}
bool hasNoUnsignedOverflow() const { return SubclassData & (1 << 0); }
void setHasNoUnsignedOverflow(bool B) {
SubclassData = (SubclassData & ~(1 << 0)) | (B << 0);
}
bool hasNoSignedOverflow() const { return SubclassData & (1 << 1); }
void setHasNoSignedOverflow(bool B) {
SubclassData = (SubclassData & ~(1 << 1)) | (B << 1);
}
virtual void print(raw_ostream &OS) const;
/// Methods for support type inquiry through isa, cast, and dyn_cast: