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

     1  (module
     2    (type (;0;) (func (result f64)))
     3    (func (;0;) (type 0) (result f64)
     4      (local i32)
     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      ref.null extern
    15      v128.const i32x4 0xb1b1ffff 0xb1b1b0b1 0xb1b1b1b1 0xffffffb1
    16      i32x4.bitmask
    17      global.get 0
    18      i32.xor
    19      global.set 0
    20      drop
    21      f64.const 0x1.000ffffff0914p+1 (;=2.0004882812219282;)
    22    )
    23    (memory (;0;) 10 10)
    24    (global (;0;) (mut i32) i32.const 0)
    25    (global (;1;) (mut i32) i32.const 1000)
    26    (export "" (func 0))
    27    (export "1" (memory 0))
    28    (export "2" (global 0))
    29  )