<div dir="ltr">Great!<div><br></div><div>Hal, I'm happy. Are you happy enough with the state of MDNoAlias that we can flip both switches?</div><div><br></div><div>Cheers,</div><div><br></div><div>James</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On 3 September 2014 18:46, Chandler Carruth <span dir="ltr"><<a href="mailto:chandlerc@google.com" target="_blank">chandlerc@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">I've run our benchmarks and a sizable test suite. I see no regressions and some small improvements. Please feel free to enable both features provided everyone else is happy.</div><div class="HOEnZb"><div class="h5">
<div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Aug 31, 2014 at 9:50 PM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span>----- Original Message -----<br>
> From: "Chandler Carruth" <<a href="mailto:chandlerc@google.com" target="_blank">chandlerc@google.com</a>><br>
> To: "James Molloy" <<a href="mailto:james@jamesmolloy.co.uk" target="_blank">james@jamesmolloy.co.uk</a>><br>
> Cc: "Chad Rosier" <<a href="mailto:mcrosier@codeaurora.org" target="_blank">mcrosier@codeaurora.org</a>>, "Hal Finkel" <<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>>, "LLVM Commits"<br>

> <<a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a>>, "Tobias Grosser" <<a href="mailto:tobias@grosser.es" target="_blank">tobias@grosser.es</a>><br>
> Sent: Wednesday, August 27, 2014 4:38:06 AM<br>
> Subject: Re: SLP/Loop vectorizer pass ordering<br>
><br>
><br>
><br>
><br>
><br>
</span><span>> On Wed, Aug 27, 2014 at 2:29 AM, James Molloy <<br>
> <a href="mailto:james@jamesmolloy.co.uk" target="_blank">james@jamesmolloy.co.uk</a> > wrote:<br>
><br>
><br>
><br>
> Hi Chandler,<br>
><br>
><br>
> This is waiting on you reporting numbers, I think. Did you get a<br>
> chance to run your benchmarks?<br>
> Sorry, I should have followed up here as well as on IRC with Hal.<br>
><br>
><br>
> I tried to get numbers. However, enabling Hal's feature caused a<br>
> large number of my benchmarks to fail... over 50% of them. So I<br>
> didn't get much useful data. What I got looked fine, but I'd really<br>
> rather some higher confidence in the scoped-aa stuff first.<br>
<br>
</span>Please try again after r216863 (which at least gives me a clean test-suite and self-host on Linux/x86_64). The noalias parameter attribute -> metadata conversion logic, as it turns out, was pretty broken -- it is certainly better now.<br>

<br>
In case you're curious where all your noalias parameters are coming from, aside from the obvious places where you have __restrict__, it is also that Clang adds noalias to every sret parameter (for aggregate return values). As a result, we actually get reasonable testing coverage from self-hosting on the noalias -> metadata conversion (or so I currently believe).<br>

<span><br>
><br>
><br>
> I'm not sure what to do next though. I mean, I can spend a bunch of<br>
> time trying to reduce a test case, but it will take me a huge amount<br>
> of time.<br>
><br>
><br>
> Note that all the code failing is compiled with no TBAA and there is<br>
> very little C code involved... so I feel lik ethere must be<br>
> something pretty basic that is going wrong with this new mode.<br>
<br>
</span>Yes, there certainly was.<br>
<br>
Thanks again,<br>
Hal<br>
<div><div><br>
--<br>
Hal Finkel<br>
Assistant Computational Scientist<br>
Leadership Computing Facility<br>
Argonne National Laboratory<br>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>