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

    <tr>
        <th>Summary</th>
        <td>
            SLPVectorizer miscompilation
        </td>
    </tr>

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

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

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

<pre>
    ```llvm
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:10:11:12:13"
target triple = "x86_64-unknown-linux-gnu"

define swiftcc { ptr addrspace(10), i8 } @julia__dir2ori_404(float %0) {
  %2 = fdiv float 0.000000e+00, 0.000000e+00
  %3 = fdiv float 0.000000e+00, 0.000000e+00
  %4 = fdiv float %0, 0.000000e+00
  br label %5

5: ; preds = %1
  %6 = fmul float %4, 0.000000e+00
  %7 = fsub float 0.000000e+00, %6
  %8 = fmul float %3, 0.000000e+00
  %9 = fsub float 0.000000e+00, %8
  br label %11

10: ; No predecessors!
  br label %11

11: ; preds = %10, %5
  %12 = phi float [ %7, %5 ], [ 0.000000e+00, %10 ]
  %13 = phi float [ %9, %5 ], [ 0.000000e+00, %10 ]
 br label %14

14:                                               ; preds = %11
  %15 = fmul float %2, 0.000000e+00
  %16 = fsub float %12, %15
  %17 = fmul float %4, 0.000000e+00
  %18 = fsub float %13, %17
  %19 = fadd float %16, %18
  %20 = call float @llvm.fabs.f32(float %19)
  ret { ptr addrspace(10), i8 } zeroinitializer
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.fabs.f32(float) #0

attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
```
produces 
```
Instruction does not dominate all uses!
  %4 = insertelement <2 x float> <float poison, float 0.000000e+00>, float %0, i32 0
  %2 = shufflevector <2 x float> %4, <2 x float> <float 0.000000e+00, float poison>, <2 x i32> <i32 2, i32 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 -mcpu=haswell <source>
1.      Running pass "verify" on module "<source>"
 #0 0x00000000054edec8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x54edec8)
 #1 0x00000000054eb884 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007faaea842520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007faaea8969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007faaea842476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007faaea8287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000000000082790d llvm::json::operator==(llvm::json::Value const&, llvm::json::Value const&) (.cold) JSON.cpp:0:0
 #7 0x000000000542b6e8 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x542b6e8)
 #8 0x0000000005329278 (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5329278)
 #9 0x000000000095605e 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+0x95605e)
#10 0x00000000052e7b50 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x52e7b50)
#11 0x000000000096174a 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+0x96174a)
#12 0x0000000000953c7c optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x953c7c)
#13 0x00007faaea829d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#14 0x00007faaea829e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#15 0x000000000094b555 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x94b555)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
on 19 and trunk.
Godbolt: https://godbolt.org/z/qxKP6198T
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWEuT26zS_jXMhrILga4LLzQX58v3Zt5MZVJZnI0LScgmg0EH0Fzy608B0sjy2HUyeWd1XI4jQffT3U83DQw1hm8lYyuQXILk-oL2dqf06l9MWs0fLirVvKxAisJXiMc9QKWlesssbKilgr6o3kJAriHAmC32gJRs0eEMAVIS7H_cazR_dU9p7H8W_PUhwjkgZYTzRZuj4Un6oXRUT-PFvR_mbtgLRV7S_RCA8eSe1bwTbHTtOU83abzo5YNUT3IhuOyfF1vZBxWAyoa1XDJonnhr6xqC7BJ2VkPaNNp0tGYA5xECuAD4CvIcguwaghj97AWnm03DNVaab2IUA5y3QlELAU6cvEMCqITuHXtv2oY_wiCDlsh_GMCXCDnoo5FBkfypYnysGLw6KV5pKGjFhJNJAikJICUE5BJ2mjVm4DKJRvQ0oO97MaHH553Jgrjpq7NRONBRPD-BTs6jF7-Fnr8JNYpCrL6afLB_Kx8vq5kxShuAo_NK0WmGRnPJ6F0Uct_t-BhMcuk5GQUhSK79c3J52vMIeZERj5zGK_4AbxZYPATmFiV83-ctDa-VEiUnkonPJzNKj7PpORxdn2jN3leCUX4Kl4y42avcUE20aQ7k0lEuf13RyMvVVLzaj32bXLa0MsuW4MN-EBWugThVzexvtZhfTCsuueVU8F9Mu9xk1yFDju11L2vLlYSltdq4jEnlfKlo_QClajVjUCrzImsoVS-fuGyg6VjdC2ppJRh84kJoZnst4Z7tlX4BOJdKsuBnw2pBNfsvkfkmhwkKblFrNa96y4wfDKWQXX6gY3CgYNyVACo7rZq-dibn45-lsboPFDWKGSiVhY3ac0ktgy5pvWGvC_y1X3JpmLZMsD2TbnO7wvA5kADIjXsPhHSKGyVdtk42HHIzTY1tlxMM0Xw7MLu-bQV7ZLVV-q2xoZzPOvF2bc-cC04M2tztoV7X-YEnh8gNQOWXLz9u4c23b1-_uUK61OqBSbhXTS8YbFUvGydfq33HBfWM0kppy5pA392Xm_L-Bpq-2nMLKaz6LdSsU9pCq-DO2s7VJ8BrgNdbbnd9tazVHuC1P1SE_xadVj9ZbQFec2N6l5k1pLKBXNaibxi0OwZrTc0OukKymtZsCVB5b11ZNf2-cyZQiZYAFXdabTXdQ6q3vcujXx4Ar1Xn8EMcTC_YcyeUZtqNCSq3C2pc8rmSZmF1Lx8AXldcBkW4UA6Cdp17723X26WBi3u46JyaAeTaiG4RcukWLFzs664H5HpHzRMTwnFvVK9rFjiPnKffeim53EKH4c4qj0zz9gVgDNVrAtw55VDVH1vCCkPPaPwksdu2cug5JSUgpXkx4eFOc2k9Ud916DWTkKZPG2WsZnQPsG9yXA7LOv-HjLmqfB7cGpofwCQ6crrK8xje862k4v-obIQDz70PV9DwLZet2liAS_f-qHjjH4tBwyzrziUe-X_BAB4MZC2ljOZx6NQ-GsErgNfDefDgHOgm6qVRy9T77FUmj8kcsEiLtoad3WlGm80Dd5l9D7rXn9DjY3fjLIVb48N7r9txlk7AyRwY51lLwrp9H6xXnGDTw_yhHGcFag6K7qfvPO5JdUxTqzQg1-57WHST0A8qegZrJY0dyu93pHx1LmslGvf8__df_z5RB9m80HCVsvzjqtrDTazkM2MEFzj7OGMBbjJWzFJQJClK2AFvDbOUi2HpU2NuVcMEIFeTxK1vLHO2f7jOw5l2GvOZUlLxYri5pZJumT6FRG781zeUXs5yPdpK_wT0NdkfwWMgKtDoGtG8fWKWVQk68NBTd967_0mKBhYmjqJ5qaVRFtMDF3UvHU13vGOCy_nOcm81l9tvrJ1HdSbY7_7mfkvrnccpT81-4ZWm-uWzbNXnfSfeSiklvvqdec3FCZB_NH0mnFJr-uJGD7PjORH9lo-HsJPyxjZhrB2O8oBcuR0Ozmh0WJc9F43Lo2_voZJmqKqzG6vUsOhDFH_xcGw7JzUu-FGucjPv_v_jVqevrany8FGTI3VWQ9XZW8rlx3UEhzrZPNrpcdEU7zw6eJUJMD4GZDGCm43T2RhLtd3sp3B-2wSLD0wkc57iKkkSGMA_jCYPGkyOR2vLdLhKNfCJ2x0MBxZ3zr7__On-5tMPgMqrwSQMtznmyh1GpDi6qSkJo8Kf9b15d6r_pJpKCevkj64PYWKp9Bbg9S-A1_9-_usujYr8-0WzIk1BCnrBVlFGijhHJIkvditW1ymKkjpr0oySrC3ytIiTKG9pXdWIJBd8hRFOEI4IRkkRxcs4whVqCGZxhPM0ZSBGbE-5WPpLsNLbC39HWUU4i3B-4f-CYvyfUTGW7An6WXdOT64v9Mpfb6p-a9wtmhtrJhjLrWCr-y93P6Zrw56bg5vWRa_F6s-vUIOHjyv8nwAAAP__ZRdhHg">