diff options
Diffstat (limited to 'test/spec/memory_copy.txt')
| -rw-r--r-- | test/spec/memory_copy.txt | 230 |
1 files changed, 230 insertions, 0 deletions
diff --git a/test/spec/memory_copy.txt b/test/spec/memory_copy.txt new file mode 100644 index 00000000..e37ca6e5 --- /dev/null +++ b/test/spec/memory_copy.txt @@ -0,0 +1,230 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/memory_copy.wast +(;; STDOUT ;;; +test() => +test() => +test() => +test() => +test() => +test() => +test() => +test() => +out/test/spec/memory_copy.wast:350: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:711: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:1073: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:1434: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:1796: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:2157: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:2518: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:2879: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:3240: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:3601: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:3962: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:4316: assert_invalid passed: + error: memory variable out of range: 0 (max 0) + 000002d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4322: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, f32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4329: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, i64] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4336: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, f64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4343: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4350: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, f32] + 0000039: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4357: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i64] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4364: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, f64] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4371: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, i32] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4378: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, f32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4385: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, i64] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4392: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, f64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4399: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i32] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4406: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, f32] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4413: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4420: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, f64] + 0000041: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4427: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4434: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, f32] + 0000039: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4441: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i64] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4448: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, f64] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4455: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, i32] + 0000039: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4462: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, f32] + 000003c: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4469: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, i64] + 0000039: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4476: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, f64] + 0000040: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4483: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, i32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4490: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, f32] + 0000039: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4497: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, i64] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4504: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, f64] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4511: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, i32] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4518: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, f32] + 0000040: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4525: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, i64] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4532: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, f64] + 0000044: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4539: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, i32] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4546: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, f32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4553: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, i64] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4560: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, f64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4567: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, i32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4574: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, f32] + 0000039: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4581: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, i64] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4588: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, f64] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4595: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i32] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4602: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, f32] + 0000036: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4609: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i64] + 0000033: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4616: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, f64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4623: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, i32] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4630: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, f32] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4637: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, i64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4644: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, f64] + 0000041: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4651: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, i32] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4658: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, f32] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4665: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, i64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4672: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, f64] + 0000041: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4679: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, i32] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4686: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, f32] + 0000040: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4693: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, i64] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4700: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, f64] + 0000044: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4707: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, i32] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4714: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, f32] + 000003d: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4721: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, i64] + 000003a: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4728: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, f64] + 0000041: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4735: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, i32] + 0000041: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4742: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, f32] + 0000044: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4749: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, i64] + 0000041: error: OnMemoryCopyExpr callback failed +out/test/spec/memory_copy.wast:4756: assert_invalid passed: + error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, f64] + 0000048: error: OnMemoryCopyExpr callback failed +test() => +test() => +out/test/spec/memory_copy.wast:4819: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:4825: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:4831: assert_trap passed: out of bounds memory access: memory.copy out of bound +out/test/spec/memory_copy.wast:4837: assert_trap passed: out of bounds memory access: memory.copy out of bound +test() => +test() => +out/test/spec/memory_copy.wast:4873: assert_trap passed: out of bounds memory access: memory.copy out of bound +test() => +out/test/spec/memory_copy.wast:4885: assert_trap passed: out of bounds memory access: memory.copy out of bound +test() => +out/test/spec/memory_copy.wast:4897: assert_trap passed: out of bounds memory access: memory.copy out of bound +test() => +4417/4417 tests passed. +;;; STDOUT ;;) |