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

    <tr>
        <th>Summary</th>
        <td>
            Cached disposition of %conv859 for block %for.cond715 is incorrect! with indvars,loop-simplifycfg -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 commit: 14d9ef29304e
Reproduce with:```opt -verify-scev -passes="indvars,loop-simplifycfg" bbi-74935.ll -S -o /dev/null```
Result:```
Cached disposition of %conv859 for block %for.cond715 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=indvars,loop-simplifycfg bbi-74935.ll -S -o /dev/null
 #0 0x0000000002e78a23 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2e78a23)
 #1 0x0000000002e7673e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2e7673e)
 #2 0x0000000002e78da6 SignalHandler(int) (../../main-github/llvm/build-all/bin/opt+0x2e78da6)
 #3 0x00007fb4e1aa6630 __restore_rt (/lib64/libpthread.so.0+0xf630)
 #4 0x00007fb4df1ed387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007fb4df1eea78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x0000000001e9d226 llvm::ScalarEvolution::verify() const (../../main-github/llvm/build-all/bin/opt+0x1e9d226)
 #7 0x000000000380d11b llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x380d11b)
 #8 0x00000000031e6f8d 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+0x31e6f8d)
 #9 0x00000000026573cc llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x26573cc)
#10 0x0000000000aeb32d 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+0xaeb32d)
#11 0x000000000265b6ae llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x265b6ae)
#12 0x0000000000aeb10d 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+0xaeb10d)
#13 0x000000000265667c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x265667c)
#14 0x0000000000720cb9 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+0x720cb9)
#15 0x0000000000730181 main (../../main-github/llvm/build-all/bin/opt+0x730181)
#16 0x00007fb4df1d9555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x0000000000719920 _start (../../main-github/llvm/build-all/bin/opt+0x719920)
Abort
```
[bbi-74935.ll.gz](https://github.com/llvm/llvm-project/files/9826448/bbi-74935.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzlWF1v4jgU_TXhxQIlzvcDD0xbtKNttdW0mldkxwa8NXFkO3S6v36vk9DGlHZm2q72CyEC9s2555577XBNFXuYS7nfoUrtdsIG8QJFCSv5GpdxmPAgPA_CxRfeaMXaiqN7YbdgE2Rh_1aNRdM912L9MDUV36NpQ4zhJojPA4xFzfZEmwCfSaWaqRG7RoJltd7AJKJUTPOkjNOZlGh6g6YKBXjJ-B4-61bKRycHEqaVduy8Hz8j1ZYzxIRplBFWqBqpNSCllar3RVqitdKISlXduUH4MYMJlkcpEgaJulJa88oGOEI93vXlxeLmApmWgh6IINpukOaN0hZZhbbWNsaRwEt4b0COlgLgDn44GYfLFPT6vUNdCmNa0AMvEamZ8ydbxpHdclRpYraIkurOalLxWe_-xsIAYu2ucV66oRCmymutNprsENGbdsdr60ig2QyAu48dEfW0p_NEhbZCsikBKeG7qOHzlXy9nKzvZ6qjCWNxiMJv4eGFeV4QHKOODQQTL8yD6b9ca1HbLtRbF3uAiycjTe5XyljNCcSQAR9QDZQsAb94S8AB_hR-G7gAzBPZ6Ihslsf8FNkvbX0jNjWRv0AKJXcaFR_Ax7nz-OBj8RjJkOcZPH6QFgDt-Y4H3_maJjwiJMsgl6uV5sYqzVdQ_F3QSylolvTXxm4hR2xm1CzscNdwjweajEDZOuIsLnKkiTD8OVrlcLIOJ87AzgNKj4A4yQtEqDpFawyUg50HlI0ljnjJMM5GKb-piCT6Yq9k6zaSfrBfLkPOYe8w9l3qD149WvmYVlyELIroiNayrSvH51ZdwtK8hhW7YKSBxAwLpq29BXQwH1bP08QCKunBCHNFarKBaorPTtwUX3T3va_Ehhi8IAsvyIhn64KNyDFuiZDD9gAhXinG5WmKXlAvi-OZXUMpc73nrBfBbclvkAY5ef6xoveaeqKX3p6SpXlcVWNVnNCvEfvPiTRo8CiSew54T62QcBrjj6jMv07c_1tl9ynxchYdFTbNyPjhDTlqJb9VBx7f3TT7G34qxuGWjypLF4EXIj4uyyj8ubI8xHT2g8J8VFk9CvNyUf3NcvdiemrHRwWVZfmP7JSnNP53azPE7omTeKWY47Ci5YgaROD0uRYNl6L2_87fWPivv_nC16fq8FmQt9DfcHsFPV2Hszg1eymoJvrhc71Wn6FJeW6llPyttU1rl0KeAHnX9AvhLLQmD250nJUn2-M9-6R5J6FsN6J-Zg-5WVkg1v_q6f0KHdtrVl_d_1bB9cGOupkfvr6vhvoK8Uoo9UsoDqMiQg72fY46HM9R5jcLrEzTFFoZ1xqsjCXarg5eX2wcMIZ7PNDcZx-VJYb-qIN7H_8O6dHVwvU0g1f_mCNIP43b8NnmjyA9B88_fSCxhqp25xFlgbMkcRoc4x7ITPg8yrIMJ8AxnLB5zMq4JBMrrOTzjzt2cWdK6JXTh_F5xaTVcv72M5i0SIpysp1nRUUoTeCZm1CWE0IqaImLJKE59C15QiaSUC7NHEQPMK75Peog4DuIPhFzHGIchTgMk7RMyhkvC5rSgqcVhycHi4Ik5FAHcuZ4zJTeTHR3yDal7cbApBTGmqdJWPbQ5HPeuQN80tqt0vOduCNcbpXc8XrS-Z93_P8EJsTwLw">