[LLVMdev] SCEV not simplifying

[Preston Briggs]

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>