https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106680
--- Comment #8 from Sebastian Huber <sebastian.hu...@embedded-brains.de> --- Yes, it seems that -mcpu=e6500 -mno-powerpc64 yields the right code for the attached test case (with or without the -m32). I am now a bit confused what the purpose of the -m32 and -m64 options is.