github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/fuzzcases/testdata/1797a.wat (about)

     1  (module
     2    (type (;0;) (func (param i32) (result i32 i32 i32)))
     3    (type (;1;) (func (param i32 i32)))
     4    (type (;2;) (func (result i32)))
     5    (type (;3;) (func))
     6    (func (;0;) (type 2) (result i32)
     7      (local v128)
     8      i32.const -353703190
     9      i8x16.splat
    10      f32x4.floor
    11      local.tee 0
    12      v128.const i32x4 0x7fc00000 0x7fc00000 0x7fc00000 0x7fc00000
    13      local.get 0
    14      local.get 0
    15      f32x4.eq
    16      v128.bitselect
    17      i64x2.extend_low_i32x4_s
    18      i64x2.neg
    19      f64x2.extract_lane 0
    20      i32.trunc_f64_s
    21      f64.convert_i32_u
    22      i32.trunc_f64_s
    23      f64.convert_i32_u
    24      i32.trunc_f64_s
    25      f64.convert_i32_u
    26      i32.trunc_f64_s
    27      f64.convert_i32_u
    28      i32.trunc_f64_s
    29      f64.convert_i32_u
    30      i32.trunc_f64_s
    31      f64.convert_i32_u
    32      i32.trunc_f64_s
    33      f64.convert_i32_u
    34      i32.trunc_f64_s
    35      f64.convert_i32_u
    36      i32.trunc_f64_s
    37      f64.convert_i32_u
    38      i32.trunc_f64_s
    39      f64.convert_i32_u
    40      i32.trunc_f64_s
    41      f64.convert_i32_u
    42      i32.trunc_f64_s
    43      f64.convert_i32_u
    44      i32.trunc_f64_s
    45      f64.convert_i32_u
    46      i32.trunc_f64_s
    47      f64.convert_i32_u
    48      i32.trunc_f64_s
    49      f64.convert_i32_u
    50      i32.trunc_f64_s
    51      f64.convert_i32_u
    52      i32.trunc_f64_s
    53      i64.const -709973716250918950
    54      i32.wrap_i64
    55      i8x16.splat
    56      i32.const -353703190
    57      i8x16.shl
    58      f64x2.neg
    59      global.get 0
    60      v128.xor
    61      global.set 0
    62    )
    63    (global (;0;) (mut v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000)
    64    (global (;1;) (mut i32) i32.const 1000)
    65    (export "" (func 0))
    66    (export "1" (global 0))
    67  )