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