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

    <tr>
        <th>Summary</th>
        <td>
            [LoopVectorize] Assertion `MinBWs.size() == NumProcessedRecipes && "some entries in MinBWs haven't been processed"' failed.
        </td>
    </tr>

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

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

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

<pre>
    Testcase:
```llvm ir
target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
target triple = "riscv64-unknown-linux-gnu"

define void @c() #0 {
entry:
  %conv12 = zext i1 false to i32
  br label %for.cond1

for.cond1: ; preds = %for.body, %entry
  br label %for.body

for.body:                                         ; preds = %for.body, %for.cond1
  %indvars.iv1 = phi i64 [ 0, %for.cond1 ], [ %indvars.iv.next, %for.body ]
  %land.ext = zext i1 false to i32
  %xor = xor i32 0, %conv12
  %conv20 = trunc i32 %xor to i8
  store i8 %conv20, ptr null, align 1
  %indvars.iv.next = add i64 %indvars.iv1, 1
  %cmp = icmp ult i64 %indvars.iv1, 1
  br i1 %cmp, label %for.body, label %for.cond1
}

attributes #0 = { "target-features"="+64bit,+a,+c,+d,+f,+m,+relax,+v,+zaamo,+zalrsc,+zicsr,+zifencei,+zmmul,+zve32f,+zve32x,+zve64d,+zve64f,+zve64x,+zvl128b,+zvl32b,+zvl64b,-b,-e,-experimental-sdext,-experimental-sdtrig,-experimental-smctr,-experimental-ssctr,-experimental-svukte,-experimental-xqcia,-experimental-xqciac,-experimental-xqcicli,-experimental-xqcicm,-experimental-xqcics,-experimental-xqcicsr,-experimental-xqciint,-experimental-xqcilo,-experimental-xqcilsm,-experimental-xqcisls,-experimental-zalasr,-experimental-zicfilp,-experimental-zicfiss,-experimental-zvbc32e,-experimental-zvkgs,-h,-sha,-shcounterenw,-shgatpa,-shtvala,-shvsatpa,-shvstvala,-shvstvecd,-smaia,-smcdeleg,-smcsrind,-smdbltrp,-smepmp,-smmpm,-smnpm,-smrnmi,-smstateen,-ssaia,-ssccfg,-ssccptr,-sscofpmf,-sscounterenw,-sscsrind,-ssdbltrp,-ssnpm,-sspm,-ssqosid,-ssstateen,-ssstrict,-sstc,-sstvala,-sstvecd,-ssu64xl,-supm,-svade,-svadu,-svbare,-svinval,-svnapot,-svpbmt,-svvptc,-xcvalu,-xcvbi,-xcvbitmanip,-xcvelw,-xcvmac,-xcvmem,-xcvsimd,-xmipscmove,-xmipslsp,-xsfcease,-xsfvcp,-xsfvfnrclipxfqf,-xsfvfwmaccqqq,-xsfvqmaccdod,-xsfvqmaccqoq,-xsifivecdiscarddlone,-xsifivecflushdlone,-xtheadba,-xtheadbb,-xtheadbs,-xtheadcmo,-xtheadcondmov,-xtheadfmemidx,-xtheadmac,-xtheadmemidx,-xtheadmempair,-xtheadsync,-xtheadvdot,-xventanacondops,-xwchc,-za128rs,-za64rs,-zabha,-zacas,-zama16b,-zawrs,-zba,-zbb,-zbc,-zbkb,-zbkc,-zbkx,-zbs,-zca,-zcb,-zcd,-zce,-zcf,-zcmop,-zcmp,-zcmt,-zdinx,-zfa,-zfbfmin,-zfh,-zfhmin,-zfinx,-zhinx,-zhinxmin,-zic64b,-zicbom,-zicbop,-zicboz,-ziccamoa,-ziccif,-zicclsm,-ziccrse,-zicntr,-zicond,-zihintntl,-zihintpause,-zihpm,-zimop,-zk,-zkn,-zknd,-zkne,-zknh,-zkr,-zks,-zksed,-zksh,-zkt,-ztso,-zvbb,-zvbc,-zvfbfmin,-zvfbfwma,-zvfh,-zvfhmin,-zvkb,-zvkg,-zvkn,-zvknc,-zvkned,-zvkng,-zvknha,-zvknhb,-zvks,-zvksc,-zvksed,-zvksg,-zvksh,-zvkt,-zvl1024b,-zvl16384b,-zvl2048b,-zvl256b,-zvl32768b,-zvl4096b,-zvl512b,-zvl65536b,-zvl8192b" }
```
Command/backtrace:
```
$ /scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt reduced.ll --passes=loop-vectorize
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

opt: /scratch/ewlu/daily-upstream-build/llvm/llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp:1438: static void llvm::VPlanTransforms::truncateToMinimalBitwidths(llvm::VPlan&, const llvm::MapVector<llvm::Instruction*, long unsigned int>&): 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: /scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt reduced.ll --passes=loop-vectorize
1.      Running pass "function(loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>)" on module "reduced.ll"
2.      Running pass "loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>" on function "c"
 #0 0x00005ac7451347e2 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x33f67e2)
 #1 0x00005ac74513182f llvm::sys::RunSignalHandlers() (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x33f382f)
 #2 0x00005ac74513196c SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f6297445320 (/lib/x86_64-linux-gnu/libc.so.6+0x45320)
 #4 0x00007f629749eb1c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #5 0x00007f629749eb1c __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #6 0x00007f629749eb1c pthread_kill ./nptl/pthread_kill.c:89:10
 #7 0x00007f629744526e raise ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x00007f62974288ff abort ./stdlib/abort.c:81:7
 #9 0x00007f629742881b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#10 0x00007f629743b507 (/lib/x86_64-linux-gnu/libc.so.6+0x3b507)
#11 0x00005ac74415e85e llvm::VPlanTransforms::truncateToMinimalBitwidths(llvm::VPlan&, llvm::MapVector<llvm::Instruction*, unsigned long, llvm::DenseMap<llvm::Instruction*, unsigned int, llvm::DenseMapInfo<llvm::Instruction*, void>, llvm::detail::DenseMapPair<llvm::Instruction*, unsigned int>>, llvm::SmallVector<std::pair<llvm::Instruction*, unsigned long>, 0u>> const&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x242085e)
#12 0x00005ac743fd3d90 llvm::LoopVectorizationPlanner::buildVPlansWithVPRecipes(llvm::ElementCount, llvm::ElementCount) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x2295d90)
#13 0x00005ac743fd42ee llvm::LoopVectorizationPlanner::plan(llvm::ElementCount, unsigned int) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x22962ee)
#14 0x00005ac743fd6055 llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x2298055)
#15 0x00005ac743fd8fe1 llvm::LoopVectorizePass::runImpl(llvm::Function&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x229afe1)
#16 0x00005ac743fd95c7 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x229b5c7)
#17 0x00005ac742ce28c5 llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0xfa48c5)
#18 0x00005ac744f21f0a llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x31e3f0a)
#19 0x00005ac742ce5055 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0xfa7055)
#20 0x00005ac744f2081c llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x31e281c)
#21 0x00005ac742ce1785 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0xfa3785)
#22 0x00005ac744f20dfd llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x31e2dfd)
#23 0x00005ac74248e195 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) (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x750195)
#24 0x00005ac74247e41e optMain (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x74041e)
#25 0x00007f629742a1ca __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:74:3
#26 0x00007f629742a28b call_init ./csu/../csu/libc-start.c:128:20
#27 0x00007f629742a28b __libc_start_main ./csu/../csu/libc-start.c:347:5
#28 0x00005ac742474c75 _start (/scratch/ewlu/daily-upstream-build/build-gcv/build-llvm-linux/bin/opt+0x736c75)
Aborted (core dumped)
```

Godbolt: https://godbolt.org/z/YqE8f1PPz

Found via fuzzer (C program before reduction)
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkOtty27iSX0O_oKQiAd704Afajs6mNp51JalMzZMLBEEJaxCgAZCW9fVbuFCiZCWTzI73ck7KERqN7kbfAKJBYq3ZRlB6HWU3UXZ3hQezleqavvDhqpbN6_VXqg3BmkaoiuIqymP_x_nYAaaiuDJYbagBDTaY41c5GBChOxBBSBddhCq66CNU5an7WbADkMAyQlUCy4VA0OO-WByER5lGsZ7TSZ5imox5uhjEk5AvYsGZGHaLjRg8TxRXDW2ZoGCUrAFRGpPIyluBCKIYRMVNFFdUGPXqTQEgghmRYkygm2FPdwawBLSYawqMBAxBR1YrwHFNuaVvpVoSKZrET3jsogpE6Ab0ijY6KOyIrQ8jeGu7fu5LEh3RQaDroQr87L8_m3euszOaiWbESi_ZmDiWfssAy1MQZTcgPmcCUXbncNnNKe9S0J2ZUdsZHXGYhWPRLK1Pf-jcCGY7qRyNbRmCBxV8bOaRgrEjNGoQxJEGbiuvdITaSEUBK48cVlhvFBAD5xbGnG0EuOALZ4-Tj5vG--PEVZb5wEa63pEyCwzc_JC-VtZ0z2Wxb2N_jjykWHHn8wIbo1g9GKpDNttIFzYi0K-VRUuxGRTVdjGgO_sLb_K0ZjZEEbzBviG-aXzT-qbzjaIc7zw4-maPcScnkCsduPeMaDWBLRWEstDruoEHcKQItjN4d4DztJnB7Qw-0PAElvWhg-ARzlMLL9wPdT-7nirWUWEwX-jG5-Q51ii2eYvuiFFvsfoidhyezNv5ds-E4ctYchFNOLuM7y6j9XfQbzW0eCbeGm_xXF5G68uzav522j3m-MKse0ZaxvvLeH1BzFgTBN86cj8-bRz11v7oLfYNkYMwVFHx4vsbbPowZEbMAzjqI3rUJwNmpKRxnQ77SOmONJTTTYC1YiIQNDU3qvcw7bsAdX3nATEBSnTMQ9pgQ6lwHT3J14S0mwnqfS5pTWTbd-0En1ilZ0romRJ6mlFP7bPULNCdTK2NYsR42JDQHtwwc4Ie8nTHHTgEoSNu6AQMHqixCigmRuzJR4F76acY-7oL0Nj76XZkxHwIUM0OgOmwYH3oUv4SoA5PXB3tAqRZ53TcdazXpJMjPfS49iJ0S6g9iXh4JBN2bIUinPW79rk9oF46TMjz8_OEeLb9RjYn_WcZxlnLrJOYJlg1DZeCzvEtH_T2iDVbipsaz-B6BusjTNzuOXWkaDo5HhFtRzvW7I6IyS2-cz5Iux4zdUToVzEjHxsfnd1oF5TAdjbZe11eyNZR7nECS6U9mKcTVPvVtscEB0yHk7z24Eug8ubuvaX72surn0L3aervfOt5iOchnsin4J5Q37S-6WQfgKl1ZuwbJrys1gtp67ZjwoPb0BwQE-12DkyjjIRnxp6RWnYHqD9A-wAR3Ek8waydoLBNWlD57NszIvzC3jPraA9tmTDC8GOnx8NEv-2DjMneJ_8rQtOElobWm_jk53jSoaGBTIdh7yqjXZbtxxCcMURnnPnMwi8dDvB2ag_DIZDj0ya0E16QCQiTj0_iQBMSx0ITv57aiU8f-PTEF9Qfg_4jT2IYQjTyJEfloQPjtDzAWT6BCBb5AZ_Gq8NAlsAJzLMMHfBlsrIDEIQD1VTFRHF1K7sOW_-va0yejMLkvNSxMLSnu7UmChuyjeDa1kcRXDeY8dfF0GujKO4W9cC4k2TbxYaMB9iWS75gsSjr9bXsDVC0GQhtlpyDxaLHWlMdoTsuZb8YKTFSsT2N4ur36vNvH3_7hy0K_pBDBAtFATaGdr1hYmOPv71iwgBbfGFQM0NkQ0HLOF1GcfV1yzSwfwI3I9O45hRgDZgBHX4FxCYpaJjuOX4FvZI1p51ego9tFFevcgCfP1SfPv0BXrAwdiaDtaHg06dv97OJlDaLrfPiLXiVQxRXBAvQSkWoVaofDHhhZgvMloIojxdtBAsge8OkWPoDruyNq6F-3snWpbOG1RFcf1VY6FaqTkdw_e3gQbj-9sCxOI4uSW-r0iRFtggF9mHKiK8bnTxURag64_FIV3tgQ7_KeyZYh_kNMy-sMVsdwfKMN4K5dQiRQpuZ3Hvce9UidHvEfhTaqIFYl0SwchWBFBswCFefN8Ce7dAHJ3Jlda60pspSW4feM3Hzu15qZ6yvedGdrRF-G7oHJQnVmjafKWG9KyDyCOa2dNCyo8CWpYza9ABeDNji0Z4sCgNqSoXNCS_AFRUFaDHjtLFxe_j0ofryAeih7pjLvGEDFO2lcpmyNaZ3XoPrCK43zGyHeklkdxq7Ra_kf1J7elkzrQdbwKwBFtZgwoeGupwhCustOCxQO_cXg8kTaIau98s1Xvpq-EHJjcIdwGoz2MOl_sW0-rvXbhL0-jwIYRerpbS-bwcRgl2e8aBbIRfMnhA5xSNduGXULKTgrxG6EfJIejbk8mNltzkpQCebgVN3b3JQ1F-UwO9o9Leq4XSYbLTSiZ_cl6_xLo7jOMOkSLMEpQWFs_WhX8Nae7CbmovzV7ctzxeYwi-P0ocuLDNX_KyAy_-_PdoRvIl3CLV5QaH1sTckOTMkKWF7yZDPg_jCNgLzf8Oi4dQeqcr31xWVtgCfdIXnuq5yAk60imAZfOjR0y4Zu_9eCgpSijaHqyJNMwTjYIbfgXdl_pin87s5O0CWWi5zp5hjOaqVngpc0Toh4PGxN1tFcfP4xDh_ZF3PqSsUXTItI7gWvT1oredkSxKhKk0jVBV5EJ79jHCb4QLzH4ot3F3l5IT8ktg5zw9llau5rOLcoTCnQGGmqROiXSQiuF663qtuqD3Ur3upmQ26o3RiYRGhajK8PJUKy7JtAa7txuzkmMZHy6G8Vok1M7Cv3rAnNXgU_JFL3Dw2ssPMh4G58-7aoju9IdjLSpLCKrNyByeUxKfSUJ3Fxa_ljGPxOWMFniy7NMlomdF3eG7_-hP78LC2j-5TEXdUaHqP-5-V4K9yLgj4KFr5J0LsOcZtwnP-hhrM-KmsB1tQ_oJC6MMbsV86zPnBOdo0Ht3_gmTnLC83Hvwc_szkDzvvuUvCFMZlRo-pdbJLorZBzSqeWftJyn46VrrNyKaLoMqPuulcBunfmdl-ewgnrpMM--C3sls5nEf4dOR97YarrFnFR7vRmd0ppPSn7e7dmvmBjadZ_d6W5ZDOIpqeWZbHWfYdy-gD1mG7CGdeO3pimUdU729EGWfZ0YjszIiypcmfG6EG8bHr-YkB68Ox893XFlzhliZHI_IzI1YZKX7KiO8bMF8-lcD8VTN9jwXe0NPd58A0VVDvbHidkdnzqpgbDgmFJcm-szNbu-9lQ_ll9U8Mfuuwv-QP-_f_09EtTksyWyXlybmghUkb45nezrc_0vlfzH0ooaiN8dF_q7M8zU63yr-ap-_m93-xeLW4mD8UYHyW7nGZkPmh1V0AfJWTjjYMVYN7d1K75AHP8Ev2B5b_oWyFZUKO5idn2ZoU5a9l62Tv7U867S945XvJ9n_b1S1GRTlLNHieaE3b_MT6vuTff2a32Qxt2ubot5NDNUxLmqzmGaoGl14PrKecidPrrS9GMbH5TNtL6fnGAV_dJyD3mGydnOrS6CdWK6xebfnoD4XnVFLy_3BX9WvGLwj5bw1_x5xKKfxqsfOIOZ_wYcPE2z3-SH-oNA_3qOjWf_c1d6OVdWPjRtV0c_72ySF782ikDHuFt-Lf_Qv571J9o4q1jKqJrrYjv9y-azoWWZysZqs4Pc3GgqYJBbI395iJd9UjjdPkWJDBs0s5iBOCweMjZzV51AYr80gw54-HOyaih7f3X-Fy7RLTchuhqkgjVKEwY34-Iyxr4OiZYOZ8Eg9ayQsn2V9pua8VYRwkFpcknthwSf2LklFaRKjKguDyLEgpKTLgRb5rjFBOipArVS2VoW4hEamoe8VCp11t_k40rv4hm1py9-Lu7GWPH1hKtYngeh_B9R_PH8o2eXjYe861HEQDRoZBO-z3VNnZbkEf3t3UtLUzuxcX_ky2umquUbNCK3xFr5MClShDeYquttdZksUNKgucpIjENSEJymCMKF2tchLj7IpdwxhmcYISGMdxipbxatWmOcJNUrRZHCdRGtMOM760DrIqX7kXUdcJzGBRXrkP87T7PhZCQV-AG40gjLK7K3XtvFoPGx2lMWfa6KMYwwx3H9aeVGpRdve___LualD8-q-_oAuuGa_hfwUAAP__gIr77w">