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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `MinBWs.size() == NumProcessedRecipes && "some entries in MinBWs haven't been processed"' failed. for opt -passes=loop-vectorize
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    llvm commit: c1ed45a271145
Reproduce with: ```opt -passes="loop-vectorize" bbi-90681_2.ll -S -o /dev/null -mtriple=x86_64```
Result:
```
opt: ../lib/Transforms/Vectorize/VPlanTransforms.cpp:997: static void llvm::VPlanTransforms::truncateToMinimalBitwidths(llvm::VPlan &, const MapVector<llvm::Instruction *, uint64_t> &, llvm::LLVMContext &): Assertion `MinBWs.size() == NumProcessedRecipes && "some entries in MinBWs haven't been processed"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: ../../main-github/llvm/build-all/bin/opt -passes=loop-vectorize bbi-90681_2.ll -S -o /dev/null -mtriple=x86_64
 #0 0x0000563bdd2b15d7 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x63c95d7)
 #1 0x0000563bdd2af12e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x63c712e)
 #2 0x0000563bdd2b1c9f SignalHandler(int) (../../main-github/llvm/build-all/bin/opt+0x63c9c9f)
 #3 0x00007f87a7de7630 __restore_rt (/lib64/libpthread.so.0+0xf630)
 #4 0x00007f87a552e387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f87a552fa78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x00007f87a55271a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
 #7 0x00007f87a5527252 (/lib64/libc.so.6+0x2f252)
 #8 0x0000563bdd584d86 (../../main-github/llvm/build-all/bin/opt+0x669cd86)
 #9 0x0000563bdd50f875 llvm::LoopVectorizationPlanner::buildVPlansWithVPRecipes(llvm::ElementCount, llvm::ElementCount) (../../main-github/llvm/build-all/bin/opt+0x6627875)
#10 0x0000563bdd50eeec llvm::LoopVectorizationPlanner::plan(llvm::ElementCount, unsigned int) (../../main-github/llvm/build-all/bin/opt+0x6626eec)
#11 0x0000563bdd522bc9 llvm::LoopVectorizePass::processLoop(llvm::Loop*) (../../main-github/llvm/build-all/bin/opt+0x663abc9)
#12 0x0000563bdd5289b3 llvm::LoopVectorizePass::runImpl(llvm::Function&, llvm::ScalarEvolution&, llvm::LoopInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::BlockFrequencyInfo*, llvm::TargetLibraryInfo*, llvm::DemandedBits&, llvm::AssumptionCache&, llvm::LoopAccessInfoManager&, llvm::OptimizationRemarkEmitter&, llvm::ProfileSummaryInfo*) (../../main-github/llvm/build-all/bin/opt+0x66409b3)
#13 0x0000563bdd529318 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x6641318)
#14 0x0000563bdd4cafad llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x65e2fad)
#15 0x0000563bdcce36d4 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x5dfb6d4)
#16 0x0000563bdb09c87d llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x41b487d)
#17 0x0000563bdcce7abe llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x5dffabe)
#18 0x0000563bdb09c61d llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x41b461d)
#19 0x0000563bdcce27f6 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x5dfa7f6)
#20 0x0000563bdabb7143 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (../../main-github/llvm/build-all/bin/opt+0x3ccf143)
#21 0x0000563bdabc5844 main (../../main-github/llvm/build-all/bin/opt+0x3cdd844)
#22 0x00007f87a551a555 __libc_start_main (/lib64/libc.so.6+0x22555)
#23 0x0000563bdabb12e9 _start (../../main-github/llvm/build-all/bin/opt+0x3cc92e9)
Abort (core dumped)
```
[bbi-90681_2.ll.gz](https://github.com/llvm/llvm-project/files/13874170/bbi-90681_2.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkWV1v2zgW_TXMCxFDoj4oPfjB-TC22GYnaILOo0GRVza3FKklqbSZX7-gZCem47RpncXs7gBBnIjUueeee3RF0sw5udYAc1RcoOLqjA1-Y-y8k18YqI1RHeizxojHuVIPHeam66RH2QLzFEReMELTNC9QcoWSxSforREDB_xV-k2YhMpk-jG9x-c9cw4cyq4QIcqY_vwBuDdW_gGIENw08rxOyipdkZlS-PwOnxuMyFLAAyJLPYRrnbeyV4Cyq29VuSrzJ_wdATeowG7692DU9CPx2QyRpZINIst7y7Rrje0cIsvPz2SWn28V08-jM973KFvUNQ0AzjMvOX4wUuAgSoiXLQ5umS56O2jOPNybG6llx9SF9F-l8BuHSHVwL0akROQSc6Odxzesnwih7PJ54gftvB24lyZMX4Tpg9S-zFceZdc7hOf5Hz9-vrk02sM3Pw3WIYGFc2AnjDK5kfridzdzY-IVIjUOBcqu8D-G7tYaDs6B-ARc9uAmjBIjQpzpAIP2VoLDUuMJBm_YA2hEqMcNgMb9DgARggjFLZMKxGyqx-3H68XdNXZD00mPGW6GNbbQG-uxN3jjfT-qSJaILNfSb4Zmxk0Xihfymz7Oe2v-CdwjspTODRAKiZkWWGquBgHYbwBzy9wGN4x_8ZZx2Ia_84x_wWLo-ifDJDOU1LfWrC3rMLProQPt3ZNpxl8dk_p8ovNMpRmkEudMqfC31IgsY8PHbv81q48MMSJZgpNvSZIkRZk1QpAmLQTdq7l73Jrv1krtxyzvQ9qR4yz7ujLOW2Dd1jRS-7H4pPqVXBG5SL6VGa8LQYPLnsimMVnWpgSOkf006Du51kz9jWmhwLqdGU_jQ1MCER9yKB6vWxxFRqR6Jy143Uaxs21s2laUUQG0zBK8Wllw3lhY2fCMVlNzKvPps_cbC0zMnJklI25bZkkEmu-DFgWBrKLYMungJRoPOOWIk5VZFVeqOABqGa0wa8wxWvtAlNEqAioPgGjKSrxasbHrrEILWDXsB_RIm7IyQqWHqKQgP4AgBYkgqqj2RZWLqjytyGXNRRXzrOMgSVvRYr8jG9Pv3jQs9ODQ-jXYaXQMNb4N3O_Sbz7fbhtv9OxeKwh96dIMwab77T4eOdHAJaEVLZ5yC89ycpAbAPA359Yrpr-bx6DHlYh4l1ZUkhKAR-zjVlQQ0vD6FfZwy9y2MW1fYWE0Yj9dWJxONGMNryOi5IBoVTfZj4naQX_oehWRXA56XCy8WBjccaaYvX4wajg6HmJ80K15MXDP7Br80zrn6Jwr00nNvLH3FuDF6IUy_MvSwr8G0PxxAlgcC_JRNpbZ4zOuoGNagLiQ3r2IsHBu6PqQ1yXjm5cMQnILHqoasG-YZuvQ9g9m_dZ72W2N_Ak6Zr9cd9L7IzNvrWmlgruh6_b5nmqMPKmbLDJGdmCMOkurNxnjbaZYaKYenXQ7RfZXnk83ZdfTQvLU5NIsraLk8ii5nLOW7a-vBXgm1VZw5tyNEaCOU3xR7FiUg9qBA_sAYkoe3C9JgoMs_7ViF0BaJiKxi32xOYesFPm-KkHg7xH7vxOpEG1TijwSqdwXqUlqXtH3cOR_Tty_mrPztMkrGjubHjibsmZ_w3FjxKDg3uyIhGIsBOvHnfaxNKcbfirJ7S3v5cuWNRClWB36skx_zpe7nC7fKMx7-epJmNdd9SfLHRxVprGj6gNHEdqWb3icj4n8vy1OIVpG23JfHBJtCVjT0DTfX6vaYTTSrexBSR2fQdx5K_X6E7THjPjKwvOG8c2I86MV47QUPpxljPpt8P3gl1IdATlp-JV0Ftayx3B1vyqjJmpYS_2ibZver7wx2-d3ivd3qcX3Zn0GK1sJdjevCSM__XmaOTLO2zSP1qskjc3BiyrPccA9MZIQVR69qgmJTwdSVhQFXq2UbPjKeWb9ahf29fMCUhTRdpdkB95OCdR4gjtVqprA855vsTtk4cbCeCIJex0oPsRGxUV8ejhb_4GKK0Sqnz4wDXsWh8gyzSqapzQJPF9A72iciXkm6qxmZzBPaZJXSZlV9Gwzr_KkYW3ZUA4pKwsoKClbSCmhWdPWOZzJOUlInqRJnWZpndMZaTmkJaeVoFlVNSnKE-iYVLPAb2bs-mw8yp1TmpfVmWINKLf7dsKOX0OcN8PaoTxR0nn3fJuXXsH8Tz_dxq2x-Hvnv2eDVfNfP98edfl3AAAA__-9NMuV">