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

    <tr>
        <th>Summary</th>
        <td>
            Assertion [...] "SrcTy must be smaller than DestTy for SExt!"' failed. for opt -passes="function(instcombine)"
        </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: 364c5023d2ce
Reproduce with:
opt -passes="function(instcombine)" -disable-output bbi-69210.ll

Result:
opt: ../lib/IR/Constants.cpp:2144: static llvm::Constant *llvm::ConstantExpr::getSExt(llvm::Constant *, llvm::Type *, bool): Assertion `C->getType()->getScalarSizeInBits() < Ty->getScalarSizeInBits()&& "SrcTy must be smaller than DestTy for SExt!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: ../../master-github/llvm/build-all/bin/opt -passes=function(instcombine) -disable-output bbi-69210.ll
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
../../master-github/llvm/build-all/bin/opt(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamEi+0x23)[0x2cb51a3]
../../master-github/llvm/build-all/bin/opt(_ZN4llvm3sys17RunSignalHandlersEv+0xee)[0x2cb2e1e]
../../master-github/llvm/build-all/bin/opt[0x2cb5526]
/lib64/libpthread.so.0(+0xf630)[0x7f9231331630]
/lib64/libc.so.6(gsignal+0x37)[0x7f922ea78387]
/lib64/libc.so.6(abort+0x148)[0x7f922ea79a78]
/lib64/libc.so.6(+0x2f1a6)[0x7f922ea711a6]
/lib64/libc.so.6(+0x2f252)[0x7f922ea71252]
../../master-github/llvm/build-all/bin/opt[0x234b44a]
../../master-github/llvm/build-all/bin/opt[0x275e83b]
../../master-github/llvm/build-all/bin/opt[0x277d3b8]
../../master-github/llvm/build-all/bin/opt[0x26e88ef]
../../master-github/llvm/build-all/bin/opt[0x26ebf62]
../../master-github/llvm/build-all/bin/opt(_ZN4llvm15InstCombinePass3runERNS_8FunctionERNS_15AnalysisManagerIS1_JEEE+0x42e)[0x26ea6ce]
../../master-github/llvm/build-all/bin/opt[0x2ff106d]
../../master-github/llvm/build-all/bin/opt(_ZN4llvm11PassManagerINS_8FunctionENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_+0x205)[0x246dcd5]
../../master-github/llvm/build-all/bin/opt[0xb0379d]
../../master-github/llvm/build-all/bin/opt(_ZN4llvm27ModuleToFunctionPassAdaptor3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE+0x29a)[0x24720da]
../../master-github/llvm/build-all/bin/opt[0xb0357d]
../../master-github/llvm/build-all/bin/opt(_ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_+0x208)[0x246ce68]
../../master-github/llvm/build-all/bin/opt(_ZN4llvm15runPassPipelineENS_9StringRefERNS_6ModuleEPNS_13TargetMachineEPNS_21TargetLibraryInfoImplEPNS_14ToolOutputFileES8_S8_S0_NS_8ArrayRefIS0_EENS9_INS_10PassPluginEEENS_8opt_tool10OutputKindENSD_12VerifierKindEbbbbb+0x3f9f)[0x78681f]
../../master-github/llvm/build-all/bin/opt(main+0x3fad)[0x79756d]
/lib64/libc.so.6(__libc_start_main+0xf5)[0x7f922ea64555]
../../master-github/llvm/build-all/bin/opt[0x781160]
Abort
[bbi-69210.ll.gz](https://github.com/llvm/llvm-project/files/8603176/bbi-69210.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1V1tz2joQ_jXmRQNjSb4-8ECCmXJO0maA6czpi0e216BT30aS09Jff1Z2ITS9N5wMMXi1-va-WmVtcZxX1WNN8raupXH4gvDAy32X8YLl4LhLx11soFNt0edAPkhzQJ6R3HaGTDuhNWiHLx3Gyr7JjWwbh0Wy0QYhM9mAw2JcI9NCapFVMG170_WGZJmcBjGj7qyqRryTMN1X5lKIVWo2c9iqkhk-1xt83LYoQDRGz_KuQwZGPc_yIdHInFiTLARfnBiJwxZfU5OPnRopezDb5KNB1b-912G3F6i7Ywcnata2lbURpS_QF8p6gDiBezt1eIKwlhdhkeUzYZuLSqit_ATr5kYaPS4Sh9-S3fGHPA4L8IOC2VbluyOpe42OBKJrUVWgiDmIhixBo0xStoqMFlHkd1hISiErKGajXx_uksU2IbrPMOxEkKzfEwVdqwwxLTkY02lrKlvhZ49R77MZxtMGwTph_JpiWvwLOYpYSa17TAO2IqIpiGzyqi8A9QGSK6EPJBP5e6NEDp_Fbw0SSNHX3TnSLi7FD6rdK1ETofZ9DRjfc_CHRy20ATUdFXpSJutlVUzRB_a3xPxbfZmb303MX8jKJ02H7Ec-oo911lakETVoDEYEje4VkGPbk4N4hCFPpiMTBlChO-yaIg-L3SuCYdFgBtdA8yhV21g7yaNQNmnu7t7ep9t_7m_e3K3fJZvUbkGyjUnXymYIDpbpkG6jfn_mHNQ6fffasyxcHzX1HxSiD7bubJiSzettSqkSH9JWGwWiTqTDbtyPjFvhvv2VZz4V3PGX11Qk3PTNVu4bUb3CTMKk1snjIBjgQjADCi8VfLLBx6I6QY1NJvDG784c0PJiptuZOxQg7igD7p4UCcuYcco5tbRvQ-R2MxZttNeDUQMGDy8RGIgw4lH4MwSRYXEO-6kXPQeIEeNnAGP8SiqC57uppf3abuazr3Zb2jWCwb3M88RVoEIfIp5dByoseBZdBSqAKILySlBZGbzY7U_FR_01dsbbsTM-YOPkqm-GLhCtPnfPsSf4C0zjo5b6XjRiD2q9pelfSZIM-eGxpyoNQAT5daq0LKkbFFc0lloLTwZ8YeOPTMT_0Sv4vtnydCwJ1z-b7AVFXvjXMDlzeRhf0WIW3uMEV8GuPVlqPbAoRGdadQ51MDL9QqBZLJ6sDplbXKVs0Wo__D_jfDLwD6IcXUQ5h-DFDeGy9FCcVfRBdlBh-Vn14q3BE3m_gfKLyDxYzfkOxyMw9yI_WG5LY3Sk3clMCXVcN2W7rrtq5Pd2OKK-GQacFY6AyTZK7cdNbeYvlBJHFLPG9wQlx6l1FHUHhap-L5vEktMIlU4NAlF3hPpbNgUuLFPK3oKSpQQ1kDL7N55zZVyeD4soiOiLWx-LamFfBnBRnMHj0L_oD985wdLUvqU40iuTnnFK_9l5Fni-f5UaDiNKg6fBYDGc36OC_s3loDnbf7JcLPrtsbvEcNqpOwpcTsPAqvAMF20bRE6KOS9iHouJkaaC-cVVxb-ZoYH-8oX3imHlt-6Ek15V8z-_auDkxqLJYZ65EHI_zgUA5diCKfYjN6IxuIXvejybVCKDSs_RUBTawAcyQFjt_eVEzpnLsIm7DCc57rmzOADKojLLo4CVPmaR5wJmSzWzesxatZ-o4co8xSuTxsVKaryGnhfRdpz0AAZxiC96vDSoeS3fC6gObYXT_mSQPx_0_w82pcrO">