https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64074
--- Comment #2 from Florian Miedniak <florian.miedniak at web dot de> --- 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?