<div dir="ltr">Just a reminder - neither rsp nor rbp are actually guaranteed to stay constant.<div>E.g. with -fomit-frame-pointer on 32-bit, both are decidedly non-constant (ebp because of FP omission, esp because it moves back and forth around call sites.)</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Oct 25, 2016 at 3:12 PM, Nuno Lopes via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Tue, Oct 25, 2016 at 10:44 AM, Daniel Berlin via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Easier is a relative term.<br>
I expect optimally choosing  which freezes to eliminate where, etc, reduces to a covering problem variant (or just straight ILP) :)<br>
</blockquote>
<br>
<br>
I think it's fine for GVN to fold them all to the same thing. The only difference between freeze(poison) and zero is that you can use a pre-existing register like RBP or RSP that says constant across the lifetime of the function so you don't need to materialize a zero if you don't have one already.<br>
</blockquote>
<br></div></div>
That's clever! :)<br>
In our prototype we do the naive thing: reserve an arbitrary register for each freeze (without materializing anything). Your solution neatly reduces register pressure.<span class="HOEnZb"><font color="#888888"><br>
Nuno <br></font></span><div class="HOEnZb"><div class="h5">
______________________________<wbr>_________________<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="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
</div></div></blockquote></div><br></div>