Ошибка в компиляторе? Маловероятно, но…

А может это в инструкции было? Например в линуксе ядро не сохраняет fpu контекст, и код ядра должен оборачивать вычисления с плавающей точкой в kernel_fpu_begin()/kernel_fpu_end().

Каких граблей я в своё время только не насобирал делая маленький проектик для PIC-а. И проблемы с документацией к компилятору, и не очевидное поведение компилятора, даже аппаратные баги.
По каким-то неведомым причинам решили всё это писать с использованием компилятора C18. Так вот, очень часто встречалось, что пример из документации отказывался работать. При ближайшем рассмотрении кода примера выяснилось, что там проверяется условие, которое всегда ложно.
Или вот ещё, использовался PIC18F4431, там 8 каналов PWM, я использовал из них только 4, а оставшиеся пины хотел использовать как GPIO. Так эти пины во время работы PWM-а нельзя было установить в единицу. Пришлось лепить костыль: поставить подтяжки к питанию и дёргать TRIS-ы. Настраиваешь пин как вход — у тебя на выходе единица за счёт подтяжки, настраиваешь как выход — нуль. Мы долго смотрели в даташит, но нигде описания подобного поведения не обнаружили. Уж не знаю, может плохо смотрели.

Бывает что и компилятор глючит. Мы однажды ловили MSVS 2005 на том, что там BitConvert в C# неадекватно с 24 битными изображениями работает. Все остальные работали нормально, а та же процедура работала нормально на 2008 студии. Пришлось работать через 32битные…

вроде под cortex r4f есть gcc

На архитектуре x86 тоже такое бывает, если пользоваться MMX одновременно с командами плавающей точки и не использовать инструкцию emms, которая очищает контекст FPU.