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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `EVL->contains(L) && "LCSSA breach detected!"' failed.
        </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: ae4256355ec
Reproduce with:```llc -O1 bbi-74045.ll -o /dev/null```
Result:
```
llc: ../lib/Transforms/Utils/LoopUtils.cpp:1439: int llvm::rewriteLoopExitValues(llvm::Loop *, llvm::LoopInfo *, llvm::TargetLibraryInfo *, llvm::ScalarEvolution *, const llvm::TargetTransformInfo *, llvm::SCEVExpander &, llvm::DominatorTree *, llvm::ReplaceExitVal, SmallVector<llvm::WeakTrackingVH, 16> &): Assertion `EVL->contains(L) && "LCSSA breach detected!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: build-all/bin/llc -O1 bbi-74045.ll -o /dev/null
1.      Running pass 'Function Pass Manager' on module 'bbi-74045.ll'.
2.      Running pass 'Loop Pass Manager' on function '@h'
3.      Running pass 'Loop Strength Reduction' on basic block '%for.cond2.i'
 #0 0x0000000002bfc9b3 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (build-all/bin/llc+0x2bfc9b3)
 #1 0x0000000002bfa6ce llvm::sys::RunSignalHandlers() (build-all/bin/llc+0x2bfa6ce)
 #2 0x0000000002bfcd36 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f40d62a1630 __restore_rt sigaction.c:0:0
 #4 0x00007f40d39e8387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f40d39e9a78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x00007f40d39e11a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
 #7 0x00007f40d39e1252 (/lib64/libc.so.6+0x2f252)
 #8 0x0000000002cc0c78 llvm::rewriteLoopExitValues(llvm::Loop*, llvm::LoopInfo*, llvm::TargetLibraryInfo*, llvm::ScalarEvolution*, llvm::TargetTransformInfo const*, llvm::SCEVExpander&, llvm::DominatorTree*, llvm::ReplaceExitVal, llvm::SmallVector<llvm::WeakTrackingVH, 16u>&) (build-all/bin/llc+0x2cc0c78)
 #9 0x00000000025d8fd2 ReduceLoopStrength(llvm::Loop*, llvm::IVUsers&, llvm::ScalarEvolution&, llvm::DominatorTree&, llvm::LoopInfo&, llvm::TargetTransformInfo const&, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::MemorySSA*) LoopStrengthReduce.cpp:0:0
#10 0x0000000002604d11 (anonymous namespace)::LoopStrengthReduce::runOnLoop(llvm::Loop*, llvm::LPPassManager&) LoopStrengthReduce.cpp:0:0
#11 0x0000000001bdc39b llvm::LPPassManager::runOnFunction(llvm::Function&) (build-all/bin/llc+0x1bdc39b)
#12 0x0000000002404f2f llvm::FPPassManager::runOnFunction(llvm::Function&) (build-all/bin/llc+0x2404f2f)
#13 0x000000000240b848 llvm::FPPassManager::runOnModule(llvm::Module&) (build-all/bin/llc+0x240b848)
#14 0x00000000024054f7 llvm::legacy::PassManagerImpl::run(llvm::Module&) (build-all/bin/llc+0x24054f7)
#15 0x00000000006d71ff main (build-all/bin/llc+0x6d71ff)
#16 0x00007f40d39d4555 __libc_start_main (/lib64/libc.so.6+0x22555)
#17 0x00000000006d2230 _start (build-all/bin/llc+0x6d2230)
Abort
```
[bbi-74045.ll.gz](https://github.com/llvm/llvm-project/files/9651559/bbi-74045.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1V9tu4joU_ZrwYhHl6iQPPDAt1YzU0VSl0_OIHMcBn3FsZDvT9nz92U6AkhRKO9JUlJB4e-21L_ZySlW9zIT43SCqmoZbL54jwpIoxXGaMuoF114wv2dbraqWMvTE7QZMPBz0HyEomv4IUVnyaZYESeoLgaYKedFNxX7Dt2yFOFjv0UwrnKP-djQKiI6D78NkwUv4ftBEmlrpxsDNT8uFu94qte1--3S7hQlhEhduHpcWuXAcfDzX7Elzy5zx4pnbRyJaBrPzVws3BGznXnSFhk-_yVq9HXkges3sLS810S-nTZaUCKIXv5VoLVdyb0CVNPYN0iG4M1hXi8fF85bIimkYxcPRa9VwSazSD5qxt5OhbIJQtovcjS0bIsQjozDFi69eLf9h5Bcwob-4XD9-dZYh9uJF77HL69wYpvtwcLB4vJ3CMERkCZcuobdg1ltjuES3V8vlHJWaEbpBFbPgkVVeFMKQF2WoJlywyu8Lfne7mC8XyLQltB8iqGzXSLOt0hZZhTbWbo0jGd3AZw3t15Y-tKrrDke_v0yhP_8FJ3DLjelqfIMgadAOVLQVQ3bDENXEbFAJUVoIle3cLy08QFXbbA8dGcBQcafVWpMGQZXahknrSAA3Lqop5BDwSy477x9ZAB1s6GDvWykhyWhLjAGj7KaVtEvrnXvwnUiyZtrlCB41sOaEq2t2jA63O-rRKcCuoU-A1XtHcO8lwcZdOpT4LMrSaibXdoPuGSx-N3mHVRLDKSqFgsw5nCiFDoaqyCry-QEYhuIABc_B_i8qa1qU8VGHmhfT_7jTsHC7Urg2ZIMlqsnTShngQprdCgDbvt_ykwXxoi_B886Za98Dm3DEhmDY0k6wgWws-VoS8RV6SDDtOvwjDh3ewGE0Dr-KMRpAA-Qumv7xfj8Luv8DULwDyuokqHBEQgypXa00M7CU2QrWiuFr0tXIp2-nJ8fT44LlcZ4hTbhx3ZX3Oy1O-iv1jfJxF1KMwW4QUDoCKkiWI1K6xfouUAZ2AyA8AgpDgiEg0m0zK7dBrKDL3qcX1TBpgJqNUaM0ugABFgOIfFAySgMKEX5WUc4KymU9uSQnZxCGOtJpzbti8r6WfEBKjmA_ISotyEYvKhcWU5_4QWWKQWXSKq-rqN-aunLsd6vLxfj2-NN0ixpfyPT7KcLnSow_XKCRJYgs6JDzfQXC-dbFiWYZWXxnjdIvIL5d0AU6Tkyfqrf7i9sYh_s0DpIqDF2FiFTypVGtQZI0zGxJv8EdAh5i75ZIK3_IPvEXl8WdU6qDUOHPUB5s5mFZ0bgoz0K_EtsL7oDc68PLrblzdWhNx2W4z4NQ11F9xOXmb3HZuRpwiUdcyjzJP8Dle3fYGDDZP_oQD-dmwCMZ8UiTOjviIRjo1ctO_V8ZfWu24sDqz9k4ZwM26TGbAFdZWNeogdPr-1C94QBppFxVkqYpKJfTlZWxBNRrD3tedSKYMwDNRvQid3Tq4S4RdKYHrLmT4pPvVV765fgU6a__89JrgP70AbuGs7s7Xxc4DdO0cIxGuHsyEzYLMYZ3yTjP8aSaxVURF2RiuRVs9jdeKCatFrM_f2NIc6jqZDOjGSFpRusqz7IaV3WKs7iAgwLL0xCXSTURpGTCzCCl4F-yJ9RBOC7p9YTPoiCKgiLKgsT9-XWegJyxMgsZDdMkgNM3gxYRvuPhK72e6O4NfApvPgYGBTfWvA7C2oCTIWOdO8Anrd0oPWv4L8LERgl4OZl0_mcd__8B4t2u8Q">