[LLVMdev] On semantics of add instruction - nsw,nuw flags

[Rekha R]

Hi,

I am trying to understand the semantics of Instructions in llvm.

Are the following instructions semantically same?



*  %add2 = add nsw i32 %add, %add1   %add3 = add        i32 %add, %add1*
Based on my understanding from the Language Reference Manual, I think they
are different.
But then why is the *gvn* pass detecting *%add3* as redundant and deleting
it?

Your views are appreciated.
Rekha

-- 
Rekha
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140723/b0bdfc10/attachment.html>