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

     1  (module
     2    (type (;0;) (func (param f64 v128 i32) (result i64)))
     3    (func (;0;) (type 0) (param f64 v128 i32) (result i64)
     4      (local v128 v128 f64 f64)
     5      local.get 1
     6      i64x2.abs
     7      v128.const i32x4 0xffff6824 0xffff6262 0xffffffff 0x363636ff
     8      f64x2.floor
     9      local.tee 3
    10      v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000
    11      local.get 3
    12      local.get 3
    13      f64x2.eq
    14      v128.bitselect
    15      f64x2.floor
    16      local.tee 4
    17      v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000
    18      local.get 4
    19      local.get 4
    20      f64x2.eq
    21      v128.bitselect
    22      i8x16.le_s
    23      local.get 0
    24      f64.sqrt
    25      local.tee 5
    26      f64.const nan (;=NaN;)
    27      local.get 5
    28      local.get 5
    29      f64.eq
    30      select
    31      f64.sqrt
    32      local.tee 6
    33      f64.const nan (;=NaN;)
    34      local.get 6
    35      local.get 6
    36      f64.eq
    37      select
    38      local.tee 0
    39      i64.trunc_sat_f64_u
    40      i64.const 3906369100484640767
    41      i64.le_u
    42      f32.convert_i32_s
    43      i64.trunc_f32_s
    44      i64.extend16_s
    45      f64.reinterpret_i64
    46      i32.trunc_f64_u
    47      i32.const 50282532
    48      global.get 0
    49      i32.xor
    50      global.set 0
    51      global.get 0
    52      i32.xor
    53      global.set 0
    54      global.get 1
    55      v128.xor
    56      global.set 1
    57      i64.const 36
    58    )
    59    (global (;0;) (mut i32) i32.const 0)
    60    (global (;1;) (mut v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000)
    61    (global (;2;) (mut i32) i32.const 1000)
    62    (export "" (func 0))
    63    (export "1" (global 0))
    64    (export "2" (global 1))
    65  )