<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/74607>74607</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [SLPVectorizer] LLVM ERROR: Broken module found, compilation aborted! Instruction does not dominate all uses.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:SLPVectorizer,
            llvm:crash
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
            alexey-bataev
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          aleks-tmb
      </td>
    </tr>
</table>

<pre>
    After 66775f8ccdcc8264ef349518e1c59d96d4227823 we now have a new one similar issue on the following IR:

```llvm
define i64 @foo() {
bb:
  br label %bb3

bb1:                                              ; preds = %bb3
  %phi = phi i64 [ %add, %bb3 ]
  %phi2 = phi i64 [ %or, %bb3 ]
  ret i64 0

bb3:                                              ; preds = %bb3, %bb
  %phi4 = phi i64 [ 0, %bb ], [ %add7, %bb3 ]
  %phi5 = phi i64 [ 0, %bb ], [ 0, %bb3 ]
  %phi6 = phi i64 [ 0, %bb ], [ %add, %bb3 ]
  %add = add i64 %phi6, %phi5
  %add7 = add i64 0, 0
 %getelementptr = getelementptr i64, ptr addrspace(1) null, i64 %add7
  %or = or i64 %phi4, 0
  %icmp = icmp ult i64 %or, 0
  br i1 false, label %bb3, label %bb1
}
```

https://godbolt.org/z/MsM1P5z35
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVF1vIycU_TXMy1UsPubLD_MQr2tppURdpdK-M3DHpssMI2Dibn59BXYSz3a7aqRaloHL4dxz8eXIEMxxQuxItSOcS4t_4fe7XkaJz4RzUu0LucST8520-C3cxbEveqe_d_dDRA913TTV0CqllWp5XeIgym3FWmSq2uptrUvOm5YLOCNM7gwn-YwgYcIzuAkhmNFY6cGEsCC4CeIJYXDWurOZjvD5iYh7QveEvv7W9PK19nm8hDQOZkIwdQmkpINzhLeEb4E0uwug799IAHoPVvZogfCq78Utd98zIu7hQx8idjB71AGI2K84Ia3mk8kbacwCq10KS60J_3SFA6n26yP8Z2ec__kRjzHD6LoU8f-U8ppyLbD8h0D6hsza0uKt1OZXtVb_kYr-iqT-kJ5_ZZJaZ6I0ZqIL-RWfxK7BzQqdU17_hQQ4YkSLI05xjj4j1xFTl-lEmkqtfZilQsJblnp3WqxNm1cV-RLfU7sLnfM3Ksvb7Clm1DhnWJ4sNr6CL41Ebx6EYTBIGzDFV49jvWbXDmv2P7zF2847xTiH9N74gfDD0ene2bhx_kj44YXww2N4ZF-qF1EVuhN6K7aywI41lLVN3QpWnDpFm-1Q8haFqAZayrYusVJYMyH6tlZtYTpOuWCc1qwSomIbimzLaCtp2bac15qUFEdp7CaZRMpdZHvpmrKmTZErCle7yzYi7v94-PIVVXTevKBPrsc_vW8qL8PpaoW-S8G7fjkGUlJrQgzvWaKJNvvomq7aw8PD10f47enp9-RnsPPuG04wOr3Y5HbLlHtSuXE2VkbjJpC98xE14Qw-TyH6ReWwdhhgchG0G80kI4K0FpaAYVMs3nY_3L6Jp6XfKDcSfsjFXIa72bs_UUXCD_liAuGHfDd_BwAA__8nD6K8">