<html>
    <head>
      <base href="http://llvm.org/bugs/" />
    </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 --- - signext on vector parameter raises assertion"
   href="http://llvm.org/bugs/show_bug.cgi?id=15391">15391</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>signext on vector parameter raises 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>Linux
          </td>
        </tr>

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

        <tr>
          <th>Severity</th>
          <td>normal
          </td>
        </tr>

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

        <tr>
          <th>Component</th>
          <td>Core LLVM classes
          </td>
        </tr>

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

        <tr>
          <th>Reporter</th>
          <td>leissa@cs.uni-saarland.de
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvmbugs@cs.uiuc.edu
          </td>
        </tr>

        <tr>
          <th>Classification</th>
          <td>Unclassified
          </td>
        </tr></table>
      <p>
        <div>
        <pre>This:

define <4 x float> @masked_add_1(<4 x i1> signext %mask, <4 x float> %a, <4 x
float> %b) { ... }

or this: 

define <4 x float> @masked_add_32(<4 x i32> signext %mask, <4 x float> %a, <4 x
float> %b) { ... }


will raise an assertion due to the signext attribute.

backtrace:

#0  0x00007ffff6e2d2c5 in raise () from /usr/lib/libc.so.6
#1  0x00007ffff6e2e748 in abort () from /usr/lib/libc.so.6
#2  0x000000000137e601 in (anonymous namespace)::Verifier::abortIfBroken
(this=0x1e161a0) at /home/roland/projects/sierra/llvm/lib/IR/Verifier.cpp:226
#3  0x000000000137e2f9 in (anonymous namespace)::Verifier::runOnFunction
(this=0x1e161a0, F=...) at
/home/roland/projects/sierra/llvm/lib/IR/Verifier.cpp:179
#4  0x0000000001352d1d in llvm::FPPassManager::runOnFunction (this=0x1e16af0,
F=...) at /home/roland/projects/sierra/llvm/lib/IR/PassManager.cpp:1530
#5  0x0000000001352f0e in llvm::FPPassManager::runOnModule (this=0x1e16af0,
M=...) at /home/roland/projects/sierra/llvm/lib/IR/PassManager.cpp:1550
#6  0x00000000013532a0 in llvm::MPPassManager::runOnModule (this=0x1e06110,
M=...) at /home/roland/projects/sierra/llvm/lib/IR/PassManager.cpp:1608
#7  0x00000000013538c5 in llvm::PassManagerImpl::run (this=0x1e03be0, M=...) at
/home/roland/projects/sierra/llvm/lib/IR/PassManager.cpp:1703
#8  0x0000000001353ad7 in llvm::PassManager::run (this=0x7fffffffdfb0, M=...)
at /home/roland/projects/sierra/llvm/lib/IR/PassManager.cpp:1738
#9  0x00000000008e0307 in compileModule (argv=0x7fffffffe398, Context=...) at
/home/roland/projects/sierra/llvm/tools/llc/llc.cpp:376
#10 0x00000000008df372 in main (argc=2, argv=0x7fffffffe398) at
/home/roland/projects/sierra/llvm/tools/llc/llc.cpp:194</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>