<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - [X86] Two simple palignr shuffles become a two pshufbs and an or."
   href="https://bugs.llvm.org/show_bug.cgi?id=39387">39387</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>[X86] Two simple palignr shuffles become a two pshufbs and an or.
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>libraries
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Windows NT
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>enhancement
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Backend: X86
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>craig.topper@gmail.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>craig.topper@gmail.com, llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>Given these two shuffles which can be represented by a 2 input palignr followed
by a fake unary palignr.

    t19: v16i8 =
vector_shuffle<11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26> t17, t16
  t23: v16i8 = vector_shuffle<10,11,12,13,14,15,0,1,2,3,4,5,6,7,8,9> t19,
undef:v16i8

A generic DAG combine turns it into

vector_shuffle<5,6,7,8,9,10,27,28,29,30,31,0,1,2,3,4> t16, t17

which we legalize to 2 pshufbs and an or like this

Creating new node: t136: v16i8 = BUILD_VECTOR Constant:i8<5>, Constant:i8<6>,
Constant:i8<7>, Constant:i8<8>, Constant:i8<9>, Constant:i8<10>,
Constant:i8<-128>, Constant:i8<-128>, Constant:i8<-128>, Constant:i8<-128>,
Constant:i8<-128>, Constant:i8<0>, Constant:i8<1>, Constant:i8<2>, Constant:i8
Creating new node: t137: v16i8 = X86ISD::PSHUFB t16, t136
Creating new node: t138: v16i8 = BUILD_VECTOR Constant:i8<-128>,
Constant:i8<-128>, Constant:i8<-128>, Constant:i8<-128>, Constant:i8<-128>,
Constant:i8<-128>, Constant:i8<11>, Constant:i8<12>, Constant:i8<13>,
Constant:i8<14>, Constant:i8<15>, Constant:i8<-128>, Constant:i8<-128>,
Constant:i8<-1
Creating new node: t139: v16i8 = X86ISD::PSHUFB t17, t138
Creating new node: t140: v16i8 = or t137, t139

and no target specific DAG combine will recover it.

Perhaps we should be less aggressive in isShuffleMaskLegal for byte sizes?</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>