<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/55459>55459</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[LoopVectorizer] Assertion `!verifyFunction(*L->getHeader()->getP arent(), &dbgs())' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
vectorization
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
JonPsson
</td>
</tr>
</table>
<pre>
[testcase.tar.gz](https://github.com/llvm/llvm-project/files/8692827/testcase.tar.gz)
clang -march=arch13 -Os crash0.i -w -o a.out
or
opt -S -mtriple=s390x-linux-gnu -mcpu=z15 tc_crash0_aftercreduce.ll -O3 -o /dev/null
Instruction does not dominate all uses!
%8 = getelementptr inbounds [2 x i32], ptr @a, i64 0, i64 %7
%i8.lcssa = phi ptr [ %i8, %bb26 ], [ %8, %middle.block ]
...
#8 0x000002aa2c8f1bd8 llvm::LoopVectorizePass::processLoop(llvm::Loop*)
...
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzNVE1v3CAQ_TX2BRnZYHvtgw-bplFbRWqkSr1GGLCXlgWLj-0mv76DvZsmufXUIgTDDLyZBzOMVjwNWXMTpA-ceYkDc3h-zprbjHSHEBaf0X1G7qDPKhziiLk9wkLr03UqFmd_SB5gOSktPcxd25OO7EB6j0v6rLzNyv02cs3MjIojc_yQ0ds0VRQVXz3ijvlDiRUqfqHCIoZtDK9PWvdmtQRUfAOg4NSiJUB52pfnQisTz8VsIpj4EkH_XDUo8McN_pFNQTrupIhcYq3BM03eIG4hTzCaqPVrP5-NDy7yoKxBwkqPjA0gHJVhQSIGCNGnC6jQf9o2GjCTpkNwHWiWQWp5lCYswSFlRhuN8AgygqAzUpSsmfABJWtWlyzJqq1ReRUAafevWb2mpTqsufdsZbcc1BZ5c7PZUtQgjCNp0YXZxXY1HZUQWuJRW_4zbXnnA2N8SQhCO1Sey9QIY4R3UzWKDq2FASVD9_fWLt-hLqxTz_KBeb-poVq49D5ZocTebs_I_qVCXjzlYqCipz3Lgwpapmp9A-3WKPfeS7cmZtbC41Qn6dT0dBfNmq3gCbDvi4x-hBf_JJmAY0nXX1QPiDlIgk23XUUrxtlfFdB3aGJQ3wLn0enhr_8G5X1cP4emqZs-PwxctKSd-rqvJWO84oR0XVfTZhKs6sqa5JqNUvvENyPkdKHLNjopL3M1kJKQsqnqqqKUdrjddU1F6pJMlE9jPUHGyiMEjVMs2Lo5d8Ma1hiBWl1q5YP_Y4Q3UrOR6xUnfBbDwbrhizUP3luTrxSGNf7ffxxqVA">