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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `!contains(New, this) && "this->replaceAllUsesWith(expr(this)) is NOT valid!"' failed.
        </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, -passes=slp-vectorizer -slp-threshold=-99999

[reduced-stripped.ll.zip](https://github.com/user-attachments/files/24762079/reduced-stripped.ll.zip)

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

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 "function(slp-vectorizer)" on module "<source>"
2.      Running pass "slp-vectorizer" on function "wombat"
 #0 0x0000000005a91978 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5a91978)
 #1 0x0000000005a8e854 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x0000751bd4242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x0000751bd42969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x0000751bd4242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x0000751bd42287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x0000751bd422871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x0000751bd4239e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x000000000583d2a6 llvm::Value::doRAUW(llvm::Value*, llvm::Value::ReplaceMetadataUses) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x583d2a6)
 #9 0x0000000003854ef1 llvm::slpvectorizer::BoUpSLP::vectorizeTree(llvm::SmallDenseSet<llvm::Value*, 4u, llvm::DenseMapInfo<llvm::Value*, void>> const&, llvm::Instruction*, llvm::ArrayRef<std::tuple<llvm::Value*, unsigned int, bool>>) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3854ef1)
#10 0x0000000003858ca4 llvm::slpvectorizer::BoUpSLP::vectorizeTree() (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3858ca4)
#11 0x0000000003879873 llvm::SLPVectorizerPass::tryToVectorizeList(llvm::ArrayRef<llvm::Value*>, llvm::slpvectorizer::BoUpSLP&, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3879873)
#12 0x000000000387e13c bool tryToVectorizeSequence<llvm::Value>(llvm::SmallVectorImpl<llvm::Value*>&, llvm::function_ref<bool (llvm::Value*, llvm::Value*)>, llvm::function_ref<bool (llvm::ArrayRef<llvm::Value*>, llvm::Value*)>, llvm::function_ref<bool (llvm::ArrayRef<llvm::Value*>, bool)>, bool, llvm::slpvectorizer::BoUpSLP&) (.constprop.0) SLPVectorizer.cpp:0:0
#13 0x000000000387f3cc llvm::SLPVectorizerPass::vectorizeChainsInBlock(llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x387f3cc)
#14 0x0000000003887306 llvm::SLPVectorizerPass::runImpl(llvm::Function&, llvm::ScalarEvolution*, llvm::TargetTransformInfo*, llvm::TargetLibraryInfo*, llvm::AAResults*, llvm::LoopInfo*, llvm::DominatorTree*, llvm::AssumptionCache*, llvm::DemandedBits*, llvm::OptimizationRemarkEmitter*) (.part.0) SLPVectorizer.cpp:0:0
#15 0x0000000003887e5b llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3887e5b)
#16 0x000000000302d3ce llvm::detail::PassModel<llvm::Function, llvm::SLPVectorizerPass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x302d3ce)
#17 0x0000000005805671 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5805671)
#18 0x0000000000f0620e llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xf0620e)
#19 0x0000000005803c2a llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x5803c2a)
#20 0x000000000096300e llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x96300e)
#21 0x00000000058035e1 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x58035e1)
#22 0x000000000096d1ca 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, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x96d1ca)
#23 0x0000000000961278 optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x961278)
#24 0x0000751bd4229d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#25 0x0000751bd4229e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#26 0x0000000000957ef5 _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x957ef5)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWV1v46oW_TXkBSWy8fdDHty0Obc67ZmqyczRfYqwTRJOMfgC7sf8-iuwU8euO9PMZKR7p0qV2LDX3nvtBQaMlaI7TsgcBBcguJzgWu-FnK-xfsEcX4o602qSieJlvhZQkkqKos4JlDWHotLwieo91HsCNVEaZoSJJ4AWcFphpYgC3qVi1fSR5FpI-pVIODXXei-J2gtWAO9ympg_4KTmE1xIYuCLqdKSVhUpZozNvtIKBJcAxXutKwW8FKAlQMsd1fs6m-WiBGhZKyKnWGuc70vCtQJouaWMmG_kRyFyogSg5XvoqA3g_pCfBF4KB-5EkQmmZ0LuAFp-BWj5b-Xu__Fuwz8b45XG-QMs6rIyNk4KQqf9OKkzA05yJ8VO4hJiuaubIL0UArQUlQZomYuyoozIKXmumJBEmnsM893UUCk1FVxNtaz5A0DLjPLGEE6FgcBVZa5rXdV6puB0dXIFIPAWStQyJ8C7Ak7qmojva84p30GDBQFC25rnJhCA4j6qYRAhKDgsRVEzYjr3ABECTorGMIdAFuXgyHR4EmWGdYMAAfIc6Dw7h78AJ24SxZCxx9LQ7qXqRTU_7iTl2hZlLXFOAIq7ThI_bYTSkuASoNAolnINUAIBin-yIgBdOM9tWI2wTNBuP-iYxIEPV3THMfsX5gUz4LGNYQEV3VG-FRsNUGquHwUt7M-ktVCzvDIic-x_4wC1DqLAzQof-ShATpsNoxlAy-c43IT-lFFeP093vG4a8pkSs9DGbE26iL0-YBIm2xxWRji42DxQxk5Dt_Yduj8M149CuFM2vVPD9qOwAw76wCiOth7EmZD6NFhr2MGGb2Dd7GRAN-sAoz6gl5AkPA3QmnSAcU9hsVcgHB4Niy-Y1aT5WYj79PPfvfHQtDZyG7W5JxXDObklGhdY489majnjcGnC7ZJJjpPx4sAnW_d4jLPqaMqwty7E52p1c9dcvDauJekP_FWJGbskXJEV0cBbjFPg130irMEtrq75VrxrZIepdwW8K5gLrnQ7sXSdr7nSsm4n0AHVqZT45Z5szaSpi-aeritG3nVXc_vgLmA7a2RCsMb9GQvTUt8-IJHnOoPCxDn2f6Iw5w3VBNOF6vZDjZI48o5CXd3cfXkN9Q6r9qmh5ctavDbcUFPHeLROI2Ux3C8-RkcjDlu0c3Jgs-w4QAMOiOvl1ins57ki_6kJz8fUZnIaDqDG7rqs2Ps8DMR_eKJvpCXPxvDhKcg-_N6w-13I04r1y121xe5dnaAWq5KZnVoqKaqZYxcExyoeLAuMALyBALZenn9_ELyGsdhjytU1v2Aif-glfIEVzdvb6el5nEntJp1O7X4_2TjynPD7ycqaWyUfZ7d8XegOZLzKMcPy6lGwenQeX2O5I3otMVdbIUv7wBjvc0MzieXLaI80vSeqZmYbM2i5EaIaNbkUJeVYC9nMrENApeqyMhEvcL5_235JSswLUlzQEZ-fKk1L-hUb83tSYvlwVVKtTanSgywrLPXHFBkMi0SC7ENF-liBUo7Zi6LqFnO8M_JbjBi189MZlWjT6JQY9pJ0UOHl5CjIgmhMWbtNwUrdioKw8VD76ntDzg_lbj7_B6Q2tHWkRv0VrhOE0fGi0BL5rQB_Y65aNjquersBZ-uEyDmHAH8Zx79xbRryu9IkAxl7OcJHMd7aA5S1OMRjKE8LXGkhx7NtDE7KtTX5BSo0ybyminq7BScJPedEFR5yW3yQoB9g4D0R_e_Q2vDWseoOBRSQj8yDY1z-LhS1LHQcoYHyCjc_HmSytrK5oxVhlA-OCLSkfGfW8iOye5Nss5i7xfne4nxvqdesNIe9hGCf7NntkrIRkJ9qfied0Q2L5YTVO8rfzskjBxSvx8He4lHQor8jMlgXNWWFqWPY7nuGqKLSG20PLuxC02bxJ-XFt3p9IZJuKZGHfoeN1I99n3GUGo11CvQGCnRRFENR6VtM-fl8GtTO5-BUFSVFcuIhsDXpAIenqQnxHbjZGJuN0ljqTdml82EXxD9yEfZ5CiKyDWADfjaaLGjj8vASRhNpN0ykaN5hNUfPwEvh6vqP1dUfX4CTLlqXUBJdS06M7KHrJccvdybF3CsSL8ETMnejME7iCKFgsp9vk8BxcoS9LItjz0-yJEJZEYRBXEQBKrYTOkcOCh0XuU6CHBTMUBwHWZb4JCYoxNsY-A4pMWUzMxJmQu4mVKnauIlc5E8YzghT9r0dQpw8QdsKEALB5UTOjdE0q3cK-A6jSqsORlPNyDw90AZNJsjNBddmtw9Q_Bexb_H0nranvCFAIQQImTtT4F3J5jg4ZeyzIupvqvcAxeS5kgDFrZUxpAr-9WkNHzGjBUCuiQ1FcIspI8VsUks2_8YrPTv-m69pJcU_JDcysEkqgJYtC49z9N8AAAD__z-O1hw">