<div dir="ltr">You can add <span style="background-color:rgb(255,255,254);color:rgb(0,0,0)"><font face="monospace">__builtin_assume(scscx == pp);</font> if that's your invariant -- this causes the loads to be gone using the clang from trunk.</span></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Aug 8, 2019 at 1:01 PM Joan Lluch via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Tim and Alex<br>
<br>
Thanks for your replies. <br>
<br>
So just to make it clear for me: does this imply that there’s indeed no way on the current version to tell the compiler or Clang to optimize this?<br>
<br>
Thanks,<br>
<br>
Joan<br>
<br>
<br>
> On 8 Aug 2019, at 18:30, Tim Northover via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
> <br>
> On Thu, 8 Aug 2019 at 17:08, Alex Brachet-Mialot via llvm-dev<br>
> <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
>> This might not be the workaround you want because it is only available in C, but you can use restrict to allow such optimizations.<br>
> <br>
> It also doesn't work in Clang unfortunately. We can only represent<br>
> restrict on function arguments at the moment.<br>
> <br>
> Cheers.<br>
> <br>
> Tim.<br>
> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
> <a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail-m_-2533008186772228630gmail_signature"><div>Jakub Kuderski</div></div>