<div dir="ltr"><div><div><div>x86 has also put a lot of effort into shuffle lowering...so much so that it is its own life-form and brings most online codeviewer apps to their knees when you try to open X86ISelLowering.cpp. :)<br><br></div>Given that:<br>1. There are at least 2 targets that lean towards shuffle (Martin's comment + x86 uses lowerVSELECTtoVectorShuffle() for all cases like the example posted here)<br>2. Size-changing shuffles are easier to reason about with other shuffles (Michael's comment)<br></div>3. Insert/extract are easier to reason about with shuffles (Eli's comment in D22114)<br><br></div>...we should probably go with shuffle as the canonical encoding. Like Philip, I think the select is easier to read in IR (and mentally translate to an x86 'blend'), but there's no other advantage for select?<br><br>I'll give this thread some more time before posting a patch...in case we've missed something.<br><div><br><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Aug 29, 2016 at 1:34 PM, Martin J. O'Riordan 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 link="blue" vlink="purple" lang="EN-IE"><div><p class="MsoNormal"><span style="font-family:"Book Antiqua",serif;color:#943634">I must admit, I prefer the shuffle canonicalization, but mainly because we have put a lot of effort into finding optimal instruction sequences for obscure shuffle patterns.  But we could refactor easily enough to use either.<u></u><u></u></span></p><p class="MsoNormal"><span style="font-family:"Book Antiqua",serif;color:#943634"><u></u> <u></u></span></p><p class="MsoNormal"><span style="font-family:"Book Antiqua",serif;color:#943634">I don’t know which makes the most logical sense in this case though.  Certainly choosing the select pattern better matches OpenCL’s native select interface.<u></u><u></u></span></p><p class="MsoNormal"><span style="font-family:"Book Antiqua",serif;color:#943634"><u></u> <u></u></span></p><p class="MsoNormal"><span style="font-family:"Book Antiqua",serif;color:#943634">            MartinO<u></u><u></u></span></p><p class="MsoNormal"><span style="font-family:"Book Antiqua",serif;color:#943634"><u></u> <u></u></span></p><p class="MsoNormal"><b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif" lang="EN-US">From:</span></b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif" lang="EN-US"> llvm-dev [mailto:<a href="mailto:llvm-dev-bounces@lists.llvm.org" target="_blank">llvm-dev-bounces@<wbr>lists.llvm.org</a>] <b>On Behalf Of </b>Michael Kuperstein via llvm-dev<br><b>Sent:</b> 29 August 2016 19:28<br><b>To:</b> Philip Reames <<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>><br><b>Cc:</b> llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>><br><b>Subject:</b> Re: [llvm-dev] IR canonicalization: vector select or shufflevector?<u></u><u></u></span></p><div><div class="h5"><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">I have a slight preference towards shufflevector, because it makes sequences of shuffles, where only some of the shuffles can be converted into selects (because the input and output vector sizes of the others don't match) simpler to reason about.<u></u><u></u></p><div><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">I'm not sure this is a particularly good reason, though.<u></u><u></u></p></div></div></div><div><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">On Mon, Aug 29, 2016 at 8:19 AM, Philip Reames via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<u></u><u></u></p><blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"><div><p>I don't have a strong preference, though it is clear we should pick one.  I'd mildly prefer the select form for readability.  From an optimization standpoint, I see reasonable arguments for either.  <u></u><u></u></p><p>Philip<u></u><u></u></p><div><div><p class="MsoNormal"><u></u> <u></u></p><div><p class="MsoNormal">On 08/28/2016 12:37 PM, Sanjay Patel via llvm-dev wrote:<u></u><u></u></p></div></div></div><blockquote style="margin-top:5.0pt;margin-bottom:5.0pt"><div><div><div><div><p class="MsoNormal" style="margin-bottom:12.0pt">A vector select with a constant vector condition operand:<br><br>define <4 x i32> @foo(<4 x i32> %a, <4 x i32> %b) {<br>  %sel = select <4 x i1> <i1 true, i1 false, i1 false, i1 true>, <4 x i32> %a, <4 x i32> %b<br>  ret <4 x i32> %sel<br>}<br><br><br>...is equivalent to a shufflevector:<br><br>define <4 x i32> @goo(<4 x i32> %a, <4 x i32> %b) {<br>  %shuf = shufflevector <4 x i32> %a, <4 x i32> %b, <4 x i32> <i32 0, i32 5, i32 6, i32 3><br>  ret <4 x i32> %shuf<br>}<br><br><br>For the goal of canonicalization in IR, which of these should we prefer? Some backend / lowering differences for AArch64 and PPC are noted in:<br><a href="https://llvm.org/bugs/show_bug.cgi?id=28530" target="_blank">https://llvm.org/bugs/show_<wbr>bug.cgi?id=28530</a><br><a href="https://llvm.org/bugs/show_bug.cgi?id=28531" target="_blank">https://llvm.org/bugs/show_<wbr>bug.cgi?id=28531</a><u></u><u></u></p></div><p class="MsoNormal">x86 converts either form optimally in all cases I've looked at.<u></u><u></u></p><div><p class="MsoNormal" style="margin-bottom:12.0pt"><br>This question first came up in D22114 ( <a href="https://reviews.llvm.org/D22114" target="_blank">https://reviews.llvm.org/<wbr>D22114</a> ) and is extended in D23886 ( <a href="https://reviews.llvm.org/D23886" target="_blank">https://reviews.llvm.org/<wbr>D23886</a> ) with a constant value example.<u></u><u></u></p></div></div><p class="MsoNormal" style="margin-bottom:12.0pt"><u></u> <u></u></p></div></div><pre>______________________________<wbr>_________________<u></u><u></u></pre><pre>LLVM Developers mailing list<u></u><u></u></pre><pre><a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><u></u><u></u></pre><pre><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><u></u><u></u></pre></blockquote><p class="MsoNormal"><u></u> <u></u></p></div><p class="MsoNormal" style="margin-bottom:12.0pt"><br>______________________________<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" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><u></u><u></u></p></blockquote></div><p class="MsoNormal"><u></u> <u></u></p></div></div></div></div></div><br>______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">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></blockquote></div><br></div>