b158666f2b
- Move spec_testsuite and misc_testsuite under the tests directory. - Remove some redundant tests from filetests. - Move wat tests to wat/tests.
68 lines
1.3 KiB
Plaintext
68 lines
1.3 KiB
Plaintext
(module
|
|
(memory 1 1)
|
|
(func (export "load_oob")
|
|
i32.const 65536
|
|
i32.load
|
|
drop
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "load_oob") "out of bounds memory access")
|
|
(assert_trap (invoke "load_oob") "out of bounds memory access")
|
|
|
|
(module
|
|
(memory 1 1)
|
|
(func (export "store_oob")
|
|
i32.const 65536
|
|
i32.const 65536
|
|
i32.store
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "store_oob") "out of bounds memory access")
|
|
(assert_trap (invoke "store_oob") "out of bounds memory access")
|
|
|
|
(module
|
|
(memory 0 0)
|
|
(func (export "load_oob_0")
|
|
i32.const 0
|
|
i32.load
|
|
drop
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "load_oob_0") "out of bounds memory access")
|
|
(assert_trap (invoke "load_oob_0") "out of bounds memory access")
|
|
|
|
(module
|
|
(memory 0 0)
|
|
(func (export "store_oob_0")
|
|
i32.const 0
|
|
i32.const 0
|
|
i32.store
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "store_oob_0") "out of bounds memory access")
|
|
(assert_trap (invoke "store_oob_0") "out of bounds memory access")
|
|
|
|
(module
|
|
(func (export "divbyzero") (result i32)
|
|
i32.const 1
|
|
i32.const 0
|
|
i32.div_s
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "divbyzero") "integer divide by zero")
|
|
(assert_trap (invoke "divbyzero") "integer divide by zero")
|
|
|
|
(module
|
|
(func (export "unreachable")
|
|
(unreachable)
|
|
)
|
|
)
|
|
|
|
(assert_trap (invoke "unreachable") "unreachable")
|
|
(assert_trap (invoke "unreachable") "unreachable")
|