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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `Entry.NewValue' failed. with opt -passes='function(aggressive-instcombine)'
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          mikaelholmen
      </td>
    </tr>
</table>

<pre>
    llvm commit: ae4256355ec9
Reproduce with: ```opt -passes='function(aggressive-instcombine)' bbi-74040.ll -o /dev/null```
Result:
```
opt: ../lib/Transforms/AggressiveInstCombine/TruncInstCombine.cpp:376: llvm::Value *llvm::TruncInstCombine::getReducedOperand(llvm::Value *, llvm::Type *): Assertion `Entry.NewValue' failed.
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=function(aggressive-instcombine) bbi-74040.ll -o /dev/null
 #0 0x0000000002e50973 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2e50973)
 #1 0x0000000002e4e68e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2e4e68e)
 #2 0x0000000002e50cf6 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f7ffdd7e630 __restore_rt sigaction.c:0:0
 #4 0x00007f7ffb4c5387 raise (/lib64/libc.so.6+0x36387)
 #5 0x00007f7ffb4c6a78 abort (/lib64/libc.so.6+0x37a78)
 #6 0x00007f7ffb4be1a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
 #7 0x00007f7ffb4be252 (/lib64/libc.so.6+0x2f252)
 #8 0x0000000001bfbfd2 (../../main-github/llvm/build-all/bin/opt+0x1bfbfd2)
 #9 0x0000000001bfc62f llvm::TruncInstCombine::ReduceExpressionGraph(llvm::Type*) (../../main-github/llvm/build-all/bin/opt+0x1bfc62f)
#10 0x0000000001bfd45b llvm::TruncInstCombine::run(llvm::Function&) (../../main-github/llvm/build-all/bin/opt+0x1bfd45b)
#11 0x0000000001bf0061 runImpl(llvm::Function&, llvm::AssumptionCache&, llvm::TargetTransformInfo&, llvm::TargetLibraryInfo&, llvm::DominatorTree&) AggressiveInstCombine.cpp:0:0
#12 0x0000000001befd38 llvm::AggressiveInstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x1befd38)
#13 0x00000000031ad10d llvm::detail::PassModel<llvm::Function, llvm::AggressiveInstCombinePass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) crtstuff.c:0:0
#14 0x00000000026348ec llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x26348ec)
#15 0x0000000000ae1c7d 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
#16 0x0000000002638bce llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2638bce)
#17 0x0000000000ae1a5d llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) crtstuff.c:0:0
#18 0x0000000002633b9c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2633b9c)
#19 0x000000000071f390 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+0x71f390)
#20 0x0000000000731731 main (../../main-github/llvm/build-all/bin/opt+0x731731)
#21 0x00007f7ffb4b1555 __libc_start_main (/lib64/libc.so.6+0x22555)
#22 0x0000000000717980 _start (../../main-github/llvm/build-all/bin/opt+0x717980)
Abort
```
[bbi-74040.ll.gz](https://github.com/llvm/llvm-project/files/9652139/bbi-74040.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzdWNty2zYQ_RrqBSMOCd4f9KD40maaNB7bk1cNSC4pNBDJAUAn6td3QUoySUu2YznTTj0yJQKL3bNnF4tLWufbhRAPG5LVmw3XlrckDHwahF4QQJZYzqXlLG-hkXXeZkC-c702Mlbo9J-60WTeMKVAWd6lRaOirTLN68qiMStLCUrxB5jzSmm0kPIKLJqgGElTPo98x3dsIci8Jha9zuEBn1UrxEH93r5qhcHWv056EYKBZNs4WPAUn_eSVaqo5Ubhy_KA4iOCuNiDQCFEOmiys6ZBPV4UGm2GE2PQW35logWEt3xsmg7tW0vQt2BYyr80gAhypOCIGoteDLTfb5tda2LMLpFIaegzDF9VWm7tP-F7N9aQVjAuILd7v28-XS3vrohqUwwcYSRtSyKhqaUmuiZrrRtlbNBr_JQYtza1MQSGJGO9_5pjYP-CTOMrV6oFQxhB6IRXmWhzIHoNJJNMrUnKsm9asgx25u80NpC83TSHwDjYldzIupRsQ5gs2w1UWh2C0z02jFfzHs4jlLTlIp8zDDz-5pg71-O8ek1SvZBRHUBs8xzi_HD2fxQCJ4m8QUDUVvU_biSvdOfkvfF6FEzJvq9qpSUwRB-aiKKswYBSb3HVoh-cHzssJhMOYN0xWB_CGI6BvW2rO15WTPyOwRMgMY7x-Xg6cyM8dEpeVoRkZBkt7rjom9VuXjnd_0GRt1MUFVFR5HkEIQZmtcLQ6lrCCnNY8ZJ1Qbezp8P94fDUzwIvjohkXJnJFPeFIPT778xWtR12Lnkhyo0cCiaKQhbFhKVmEj2rKEK5kaJwrCgFl4XoEOsm9MpM3FXKXoBHCxw00hpNtdKAvqACJUYq4mHI3LRIi5yelRc7HSMjycRIFtKCvFQw-2p59aPpJnRd_SZZsx7NM1Md--J4LmID6IDYTCxngjj3g_RFxNg4wnd9qEvhO2A0EEYY3QlGxwldghg-bhpxGsdwecH1BAu06bpg2Rqe9N9jlQZ9WC8_VkV9QuYTTyWT26MSl_WGVwwn7r0E2HFxdNl9WguMm3TsJhQ5Ju3Ah2OabnBivSImIy6wGm0VV59ZxUosVN7FkUHe1bvEsvNhFEtv6KTnstx18gG4HDSWiN3Kg759rnMQxyGOnTpJzkjsBoVAPkDekwDqbdSYzy_kPJNa6bYophXf8OePVp7Q82PIhg4azp4z8l_096zVuadglGPBkCOHgZtF75Fjv4zb_1mKhpMUjdNsuFlDulsB9_VeqaF1mbMG6-ZxyP2AnwK8G_JeGWY8GGVYNM0wFvxchu19unglMe-VIo_EnEqQd2D7ueSIJ8nhpclr6tcxvv51P8_MKuP6KKtGu0cncgsvcQbQ0ANDzw1vQHRnvYE3dxqPaeUtFMdS6sRW5jNuhTo907P4dKPT77OmUnUtvrS6afU1F0eUnNV9wp2llGxrWodReZSdltKj4h2Foi159UQeY7PSCKx_6-H9wc0FxmmpryB5wUHu5VLT8-rv83Koz5BhClFnnEJYqfDsbNSeZ6jTMzLkTk5kbhAEeM4zp7CV0gzPenurp89oFMeMlNLJBIiSGE_DnboziTKaDqaW5lx79A7NCj4Mr0_s8m8ruETLP32LVGBWm0ukJAyo6yUG0UTvHswMFm4Y-jRIXDeZ5QsvT7yEzTTXAhavuwfrriPJW68gZ60Ui7dfkwWx48Sz9QK3-rkHkARh4MQ0jGLq4t7ey5kbpH7mhzPBUhBqgRQjpzO-oA6lTkIjPMy5QWJjb8aSIAlimkOaF5bvAIZZ2MawXctyJrsb2nnalgo7BVdaPXai37ysAPb6WavXtVxs-DcGYl2LDVSzDvOiA_wPNiybAw">