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

    <tr>
        <th>Summary</th>
        <td>
            Crash in LoopVectorizationPlanner::computeBestVF()
        </td>
    </tr>

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

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

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

<pre>
    Reduced reproducer:
```
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"
target triple = "x86_64-unknown-linux-gnu"

define void @reduced_test_(ptr %0, i64 %1, ptr %.sroa.067.0.copyload) {
._crit_edge103:
  br label %2

2: ; preds = %2, %._crit_edge103
 %indvars.iv = phi i64 [ 0, %._crit_edge103 ], [ %indvars.iv.next, %2 ]
  %3 = phi i64 [ %1, %._crit_edge103 ], [ %10, %2 ]
  %4 = load double, ptr %0, align 8
  %5 = fmul double %4, 0.000000e+00
  %6 = fdiv double %5, 0.000000e+00
  %7 = sub i64 %indvars.iv, %1
  %8 = getelementptr double, ptr %.sroa.067.0.copyload, i64 %indvars.iv
  %9 = getelementptr double, ptr %8, i64 %7
  store double %6, ptr %9, align 8
  %indvars.iv.next = add i64 %indvars.iv, 1
  %10 = add i64 %3, -1
  %11 = icmp sgt i64 %3, 0
  br i1 %11, label %2, label %._crit_edge106

._crit_edge106: ; preds = %2
  ret void
}
```
Crash:
```
$ opt -O2 reduced.ll 
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: /proj/build/llvm/Linux_x86_64/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:7478: llvm::VectorizationFactor llvm::LoopVectorizationPlanner::computeBestVF(): Assertion `(BestFactor.Width == LegacyVF.Width || BestPlan.hasEarlyExit() || planContainsAdditionalSimplifications(getPlanFor(BestFactor.Width), CostCtx, OrigLoop) || planContainsAdditionalSimplifications(getPlanFor(LegacyVF.Width), CostCtx, OrigLoop)) && " 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 -O2 reduced.ll
1. Running pass "function<eager-inv>(float2int,lower-constant-intrinsics,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-verify-fixpoint>,loop-unroll<O2>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;speculate-unpredictables>)" on module "reduced.ll"
2.      Running pass "loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>" on function "reduced_test_"
 #0 0x0000000001b16948 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x1b16948)
 #1 0x0000000001b13bd4 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #2 0x00007ce1f6c45330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
 #3 0x00007ce1f6c9eb2c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #4 0x00007ce1f6c9eb2c __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #5 0x00007ce1f6c9eb2c pthread_kill ./nptl/pthread_kill.c:89:10
 #6 0x00007ce1f6c4527e raise ./signal/../sysdeps/posix/raise.c:27:6
 #7 0x00007ce1f6c288ff abort ./stdlib/abort.c:81:7
 #8 0x00007ce1f6c2881b _nl_load_domain ./intl/loadmsgcat.c:1177:9
 #9 0x00007ce1f6c3b517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
#10 0x0000000003b73b36 llvm::LoopVectorizationPlanner::computeBestVF() (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x3b73b36)
#11 0x0000000003b7556a llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x3b7556a)
#12 0x0000000003b78140 llvm::LoopVectorizePass::runImpl(llvm::Function&) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x3b78140)
#13 0x0000000003b78793 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x3b78793)
#14 0x00000000036215ae llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) PassBuilder.cpp:0:0
#15 0x0000000001de4030 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x1de4030)
#16 0x0000000002e4da6e llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) NVPTXTargetMachine.cpp:0:0
#17 0x0000000001de4543 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x1de4543)
#18 0x0000000002e4da2e llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) NVPTXTargetMachine.cpp:0:0
#19 0x0000000001de2160 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x1de2160)
#20 0x00000000034ad61a 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) (/proj/nv/llvm/Linux_x86_64/llvm-5162/bin/opt+0x34ad61a)
...
Aborted
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMWVFznLiy_jXyiwoKxAwwD37AE8-9qetsXEnKe_dpSiDB6FhIlCTGnvPrT7UADzOeZJ2Nt866nBhEq_vr1qfuFlBrRaM4v0bLG7T8cEV7t9PmmvcNV5x3duf4QV2Vmh2uv3DWV5xhwzuj4dKgpEBRgdJo_I0KR03DHWbUUUkPuncYJR8wIoQHLUoKHnQki1BSJMT_B7fx6S1cpQv_XyBeLmKSo6SISR7UeTReKT-UTtPTRfAVxAg54nBGdJJPGJ7zdJsugl49Kv2kAilU_xw0qh-moKhgvBaK470WDKNFZAaHt45bt0Uk75zBiCwjRNZYpAu4juF6HA-t0TSM0iyMwkp3B6kpQ2SFUXaDoiLcVka4LWcNj6NkiBzGpcGSllzC_BEE-IJRcoM7w5kdsS8JGAIjp2qiAgaFYntqbCj2XrzbiQHf8gZHF-dhtPzgHyxvTueHij-7cQrxUoASkWXySvPk_Z8pj6NL-hZeH4QIM92Xks8C6SdQKRqF80l-6eXrtpejvFcCglEY-R-OyE0UTfLpIM_Efia__L585uVtX04re4zJCD-eRHMv2nDHJW-5coD6lQ-XybC-oH3UunqL1nymIvMzrdOGz1xMZ9KrC3E8W2pvlDJ22esXl-PoXDCB58FRIPYComo7bBt3IhVNTBfxIAqDM9bP706YlA4b4mzs8u4AE4Y7v3dhWvbhLDOtDbW71wkLkQXWncPBZ4LH_R5KiVFU_F58-e3jb_8D9v7QPSKZ4Zg6x9vOCdVgp3FnhHIYkhzFpXCVZhzXQvIQRcW3nbAYfhVle2EpLA-1WDjc0gOuaG85ZsJ2kh5wZ3QpeWtD_LFGUXHQPf5yW9zd_YGfqHJgyVHrOL67e_g0M2SsC3ZUeVoddI-ioqIK19pUHEB1vcNPwu2w23GM0iioEcnAV6FVOERWd86Hk2w6o_-FyKbshWSIbKTct4hs7iBDboe0eRyVokRk881QZWttWovI5oFXThvxbw6TtO5e7sOq61BSZIsMkjX2GpICJcUkQQHOhsLN7Olch5e4l1SpoeAkRaXbrnf8hlv3sEGQ8legvLCWGxAGbxHJ4fmgOfxdMLcDsgBf7nhDq8PDZhrN1ihbY5AGK-GO2ltq5OH2WbhB-STSSarWWjkqlC0YE2CLyq-i7aSoReWBWkTyhntNG20uoACwZI3X2rq1e4bLz0Y04PCvWjr164d2vCmSIpJCXcQPoARX2jrcasYlpoph6dXNR5mwtDGcMyiYJMM1FZIz4NL93W3x9RbSZyv8bugbaBO08ezdOddZWDqyQWTTCLfry7DS7YxSct8GwEFeOUQ2wtqeA688EKEq2TPueVzBLsYlrR6doZXfaV8drR4x69tu2N1RiP3PvdGNoS2mpukhoQKCC1sdRUUc4i-9UrCrO2othKTuVQVBRsma04abQKg9Sm4RyWupqSNCQZWU-omboNLKOqpcIJQzQllRWf8MIp3Dn8BoRx1HyXrHKeMmYH0nx1VEyY3SQWd4Rw0Pam0C6bS35DUEjEvu5fxyDkPCOiPK3kFlEApiFjgpgpZ2nVDNZDzYv2zKZK00oONGcrr3ZirOAq3kYbD_Inr2aAAiVM1N4AsJBHLSDyUt4FK0XsS6SrelUGCtpc-BcNyMPE0-xJMZI-pDUIvnTkMEvXY7sPpQ1Q1K1qVWvQ1AXeB2htudlmxUUGvzRA0L7JNw1Q7CzlByM94ZqhoeOB1ACToOOx1IrR_7bgDwyDng1kDHm50W1gWVblutvEU7CA3j4J0NfHm1AeRRbzCoaS8h_4MJoR7Pp9uOV72kjgel1NWjHxr9G-aXhqpqNxg6CvcKypmoHNQJO8ZFzpbQILIeboIpzL8UdL-AvTJaSpSsP5Nh1E05PXiiBvYDwDCaomTdGW652fPAL9NlVvwqntZaCltGVC1K1lRK_TSFyO-U22ETvJgMaqPbgFrbt92YEQdFsDIjnin6iKyZ2AeGt0FHhQFRR4WsqJQjhd_MQ6WDn6IirPRrNp5Q8YV1Z3R6KxXBxC-x8YdUXEGN0AqqQO-7TDJLn_7sRMace55G3zUPeQxTYp6hmM5nZDgNJRGOnqPpJy7jdLXIZ72FPdjh4h7aN189vkEtAea9CBn6tNXWGU5bXyfX2Gd8qJr5sV1S-x_2SsEyTgl0VUIhsoFmi9xEzyMiCOuANz7Dm5Rsgb-KRlH5v1QxCZs_HwoOtqIRqtZbh0gB977dhcvVOMOOHVfk_w0GyGggq3hcp9VimSTR6MjQy40H49mBGB5UodVh6jH7KUfEyanCFS9JhbfbDnYKZdtHIeUWeOYPMn7z4hDC1TkJwZuJhRVKigWc8rN0VL54i3LgkKLyh2p9yxlPQVheUjuf80Nd-WquKz0PKMk4NlRY7pVYvxKIbEJ_d7CMd9DNdNqKZ0Q2XtKrJRlKisnx7FQryfO6xrSEJsrrcWxYLT80oIrBzXF6_mp6XOKtkltIH1umWyqGZRDK-wjDrW0qOuiK4wzATEu8OtWWlMs4-znO-CkDZ4DkJ7syKbOkTNJf6fjfYSeOKI4Y4zOMy2VKv4OR31M75pHO6Ipbezc2fCfi4958F6yA5oiVnGHN40X051hNrz62nTzBuZl6XUh074QV0ByxJudYs1XyJqzfx7mezS8UlQcr7CeqoFdHyfrCJKgg7-hftkqO_i1O_EtJvKR8ho9xaDXGokOt_QSnqcsoT_x6HZe_5Db8_o3xBGA3vZCMm7PaA6FZnhQ3xhdRMqepD8ePzPwTPX6HHmAIxJFB6TxMhC8YTd-DQX9beP-Jy_Lbw_23___mX_x_otVOKH6Bj9k5H5eLeSr65Fvcb3rSDgEsGO2cNpexDxN-Cvk45Z3ptFzMElL-ik7k5-g0ubV-Y2z-gvPfY8M7RPRNTFidMYHE6Vsy06XI_NcdfhcKQQBeKERO-7UFZWk874VM79f_XnRc-rcRM4e-OiNU84XXl_jzys-TdRqPNedP70RpqDl8VLUe2pdzKa3lZ__KeyPkBSW_9Pg77hTG0AOMzhfGx0T2jVCvs-RR3jo2jM1eMw4fHedhnBXWYZkv5V7dua3TetzMgxf_J4aPAt-TeuBG1IKbSa6EJz_99106qYFXA-vCMERRUcDphrP5Z5ordp2wVbKiV_w6zhZ5FJNFEl3trpM8JyyKkxVLGeFJVOY0WxFWrbI8jWi-vBLXJCLLaAmNSBSRVUj4kmaELKosq0lULdAi4i0VMgSMoTbNlX_3fB0vYpJkV_67lPXfxglR_An7p4gQtPxwZa69Y2XfWLSIpLDOHtU44SS_9h-dsFD4p483V72R13_9xfmIf39N_hMAAP__w9jgbw">