On Wed, 5 Nov 2025, Michael Meissner wrote: > On Wed, Nov 05, 2025 at 10:02:05AM +0100, Jakub Jelinek wrote: > > On Wed, Nov 05, 2025 at 03:53:15AM -0500, Michael Meissner wrote: > > > This patch adds the necessary support in libgcc to allow using the machine > > > independent 16-bit floating point support. > > > > No exports from libgcc_s.so.1? Is that because it is an experimental > > feature so far, so you only want it in libgcc.a and not in libgcc.so? > > Good point. It is a work in progress. However, we probably need to > make sure the calling sequence is what we want before putting it into a > shared library.
The ABI for the new types (including types such as _Complex _Float16) definitely needs to be documented somewhere (for the various ABIs supported by the back end, both 32-bit and 64-bit) so that all implementations supporting those ABIs have a common reference for what argument passing and return for _Float16, _Complex _Float16 and the other types should look like. -- Joseph S. Myers [email protected]
