Displaying 2 results from an estimated 2 matches for "5701d0c2".
2016 Apr 10
2
ScalarEvolution "add nsw" question
...302-3065 : http://www.cdl.uni-saarland.de/people/doerfert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 213 bytes
Desc: Digital signature
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160411/5701d0c2/attachment.sig>
2016 Apr 10
2
ScalarEvolution "add nsw" question
Hello,
I was wondering under which circumstances ScalarEvolution will propagate
the no wrap flags from binary operators. In particular I looked at
non-loop carried code, e.g., as in the following function:
int add(int x, int y) { return x + y; }
for which clang uses an "add nsw" instruction but ScalarEvolution does
not propagate this information. The -analyze output looks like this: