https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88877
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |ABI --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Can you provide what the ABI says here? >From my memory it says it sign extended into 64bits but I could be wrong. I know the AARCH64 ABI says the top 32bits are undefined but that is not the powerpc64 ABI.