Mientras intentaba utilizar el programa de Atmel Biblioteca ASF dicen
- __FPU_PRESENT: Inicializar la macro __FPU_PRESENT = 1 cuando se construye en objetivos con soporte FPU. Habilitar esta macro para las bibliotecas M4bf y M4lf
Así que supongo que tengo que comprobar el hoja de datos si mi uC, ATSAM4S16C AU tiene una unidad de punto flotante y si es así, definir la macro antes de incluir la cabecera 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 | Suma en coma flotante
Sin embargo, no se indican ciclos de reloj. Buscando en el documento FPU o F32 no se obtiene nada. Comprobando la instrucción, sólo se documenta ADD, no VADD.32. Así que no sé si esto se calcula en hardware o en software (en libm.a).
¿Cómo puedo saber si el SAM4 tiene una FPU?