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

     1  (module
     2    (type (;0;) (func (param f64 f64)))
     3    (func (;0;) (type 0) (param f64 f64)
     4      global.get 1
     5      i32.eqz
     6      if  ;; label = @1
     7        unreachable
     8      end
     9      global.get 1
    10      i32.const 1
    11      i32.sub
    12      global.set 1
    13      unreachable
    14      loop  ;; label = @1
    15        global.get 1
    16        i32.eqz
    17        if  ;; label = @2
    18          unreachable
    19        end
    20        global.get 1
    21        i32.const 1
    22        i32.sub
    23        global.set 1
    24        v128.const i32x4 0x40400200 0xff404040 0x0001ffff 0x00000000
    25        global.get 0
    26        v128.xor
    27        global.set 0
    28      end
    29    )
    30    (table (;0;) 1000 1000 funcref)
    31    (global (;0;) (mut v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000)
    32    (global (;1;) (mut i32) i32.const 1000)
    33    (export "\00\00\02\00" (func 0))
    34    (export "" (table 0))
    35    (export "2" (global 0))
    36  )