Al intentar utilizar la biblioteca ASF de Atmel, dicen
- __FPU_PRESENT: Inicialice la macro __FPU_PRESENT = 1 al compilar los objetivos compatibles con FPU. Habilite esta macro para las bibliotecas M4bf y M4lf
Supongo que necesito consultar el hoja de datos si mi uC, ATSAM4S16C AU tiene una unidad de punto flotante y, de ser así, define la macro antes de incluir el encabezado dentro de mi proyecto.
Pero no puedo entender la hoja de datos. La sección 12.4.6 enumera entradas como
VADD.F32 | {Sd,} Sn, Sm | Añadir punto flotante
Sin embargo, no se indican ciclos de reloj. La búsqueda en el documento de FPU o F32 no produce nada. Comprobando la instrucción, solo se documenta ADD, no VADD.32. Por lo tanto, no sé si esto se computa en hardware o en software (en libm.a).
¿Cómo puedo saber si el SAM4 tiene una FPU?