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.