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

    <tr>
        <th>Summary</th>
        <td>
            Cached disposition of [...] is incorrect: cached Variant, actual Invariant with indvars,loop-deletion and -verify-scev
        </td>
    </tr>

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

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

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

<pre>
    llvm commiit: 1e2976631420
Reproduce with: ```opt -passes="loop(indvars,loop-deletion)" bbi-74840.ll -o /dev/null -S -verify-scev```
Result:```
Cached disposition of %0 for loop Loop at depth 1 containing: %lbl_1187<header>,%for.body156,%if.end<exiting>,%lbl_1187.loopexit<latch>
    Loop at depth 2 containing: %for.body156<header><exiting>,%if.end<latch><exiting>
 is incorrect: cached Variant, actual Invariant
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(indvars,loop-deletion) bbi-74840.ll -o /dev/null -S -verify-scev
 #0 0x0000000002e73973 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2e73973)
 #1 0x0000000002e7168e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2e7168e)
 #2 0x0000000002e73cf6 SignalHandler(int) (../../main-github/llvm/build-all/bin/opt+0x2e73cf6)
 #3 0x00007f5b9bd02630 __restore_rt (/lib64/libpthread.so.0+0xf630)
 #4 0x00007f5b99449387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f5b9944aa78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x0000000001e9932c llvm::ScalarEvolution::verify() const (../../main-github/llvm/build-all/bin/opt+0x1e9932c)
 #7 0x00000000038077fb llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x38077fb)
 #8 0x00000000031e1c1d llvm::detail::PassModel<llvm::Function, llvm::FunctionToLoopPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x31e1c1d)
 #9 0x00000000026528ec llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x26528ec)
#10 0x0000000000aeb6dd 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+0xaeb6dd)
#11 0x0000000002656bce llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2656bce)
#12 0x0000000000aeb4bd 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+0xaeb4bd)
#13 0x0000000002651b9c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2651b9c)
#14 0x0000000000720b49 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::StringRef>, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool) (../../main-github/llvm/build-all/bin/opt+0x720b49)
#15 0x0000000000731681 main (../../main-github/llvm/build-all/bin/opt+0x731681)
#16 0x00007f5b99435555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x00000000007197b0 _start (../../main-github/llvm/build-all/bin/opt+0x7197b0)
Abort
```
[bbi-74840.ll.gz](https://github.com/llvm/llvm-project/files/9811042/bbi-74840.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzlWNtu2zgQ_Rr5hbAgUfcHP7hJjC22xQZN0FeDlCibW1o0SMpt9ut3SMmJ6Dhtc1nszTAsmxzNnDlzODJJZXO3EOKwQ7Xc7Tg3QbJEMcNVkedJnOIoiC6DaPmJ7ZVs-pqhr9xsrU2QR8Nb7g2a74nWTAfJZYCxkHIf4JJ3zYEoHeALOzBvmGCGyy7AFdggSvm8SMs0CoVAc4kCvGrYAT673g7coPmBKd7ezXUNw8dYRzC6FxboyfgFqbesQQ3Xe6m5DYZkC56zCLVSIQsDfbAfxKCG7c0WxZB1ZwjveLdxSeFMULGO47IIkostIw1TQXIFOcAM-Agp0BVn-TDA25B1DRiybxDNehgtjz5CG9JOgo0gpt5aCwcVwcuHgh9DmQaconkc8B7JfRTPZgjJNeJdLZVitatyPdD1mShOOgOOEKlNTwR63x3GMXfj9Yer5c0V0j3dcYMIov0GKbaXyiAj0daYvba1wCt4b0AdPQ1BS_DDymq8zEE-v9u4eMW17kEqeIVI11hEom8YMluGakX0FlFSfzGK1Cwcwt8YGEBNv9vbKG4ogqnqWsmNIjtE1Kbfsc5YECgMwbH72AGV8wHOAxTac9HMiRD2Owctrnz1_lC6z9TtQHyAkwhF36LjC7MiqYoEOVCQU7LUd3r4cq14Z1zGt5YCwPJgpMjXtdRGMQKpWAkCecZiAquX5B3gd9G3EYtdlfdg4xOwcV6yc2A_9d0N33RE_AKVFMwSVr4BHhvOw4NPyavbHHmRXc3ehAtw7cVOxthFm9GKNhHOoZbrtWLaSMXWsAZc0ivBaZ4OV1jNUKMm1DKMnN8W7vGcplOnVZpWSVkgRbhmj73V1k_u_CQ52HmOshNHhBQlIlSegzV1VICd5yifUhyzqkpwPSn5TU0EUVcHKXq3ENzgIPSx5tC8tHkV-2NUD1YxhZWUUVG0dAJr1Xe1xXMrbS-9hlW8bMgeCjMumL7zFtDRfFw9DxNLUNKd5voj6cjG9tiLMzfZXpu_VmJjDl6SpZdkzOI6bibgGgZPBTG2B0jxo4R-dB6il9TT5Hhm1yBlpg6sGUiwnfkF1CD3zPmnkj5w6pFeeT0lz3DJpoJ3RH8P2H-OpJGDe5Lsc8B7akWE0bx5C2X-deT-35Q9lMSrWXwi7JzW04c31KgX7FYecfywaQ43PCvH8Za3kqXNwEsRn8oypc-T5TGni58k5q1kdU_M06L6m-keyPTYTk4EFdPqZzrlOY7_3dyMuXvkpJ4UCxzRtJpAgwwsP9d8zwTv_L_zNwb-628-sfacDh8leQvbHGY-wpbN-Vmem_3AqSLq7n3Xyve7vXhsJaX4rTf73qy4OOPkVdNPpLNUitzZ0WlVHmxPe_ZZc0eh6De8e2QPtVkbADb8GuD9Ctu371l9tv9bOVNHO2pnfvr6Og0NCvEklPkSSmD7EyPr9nWBnB8vUO5vFpIMXrCVsVuDtTZEmfUx6pMbB4zhHs9p4aOPq4LC_si5ex1-5-k-1NLuacao_qFPkL2b7snDzR9BdgmRn30u0YKq7bFEVcZxlGKL6MTvEcyMLeI8z-MoKnE2axZJUyUVmRluBFs8cQiVvQuBhuzyBacw7sgNPXEm4Q5RpmcOs16JxcsPZbIyTaPZdhFTFqVJEdGGlGlG6qgsqpJVeZ23dd3SdiYIZUIvILEA4459Rc4FfIckZ3yBI4zjKC7jJC2iLMwbXLEyi-OCUtZAE00jBooQocURSrWZKXcKOaf9RsOk4Nroh0loALDdZ8yFA_-kN1upFjv-hTCxlWLHupmLv3D4_wRKmUdp">