commit 400a4ac6586460f195c63e78c04ab1016882841d
author Tobias Grosser <grosser@fim.uni-passau.de> Tue May 29 09:11:59 2012 +0000
committer Tobias Grosser <grosser@fim.uni-passau.de> Tue May 29 09:11:59 2012 +0000
tree a902aef7c8e3301323f523ca64da6e37ffcedb4b
parent 3a275d20ddee5c29f0ee05c8f808d72bc3a001b2

Mark the increments of the generated induction variables 'NSW'

In general, all code that we produce is NSW.

llvm-svn: 157606

polly/lib/CodeGen/LoopGenerators.cpp

diff --git a/polly/lib/CodeGen/LoopGenerators.cpp b/polly/lib/CodeGen/LoopGenerators.cpp
index f56ec41..3688898 100644
--- a/polly/lib/CodeGen/LoopGenerators.cpp
+++ b/polly/lib/CodeGen/LoopGenerators.cpp
@@ -53,7 +53,7 @@
   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;