<div dir="ltr">Indeed you're right, thanks! I need a nuw (which I have to invent, with a run-time check, since it doesn't exist in the original but anyway).<br><br>Best,<br>Stefanos</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Στις Παρ, 31 Ιουλ 2020 στις 12:36 μ.μ., ο/η Florian Hahn <<a href="mailto:florian_hahn@apple.com">florian_hahn@apple.com</a>> έγραψε:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On Jul 30, 2020, at 21:03, Stefanos Baziotis via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
> <br>
> Hi,<br>
> <br>
> I have a SCEV like this: {16,+,8}. Say that this came from a loop like:<br>
> int64_t *p;<br>
> for (int64_t i = 0; i < ...; ++i)<br>
>   p[i+2]...<br>
> <br>
> And assuming that I'm on a 64-bit machine. What I would like to do is normalize it<br>
> like that, basically this: {2,+,1} i.e. map it to the index.<br>
> <br>
> Now, I tried to get the underlying element size of the pointer, then getUDivExpr(OriginalSCEV, ElementSize); But I don't get the desired SCEV back. Instead I'm getting:<br>
> {16,+,8} \u 8, i.e. just adding udiv in the original expression.<br>
> <br>
<br>
<br>
I guess the problem here is that the AddRec is missing overflow flags, which means the expression may overflow and if that happens, the folded expression may not be equivalent to the original one in all cases.<br>
<br>
If the AddRec has the overflow flags set, it looks something like `{16,+,8}<nuw><nsw><%loop>`. I’d check if the original IR had nuw/nsw flags on add instruction for the AddRec. The way those flags are managed in SCEV are sometimes a bit surprising, because the expressions are not tied to a specific location and the flags need to be valid for the whole scope the expression can be evaluated in.<br>
<br>
Cheers,<br>
Florian<br>
<br>
</blockquote></div>