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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `BestFactor.Width == LegacyVF.Width && " VPlan cost model and legacy cost model disagreed"' 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 the test below with -passes=loop-vectorize
```
; ModuleID = './reduced.ll'
source_filename = "/home/ec2-user/fuzzer/builds/zvm-dev-4531/lib/server/boilerplate.ll"
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32-ni:1-p2:32:8:8:32-ni:2"
target triple = "aarch64-none-linux-gnu"

; Function Attrs: uwtable
define noundef i32 @wombat() #0 gc "statepoint-example" {
bb:
  %load = load i32, ptr addrspace(1) null, align 4, !range !60
  %load1 = load i32, ptr addrspace(1) null, align 4, !range !60
 br label %bb10

bb2:                                              ; preds = %bb10
  %phi = phi i8 [ %add19, %bb10 ]
  %phi3 = phi i32 [ %add20, %bb10 ]
  ret i32 0

bb4: ; preds = %bb10
  %phi5 = phi i32 [ %add20, %bb10 ]
  %add = add nuw nsw i64 %phi12, 3
  %trunc = trunc i64 %add to i32
  %icmp = icmp ugt i32 %load, %trunc
  %add6 = add nuw nsw i64 %phi11, 3
 %trunc7 = trunc i64 %add6 to i32
  %icmp8 = icmp ugt i32 %load1, %trunc7
  %and = and i1 %icmp, %icmp8
  br i1 %and, label %bb10, label %bb9

bb9:                                              ; preds = %bb4
  ret i32 0

bb10: ; preds = %bb4, %bb
  %phi11 = phi i64 [ 0, %bb ], [ %add6, %bb4 ]
 %phi12 = phi i64 [ 0, %bb ], [ %add, %bb4 ]
  %phi13 = phi i32 [ 0, %bb ], [ %add15, %bb4 ]
  %phi14 = phi i32 [ 0, %bb ], [ %phi5, %bb4 ]
 %add15 = add i32 %phi13, 1
  %getelementptr = getelementptr inbounds double, ptr addrspace(1) null, i64 %phi12
  store double 0.000000e+00, ptr addrspace(1) %getelementptr, align 8, !tbaa !61
  %getelementptr16 = getelementptr inbounds i64, ptr addrspace(1) null, i64 %phi11
  %load17 = load i64, ptr addrspace(1) %getelementptr16, align 8, !tbaa !64
  %add18 = add i64 %load17, 1
  store i64 %add18, ptr addrspace(1) %getelementptr16, align 8, !tbaa !64
  %add19 = add i8 0, 0
  %add20 = add nsw i32 %phi14, 3
  %icmp21 = icmp slt i32 %phi14, 115
  br i1 %icmp21, label %bb4, label %bb2
}

declare i32 @llvm.experimental.deoptimize.i32(...) #1

!60 = !{i32 0, i32 2147483646}
!61 = !{!62, !62, i64 0}
!62 = !{!"double.array", !63}
!63 = !{!"dolphin-tbaa-access-type"}
!64 = !{!65, !65, i64 0}
!65 = !{!"long.array", !63}
```
Reproducer: https://godbolt.org/z/Yzs8McbnK

```
opt: /root/llvm-project/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:7288: llvm::VectorizationFactor llvm::LoopVectorizationPlanner::computeBestVF(): Assertion `BestFactor.Width == LegacyVF.Width && " VPlan cost model and legacy cost model disagreed"' failed.
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=loop-vectorize <source>
1.      Running pass "function(loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>)" on module "<source>"
2.      Running pass "loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>" on function "wombat"
 #0 0x0000000004f90548 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4f90548)
 #1 0x0000000004f8dcbc SignalHandler(int) Signals.cpp:0:0
 #2 0x00007b8528242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007b85282969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007b8528242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007b85282287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x00007b852822871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x00007b8528239e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x0000000003fdf468 llvm::LoopVectorizationPlanner::computeBestVF() (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3fdf468)
 #9 0x0000000003ffa76a llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3ffa76a)
#10 0x0000000003ffd429 llvm::LoopVectorizePass::runImpl(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3ffd429)
#11 0x0000000003ffdab3 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3ffdab3)
#12 0x0000000002ec3f4e llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2ec3f4e)
#13 0x0000000004d8d638 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d8d638)
#14 0x0000000000def2ee 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+0xdef2ee)
#15 0x0000000004d8c03e llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d8c03e)
#16 0x0000000000deebde 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+0xdeebde)
#17 0x0000000004d8a1d0 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4d8a1d0)
#18 0x00000000008e6d92 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+0x8e6d92)
#19 0x00000000008d9c6c optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8d9c6c)
#20 0x00007b8528229d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#21 0x00007b8528229e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#22 0x00000000008d16fe _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8d16fe)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWl1v27jS_jXMDSFDIvXli1w4Sb1vsS3eYlP04FwFlEjLPKVJgaTy0V9_MJRsi46TbXazOIsNmloSZ5555kOjoRzmnOy0EJeouELFzQUb_NbYy6_MPzHNbszQeHfRGP50-dVgK3pr-NAKbAeN_VZgL5zHjVDmAT9Iv8VJz5wTDtEbZUyf3IvWGyt_CJTeoHSFynT6N57SK_zZ8EGJjzcY0RuMSLVAZG0F2OALpRCpRlFnBtuKu41UQrOdmKQJIuut2QlE1qIlyeCERWS9GX78CAfNIBV3iKx_3O8SLu6TvKAZImslG0TWTtj7UcxIJWyvmBfBJBlNemY74TFnnin2ZAa_NyqSHaIrkcga0RX8UpLIrER0Ff6DszJHdFXmicwICGSkTjQl47VbOFtrShItYS3pSdCawCbAsEZOyXgre3XwnjHbbss80UaLREk9PCadHg46xyCvB916aTReeW8dois8PHjWqCktXGykFlibQXOxwZISjPL0wewa5hGpEVliRGiKuxasOs-86I3UPhGPbNcrgQjBqLoawZoG0ck0xogUyjAeCIcDSQki17j3FjPOretZKxCpM7ChB4j-NWZKdhrncIhIZpnuBBzsq-aAmr0vbGOxYo1QAN80WToPYtNAevCbfiDwvRXcTemagQYX-q0MK_Apa4yKK7jKOM-WI8eggFFxEyvRoxYk6qBG0hfUrPBB9MQjKNGfIVm81d64HLTgUw8PWLsHLMt8QsxCsuhM3ttBt0FjPJpkQd2bkN2jrGx3fRANB0M3OjfVxEQpoMR8ytcIZXNCe_3qLKHyPKP6RUrZnFM1J6WnIGmOZbYHmqQD5l64sZMA08HDuE7jC8s4y8v3qNv8d0opS1-opfxQInFNZdmxqCCyxRU-VlOoJTg5lFp5WMtnhbYvpjdBnUXaQz2_tV6DyopXwfKfB4O77CUXg6FD7U51FciCRjYz2gkvlNgJ7aEPgkZ8ReoGOrzD3AzQ-3-vYUY37GTGeWPFBIDTRRp-BCJXafoi3im1YzOup2bsG8ZCL37Rnax8zSF43r7Bm-z0QVLNniSvQD0n9Yoredx-svqYw5HJaDlK4hjdY6_J6r-Gy_LIpR6rMo0lSHrsltApj1WXn7ZuaFQkO3Y_p_wz-SwrnrWyUe-keeUn5_tJprqZNxwuWsUgUOOgotT9biEee2ElBIOpBRem93Inf4hFmAzqxWIxTTFZNBvB43_qVhmqrsbWBsVCCSZZXuU1LfPyaB5KdCYP52QK9ngAuUsjeRLLI0LGu2fBrGVPYYYd9WmkRs-oqX4rdQJZTVjbCucS_9TD9BVp5icEi72B4jzB4pklZXT3Gr14iv9tvymw8BDYet_DhInIGpF1Z3hjlF8Y28EYjsj63z9c_blt9K9RHmJE0_vwPCFra4yHgV3d75Lemv-Idn96GOO_WqbdxtgdDPrfDvsNsv5kTH84X7R9j-iqIjXM1zgg0BWiq70Eg_l4zeBktjrHCBJfFNM6eIroqjW7fvDiSjj_bT0OygC-ck7YMG6jMoXFEXbxL8n9FoIN8f4kOtY-fVvvr5ISkRLGa_wNbODWOI93hgsV5gMVxOdXuXSss0LwkKMKb5hUgi_GCH759GF1-wG7odlJjxluhg42b8Z6mF5OciT9dmgWrdnNQhsHXDo3CIjvOKvoVg1chP1fa5nb4oa1371lrZjM33rWfsd82PWHvUC6QOnyizWdZTvMbDfAreqmNEPCyRrCCTuxRDz2ytiwN2sV013C9hF1CUxR32HTJvWoiBMDEKzv4Xzw_eAXDie3L25FMaLX43YS0Q8juQzI_TZoLXWHQQ0SsZk2TYjUJ3tZeq1NIrUXVgl2L5KNsa3gidHqCdErbY6iJ0tgkCwhyUZDGgfYyxESEdrv3sg5Tu9KJLDYewno-x0fOUwfNMXpY7r_yTfLtMjr2f3hntx48MVK7UPav9rxKXUUsuzhzjhvBduFMr_GUvuxHdd_MvkweDxOtCCyB95ZzLvmbdPiW9lppv6Paa4Av55ojJfd1CLS8HsAIhNQ1dQFqUlOCng2BuJj_3msy7syn2-_YaFdOLMoR3qgEpGjMeayXG5a3PutFYzffZdKvc1A0I8M5Kek86rEnQt-vpV8XpURdhFjk7raUMwaaC1vQg6KEXL5DDlr3oyZNRFmFWPSpViWb8MMKhFmPa8tuuGbvKz_zDPjve6DiUrEdRlz3bCqZC9wFV-Ym-7m3hoYL2A1upPHC6t35RwoHTjDrZuecOY5Wf4-Zzvoj7teRXzXhxZevi9noBRxzk45s4b-FOeX-V7P9FeaqScn3WemWQeldH1GCXr6e_vJGhr5SeZ-EtHSTS5mPLnwTKrpkcCc-wyjynm2kX_P4_OH3Id_f_-4TmGL4kqj5xWveUnnPSXE8jWO_-BwTdGIwpXPw5VysSHiPcrwLwvzPzg9Y_Cj7BQnxdymdJ6d8Sufr2ZPCaK-4qz3xp53eFR4k7uTyl9Qi-BM5G15Uoui4W-rxb171z8Zoz8QhJdK6e8T2TFuUWCrkzJiGU9_4mY9F85_SpSmKERhisbRtBYlX5IZSzuE4vkie6Gkjndmt95K3f0mNueK75m_X8N3kJ9Zuw04q3Orn2RjmX36qDdmnMZOpYxR_x826WupzoD8qeUX3FlZy57g6jxBISZq6KR-3p-P8s7z8drhZQC9vjeS4yiMgHU1SMUhlWGvcKbrm97feWOmTjB68aucvs95QeqbsHIjhd3LNbDy5s93q76xtqLiW8bFx5dt2WLT-89M6nczG1DnZkl6slVc8uUbd-VBJcLMTjFFnuK7O1C7c55Zf7c7OvXTVkQeWyEnAcvKjcAj_vvFC0APVvcv3bywO6mZF3z8U43xdQCiK3z78ZfbD798G8WvJ8PYCj9YLeAGwBldnrypveCXlC_pkl2Iy6wiOS2yLK8vtpcprUiREVJz1jZZWbac1ClNy6rYiLZo6gt5SVKSpzUhWU2KvFoUaVUuyZLzlvO0ogLlqdgxqRbhxb6x3UV4_3iZpUWV0Yvw9YALf69CiBYPOKwiQlBxc2Evw6vLZugcylMlnXdHGC-9Epf_09ezF4NVl3_8_esUgvtL8t8AAAD__70Rfmg">