github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/fuzzcases/testdata/2009.wat (about)

     1  (module
     2    (func (result i32)
     3      f32.const -0x1.e1d94ap+60 (;=-2170054000000000000;)
     4      f32.const 0x1p+0 (;=1;)
     5      f32.ge
     6      f32.convert_i32_u
     7      f32.const -0x1.f74b1p+36 (;=-135101740000;)
     8      f32.const -0x1.f74b1p+36 (;=-135101740000;)
     9      f32.ge
    10      f32.convert_i32_u
    11      f32.const 0.0
    12      f32.ge
    13      f32.convert_i32_u
    14      f32.const 0.0
    15      f32.ge
    16      f32.convert_i32_u
    17      f32.const 0x1.28608ep-26 (;=0.000000017251422;)
    18      f32.ge
    19      f32.convert_i32_u
    20      f32.const 0.0
    21      f32.ge
    22      f32.convert_i32_u
    23      i32.const 0
    24      f32.convert_i32_u
    25      f32.ge
    26      f32.convert_i32_u
    27      f32.const 0.0
    28      f32.ge
    29      f32.convert_i32_u
    30      f32.const 0x1p+0 (;=1;)
    31      f32.ge
    32      f32.convert_i32_u
    33      f32.const 0x1p+0 (;=1;)
    34      f32.ge
    35      f32.convert_i32_u
    36      f32.const 0.0
    37      f32.ge
    38      f32.convert_i32_u
    39      f32.const 0.0
    40      f32.ge
    41      f32.convert_i32_u
    42      f32.const 0.0
    43      f32.ge
    44      f32.convert_i32_u
    45      f32.const 0.0
    46      f32.ge
    47      f32.convert_i32_u
    48      f32.trunc
    49      global.set 2
    50      global.get 2
    51      f32.const 0x1p+0 (;=1;)
    52      i32.const 1
    53      select
    54      f32.const 0.0
    55      f32.copysign
    56      global.set 1
    57      global.get 1
    58      i64.trunc_f32_s
    59      global.set 0
    60      i32.reinterpret_f32
    61    )
    62    (global (;0;) (mut i64) i64.const 0)
    63    (global (;1;) (mut f32) f32.const 2)
    64    (global (;2;) (mut f32) f32.const 2)
    65    (global (;1;) (mut i32) i32.const 2) ;; dummy
    66    (export "" (func 0))
    67  )