<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 - UNREACHABLE "Do not know how to widen this operator's operand!""
href="http://bugs.llvm.org/show_bug.cgi?id=31956">31956</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>UNREACHABLE "Do not know how to widen this operator's operand!"
</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>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Common Code Generator Code
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>greg_bedwell@sn.scee.net
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org, mkuper@google.com
</td>
</tr></table>
<p>
<div>
<pre>One of our random test generators found a case of "UNREACHABLE executed" in
SelectionDAG.
It's still reproducible as of r295055. I've bisected its introduction to
r281402:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
33893419506150322836ecb439b9c23c986522eb is the first bad commit
commit 33893419506150322836ecb439b9c23c986522eb
Author: Michael Kuperstein <<a href="mailto:mkuper@google.com">mkuper@google.com</a>>
Date: Tue Sep 13 21:53:32 2016 +0000
[DAG] Allow build-to-shuffle combine to combine builds from two wide
vectors.
This allows us to, in some cases, create a vector_shuffle out of a
build_vector, when
the inputs to the build are extract_elements from two different vectors, at
least one
of which is wider than the output. (E.g. a <8 x i16> being constructed out
of
elements from a <16 x i16> and a <8 x i16>).
Differential Revision: <a href="https://reviews.llvm.org/D24491">https://reviews.llvm.org/D24491</a>
git-svn-id: <a href="https://llvm.org/svn/llvm-project/llvm/trunk@281402">https://llvm.org/svn/llvm-project/llvm/trunk@281402</a>
91177308-0d34-0410-b5e6-96231b3b80d8
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Source-level test case:
// ============================================================================
typedef float __attribute__((ext_vector_type(8))) float8;
typedef float __attribute__((ext_vector_type(4))) float4;
typedef float __attribute__((ext_vector_type(2))) float2;
volatile float2 id36531;
float8 id36539;
float4 test173() {
float8 id36530 =
__builtin_shufflevector(id36531, id36531, 0, 0, 0, 0, 0, 0, 0, 0);
return __builtin_shufflevector(id36530, id36539, 12, 10, 14, 4);
}
// ============================================================================
$ C:\work\public-git\upstream-llvm\build-bisect\Release\bin\clang.exe --version
clang version 5.0.0 (<a href="http://llvm.org/git/clang.git">http://llvm.org/git/clang.git</a>
0acb2562e4b8b9e2a351e3c335cd28afb2e11847) (<a href="http://llvm.org/git/llvm.git">http://llvm.org/git/llvm.git</a>
90b785146d1146932624753ba497c8ddf0f1a1e6)
Target: x86_64-scei-ps4
Thread model: posix
InstalledDir: C:\work\public-git\upstream-llvm\build-bisect\Release\bin
$ C:\work\public-git\upstream-llvm\build-bisect\Release\bin\clang.exe -c 1.cpp
-target x86_64-scei-ps4 -O0
$ C:\work\public-git\upstream-llvm\build-bisect\Release\bin\clang.exe -c 1.cpp
-target x86_64-scei-ps4 -O1
WidenVectorOperand op #1: t24: v8f32 = insert_subvector undef:v8f32, t4,
Constant:i64<0>
Do not know how to widen this operator's operand!
UNREACHABLE executed at
C:\work\public-git\upstream-llvm\llvm\lib\CodeGen\SelectionDAG\LegalizeVectorTypes.cpp:2971!
<snip error output></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>