Я пытаюсь заставить FPU FPv5-DP-D16-M двойной точности работать на ARM Cortex-M7f с компилятором arm-none-eabi-gcc. На основе документации < / a>, похоже, у меня есть два варианта включения FPU: -mfpu=fpv5-d16
и -mfpu=fpv5-sp-d16
. «Fpv5» довольно понятен, а «d16» (как упомянуто в документации и в других вопросах StackOverflow) просто указывает на то, что существует эквивалент 16 регистров двойной точности вместо номинальных 32 регистров. Из-за отсутствия чего-либо еще, что имеет смысл, я предполагаю, что «sp» означает «одинарная точность», что означает, что fpv5-d16
- это тот вариант, который мне нужен.
Однако я не могу найти никакой документации, которая явно подтверждает это. Правильно ли мой вывод и почему нет опции / псевдонима fpv5-dp-d16
, как в лязг?