<div dir="auto"><div>Sounds great to me. Over a beer sounds more appealing as I won't attend the meeting (but I'll be in the Bay Area anyway).<br><div class="gmail_extra"><br><div class="gmail_quote">On Jul 9, 2017 2:07 PM, "John Regehr via llvm-dev" <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Maybe some of us who are interested in LVI can get together in October? Doesn't seem like broad enough interest for a BoF but perhaps over a beer or during a coffee break?<br>
<br>
John<br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">
We have a related bug open, you opened, it seems :)<br>
<a href="https://bugs.llvm.org/show_bug.cgi?id=31895" rel="noreferrer" target="_blank">https://bugs.llvm.org/show_bug<wbr>.cgi?id=31895</a><br>
<br>
>From what I can tell the difference is that gcc solves the problem<br>
eagerly (and not lazily). Actually, they catch this case as part of VRP,<br>
which is run not very early in the pipeline but still the cfg is in a<br>
shape decent enough to get this case right (maybe we could consider<br>
reordering passes, instead).<br>
<br>
<br></div><div class="quoted-text">
______________________________<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>
<br>
</div></blockquote><div class="elided-text">
______________________________<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></blockquote></div><br></div></div></div>