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

    <tr>
        <th>Summary</th>
        <td>
            "Trip Count for Loop at depth 2 containing: %for.cond92<header><exiting>,%for.body94<latch> Changed!" with opt -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: fdcb256f9796
Reproduce with:
 opt -verify-scev -passes='loop-mssa(indvars)' -o /dev/null bbi-67494.ll

Result:

Trip Count for Loop at depth 2 containing: %for.cond92<header><exiting>,%for.body94<latch>
 Changed!
Old: 1
New: 0
Delta: 1
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace.
Stack dump:
0.      Program arguments: build-all/bin/opt -verify-scev -passes=loop-mssa(indvars) -o /dev/null bbi-67494.ll
 #0 0x0000000002cf75c3 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (build-all/bin/opt+0x2cf75c3)
 #1 0x0000000002cf523e llvm::sys::RunSignalHandlers() (build-all/bin/opt+0x2cf523e)
 #2 0x0000000002cf7946 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007fc07bf36630 __restore_rt sigaction.c:0:0
 #4 0x00007fc079669387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007fc07966aa78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x0000000001cd28ce llvm::ScalarEvolution::verify() const (build-all/bin/opt+0x1cd28ce)
 #7 0x000000000351b671 llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (build-all/bin/opt+0x351b671)
 #8 0x0000000003029c7d 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 0x0000000002437975 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (build-all/bin/opt+0x2437975)
#10 0x0000000000af4b0d 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 0x000000000243bd9a llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (build-all/bin/opt+0x243bd9a)
#12 0x0000000000af48ed 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 0x0000000002436ac8 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (build-all/bin/opt+0x2436ac8)
#14 0x000000000077912f 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) (build-all/bin/opt+0x77912f)
#15 0x000000000078b2b0 main (build-all/bin/opt+0x78b2b0)
#16 0x00007fc079655555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x000000000077415c _start (build-all/bin/opt+0x77415c)
Abort
[bbi-67494.ll.gz](https://github.com/llvm/llvm-project/files/8303209/bbi-67494.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzdWNtu4zYQ_Rr5hbAhUfcHP3iTGF10txtsgn01KJKS2aVFgaScTb--Q8l2JMexkzbbFjUSXcjhzJyZwwFHhWKPcym3G0TVZiOsFy5QyWiB46TM0zzx_GvPX3zljVaspRw9CLsGmX4Yqcai6ZZrUT5ODeVbNG2IMdx44bWHU6lUM90YQzyciZptiTYezmECTRXy8JLxLVzrVkpUFGKapFEezaTsde8Nm1bag8H-eq9Fg65UW1tUKo0-gRlELGK8sWuEAUhtiahFXTkwHo5BaAaDLMdeeLXmhHHthTfwzH8I24ndePhqJ1hAQPIIJiWxdO2meqhXa1JXnHk46Ae-SObU795-4w_uze_frrm0ZDB7--lmcXeDTFtAhBFBRVshzRulLbIKra1tjIOIl_AHc2bmEjJTuoJ3RGqGRE1lyziya46oJmaNCkK_W00on_Um7iwMINZumkOwfJjKb7WqNNkgoqt2w2vrDIF9IdmUQKjBnqjheiaRp7P4mhSCQOgj_4e__2FapjENkYPn3AwX5tH0D7da1LYDce9Qga0nIU0eVspYzcnGwwmkCuJhnQ8gdRKKhz_4P3bGHOMO3gRH3sQ45Ke8-drWd6KqifwFoi-5Q5y9xqDTNzKIj-HnUYJGqruodmj6YTOjjcuh3_0fFIU7RWlJ_bQowySB0K5WmhurNF8Bk4yoCLVC1TP6fHk0XJ4nSR5mKdJEGI46aEspiiTq73Rm1CzpIIUJyI0AxUeKCEkzRApH5bOKUpAbKUqGkQkowxkdpuKOEkn0zVbJ1mHqB3uC7nIBO9rY8xnZqR3ZTYd2wzgokjQY2F22dRfEe-XKyi1sggUjDcR4R8W2HlFzL77j5dPEAlL5aIT5TGpSuXpzdWKRqzvJRV7tnByhyEYofJzTlA2sMw4VUO52FmD4rBiXp30Yef0y-pHYLdCO6y1nPUooE38FO-qK8E-MKtXW2LYsT22IfLQxozDN03iI0AXtnJH_JODz5akHeaCRK4ej6uyTMir896DRz4ve_4mGLgHBEQ0LlpOBIQh4K_m92iu9WI_6BW9yeLfk1SRyLo5IhI9JlPG3kWjv9NUrkb8XCQ7IX6bAO8TzXPrDo_QnhGav2EenAvbvA71EHAduRJxoRJw0zQNcDmyDiy4At6LhUtTjI-GdhfNi9ZWXp1jzDMU9nH65_UzoutOzODX7SRSa6MePdak-bhr5XEop-aW1TWuXQp5Q8remX4Cz0Jo8utFh2J9kj-vhSfEuhLKtRP1MHnKzsuBY_9a79ysc8c9JfXNHMMH1Xq5wMxfvF8jRp37EjXjMjazAhY820NZd0NQJjjQl4xNr7H5wcnbn05WxRNvVXu2Lp1eMYc1IaXpE3SiIKerVXYLqRA-6Fu7kvFMbfxi2ULPqDy-GLjobt4cV9N9tAe3sxnnpktTfptCg_84pGFmWwDCogsss9EPs586FI7176xM2D1ke5mRihZV87mH8z_bWw64a4-7jwrNvCpNWy_mbgyCMabsoxFEURpP1PA5ySK3PkpjHWRjiIoojxgIa5H7JAxpNJCm4NHNIA7hS8wfUqYBnSMNEzLGPsR8GmZ_jIAhmZRGkCWVhDsPQZ2Ze5HPgkTy07hPdfVaZun4eJqUw9qmvn8CmhG6P884c6CetXSs934jvhMu1ktCqTzr7887_PwHy-E0f">