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

    <tr>
        <th>Summary</th>
        <td>
            "Cached disposition of %1 for block % is incorrect!" with -verify-scev -passes='loop-mssa(indvars,loop-rotate)'
        </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 commit: d2b070d3c95
Reproduce with: ```opt -verify-scev -passes='loop-mssa(indvars,loop-rotate)' bbi-76921.ll -o /dev/null```
Result:
```
Cached disposition of %1 for block % is incorrect! 
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 -verify-scev -passes=loop-mssa(indvars,loop-rotate) bbi-76921.ll -o /dev/null
 #0 0x0000000002edac73 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2edac73)
 #1 0x0000000002ed899e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2ed899e)
 #2 0x0000000002edaff6 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f9862b3f630 __restore_rt sigaction.c:0:0
 #4 0x00007f9860286387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f9860287a78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x0000000001ee11fb llvm::ScalarEvolution::verify() const (../../main-github/llvm/build-all/bin/opt+0x1ee11fb)
 #7 0x00000000038c049b llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x38c049b)
 #8 0x000000000325842d llvm::detail::PassModel<llvm::Function, llvm::FunctionToLoopPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0
 #9 0x00000000026e47fc llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x26e47fc)
#10 0x0000000000b0b3dd 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>&) crtstuff.c:0:0
#11 0x00000000026e8a8e llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x26e8a8e)
#12 0x0000000000b0b1bd llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) crtstuff.c:0:0
#13 0x00000000026e3aac llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x26e3aac)
#14 0x00000000007260c3 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) (../../main-github/llvm/build-all/bin/opt+0x7260c3)
#15 0x00000000007352e7 main (../../main-github/llvm/build-all/bin/opt+0x7352e7)
#16 0x00007f9860272555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x000000000071f130 _start (../../main-github/llvm/build-all/bin/opt+0x71f130)
Abort (core dumped)
```
[bbi-76921.ll.gz](https://github.com/llvm/llvm-project/files/10236991/bbi-76921.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWN1u4ygYfRpyg2Jh8O9FLjJtox3tVFtNq72NMGCHLTYW4Mx0n34FTto4TTudpqNdbZXGCT_fd87hQABqrWw6IRYg_QTSyxkd3EabRSvvqVAbrVrRzSrNHxZKbVvIdNtKB8gSclyhHHHCyhSgS4CWX0VvNB-YgN-k2_gmIEPjS_cOzrfCyPphbpnYwnlPrRUWkEuAc6V1P2-tpQAXsuNbaizAF6HUaEedALgEOIdVJed5VuI4UgrONQR4xcUW4FU3KPWYaw_GDsrjHL8e1V5QthEccml7baWTuoO6hgCnMay1gZXS7N5_hdJC2TFtjGAO4BiO3W--XC1vr6AdqlY6SGE1NNCIXhsHnYYb53rrM-MVwKtGus1QRUy3AK-8hLvHvDf6rxB1Ja0dhAV4BWnHfT41cAHdRkBmqN3AirJ7ZygT0Zj-1lF2D_nQ9o_8UARQeWN0Y2gLqWmGVnTOg4BRBPAqvLVUdvMRzhOUapCKz6lS_rPsAF69MlZvGagfjFJACwEmCKLvaP-HBacsJzCAIktAlvbBjh9ujOxcYHznJQC4eGpk6Le1ts4I2gKcAXwBZec8BoCL9_AG-BP6vsPiPfcINj4CW5SlOAX269Ddyqaj6jfacSW8PMUH4PHpJnjwsXh1ncFJ5jBCQYux2Eas93ZB4f8xENkFyuuyyHBF6owguF4bYZ02Ym0ctLKhzM-QiD3vnhx2R7jISJFDQ6UVMDBfKVllyfhkkdVRFigR325CKD0KlNO8gLTyM-rVQL7dJFB2qEwsRBzX1cFI3TKqqLnaajV4TmPhaPbdUDHdWXfWgO2yTmDlh7BIwVBSHsJaDV3Q-E5_0bq_odYuOe2dNjufD93E9_vmO9M_VSw7qh6stNe0o40wgFyc6ESuQr_zXLnjMCFZTEjitEgwPwDHhaNS7WY1tfZac6FOQ5yQelmcSbMbI6wwW8FHEfyC-h5p_OsXas6Ms26o61OzqZzM6kwkec0OCXrNXkvyX-R71so3SvDoMb8QT342UIUqwj_CY79M2_-RRb388ZFFC1oc_hBeaz4ocaf3QX-4ko0dfgrwrstHOcwzmDgMHzssrn7OYXtOF28U5qMs8iTMSwb5ALVfMwc5Mgeh9C3r1ym9_nWeZ7rKU5-4Kpm4KscZYofbXTMES9zIXijZTXe5t87Irvkq6lOWekbyjppGuGvKNiHO8lTtF1kZah4-d7X-3PbqeSut1R-D6we3kupEkLOqX6CzNIY--NLDUQmaqKGR3bO1VPdu7bTezcQx3--y46-1-tNv9KQw-3aVr3nz8zxTjEM-8UQ69QRJscihD3teohBnkiib7q5znKYpXK_9XnptHTVuvc_64k4b-z6ToPkUfVzH_ugQwp2HP0R6TLXcHwKYNiIcegV_wjE91oP00-HpM2r-BuklwMVPn8hrqcKBPEaYZGUZe5BHgfcQZnxBeElKOhOLOMvjGOVlkcw2C5RyUtSpqGvCM1bUvKxRXOZJneeozKpsJhcYYRzjOI0xKZMkIpRXWUUQx1maY5qCBImWShV5dJE2zSzcFCzSMiXJTNFKKBtubTDuxDcYKgHGIL2cmXBbM6-GxoIEKWmdfYripFNiATB-7zUIwDjc8Zx_pzMbjFq8_8IkKPFPAAAA__87UaWC">