+++ /dev/null
-module test
-
-import StdInt
-
-Start = convert_float_in_int_to_real
- ((convert_real_to_float_in_int 3936146074321813505.0) bitand 0xffffffff )
-
-convert_real_to_float_in_int :: !Real -> Int;
-convert_real_to_float_in_int r = code {
-| cvtsd2ss %xmm0,%xmm0
- instruction 242
- instruction 15
- instruction 90
- instruction 192
-};
-
-convert_float_in_int_to_real :: !Int -> Real;
-convert_float_in_int_to_real r = code {
-.d 0 1 r
- jmp _convert_float_in_int_to_real_
-.o 0 1 r
- :_convert_float_in_int_to_real_
-| cvtss2ds %xmm0,%xmm0
- instruction 243
- instruction 15
- instruction 90
- instruction 192
-};