define i32 @signed_int() { ret i32 s0x12a } define float @signed_float() { ret float +1.0 } define float @float_format() { ret float 0xK12a }