Mark the increments of the generated induction variables 'NSW'

In general, all code that we produce is NSW.

llvm-svn: 157606
This commit is contained in:
Tobias Grosser 2012-05-29 09:11:59 +00:00
parent 3a275d20dd
commit 400a4ac658
1 changed files with 1 additions and 1 deletions

View File

@ -53,7 +53,7 @@ Value *polly::createLoop(Value *LB, Value *UB, Value *Stride,
IV->addIncoming(LB, PreheaderBB);
Stride = Builder.CreateZExtOrBitCast(Stride, LoopIVType);
Value *IncrementedIV = Builder.CreateAdd(IV, Stride, "polly.next_loopiv");
Value *IncrementedIV = Builder.CreateNSWAdd(IV, Stride, "polly.next_loopiv");
// Exit condition.
Value *CMP;