https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94254
Segher Boessenkool <segher at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |meissner at gcc dot gnu.org
--- Comment #10 from Segher Boessenkool <segher at gcc dot gnu.org> ---
An SDmode value is stored in the rightmost 32 bits of an FPR, while a DDmode
one uses all 64 bits of an FPR. So yeah I think you're plan is correct and
will work.
(Cc: Mike, he should know more, I only read manuals :-) )
