<p dir="ltr">Ah, I misunderstood and thought this was to get better optimization. Should have more caffeine. Should be easy to get the rest landed then.</p>
<br><div class="gmail_quote"><div dir="ltr">On Mon, Jun 26, 2017, 02:05 Ariel Ben-Yehuda via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The assert failure is exactly the reason I wrote this patch. Without<br>
this patch, the !nonnull metadata is copied from the `%bar*` load to<br>
the `i64` load, which triggers the assertion.<br>
<br>
> By value do you mean "result"?<br>
> IE the result of the load?<br>
<br>
If that's the LLVM term, yeah.<br>
<br>
On 6/26/17, Chandler Carruth via Phabricator <<a href="mailto:reviews@reviews.llvm.org" target="_blank">reviews@reviews.llvm.org</a>> wrote:<br>
> chandlerc added a comment.<br>
><br>
> I landed some simpler refactorings in r306267 that should be enough to<br>
> implement this.<br>
><br>
> However, I noticed that SROA actually assert fails on your test case without<br>
> this patch, and in a seemingly unrelated manner. I want to understand this<br>
> before landing your patch (or equivalent using different API). That said,<br>
> feel free to update your patch based on r306267 or I will when I finish<br>
> debugging (or if you can debug the assert, let me know).<br>
><br>
> I definitely want to get this unblocked for Rust, but it seems pretty scary<br>
> to paper over an assert failure. Anyways, will try to keep this moving.<br>
><br>
><br>
> <a href="https://reviews.llvm.org/D34285" rel="noreferrer" target="_blank">https://reviews.llvm.org/D34285</a><br>
><br>
><br>
><br>
><br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>