]>
Commit | Line | Data |
---|---|---|
abe05a73 XL |
1 | (assert_invalid |
2 | (module (func (param i32) (result i32) (set_local 0 (i32.const 1)))) | |
3 | "type mismatch" | |
4 | ) | |
5 | (assert_invalid | |
6 | (module (func (param i64) (result i64) (set_local 0 (i64.const 1)))) | |
7 | "type mismatch" | |
8 | ) | |
9 | (assert_invalid | |
10 | (module (func (param f32) (result f32) (set_local 0 (f32.const 1)))) | |
11 | "type mismatch" | |
12 | ) | |
13 | (assert_invalid | |
14 | (module (func (param f64) (result f64) (set_local 0 (f64.const 1)))) | |
15 | "type mismatch" | |
16 | ) | |
17 | ||
18 | (assert_invalid | |
19 | (module (memory 1) (func (param i32) (result i32) (i32.store (i32.const 0) (i32.const 1)))) | |
20 | "type mismatch" | |
21 | ) | |
22 | (assert_invalid | |
23 | (module (memory 1) (func (param i64) (result i64) (i64.store (i32.const 0) (i64.const 1)))) | |
24 | "type mismatch" | |
25 | ) | |
26 | (assert_invalid | |
27 | (module (memory 1) (func (param f32) (result f32) (f32.store (i32.const 0) (f32.const 1)))) | |
28 | "type mismatch" | |
29 | ) | |
30 | (assert_invalid | |
31 | (module (memory 1) (func (param f64) (result f64) (f64.store (i32.const 0) (f64.const 1)))) | |
32 | "type mismatch" | |
33 | ) | |
34 | ||
35 | (assert_invalid | |
36 | (module (memory 1) (func (param i32) (result i32) (i32.store8 (i32.const 0) (i32.const 1)))) | |
37 | "type mismatch" | |
38 | ) | |
39 | (assert_invalid | |
40 | (module (memory 1) (func (param i32) (result i32) (i32.store16 (i32.const 0) (i32.const 1)))) | |
41 | "type mismatch" | |
42 | ) | |
43 | (assert_invalid | |
44 | (module (memory 1) (func (param i64) (result i64) (i64.store8 (i32.const 0) (i64.const 1)))) | |
45 | "type mismatch" | |
46 | ) | |
47 | (assert_invalid | |
48 | (module (memory 1) (func (param i64) (result i64) (i64.store16 (i32.const 0) (i64.const 1)))) | |
49 | "type mismatch" | |
50 | ) | |
51 | (assert_invalid | |
52 | (module (memory 1) (func (param i64) (result i64) (i64.store32 (i32.const 0) (i64.const 1)))) | |
53 | "type mismatch" | |
54 | ) | |
55 |