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

    <tr>
        <th>Summary</th>
        <td>
            [X86] Call result #3 has unhandled type f16
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    Consider the following code

```llvm-ir
declare <4 x half> @foo()
declare void @use(<4 x half>)

define void @boo() noinline optnone {
  %v = call <4 x half> @foo()
  call void @use(<4 x half> %v)
  ret void
}
```

that hits UNREACHABLE when compiled with the following command
```bash
$ llc -mcpu=corei7-avx test.ll -o -

Call result #3 has unhandled type f16
UNREACHABLE executed at /root/llvm-project/llvm/lib/CodeGen/CallingConvLower.cpp:172!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/llc -o /app/output.s -x86-asm-syntax=intel -mcpu=corei7-avx <source>
1.      Running pass 'Function Pass Manager' on module '<source>'.
2.      Running pass 'X86 DAG->DAG Instruction Selection' on function '@boo'
 #0 0x0000000003a01548 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x3a01548)
 #1 0x00000000039fec9c SignalHandler(int) Signals.cpp:0:0
 #2 0x000070ba28c42520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x000070ba28c969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x000070ba28c42476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x000070ba28c287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x000000000394fb3a (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x394fb3a)
 #7 0x0000000002803063 llvm::CCState::AnalyzeCallResult(llvm::SmallVectorImpl<llvm::ISD::InputArg> const&, bool (*)(unsigned int, llvm::MVT, llvm::MVT, llvm::CCValAssign::LocInfo, llvm::ISD::ArgFlagsTy, llvm::CCState&)) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2803063)
 #8 0x000000000211168f (anonymous namespace)::X86FastISel::fastLowerCall(llvm::FastISel::CallLoweringInfo&) X86FastISel.cpp:0:0
 #9 0x000000000366b734 llvm::FastISel::lowerCallTo(llvm::FastISel::CallLoweringInfo&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x366b734)
#10 0x000000000366c9a2 llvm::FastISel::lowerCall(llvm::CallInst const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x366c9a2)
#11 0x00000000036724c9 llvm::FastISel::selectCall(llvm::User const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x36724c9)
#12 0x000000000366d23c llvm::FastISel::selectOperator(llvm::User const*, unsigned int) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x366d23c)
#13 0x0000000003674661 llvm::FastISel::selectInstruction(llvm::Instruction const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x3674661)
#14 0x00000000037c27e2 llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x37c27e2)
#15 0x00000000037c4308 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x37c4308)
#16 0x00000000037b54ff llvm::SelectionDAGISelLegacy::runOnMachineFunction(llvm::MachineFunction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x37b54ff)
#17 0x00000000029f2a59 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (.part.0) MachineFunctionPass.cpp:0:0
#18 0x0000000002fbe363 llvm::FPPassManager::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2fbe363)
#19 0x0000000002fbe5a1 llvm::FPPassManager::runOnModule(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2fbe5a1)
#20 0x0000000002fbee05 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2fbee05)
#21 0x00000000008381cc compileModule(char**, llvm::LLVMContext&) llc.cpp:0:0
#22 0x000000000072e0ee main (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x72e0ee)
#23 0x000070ba28c29d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#24 0x000070ba28c29e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#25 0x000000000082ecee _start (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x82ecee)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```

Compiler explorer link: https://godbolt.org/z/8W3Psdq55

It started to crash somewhere in between LLVM 14 and 15. It looks like this was introduced by https://github.com/llvm/llvm-project/commit/f18794816270244f9942e9217b96e23a94a7f32c

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMmF1T4zjWxz-NcqNKypbfL3JhEsJQBc9QnR6evqNk-Tj2IkteSYYwn35LtgNRYJpmN7O1FBBHL-f8_jp686FaNzsBsETRBYrWM9qbWqql6FXbP9a0BSOfZoUsX5YrKXRTgsKmBlxJzuVzI3aYyRKQt0ZePv2PvfGX86d23qixtATGqQKMglWI97imvELBJUahV0mJSIpI5jZ8kk1pq3sNttrp9tr40KVqxFuP4mAQC9kIbqtkZ4QUgFFyMXbBGJHoCaNgjRnl_HMsPLb7GdVg8qiDAjO0n1CT9cn4HEswNTW4bozGf_zft8t89Vt-cXOJn2sQmMm2aziU-Lkx9buxb1sqyhPDBdX1VERCzDnD85Z1PQrWTCpokjl92mMD2iw4x3OJ58ckKytTge65wYgEAa6pxr2oqSgthHnpAFd-PDY-hoU9sN5AiantuFFSGkQ2wyTolPwHsMNX-9EUiGxWsoQrEPaJct6I3UqKpxv5DGrBug4FuZ8QRPzR1d3NZb69xLov2sZgiot-hxV0UhlsJK6N6TQKckQ2iGx2jan7YsFke-TSBWm07kEjssFUlLgRjPclDKPLFNU1Lih7NIoyWIzut4ayR1z2reUai7wF8rI7JXeKtpiqXd-CMBbCyped9TLFTs1h33GpQNkyTsVuTrUGZRop9NyoXjwisikaMXAyGxNENrTrrKHedL1ZaDzfp_Gc6nauX4ShexSsG2GAfxRbFKy07BUDu1YGVt-yfuuFsLOmo1pjRJJNL5hFwHe24JYKurOECZYCt7LsOdhWjjGSTONBPjL4I43xOr-ao-BynV_ha6GN6kcXW-AwPE32q4Nv62Fas8m0chAJPOztvcNPQD0_ClM8RDLIUZDrFz0-3KlGmCE2322wEEnfGin6_CC1UUBbRGJEVrgRxm4Lw7r-jyKEyIW3n7DeVjwige9wZxWwjOFtsxOU_zasIIVIOmGMxXqa697w92qITIYSr6AkZSGJiDeBj4tnn8YPcTjnjej3853oxwq20HIRD3hDFwcucG1mcVYx3JlaAS0fHhu7DX7FwdDfcRCeQodJjHd60PlV-DCJHduRa5ukSRVgWtj1_yXLQ0fHcuzGLKyKgJ5tjozmHH_JsT-SeoEXB0dze7XaGmpg_JILyl_-BLs_fhv2ZGeGb1vK-T0wI9V123EUrN7qrrfr6UF0vcnVzp5QTAptpsVQSDkFJbd4JO3FcBMox2WyOkK6vf_-ScFqdU95PlwlxoIbya5FJd1Wr0y52m043envL6dmRu1kiP35luo0yk4YUicMvu_HaWX9USHFSyt7jQVtQXfDtpKNfD_SeEO1ud4CHwsqqs1wYtkIObFx29nqoV0jduO4WIX4yN7H20DmzM04LpIgxH_lhB9Avsuvo5xrwo-Mbzc0EvjeiQiWUfK5CEeCLbDHyWEG5-dFtkQOsruPxwkJWfaXyHo4294x_6FB_T28A47DS06GuCQB-4T39w4UNVL9jHmF3U3hnGNuER0NwcmYh3Hsf6Lh6IbhyDi-efw9EbBwDn3o0CeMJHA8yV_vP-v86k3FWJpzfkF1wy64ZI_aXbqHa9Lbzn0-FSOkoyI6UREGXvqpCtWL38UtZXUj4ADsqHhXd2YZltKR4R7pSRGFVfUTGTewo-zlf0PMwOqIce8LWUVodLwXnfDYu_yRkg8lvGdfdFSZhb0u4g_svT-bLJd7gFYFBM49ZnNnux7eKr5MdJZjf4RyRjM7pY6o_wvUt8P7kDsRpqJzE0fU2VmId0oMXnREzI8m7xH7eCGc-P8r3OBFDrdzhnppkPqMHbIZr8PJaqqGzTl3b4I3N_e3KykM7A-7Hufsw3lInLPPSwh4ALiljTiXuNGko-3kVYpkZfbF17Ohi2MzPLUJoYcfHmy3B22oMg9Hon7ZC4Sul8iNCgEGgEf75xqv0eir10OKxIBqG0HNIZU1vheiIMfb66vt5dX9lICaHGMFplcCStvCD7KfZM9euxxYMW_Eo-13kheSZSG5WUi1Q2TzJyKb9P-DO13-M4qOzV0bPIwHlNjIKR-kZQvPNSjAjcAFmGcAge0kxX44pJD8aIGvDeZSPmrMm0fApm40fqbaXp2ULHsGJS5evp6qYrJtG_tQ-WmShakfk8QjYVhlWUggI35SZDGQgGYhTaqAsFHFrFwGZRZkdAZLP_FT4mdB7M_qJfVKQogfVkWS-mEUpkHpV1kEvp-GaRhGs2ZJPBJ6sU_8zMuIv_CKxI9owUgBQKOIoNCDljZ8YUntaM6GdNoyi0jmzzgtgOshn0yIgGc8VCJCULSeqeWgruh3GoUeb7TRb1ZMY_iQiP6Rxiha41_MRc56xZf_fgZwpH5akn8FAAD__5eh-vQ">