https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79357
--- Comment #1 from Raphael C <drraph at gmail dot com> ---
I omitted
.L_2il0floatpacket.1:
.long 0x40000000,0x40000000,0x00000000,0x00000000
.long 0x40000000,0x00000000
from the assembly. In other words it just multiplies by 2.0f.