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

    <tr>
        <th>Summary</th>
        <td>
            Instruction does not dominate all uses! LLVM ERROR: Broken module found, compilation aborted! Yet another case.
        </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 opt with the test below using -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 i64 @wombat() #0 gc "statepoint-example" {
bb:
  br label %bb1

bb1: ; preds = %bb5, %bb
  %phi = phi i32 [ 0, %bb ], [ %or, %bb5 ]
  %phi2 = phi i32 [ 0, %bb ], [ %or4, %bb5 ]
  %or = or i32 %phi, 0
  %add = add i32 0, 0
  %or3 = or i32 %add, %phi2
  %or4 = or i32 %or3, 0
  br label %bb5

bb5: ; preds = %bb1
  br i1 false, label %bb6, label %bb1

bb6: ; preds = %bb5
  %phi7 = phi i32 [ %or, %bb5 ]
  %phi8 = phi i32 [ %or3, %bb5 ]
  ret i64 0
}

attributes #0 = { "target-features"="+prfchw,-cldemote,+avx,+aes,+sahf,+pclmul,-xop,+crc32,-amx-fp8,+xsaves,-avx512fp16,-usermsr,-sm4,-egpr,+sse4.1,-avx512ifma,+xsave,+sse4.2,-tsxldtrk,-sm3,-ptwrite,-widekl,-movrs,+invpcid,+64bit,+xsavec,-avx10.1-512,-avx512vpopcntdq,+cmov,-avx512vp2intersect,+avx512cd,+movbe,-avxvnniint8,-ccmp,-amx-int8,-kl,-avx10.1-256,+evex512,-avxvnni,+rtm,+adx,+avx2,-hreset,-movdiri,-serialize,-sha512,-vpclmulqdq,+avx512vl,-uintr,-cf,+clflushopt,-raoint,-cmpccxadd,+bmi,-amx-tile,+sse,-avx10.2-256,-gfni,-avxvnniint16,-amx-fp16,-zu,-ndd,+xsaveopt,+rdrnd,+avx512f,-amx-bf16,-avx512bf16,-avx512vnni,-push2pop2,+cx8,+avx512bw,+sse3,+pku,-nf,-amx-tf32,-amx-avx512,+fsgsbase,-clzero,-mwaitx,-lwp,+lzcnt,-sha,-movdir64b,-ppx,-wbnoinvd,-enqcmd,-amx-transpose,-avx10.2-512,-avxneconvert,-tbm,-pconfig,-amx-complex,+ssse3,+cx16,+bmi2,+fma,+popcnt,-avxifma,+f16c,-avx512bitalg,-rdpru,+clwb,+mmx,+sse2,+rdseed,-avx512vbmi2,-prefetchi,-amx-movrs,-rdpid,-fma4,-avx512vbmi,-shstk,-vaes,-waitpkg,-sgx,+fxsr,+avx512dq,-sse4a,-avx512f" }
```

Reproducer: https://godbolt.org/z/xh9xjfEKc

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 0x00000000055a8748 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x55a8748)
 #1 0x00000000055a60d4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007479c4242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007479c42969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007479c4242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007479c42287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000000000080bfcd llvm::json::operator==(llvm::json::Value const&, llvm::json::Value const&) (.cold) JSON.cpp:0:0
 #7 0x00000000054e4741 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x54e4741)
 #8 0x00000000053e0e38 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x53e0e38)
 #9 0x0000000000940c0e 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+0x940c0e)
#10 0x000000000539ff70 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x539ff70)
#11 0x000000000094b05a 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+0x94b05a)
#12 0x000000000093e82c optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x93e82c)
#13 0x00007479c4229d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#14 0x00007479c4229e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#15 0x0000000000936465 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x936465)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWEtz4yoW_jVkQ8kloYflhRdO0r7TczvTXUlXV80qhQDZdBDQgGwnv34KkCzbnUzdzGR1U47N45zvvOFI2Fq-kYwtQXkNytsr3LutMsvv2D1jiW9V3zh71Sj6vPyuoGHaKNoTBk0vodIO7rnbQrdl0DHrYMOE2sPecrmBicbWMgvyWyt0smPEKcNfmIGJn7utYXarBAX5bbLwfyBfgTR8qnT4pCuQX8M7RXvBPt9CkN9CgOYzgNaGeS3oTAiA5iBdWdUbwh5bLpjEHRtI0SUpAunKYbNhDlLssMDPqncjMUs6kK9YotE8BfkqR-HLT7PzqR9VRfhK-HGQoRrkqwzVSVunw0iGpWpkr4rkISxzv5xoNG7Uw3-O4h46U9UZrsXRpkNdPVZF0ssnqfYyEVz2h2Qj-8gC0hVlLZcM8qqAoEj3qmuwA6gGaAEBylO4IR7GOuyYVly6hB1wpwUDCEEwvwbpqmliMCBsDBS4YQICVDZNFgX4Qb6CPjbaMGoHzcqmKQG6iaPADVCptzxs-1-eIwjKa5geqSAob8OkvPYLyhx3yrA1gaD3oBSvwygTQJSJGAHXU6YjAaY0UPhfT5Ke7SqTX_BjSgdJXsOJrrigUyafkM5dWo4uLd9waTYy8Qy2WFjmkU4Aqov5MUbVmzGavDr_zav_PQr16_T5KwyGuZCCoYrnt1Er7JzhTe-YjakYlJp7FBRzPWkZdr1h1mdzfuu_0bU2LdnuAbpJiKCsU877AKBrvDsMA0_vBxZv2zjSRHS98DwHpeMSMSRHfgV3h6TVdVw9WLwL7AneHcoMtTrzLk16y0xnvSsS2_mESthGm0GMZcUsm3h42-ETtBOiIM_Zg6DOPEUs76xEu73hwY5kzyl7Cpp2amcGQ7jcacJpnFRFw90JPhkkZ-ksS8oMTYrstNJEOvprsLhTu9NNxKVjxjLijg4sM0QGMZ3aNWwg30nJuXR1cDrp9Oi2cS0qPOqAyipCsB07TAp5kLhuXDdIpIej6EDmrwHmBuspNzw4iRmOBX8J2tgtHiB3Mai_RvMGs4IqPZcuBIsMCUBEK3q7VTqAG-xPurDfaUIOsXIBum46PtrmuJhCN5mHBvOSTSv5uXtipsR0iuOX3n_LET2EK6rgvUCNpKeqtyN70w5QYfl8Nngx0b3dIq00Guw71KdQzf6oej5UwFPU5SjEtVP6R6ZI2NqNbXA0mYgXZlQIxx5z54OViP1QQOKFRB_aLZ4iVhVNUE8H4n0jFZc7GgpG_iIdPYo3WFqtzl07JYtkRMkdM0GAa7qASZRs-WZEIMpfU4fR0KOl5JBVx2iORo0VGStiEDIVaptV5MTj3GER5BiqTT9m0L4ZKqM7CmVojKVljJ5EaRCdaMNa5sj2mFZjVXvoUNFJ2-HinDM61bpwROzicZb4AOinoJXdDAq0B2tOwx5KIfFHDT45wuJNfnvZS6Wr-7F_M_5y2Dqnrb_p0Rqg9UbRRgk3U2YD0PoFoPVhuzj8bD_9SSLzg8PkCdK-00OrdoKdzkC6-GbUxuAOYrPpOyadDTcQWocCWPvoccFMwg5aKMOMXxNYbhLfJxrHlbSJM718AmjdcBkZYaI8BNbaz3unezezMHl4d3sJQX4Tu0SQfwLpKvMa3_dS-l7VY_lLaMcMb5-9-5SEXeg7YbiJTlhDmxWvr_SQjn9liet5UUMhdr6LBPnKPts4-Ga4dMF53w0mDKB6IjJ4_6isMwx3AIWrPBxTvlOr_0_PAXSdHga1AFoMSmcXSlcpLeAD30gs_oElFR68jkcltHzDZaseHUArP98pn78rr17ksDOifTKk4T8KQIOAeTFfkAIVqETpYI3gjc-q2L-e9K1-g8ysmlVB58AyaZyfAy6qRUug9gHG9PGJC_E-9MA_oReX6hbzCm5sMO-9ahfzagIuz4FRPW9ziBtl3PtgA-MEW53GL63TpiX0JOl-WiXjSGlmsFPGd1G-kapfI_qBRc8gUdK6If3-ClXIzhnx1YUW8J8PX__1Sh7MzxKtYMW8yD4sqyPc5JX6TFjOUpbXHyYswk3CFmchWBQpSdmJ3yhzmIuh9LG1d4oyAfKbiSI-0J57-4c_eTgznuN8ZyWxeLbc3mGJN_7g_h0p_xQ-4UDp5VmsR1nV_wJ6DPZH-DE6KrrRH0Tnx2e-aNt5eqJhcN3b2v0tXTR4YfJRdpFqTVriExVNL72bvnHNBJfnN8uDM1xu7ll7btUbxn4PT193mGwDzuq13S-8Mdg8f5at-txp8TuVUuJruKHXoZP-0O03zFkZg5_96ml0gk9Ev-EyROgNeutoXGt7SXxUQH7jbzh45kaPdd1zQX0cw_EeM-kMVWn36JQaij5a8ScPvf6bVGPBj3SN33n37wdWp8-tKfPQeeblrEYEKu3uMJcfJjOgTjIvbnq0oIt3tg6BZQIsLgFZkcLHR8_zaB027rGbzPnLIlhxIqK88FNVVCWM4B_nJg8aRY4ttmOm4xI7RuMb2Niw-H774fMfD5_--AHS1c0gEhrmeiOZT3eY5YvT1v2KLnO6yBf4ii2zeTHPijyvq6vtMitpWxKE6QLllKWE5WW7wGldkzZtijy_4kuUojItszzL8wpVM5qjgtaLoswIrrJFBYqUdZiLma8A_1Rxxa3t2TLLF3NUX4VXVja8dUZIsj0Mu767Lm-vzNIzJU2_saBIBbfOTjCOO8GWn6V1pg-FC6liFkrlIFXRKxALAXv_eIAy-OXLjzv46f7-6713wLVRT-zY3Leqj-UX44MDXOjS_MNdBv_NHMRSuS0zkGDLZle9EcuLByfutn0zI6rzyeLLPf4k2qif4V3LOthmAVoPxu-W6D8BAAD__7qn9So">