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

    <tr>
        <th>Summary</th>
        <td>
            "Expected implicit def/use" when passing a x86_fp80 constant as a stackmap live variable.
        </td>
    </tr>

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

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

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

<pre>
    ```
declare void @llvm.experimental.stackmap(i64, i32, ...)

define dso_local i32 @main(i32 %argc, i8** %argv) {
entry:
  call void (i64, i32, ...) @llvm.experimental.stackmap(i64 0, i32 0, x86_fp80 0xK1)
  ret i32 0
}
```

```
$ llc -O2 crash.ll 
llc: /home/vext01/research/llvm-project/llvm/lib/Target/X86/X86FloatingPoint.cpp:1031: void {anonymous}::FPS::handleCall(llvm::MachineBasicBlock::iterator&): Assertion `Op.isImplicit() && "Expected implicit def/use"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: llc -O2 crash.ll
1.      Running pass 'Function Pass Manager' on module 'crash.ll'.
2.      Running pass 'X86 FP Stackifier' on function '@main'
 #0 0x00005570c14dafc0 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x00005570c14d880c SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f148ae4e140 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14140)
 #3 0x00007f148a931ce1 raise ./signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #4 0x00007f148a91b537 abort ./stdlib/abort.c:81:7
 #5 0x00007f148a91b40f get_sysdep_segment_value ./intl/loadmsgcat.c:509:8
 #6 0x00007f148a91b40f _nl_load_domain ./intl/loadmsgcat.c:970:34
 #7 0x00007f148a92a662 (/lib/x86_64-linux-gnu/libc.so.6+0x34662)
 #8 0x00005570bfcd5dc6 (anonymous namespace)::FPS::handleSpecialFP(llvm::MachineInstrBundleIterator<llvm::MachineInstr, false>&) X86FloatingPoint.cpp:0:0
 #9 0x00005570bfcd6850 (anonymous namespace)::FPS::processBasicBlock(llvm::MachineFunction&, llvm::MachineBasicBlock&) (.constprop.0) X86FloatingPoint.cpp:0:0
#10 0x00005570bfcd87a7 (anonymous namespace)::FPS::runOnMachineFunction(llvm::MachineFunction&) (.part.0) X86FloatingPoint.cpp:0:0
#11 0x00005570c07127d0 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (/home/vext01/research/llvm-project/build/bin/llc+0x260a7d0)
#12 0x00005570c0c06b44 llvm::FPPassManager::runOnFunction(llvm::Function&) (/home/vext01/research/llvm-project/build/bin/llc+0x2afeb44)
#13 0x00005570c0c06d61 llvm::FPPassManager::runOnModule(llvm::Module&) (/home/vext01/research/llvm-project/build/bin/llc+0x2afed61)
#14 0x00005570c0c079f5 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/home/vext01/research/llvm-project/build/bin/llc+0x2aff9f5)
#15 0x00005570beae8f43 main (/home/vext01/research/llvm-project/build/bin/llc+0x9e0f43)
#16 0x00007f148a91cd0a __libc_start_main ./csu/../csu/libc-start.c:308:16
#17 0x00005570beb84dba _start (/home/vext01/research/llvm-project/build/bin/llc+0xa7cdba)
Aborted
```

This is on today's `main` on x86_64 Debian.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzFV0tv2zgQ_jX2hYhAveWDD3ESY4vdosamh70ZFEnZ3FKUQEpu8u93hpIfctw2XRS7gWJRFPnNN0-Oyka8LmcZHS_6OKP3QnLNrCSHRgkyS6jWhzqQL620qpamYzpwHeNfatbOokJlySx6ICqO8BYEwSxaDDBHsEoZSYRrtrrhTONKBK2ZMrgdn6KU2R33MMUsuodrnDsAGJnlqwEKZNvXWTwCEwJoeiR5m8d7yBM6bhsGL0W2rdqCEvrye3hShRAru3HRoFv-OA6mprs9GSVEa07uPkWEW-b2AfAeXsE0KAT81_umlnA7yJeOguC1lU4yy_cwRBXuWtv8LXk3PuJNlfD7GawkcfavIht-17phnTK7TaNMF_C2BQEhjUOUMxgrXzHTmNe66R3qAQaN79eb52GwZ0Zo-QCmBft4UX76I-N78OOKOcVX4Mgvw7TqpGVdY2dRhsYCEffOSdupxhDQ_1MbKPehbrXiCkgW3ie4NINb9ARe4Z0URI0rCAQLKNE7sAS4MScVU1qKYLDV5o-n--cn4vqyhqWMlP0O3NI2tiNdQ_Zd1zokFa3h2qlu35cBb-oLg03NqJzrpYMBAY2JMlz3QpJuLwcfkRKipLOMy1H8M4YNEX3dnkKQBsT_bWyzs6wm4Isegwx5vPH4sCUct_zZGwNOIi1zDmyRr3vDvdU2OPGRGbaTFk0AU3Ujei1x1QkrykdW0TfwIBDIekM8aVWpE1Z1lAPPpyzMxyifRTEGPoW_NM0pDxPBKk5BPwglD_UZDfKsdobp33ygAG6BUeXTdkGGV24MO-r_T9jhFXZRUE6uwUDSD4GiESivwqRgMpFhQsl2CykDoSi3EBA-1sYUwZTOkjutTP9ytzP98KLt9lYyEbgmgMRf0ZcwAZRzxoOYeCJmEYdchsQy5SSB6rJ2niIMAv_06oRsMZ56o16GiYMXBWIxn3FfgNmeYiqGZzHJVExYpnFOWIlx7YE7MejhpzxCgQgXTkuvERJaESgL24HU1skdhuX2wHQ_cAcrI3MoFaJ2O84G3JRiChdn4OwW8NboLW7cigbD5zt4ixwdFydnwHwKGLEsi97hLI5uyryb4gS2TNxUXIRVWXGRCo7lpTgVOWJYLV0LkTvUqLfl7hkKkWJ6vblV8z4Y19lVj-s-HMtd_HB7GR4hFcStnMVPQ00k3yjJVyG9uFIiK1L6biWgqHHp3EVxvqHGscJ4Wg_ke6V9IA4gUEBBK4BvMUneowumOb3SpchZ_m5dbG8-mTeUf6DOQLZlkB8_wXNSj2geRrmgb-1yFISF-YLiTW5vSf3UyV72Sgu8Y1FeY2-AER9llAGzc18F1KMJdU6zMkkuqK83yPZ4ivwvpFklgdOEdHxNWmThO0h_9MffNAbGqV9MGPhMCCdXhPNFlV4Q1nLH-OswvqCO_c6J_n9AuwJWE9rpZf5JJosqiYkv1b9G5kJSQJyIvD4ouKAMTmQs3Vvot223PR0V3PXHM3MY4qI7v8gfGjEt8HzMzuD5RJ-ySEQJ4H7HL9KI5RwwTxrd40krxXc6_M975Qhc0Eh1jWCv0EM5bHh9P5VRnB9OMvIoS8VMMBfLWCziBZt3qtNy-cP2l3zdS-PbOWzr2PnDxJdkZqADdjB9_JghWh3gi41ZxUotg3lv9fLft8RpmhbZfL-MeBrJPM9TviirLMwykUL3VcacipSlLJxrVkrtlrN0BZSN_Eo8BHbv6eNcLSMaRTQNF2GSZDQNQop9HwU1kyqPoDlIqASL6cB_pDV2N7dLTwlae4ffbsp17vwSbbEzUnpxgM_6bt_Y5eD1uZe89Mz_AZEvbfE">