[LLVMdev] sign extensions, SCEVs, and wrap flags

Preston Briggs preston.briggs at gmail.com
Tue Sep 18 20:21:27 PDT 2012

Given the following SCEV,

*(sext i32 {2,+,1}<nw><%for.body> to i64)*

from the following C source,

*void strong3(int *A, int *B, int n) {*
*  for (int i = 0; i < n; i++) {*
*    A[i + 2] = i;*
*    ...*
*  }*

Since the No-Wrap flag is set on the addrec, can't I safely rewrite it as


If I can, why isn't the SCEV package simplifying things for me?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120918/290da59c/attachment.html>

More information about the llvm-dev mailing list