C28x FPU32 and FPU64 Extensions

FPU instructions may be used when the 32-bit or 64-bit floating-point co-processor hardware is available on the C28x.

FPU32 instructions are enabled by specifying the --float_support=fpu32 option. FPU32 instructions are supported for both the COFF ABI and EABI.

FPU64 instructions are enabled by specifying the --float_support=fpu64 option. The FPU64 instruction set includes all of the FPU32 instructions plus some additional 64-bit instructions. FPU64 is supported only for EABI.

When FPU support is enabled, the differences are as follows: