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

     1  (module
     2    (func
     3      i32.const 0
     4      ;; The ceil of the load operation equals 65528 + 8(=this loads 64-bit = 8 bytes).
     5      ;; Therefore, this shouldn't result in out of bounds.
     6      v128.load64_zero offset=65528
     7  
     8      i32.const 0
     9      ;; The ceil of the load operation equals 65532 + 4(=this loads 32-bit = 4 bytes).
    10      ;; Therefore, this shouldn't result in out of bounds.
    11      v128.load32_zero offset=65532
    12  
    13      ;; Drop the loaded values as they are unneede for tests.
    14      drop
    15      drop
    16    )
    17    (memory 1 1)
    18    (export "v128.load_zero on the ceil" (func 0))
    19  )