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

     1  (module
     2    (type (func))
     3    (func (export "i8x16s") (type 0)
     4      v128.const i8x16 0x0 0xff 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0 0x0
     5      i8x16.extract_lane_s 1 ;; uint32(int8(0xff)) = 0xffff_ffff
     6       ;; if the signed extend is 64-bit, then the offset 0xffff_ffff_ffff_ffff + 1= 0 and not result in out of bounds.
     7      v128.load32_zero offset=1 align=1
     8      unreachable)
     9    (func (export "i16x8s") (type 0)
    10      v128.const i16x8 0x0 0xffff 0x0 0x0 0x0 0x0 0x0 0x0
    11      i16x8.extract_lane_s 1 ;; uint32(int16(0xffff)) = 0xffff_ffff
    12       ;; if the signed extend is 64-bit, then the offset 0xffff_ffff_ffff_ffff + 1= 0 and not result in out of bounds.
    13      v128.load32_zero offset=1 align=1
    14      unreachable)
    15    (memory 1 1)
    16  )