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

    <tr>
        <th>Summary</th>
        <td>
            aaarch64: there is no way to use the FPU on a softfloat target without creating an ABI mess
        </td>
    </tr>

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

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

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

<pre>
    On aarch64, if one is building for a softfloat target (in Rust that's e.g. the target aarch64-unknown-none-softfloat, which in particular sets `-neon,-fp-armv8` target features by default), there seems to be no way to build some code that does make use of the FPU while remaining ABI-compatible with the rest of the binary: to enable use of the FPU, we have to set `+fp-armv8`, but this will inevitably also change which registers are being used to pass float arguments around.

On other targets, one can have the target do something like set `+soft-float`, so even if someone now enables e.g. SSE features on x86 or `fpregs` on ARM, code will be built with the softfloat ABI and thus be compatible with this target. But aarch64 doesn't seem to have something like `+soft-float`, meaning it is impossible to disentangle the float ABI from whether FPU instructions can be used.

Is there a specific reason this is currently not possible on aarch64, or is it just that nobody implemented this yet? Or am I missing some other way to generate aarch64 code that uses the FPU but uses a softfloat ABI?
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0VN2O4rgSfhpzUwIFkwlwkQt65iD1kVa96tE-gJNUEk87NnKVYXn7VZkA3TvaG1CS8uf6fqoMkR08Yq2-vahvPxYm8Rhi_W5c___kh0UTumv95sGY2I5VqfR3sD0Ej2AJmmRdZ_0AfYhggELPvQuGgU0ckEHpnfXwnoiBR8NKbwlwNayAR7zXzMDL5D98uPilDx6XDyS57zLadgTr4WQi2zY5E4GQCVRVLD0Gr_T3ZX9amjidd6oq7sg9Gk4RCZordNib5FjpvSDyiBGBECcCDtAg-AAXc80PwgkoTAht6DA3Dl1Agsl8ICRCCH0mcPzzL-nNIUScjPUixOHlddmG6WTYNg7hYnnMtRGJ7-ca6028qs1BrkNvpPArbGaNMJozSg2JlFWh9MsnllLTJBHWElysc2A9ni2bxl3BOArQjsYPOMsXcbDEGAlMRGhQmk2EneCfDBHcjDNxSBN6lrKQfLdSxQ9VHG6_bx6CSDcLTNKCJKE1fu71aWsXsoY8ykXOfuAnFuLu8mbvjQcFwDN6SZYcEkwfLrM2c2R-_vzf09Hg4e9dBSEKYn-KOJAYHzwc3v8QxGxdVqXBbCk_vXjG9PDyCsZ3wGMiKfzdOUszoRW8pEdYcx680lvOIRINM_9_Mf4PthOanBXLMkN2OgWifCcH6CyhZ-MHd1Pz2WcfwwSXEbMBEj3riWNq2QZP2YImx-irZa80h90AnbC1vW0hoqHgb-QsQZtiRM_uCj4wPJoJX2Y-xNwrw6_7MIMPshukf4cSGcmSQF6R1eYIbxHMBK8wWSJhmyfqFp950gb0GA3jQ9XnvCVCesyYpDy_MF-tU5vjoqs33X6zNwus11u93VZlUZWLsd72faX7Sm-avmw2u3Wz2xd9WeG2NPtK73YLW-tCl-uiWBeV3pblqsB9UxW47vuybbv9WpWFTLVbOXeeViEOC0uUsF6vi2qjF8406ChvTa09XiB_VVrLEo21HFo2aSBVFs4S0xOGLTuszV1cWQPZIUuftpDsgzt_ceL33SoBDYmhjWhYBDY-52RCokWKrh6ZT6Q2B6WPSh8Hy2NqVm2YlD5KL_Pf8hTDL2xZ6WNmQEofZ4rnWv8TAAD__8NcFjg">