https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65325
--- Comment #8 from Stephane Cerveau <[email protected]> --- Created attachment 34973 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34973&action=edit assembly code This is the version with float casting
