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

     1  (module
     2    (func (export "i32.extend16_s")
     3      i32.const 0xffff
     4      ;; if this extends to 64 bit, the bit pattern of the value has all bits set
     5      i32.extend16_s
     6      ;; then plus one to it results in zero offset.
     7      v128.load16x4_u offset=1 align=1
     8      unreachable
     9    )
    10    (func (export "i32.extend8_s")
    11      i32.const 0xff
    12      ;; if this extends to 64 bit, the bit pattern of the value has all bits set
    13      i32.extend8_s
    14      ;; then plus one to it results in zero offset.
    15      v128.load16x4_u offset=1 align=1
    16      unreachable
    17    )
    18    (memory 1 1)
    19  )