Not documented as of GCC 8.2, but possible: https://stackoverflow.com/questions/53960240/armv8-floating-point-output-inline-assembly
userland/arch/arm/inline_asm/inc_float.c
userland/arch/aarch64/inline_asm/inc_float.c