https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64074
--- Comment #3 from Florian Miedniak <florian.miedniak at web dot de> --- (In reply to Florian Miedniak from comment #2) > Thanks for the hint! I had I try with GCC 4.7.3 again: > > powerpc-elf-eabi-gcc.exe -mcpu=8548 -c test.c -o test.o -mdouble-float > -mfloat-gprs=double -save-temps -v -mabi=spe > > but unfortunately this didn't change anything. Also, activating all SPE > related options I could find didn't work, either: > > powerpc-elf-eabi-gcc.exe -mcpu=8548 -c test.c -o test.o -mdouble-float > -mfloat-gprs=double -save-temps -v -mspe -mspe=yes -mabi=spe > > Any idea? My last comment wasn't totally correct: For GCC 4.7.3, using -mabi=spe isn't sufficient, it needs -mspe in addition to that. For GCC 4.8.2 it seems that -mabi=spe is sufficient.