search for: intersectwith

...value will never be less than its // initial value. if (AddRec->getNoWrapFlags(SCEV::FlagNUW)) if (const SCEVConstant *C = dyn_cast<SCEVConstant>(AddRec->getStart())) if (!C->getValue()->isZero()) ConservativeResult = ConservativeResult.intersectWith( ConstantRange(C->getValue()->getValue(), APInt(BitWidth, 0))); and conclude that %idx.dec is always UGE %begin. This is a real bug waiting to happen. As far as I can tell, in the presence of no-wrap flags, 'sub X Y' is not the same as 'add X -Y', and subtract...

Hi Duncan. I have strange problems with you mailbox, my posts are lost sometimes on this way. I just want to duplicate answer on your question in this thread: http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20120305/138785.html ConstantRange has a little bit another purposes. It is not a classical range. Yes it has Lower and Upper, but "sub" and "add" operations

...antRange has a little bit another purposes. It is not a classical range. How do you mean? It looks like a classical range to me! Yes it has Lower and Upper, but "sub" and "add" operations are differs from "difference" and "union" set operations. It has intersectWith and unionWith, so I'm not sure what you mean here. There is also "inverse" for forming the complement. But it is still possible to replace Range class with the ConstantRange, though we need to implement classical set operations to do it. The basic set operations are already imple...