Can we instead add an assertion here and in getVectorShuffle and fix any code that breaks the rule?<span></span><br><br>On Sunday, August 7, 2016, Simon Pilgrim <<a href="mailto:llvm-dev@redking.me.uk">llvm-dev@redking.me.uk</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">No, but we don’t seem to have a hard rule that VECTOR_SHUFFLE can only use (-1) to define undefined mask elements - AFAICT it can be any negative value. This is preventing us from sharing a number of chunks of x86 shuffle matching code that current use Mask[i] < 0 to match all undefineds. <div><br><div>Simon.<div><br><div><blockquote type="cite"><div>On 7 Aug 2016, at 16:56, Craig Topper <<a href="javascript:_e(%7B%7D,'cvml','craig.topper@gmail.com');" target="_blank">craig.topper@gmail.com</a>> wrote:</div><br><div>I don't quite understand this. Does combining come through lowerVectorShuffle? Or when would a VECTOR_SHUFFLE come through where this wasn't true?<span></span><br><br>On Sunday, August 7, 2016, Simon Pilgrim via llvm-commits <<a href="javascript:_e(%7B%7D,'cvml','llvm-commits@lists.llvm.org');" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: rksimon<br>
Date: Sun Aug  7 10:29:12 2016<br>
New Revision: 277959<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=277959&view=rev" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject?rev=277959&view=rev</a><br>
Log:<br>
[X86] lowerVectorShuffle - ensure that undefined mask elements only use SM_SentinelUndef<br>
<br>
Help lowering and combining (which can specify SM_SentinelZero mask elements) share more shuffle matching code.<br>
<br>
Modified:<br>
    llvm/trunk/lib/Target/X86/X86I<wbr>SelLowering.cpp<br>
<br>
Modified: llvm/trunk/lib/Target/X86/X86I<wbr>SelLowering.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/X86ISelLowering.cpp?rev=277959&r1=277958&r2=277959&view=diff" target="_blank">http://llvm.org/viewvc/llvm-pr<wbr>oject/llvm/trunk/lib/Target/X8<wbr>6/X86ISelLowering.cpp?rev=2779<wbr>59&r1=277958&r2=277959&view=<wbr>diff</a><br>
==============================<wbr>==============================<wbr>==================<br>
--- llvm/trunk/lib/Target/X86/X86I<wbr>SelLowering.cpp (original)<br>
+++ llvm/trunk/lib/Target/X86/X86I<wbr>SelLowering.cpp Sun Aug  7 10:29:12 2016<br>
@@ -12281,6 +12281,15 @@ static SDValue lowerVectorShuffle(SDValu<br>
         return DAG.getVectorShuffle(VT, DL, V1, V2, NewMask);<br>
       }<br>
<br>
+  // Ensure that undefined mask elements only use SM_SentinelUndef.<br>
+  if (llvm::any_of(Mask, [](int M) { return M < SM_SentinelUndef; })) {<br>
+    SmallVector<int, 8> NewMask(Mask.begin(), Mask.end());<br>
+    for (int &M : NewMask)<br>
+      if (M < SM_SentinelUndef)<br>
+        M = SM_SentinelUndef;<br>
+    return DAG.getVectorShuffle(VT, DL, V1, V2, NewMask);<br>
+  }<br>
+<br>
   // We actually see shuffles that are entirely re-arrangements of a set of<br>
   // zero inputs. This mostly happens while decomposing complex shuffles into<br>
   // simple ones. Directly lower these as a buildvector of zeros.<br>
<br>
<br>
______________________________<wbr>_________________<br>
llvm-commits mailing list<br>
<a>llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-commits</a><br>
</blockquote><br><br>-- <br>~Craig<br>
</div></blockquote></div><br></div></div></div></div></blockquote><br><br>-- <br>~Craig<br>