[LLVMdev] sign extensions, SCEVs, and wrap flags

[Preston Briggs]

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

*{2,+,1}<nw><%for.body>*


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

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