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

     1  (module
     2    (type (;0;) (func (param funcref funcref f32)))
     3    (func (;0;) (type 0) (param funcref funcref f32)
     4      (local v128)
     5      global.get 1
     6      i32.eqz
     7      if  ;; label = @1
     8        unreachable
     9      end
    10      global.get 1
    11      i32.const 1
    12      i32.sub
    13      global.set 1
    14      v128.const i32x4 0x0145ff40 0x45ffffff 0xffff4545 0xffffffff
    15      f32x4.trunc
    16      local.tee 3
    17      v128.const i32x4 0x7fc00000 0x7fc00000 0x7fc00000 0x7fc00000
    18      local.get 3
    19      local.get 3
    20      f32x4.eq
    21      v128.bitselect
    22      global.get 0
    23      v128.xor
    24      global.set 0
    25    )
    26    (global (;0;) (mut v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000)
    27    (global (;1;) (mut i32) i32.const 1000)
    28    (export "" (func 0))
    29    (export "1" (global 0))
    30  )