<div>I have a pair of SCEVs that appear different to me.</div><div>However, when I compute the difference, it's not known to be non-zero.</div><div><br></div><div>    src = (sext i32 %n to i64)</div><div>    dst = (sext i32 (1 + %n) to i64)</div>
<div>    delta = ((sext i32 %n to i64) + (-1 * (sext i32 (1 + %n) to i64)))</div><div><br></div><div>Is this behavior expected?</div><div><br></div><div>If I repeat the experiment with 64-bit ints (or unsigned),</div><div>
things work out like I expect. 32-bit unsigned is also bad. </div><div><br></div><div>Thanks,</div><div>Preston</div><div><br></div>