<html>
    <head>
      <base href="http://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 xop.vpcmov trips assertion"
   href="http://bugs.llvm.org/show_bug.cgi?id=32041">32041</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>X86 xop.vpcmov trips assertion
          </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>paul_robinson@playstation.sony.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr></table>
      <p>
        <div>
        <pre>Created <span class=""><a href="attachment.cgi?id=18018" name="attach_18018" title="XOP intrinsics test">attachment 18018</a> <a href="attachment.cgi?id=18018&action=edit" title="XOP intrinsics test">[details]</a></span>
XOP intrinsics test

r295571 removed the xop.vpcmov intrinsics and added an auto-upgrade,
but we're seeing an assertion as shown below.

It looks like the vector type suffixes in general might have been missed?
I see this for .v4sf, .v2df, .v4di256, ....

(We have a long test file for XOP intrinsics, which I haven't upstreamed
because I haven't had a chance to see how much duplication it has.  If
you're interested, I've attached it.)


$ cat test.ll
target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-unknown-linux-gnu"

define <4 x float> @vpcmovv4sf(<4 x float> %a, <4 x float> %b, <4 x float> %c)
nounwind readnone {
  %1 = tail call <4 x float> @llvm.x86.xop.vpcmov.v4sf(<4 x float> %a, <4 x
float> %b, <4 x float>
%c)
  ret <4 x float> %1
}

declare <4 x float> @llvm.x86.xop.vpcmov.v4sf(<4 x float>, <4 x float>, <4 x
float>) nounwind
readnone

$ llc test.ll
llc: /home/russell/git/o/llvm/lib/IR/Instructions.cpp:2080: void
llvm::BinaryOperator::init(llvm::Instruction::BinaryOps): Assertion
`(getType()->isIntegerTy() ||
(getType()->isVectorTy() &&
cast<VectorType>(getType())->getElementType()->isIntegerTy())) &&
"Tried to create a logical operation on a non-integral type!"' failed.</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>