<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/75505>75505</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[early-cse] Assertion failed: BitWidth == RHS.getBitWidth() && !LHS.hasConflict() && !RHS.hasConflict() && "Operand mismatch"
</td>
</tr>
<tr>
<th>Labels</th>
<td>
llvm:crash,
llvm:transforms
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
RKSimon
</td>
</tr>
</table>
<pre>
Reduced from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=64842
```ll
define void @vselect1(i32 %a.coerce, i32 %c.coerce) {
entry:
%0 = bitcast i32 %a.coerce to <2 x i16>
%I3 = insertelement <2 x i16> %0, i16 -1, i1 false
%E1 = extractelement <2 x i16> %I3, i1 false
%I1 = insertelement <2 x i16> poison, i16 %E1, i1 false
%B24 = mul <2 x i16> %I3, %I1
%1 = bitcast <2 x i16> %B24 to i32
%B12 = sdiv i32 %c.coerce, %c.coerce
%B16 = lshr i32 %B12, %1
store i32 %B16, ptr poison, align 4
ret void
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVFtr8zgQ_TXjFxGjiy_Jgx9y-cxXdmEhfdhnxRrHWmQrSHJo--sXKU2TtGQXDLZmdM6MjudIeq-PE2ID5QbKXSbnMFjX7P941aOdsoNV780e1dyhIr2zIxlCOHkQa-At8PYwH33eDc6Oeh5z647A2xPw1nq_6OePD-Ct9n5GD7xVGKQ2IFqtQOyqYllwoDuga6jo5THmElDY6wnJ2WpFoKBnjwa7wIAvteAEeCnzzqLrEPiWfIa6r9CKQL25EOEU3HtsNq1I3EcJiB056NBJH8g3PhIsAbHl5I1oVoH4dQd8EQmpJ48uoMERp_C4OdGnllhFFuzyRXppPN7x_GKJB9-Ck91zohfxBP_C_rePk9XeTtdOUs0nZBteJLZxNs9aSCXvIOxBwB-gyBhsFPa-DOMJ5ZU-__xh24flPapKKOMHd0VtGP8EfPXkg3V4y1cxfwruTgVp9HEixRXgMKTZ-py-evdtDDPVCLUSK5lhw2rKy7qqWJUNTcFEUatClTUWvOvpslBU9WW5ZLSqakEz3XDKBeOsYHVZlVVeMyFVvxSruueq5hQKiqPUJjfmnPySJXs0dVnSMjPygMYnK3Ied4BYd076AXg89S0YnJx8b93oY6bcZa6JmUW0IxTUaB_8rUTQwSSDo3TmfdF5hHJH1j4OkLYT6aU2qECsyUaHv7UKQ5Q9Kr___ZofMVzDwJfJXrwCHueK_fn7NR-k39qpN7oLP_L7_87zv07o5KTIqP0oQxfPmc3ONI-XzFGHYT7knR2Bt0mBy2txcvYfjLS3SyYJ-W8AAAD__6zRXGM">