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

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

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          TatyanaDoubts
      </td>
    </tr>
</table>

<pre>
    To reproduce run the test below with -passes slp-vectorizer -slp-threshold=-99999
```
; ModuleID = './reduced.ll'
source_filename = "./reduced.ll"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
target triple = "x86_64-unknown-linux-gnu"

define void @wombat() #0 gc "statepoint-example" {
bb:
  br label %bb1

bb1: ; preds = %bb3, %bb
  %phi = phi i32 [ 0, %bb ], [ %add5, %bb3 ]
  %phi2 = phi i32 [ 0, %bb ], [ %add, %bb3 ]
 br i1 false, label %bb6, label %bb3

bb3: ; preds = %bb1
  %add = add i32 0, 0
  %add4 = add i32 0, 0
  %add5 = add i32 %phi, 0
  br i1 false, label %bb6, label %bb1

bb6:                                              ; preds = %bb3, %bb1
  %phi7 = phi i32 [ %phi2, %bb1 ], [ %add4, %bb3 ]
  %phi8 = phi i32 [ %phi, %bb1 ], [ %add5, %bb3 ]
  ret void
}
```
Reproducer: https://godbolt.org/z/W96s5a1cb

```
Instruction does not dominate all uses!
  %2 = shufflevector <2 x i32> %0, <2 x i32> <i32 0, i32 poison>, <2 x i32> <i32 2, i32 1>
  %1 = add <2 x i32> zeroinitializer, %2
LLVM ERROR: Broken module found, compilation aborted!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -passes slp-vectorizer -slp-threshold=-99999 <source>
1.      Running pass "verify" on module "<source>"
 #0 0x0000000004f84b88 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4f84b88)
 #1 0x0000000004f822fc SignalHandler(int) Signals.cpp:0:0
 #2 0x000074dcb3642520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000074dcb36969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x000074dcb3642476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x000074dcb36287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x00000000007b7cc5 llvm::json::operator==(llvm::json::Value const&, llvm::json::Value const&) (.cold) JSON.cpp:0:0
 #7 0x0000000004ebea18 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4ebea18)
 #8 0x0000000004dbae20 llvm::VerifierPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4dbae20)
 #9 0x00000000008dbbde llvm::detail::PassModel<llvm::Module, llvm::VerifierPass, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8dbbde)
#10 0x0000000004d7ebb0 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d7ebb0)
#11 0x00000000008e6912 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::ArrayRef<std::function<void (llvm::PassBuilder&)>>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8e6912)
#12 0x00000000008d97ec optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8d97ec)
#13 0x000074dcb3629d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#14 0x000074dcb3629e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#15 0x00000000008d127e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8d127e)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWE1z4ywS_jX4QsklgWRJBx-cOH43u5OdVDI1e3SBQDYTDCpA-ZhfvwXIjuVJZuOdnF6XPwQ0D91PN91gYq3YKM7noLgAxXJCerfVZv6NuBeiyFL31NkJ1exl_k1DwzujWd9waHoF3ZZDx62DlEv9BJ-E28KkI9ZyC63skkfeOG3ET25g4ttua7jdaskAXia1f4F0CdIFmKXDOzbxBbzRrJf8egkBXkKAyilAK8P9ymwqJUBlFLW6Nw1ft0JyRXZ8kEan0ihKO2I23EFGHJHkRfduL8-THcALnnSoTAFeYBS-fDMbN_3TLA9fiTg8ZKgCeJGhKmmrdHhSoWu2nz7Lk_vQLXx30qH9QDV8MIpj6FRbZ0QnD5Y9V7P1LE969aD0k0qkUP1zslH9YVb8ZrwVisNHLRgEefqkd5Q4gCqAaggQTuGm8WjWEcc7LZRL-DPZdZIDhCAoLyIKpQAPgBBSAyWhXEKACkqz49V8Ey-g91tnOLODsgWlGKDL-LSHAajotiJI-F-BEQTFBUwPghAUy9AoLnwHYaw4jOEwOEJCZ0G9iUQNFBlsibTcjx9ZOTtp47HV-B2rsyMVCWNhwP96DYN26Vgg_58SxUgiWj4S-7gNJ57zEQrPev3WzdnYO-Uv3hm89jrhVyflv_N39Q7i7wDfCSDDXdghAyHl8s1sdLdPecYztXWus35XoBVAq41mVEs31WYD0OonQKv_1DNbkKyhxyyfIF4r60zfOKEVZJpbqLSDTO-EIo5DIiXsLbcAHXMZw9xu-7aVPOZVCPAlgs-eB4CvvFCM_HEvvjzElH_otLBaAXz1rijai2Ze6lWD7BCC42k_udFCCSeI9Jl-oHrIRl--fL-BV3d3X-88eRdGP3AFdyG3w1b3KmzIRu86IUngg1BtHGcH42-_XC3ur6Dt6U44SCDtN74IaeOg06feEG7b02mjdwCtpHzc_ySd0T944wBaCWt7T-0KEsWgUI3sGQ91rDHEbiElzYMzpOHTuPy9I80DZP2uO2TCdArS-tbojSE7SMym33HlbMgEaKU7v0o0iJuEP3dSG0_KqpFEbRJfG4031CbO9OoBoBUVKk6EifYQpOt8u3dd76YWJvdnllTvnlgWD_7LvMp3vVJCbaAH87n_kRvRvvh8rw8u8VXkePa-qMSakT6n-1feVjmtKhhYxguAF_bFxodbI5QLvH3zRAJUvQoZ8rTW1hlOdgCFxCSUizWp-kP2ALpInwe1AKpf9c5O9EaobeC92Cgi_0EUkx6_GtSI3XbadN7fafgcgNAAVOasoXiWowKlg-JSUIBWQ20-qsl-oJlaPZ1F9fyUkXJ4jFnP6raBnXcqYesHIeV5C4T5owXyU6XzcgY3Nth5rvJ5ORthF2NsVJUtjhv4POQwcYQ8O_ZZWtKyaYqjWPsRUph_0h03xGkD8NK_j2PtVeg7kT2HjVbWDVH3EakQlNPGby1Uw3_ef_3322FRjuKLU06y6tPiOcKNuKlG6zFKOEqPDPrut7Xg5pbYYUOaXo2IWfUq1J5fuFgoIl-ssDdEkY0vd5dvTPJZYfaZWzZaMDKxHrm_YpQyfqQn444IOWQbYu2NZlyOtI23h7F1I2I-bPeAhK_C-y0692udQeYr6KdSGYk6MOlz3zhps5JTehwsgb33FfxbsjSwMKIpGwccn9UZOtLS9MozdSs6LoUal7R7Z4Ta3PF2bNg79n4Ld7ob0mwDzuKt0S-CGmJerlWrr3ed_FVKa_k1HA9WQr4B8kfD75izMIa8-N5jBwVOZL8R-_Pkm_LWsdjXHlLIZbyXHtPosS56IZl3ZSgzMZhGqLpza6f1sPWjFf8S8RD5ntR-2-_lqB85-_fz9miIrVHwoZNsV5e8gbpzN0Soz0sNHnW07MnRA9WsPvM4E6aMMPNTTJ6ncL3209bWEePWu1ejPrwKz8erFCeEZajkMOJ_Hl8e9LDq_rjvuIm3NBb_7IrnKH_2v7_-6_7qr-9R_HJY2N8we6O43wAww6f_dk3YHLMa12TC51mJ8qzEeZ1NtvOyyMuqbDPGaMNw2ZKsaGib4oxXDasYm4g5SlGeVijNyjQvsmmJ8yqvC8pRheuUcZCnfEeEnPpt4a-nk3DzmWdpkaF0Ev4OsOEfP4QUf4Jh1B_3i-XEzMOlifYbC_JUCuvsK4wTTvL5h2-w8A8ugJPeyPn_f8MbTH2co_8GAAD__45HGgg">