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

    <tr>
        <th>Summary</th>
        <td>
            Instruction does not dominate all uses! with opt "-passes=loop-mssa(licm<allowspeculation>,loop-deletion,simple-loop-unswitch<nontrivial>),loop(indvars)"
        </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: e661185fb3e5
Reproduce with: ```opt "-passes=loop-mssa(licm<allowspeculation>,loop-deletion,simple-loop-unswitch<nontrivial>),loop(indvars)" bbi-75601_2.ll -o /dev/null```
Result:
```
Instruction does not dominate all uses!
  %f.b.promoted.lcssa2 = phi i16 [ %f.b.promoted, %for.body.preheader ]
  %2 = sub i16 %.us-phi, %f.b.promoted.lcssa2
LLVM ERROR: Broken module found, compilation aborted!
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-mssa(licm<allowspeculation>,loop-deletion,simple-loop-unswitch<nontrivial>),loop(indvars) bbi-75601_2.ll -o /dev/null
 #0 0x0000000002e63883 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2e63883)
 #1 0x0000000002e6159e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2e6159e)
 #2 0x0000000002e63c06 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f9abd677630 __restore_rt sigaction.c:0:0
 #4 0x00007f9abadbe387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f9abadbfa78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x0000000002dd355b llvm::report_fatal_error(llvm::Twine const&, bool) (../../main-github/llvm/build-all/bin/opt+0x2dd355b)
 #7 0x0000000002dd3378 (../../main-github/llvm/build-all/bin/opt+0x2dd3378)
 #8 0x00000000026a4a14 (../../main-github/llvm/build-all/bin/opt+0x26a4a14)
 #9 0x000000000072a3ad llvm::detail::PassModel<llvm::Module, llvm::VerifierPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) crtstuff.c:0:0
#10 0x000000000266f79c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x266f79c)
#11 0x0000000000722c49 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+0x722c49)
#12 0x0000000000732301 main (../../main-github/llvm/build-all/bin/opt+0x732301)
#13 0x00007f9abadaa555 __libc_start_main (/lib64/libc.so.6+0x22555)
#14 0x000000000071b8b0 _start (../../main-github/llvm/build-all/bin/opt+0x71b8b0)
Abort (core dumped)
```
[bbi-75601_2.ll.gz](https://github.com/llvm/llvm-project/files/9959113/bbi-75601_2.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzNV21P4zgQ_jXpF6tR4rx_6IfCgg4daBGg_Vo5idP6cOzIL7Dcr7-x05amwO4ePekWlTaxxzPPzDyesWvZviw4f-pRI_uemSBZIprncVxmXZ3QLIi-BNHyjg5Ktrah6JmZjZMJ8mj8yMGgAOP5QLSmOki-cCmHea81CXDJWdMHyTnhXD7rgTaWE8OkCJKLAJ97wZZy6ofwuWb9wOncD1uhwVIDps6FFEaxJ0a4X1ZtV4J2JtonorQfw6iu2bzI8ihe4ZBzNJcA67KlT_AtLOd7wDuPtOXO2_H1aPZKaKNs44ChVlKNhDTw0DNBDEXgDrLOWRyP4ghMZV1YhxClXhrahryBAGAE4UDDhiEW5yjIzo7FwBU_JFVYQx5gnG4oaakC4S8HqkdF2tajIpyFVs9B7279W8vj4uvrbzfo4u7u651L2ZmSj1SgHhLJKeqkFR4A5H1gY14QqaXyuLaO3V5fLO8vnGWgBiKotmuk6ABCyEi0MWbQLoT4Ej5rYIatQ1AHL45R2585QPuLNgZemdbWhe0SEdEiJhpuW4rMhqJGEb1BNWkejSINDUfz9wYGUGv7YZ-oCKaqWyXXivSIqLXtqTAOBApDUOy_esLEfITzCqW2jLdzSJ17ZsC3S8fc_5e2P-XsSIEAJxGKvke7P0zzpCwT5D2DwCRL_aLHh1vFhPFhe3BxdL7shRR5XkngNSUQj9ylHmQdCpD6TPACfBZ932JxDu7Bxkdg46yi74G9s-KerQXhfwAdOHUhKf8DPM7cBA8-Dl4T5Whi2WfFx2Ic1mEzOM5F_n-vKNkqKrqK1G1eFDkkZrVSVBup6Ap2hWZr4stG2Lxdnh4uJ21Nk7JAijBNkff8krM6T8ffJtQyzL1LCUS4mDiUHSnqSFGOe_fHigqQmyjKJ5Fp2yTL6oNMjVt91RFD-IoqJdWEUA_PTMDWlVAst4SqpeQnZ3CEMcFZHONMwOFTjSRHwSgnRnKSkjg9zcioY2KkOjQSFZgkpD2IeEsNYXy7l6E03UioNFBNXiVufPl2wX4d-0YV6xhVbsV05ha4SdUTbZfA6hffsw6nx1Gmb4gga9gG7xiC4uU-ng5WTPK_g5J_RqlbVUHdN9rYrjveLq6KTGtenndF1Ry65sLzsYnfy8_TaORd39PIxSY-ohFu0upw41rhwnPLBsphj068uYe2JNZ3tJt684GTD9BjqbkhzcbrWb43e81qRdTLlejkFfTCt1JQFb5aM1hzyfg7Sk6a_sCdpVLkxY0eZuVV1nfyn4n7EHK7ZuKNPORmZVyx828jvD_ZeKD6SGq3S3dyY7H81d_TODQyZEIhPKVQAoeMGDm1pxnyeiaGkmm3IiTLMuiarjettCHQYHZWP-xcGMOaidJ0ij6uyxpasVd3Gn6vaW9quWuqDTR4fxJ1p-Pq3UsDHPCn57lw_bc7x-PyXx-UO2C6OydXVVbFceJQvtG8QzGjizjPi7LKygzP2kXSVklFZoYZThe_fJHxFzv0u1zmZlbxxeevF1lZFvFss4hxSSOCCamypKkrnNGU4ITgIo5IkhbdjJOacr2AzIFRQZ-RVwHPkLcZW-AI4ziOyqjEaYzDKmszUJziMk_TqMFBGlGgFw8djlCq9Uz5q_QcrkkaJjnTRr9OQkzhcEmpNwf6iTUbqRY9eySUbySHm8zM2194_P8AJEuyCA">