[LLVMdev] SCEV not simplifying
Preston Briggs
preston.briggs at gmail.com
Fri Jun 15 19:52:39 PDT 2012
I have a pair of SCEVs that appear different to me.
However, when I compute the difference, it's not known to be non-zero.
src = (sext i32 %n to i64)
dst = (sext i32 (1 + %n) to i64)
delta = ((sext i32 %n to i64) + (-1 * (sext i32 (1 + %n) to i64)))
Is this behavior expected?
If I repeat the experiment with 64-bit ints (or unsigned),
things work out like I expect. 32-bit unsigned is also bad.
Thanks,
Preston
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120615/490c44f1/attachment.html>
More information about the llvm-dev
mailing list