
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><div style="direction: ltr;"><span style="-webkit-text-size-adjust: auto;">The loop and SLP vectorizers run the verifier after vectorization. </span></div><br><span style="-webkit-text-size-adjust: auto;">Sent from my iPhone</span></div><div style="-webkit-text-size-adjust: auto;"><br>On Oct 25, 2013, at 14:36, Renato Golin <<a href="mailto:renato.golin@linaro.org">renato.golin@linaro.org</a>> wrote:<br><br></div><blockquote type="cite" style="-webkit-text-size-adjust: auto;"><div><div dir="ltr">On 25 October 2013 21:01, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

where the second extractelement is illegal because its first operand is not a vector. Later passes (or the verifier) would then crash.<br></blockquote><div></div></div><br></div><div class="gmail_extra">On a side note, would it be possible (and desirable) to pass the verifier on the vectorized BBs before swapping the real code with it?</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">cheers,</div><div class="gmail_extra">--renato</div></div>

</div></blockquote></body></html>