<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/114082>114082</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 opt with 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:
  %icmp = icmp samesign ult i32 0, 0
 %select = select i1 %icmp, i32 0, i32 0
  %zext = zext i32 %select to i64
  %getelementptr = getelementptr ptr addrspace(1), ptr addrspace(1) null, i64 %zext
  store ptr addrspace(1) null, ptr addrspace(1) %getelementptr, align 8
  %icmp1 = icmp eq i32 0, 0
  %icmp2 = icmp eq i32 0, 0
  %icmp3 = icmp samesign ult i32 0, 0
  %icmp4 = icmp eq i32 0, 0
  %add = add i32 1, 0
  %icmp5 = icmp samesign ult i32 %add, 0
 store volatile i32 0, ptr addrspace(1) null, align 4
  %call = call i32 @llvm.x86.sse2.cvttsd2si(<2 x double> zeroinitializer)
  %icmp6 = icmp eq i32 %call, 0
  %icmp7 = icmp samesign ult i32 0, 0
  ret void
}

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
declare i32 @llvm.x86.sse2.cvttsd2si(<2 x double>) #1

attributes #0 = { "target-features"="+prfchw,-cldemote,+avx,+aes,+sahf,+pclmul,-xop,+crc32,+xsaves,-avx512fp16,-usermsr,-sm4,-egpr,+sse4.1,-avx512ifma,+xsave,+sse4.2,-tsxldtrk,-sm3,-ptwrite,-widekl,+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,+fsgsbase,-clzero,-mwaitx,-lwp,+lzcnt,-sha,-movdir64b,-ppx,-wbnoinvd,-enqcmd,-avx10.2-512,-avxneconvert,-tbm,-pconfig,-amx-complex,+ssse3,+cx16,+bmi2,+fma,+popcnt,-avxifma,+f16c,-avx512bitalg,-rdpru,+clwb,+mmx,+sse2,+rdseed,-avx512vbmi2,-prefetchi,-rdpid,-fma4,-avx512vbmi,-shstk,-vaes,-waitpkg,-sgx,+fxsr,+avx512dq,-sse4a,-avx512f" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(none) "target-features"="+prfchw,-cldemote,+avx,+aes,+sahf,+pclmul,-xop,+crc32,+xsaves,-avx512fp16,-usermsr,-sm4,-egpr,+sse4.1,-avx512ifma,+xsave,+sse4.2,-tsxldtrk,-sm3,-ptwrite,-widekl,+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,+fsgsbase,-clzero,-mwaitx,-lwp,+lzcnt,-sha,-movdir64b,-ppx,-wbnoinvd,-enqcmd,-avx10.2-512,-avxneconvert,-tbm,-pconfig,-amx-complex,+ssse3,+cx16,+bmi2,+fma,+popcnt,-avxifma,+f16c,-avx512bitalg,-rdpru,+clwb,+mmx,+sse2,+rdseed,-avx512vbmi2,-prefetchi,-rdpid,-fma4,-avx512vbmi,-shstk,-vaes,-waitpkg,-sgx,+fxsr,+avx512dq,-sse4a,-avx512f" }
```
Reproducer: https://godbolt.org/z/nTE84xq7n

Stack dump
```
Instruction does not dominate all uses!
  %5 = icmp eq <4 x i32> %4, zeroinitializer
  %2 = call <8 x i1> @llvm.vector.insert.v8i1.v4i1(<8 x i1> poison, <4 x i1> %5, i64 0)
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 0x00000000050e7a98 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x50e7a98)
 #1 0x00000000050e548c SignalHandler(int) Signals.cpp:0:0
 #2 0x000078c8a0042520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000078c8a00969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x000078c8a0042476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x000078c8a00287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x00000000007d7d7b llvm::json::operator==(llvm::json::Value const&, llvm::json::Value const&) (.cold) JSON.cpp:0:0
 #7 0x00000000050265b8 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x50265b8)
 #8 0x0000000004f24790 llvm::VerifierPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4f24790)
 #9 0x00000000009015ce 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+0x9015ce)
#10 0x0000000004ee5440 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4ee5440)
#11 0x000000000090c1ea 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+0x90c1ea)
#12 0x00000000008ff258 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8ff258)
#13 0x000078c8a0029d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#14 0x000078c8a0029e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#15 0x00000000008f6d2e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8f6d2e)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWc1y27iyfhp6g6KKBCmKWnjhP83NvcmdVJzK1gWCTQljEGAAUJLz9KcaICXScebYZ7w6FZclgUD_fuhuoSFmrdgqgMtoeR0tby9Y73baXH5l7okpdqv7ytmLStdPl181MdAZXfcciOkV0Z0jB-F2xO2AOLCOVCD1IczFHbMWbJTdWtnFe-BOG_EDDInx2e0M2J2WdZTdxmv8i5LbKLmKimT4z67JJ133Ej7ckii7JRFdLSK6MYDq64WUEV0FHqt7w-GhERIUa2Ggps-paaB2zGzBkZo5JtmT7t1ID3EbZVcQd3SVRNlVRv0bPqbzRxwVuX-LxWmQ0jLKrlJaxk2ZDCPlp4qRvcjjez8tcDru6LhQDq-MhjX63FpnRCdPnh3L4qHI4149Kn1QsRSqP8Zb1Z-4wnsNjVBA9lrUJMqTg24r5iJaRnRNIpolZMtRmnXMQaeFcjEcWdtJiCgl0eo6SKmqKBsEEhLRpeBt5w3xA8tawPghvXREZJQkEb0hyUAf0aUFCTxgPAxFOopB0hNPGJz1_IBjYPMDXD1Lc5og8GfiLTiQ0IJynTOeaz6DL1bXxnaMQ0TLNKJrVPrSPFE9hssNqhgNGVVZpw38PdeLi89NREImEbfyGbTpGVv4_jOiIxl9HVn22p0aGfJ_L5fVtSfCTyRIX5Kz_BvFQcaUK8C615I5IeGs9m-BDvhNo4AzKb1eP_Cq8kTKfbs4lsXCWqALvnfO1tQKzIPshpIjqXVfSYiyO_IDjBZKOMEkViqMkblXxU_oDFpfgmD1auwNOJ-lQ_KubqdZjIVw0yvuhFbkyjljo-yKKI1qK8YfidKNASBK2yfFidK9OghVk4OQ0oDrjSIttNo8RbRUWsHJqxq4ZAbejtNQP9Kplcw5I6regQ2lxVeq1TXWl1DC4gaY6w1YLFLZLb7T6840fHeI6E3MZQ2tdhDRm4hes_1xGCA9DizbNWHUcdn2CHh81F2Y4oZnNAyPlu09T8z2x2VKmy4t8Km3YFqLeRfbNscP2HZmkG0hX6RnHtG0bCJtQoRKYmePsnbmMcjK8KNzByO88fFB1PAoA49Q-46LOjwUeSXcRCwfFKbJIo2XKT3r33e648rV3wfvWr2fLlKhHBgL3J3AWqaUD2pava9gIN8rJYRypQc41NuYtcd4nPN2nmygyyKIgD0czwahkDBvXDtorI8n1Z4Mv8wBzYlbva-FER4bMCGR_MOODSL3YQO_j-4NbnlTeqF8bYz5sNlcNrK3O9154Ybht5RfbzvOj6GKRPS6asXoGxaQ046d3aODe_G2UWIOTwgQ5B2D5UeP72qU7rcrmIAo1EbVU9Obkb1qBlF-ev40oBh3vd3RTndDuPJjORVVHU6mZ0O0PwZbBjwau7UVC45xifXKg35gwuGWxPIwpIT8wQNSdsfO-1LklTei88SHSmmh9rXPBvWdt_UUr3MEKOBa7cF4ea5qvQiuVSO2o-tc47nhOFp_Mp8f0-K0RYPPp-wKYT4oOSddkxZ8AqNwTHo9pu5MP4bFoRrCvT0pBTpukAWoJ9APquPOQAOO78QgzWdm3LQsnxMH2KzzGb4PJShGiLtHb4jdDjqbozXT7fMhHWOlYJMKFE5Tty_VyfRUJ_9RPf9dZX9X2d9V9neV_V1lb5_fIvjHL-OthcGj8865Ds_QEd1EdLPVdaWlW2izjejmR0Q36utdmR-_r9T0fHvvsDTXfdu9qOGDss704Yxea7BEaUdq3QrFHBDsRnqLHqaTHmE5ayai7CYnRzyMYycS0SXC9VNHcuam50Ynym5KZE0953CSDxcuC6EsGLfYlyJd7HORhuP8mbzTwmqFqkYD0kH_cmyBk1PH8PHjt0_k7suXP78gjtdGP4Iirb-kIY3ufcISDFKBjZxWhFXaOIySwe_PH--u7u-I7atWOMJI1W-JgU4b39I_2xjhdn214LqN6AZdGj7izui_fFneCGt7RHVDmKqJUFz2NfjLKG6Y3RH8OnWGcVj8tInjlUayiJL1Z6O3hrWEmW2PDbrvsCK68dVoExwCE8Oxk9pgX7jhkqltzCyCK7SysTO9eozophIqMJJYowjWdfjcu653C0vi-zffi-HGhBsubL280Ska_aVXSqgtQXF4ANiDEc0TpoE-bYo_BUy4x_uh0KMlx2T8WyawYuuSeJyzqyi7sk82DD4boZxH7qsJXfiZyLDDg7bOAGsjWviAwVKDB5LyH-IX0evkOJh1bsT9mWlu9zIvObkXW8Xk_zBVS5RfDmaEabvgHe544l8nQXQQtCp5yZIkp0uaDIZLUUV0M1yzTa7XcIEvrF4U3jzPMjMum8tcF-uGkw43ldUPjwKT9S0KPP9MQf7c6HxVkK31fr7V-HxVzGQv57JpuWqykMJvk-wZZ5KL6Z4lq3pVr6pJrP2FJciPdAeGOW3w7IrH1_Ilom9M9kC4VtYNUfcaKh-UC46pRdfkf-___P-Xw2I1jy9aLKvy_eLZi5thU0715Q3NV-tk4tA3TGsB5jOzQ0KaXs2AGS-HfsLiSjH5ZIX9xBTb4nffzQtMWBWKd0zZwYOZi-vZ9q-TdMlhYmcNjgk5VBtm7Sddg5xZG34ImHs3A-bVfg-Ssjv__xKco643gHkW-q5QBqBOSGLtmxXtHGCZ59Ng8ej92sD_SpQGFGYwpc8CjqfAJlaaXiFSn0UHUqj5V9q9M0Jtv0Azd-wX_n71XfcnxndeztVLqx9FZZh5-qAa_aHt5M9UWss__QFh47uqd13-hTtXxrAnnJ1ukMdE9lsRqsIv6K2rw1xzKiE34SemKYwo67oXssat9F8zIZhmUnXnHpzWQ-oHL_5PhGPkr6jGtB_pKlx58-c75ijG1iz46Cz4yqahy5Lozn1iQr2X2iB1pvbZ0YOu6_UbjzOeZSYzfy4T8oQ8PCDbg3XMuIf27NSrtcCzbF0-A6yoKZAg__3wQqEnreOB34EJLVodfrMO5yg8_d9_-OP-7o9vgfxmUEzC_RtgApA0e_6T9UV9mdXrbM0u4DJdZQlN1zQpLnaX0KQpB0iA1utqvWqWQFd5RktasFWZrqsLcUkTmqcJXacFLfJikWZVtkyaJM-WS5ryJMoTaJmQC9_babO98L3PZZrmSUkvJKtAWv8LPqUKDsSv4nF_eXthLn3bVPVbi82hsM6exTjhJFy-un0l_6AFvOiNvPzPe7zB1f0l_VcAAAD__zk5050">