http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47847
--- Comment #1 from Sebastian Huber <sebastian.hu...@embedded-brains.de> 2011-02-22 15:55:29 UTC --- Adding the -mspe (in addition to -mabi=spe) option helped. It seems that only few combinations of the -mcpu=8520, -mfloat-gprs=*, -mspe, and -mabi=spe flags are well tested in GCC. The following combinations worked: (1) -mcpu=8540 -msoft-float (2) -mcpu=8540 -mspe -mabi=spe -mfloat-gprs=single (3) -mcpu=8540 -mspe -mabi=spe -mfloat-gprs=double