<html>
<head>
<base href="https://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 --- - [QoI] Improve failure when trying to bind float types to integer registers for IAS in hardfp mode"
href="https://llvm.org/bugs/show_bug.cgi?id=23244">23244</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[QoI] Improve failure when trying to bind float types to integer registers for IAS in hardfp mode
</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>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Backend: ARM
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>joerg@NetBSD.org
</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>Test case from Firefox:
int a, b, c, d, g, h, i;
double e;
struct A {
static int m_fn1(int) {
asm("" : "=r"(a), "=&r"(b), "=&r"(c), "=&r"(d), "=&r"(e) : "4"(e));
}
};
struct Shuffle {
static int m_fn2(int) { A::m_fn1(0); }
} *f;
template <typename, typename, typename>
void FuncShuffle(int *, unsigned, int *) {
f[Shuffle::m_fn2(0)];
}
void simd_int32x4_shuffleMix() { FuncShuffle<A, Shuffle, A>(&g, h, &i); }
This currently fails with an assertion (SelectionDAGBuilder.cpp:398, void
getCopyToParts(llvm::SelectionDAG&, llvm::SDLoc, llvm::SDValue, llvm::SDValue*,
unsigned int, llvm::MVT, const llvm::Value*, llvm::ISD::NodeType): Assertion
`(PartVT.isInteger() || PartVT == MVT::x86mmx) && ValueVT.isInteger() &&
"Unknown mismatch!"' failed). It should be properly detected.</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>