<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/66795>66795</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[SLP] Assertion failure after D159205
</td>
</tr>
<tr>
<th>Labels</th>
<td>
llvm:SLPVectorizer
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
alexey-bataev
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
vzakhari
</td>
</tr>
</table>
<pre>
Flang triggers an assertion after https://reviews.llvm.org/D159205 (5bab59d) on `CPU2006/416.gamess`.
Reduced test case: [reduced.ll.gz](https://github.com/llvm/llvm-project/files/12665101/reduced.ll.gz)
Compilation command: `opt -O2 -vectorize-slp reduced.ll -S`
```
opt: .../llvm/lib/IR/Value.cpp:507: void llvm::Value::doRAUW(llvm::Value *, llvm::Value::ReplaceMetadataUses): Assertion `!conta
ins(New, this) && "this->replaceAllUsesWith(expr(this)) is NOT valid!"' failed.
```
The test passes when I revert the commit.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUU01vpDgQ_TXFxWpkCmzgwIFJL9JIszNRZzI5G6gG77oB2YZ8_PoVNJv0rnIZCRkwVY_nV-8p53Q3EBUgvgCiMvRCr4daeUULIII4Bmr2_WiL5U393Surg3psX4vKqKFj3uquI-uYGphyjqzX48DU2ZNlvfeTg7gErAArS4umZxcas1zC0XaA1TESOXLBADNRq1rkLWDOxoGB5Hf3j8i5BKySSIadupBzIHkI_Ai8vK4naueGWubJedYoRxCXDMQXe90PjQm7NxBHwOy_XDrt-7kOm_ECWK2E9tthsuNf1HjA6qwNOcAqQilFxKPtBLewmN9SuRsvkzZqO30zXi5qaDcyko-TZ4cfyA4LNX60-o0OzkzsA4wdHkDyHUzy_dpex8mvKGEY3vDUNWD19QRY_VJmprCZJohLwdO1dBl1y7bKuIS43Cquj-14Kh-fALP_fWWAJeDd500nmoxq6E_yqlVePbpVk3z9Ufk-7JUtRs04eHVlrQcHmH2n5xXW93ptYYASUDJAXHcOEP9hr9ilMSvsk_Y9YEYvkwXM9q61UTv2_cdPtiijW8BotSSm7Ky0oTb8VLXr-rOnqzGm1ZeOPfc0sK_M0kLWM9_TNiftw6At4jaPcxVQEclcRIlMRR70xTkikfD2nCR1k6hWcEmxaJu0OfM0jvM40AVyjHke5VHGhchDGZ9TzGWdoWpS4hEknC5Km3fTB9q5mQop01wERtVk3J67Xf6Hb_e__vWJ3eNni82b9dw5SLjRzn-kKPDamy27D9_uQRxv5rJKNFvaw7hnLZitKX47DBvrNQ0b8X8CAAD__w_ZSA4">