Skip to content

Commit 9f1f480

Browse files
sunfishcodesunfishcode
committed
Update tests.
1 parent 758c134 commit 9f1f480

File tree

386 files changed

+1013
-3724
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

386 files changed

+1013
-3724
lines changed

‎tests/disas/arith.wat

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -15,11 +15,6 @@
1515
)
1616

1717
;; function u0:0(i64 vmctx, i64) tail {
18-
;; gv0 = vmctx
19-
;; gv1 = load.i64 notrap aligned readonly gv0+8
20-
;; gv2 = load.i64 notrap aligned gv1+16
21-
;; stack_limit = gv2
22-
;;
2318
;; block0(v0: i64, v1: i64):
2419
;; @001f v2 = iconst.i32 0
2520
;; @0021 v3 = iconst.i32 4

‎tests/disas/basic-wat-test.wat

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,8 @@
1111

1212
;; function u0:0(i64 vmctx, i64, i32, i32) -> i32 tail {
1313
;; gv0 = vmctx
14-
;; gv1 = load.i64 notrap aligned readonly gv0+8
15-
;; gv2 = load.i64 notrap aligned gv1+16
16-
;; gv3 = vmctx
17-
;; gv4 = load.i64 notrap aligned gv3+72
18-
;; gv5 = load.i64 notrap aligned readonly can_move checked gv3+64
19-
;; stack_limit = gv2
14+
;; gv1 = load.i64 notrap aligned gv0+72
15+
;; gv2 = load.i64 notrap aligned readonly can_move checked gv0+64
2016
;;
2117
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
2218
;; @0021 v5 = uextend.i64 v2

‎tests/disas/br_table.wat

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -32,11 +32,6 @@
3232
)
3333

3434
;; function u0:0(i64 vmctx, i64) -> i32 tail {
35-
;; gv0 = vmctx
36-
;; gv1 = load.i64 notrap aligned readonly gv0+8
37-
;; gv2 = load.i64 notrap aligned gv1+16
38-
;; stack_limit = gv2
39-
;;
4035
;; block0(v0: i64, v1: i64):
4136
;; @0021 v6 = iconst.i32 42
4237
;; @0023 v7 = iconst.i32 0
@@ -68,11 +63,6 @@
6863
;; }
6964
;;
7065
;; function u0:1(i64 vmctx, i64) -> i32 tail {
71-
;; gv0 = vmctx
72-
;; gv1 = load.i64 notrap aligned readonly gv0+8
73-
;; gv2 = load.i64 notrap aligned gv1+16
74-
;; stack_limit = gv2
75-
;;
7666
;; block0(v0: i64, v1: i64):
7767
;; @0037 v6 = iconst.i32 42
7868
;; @0039 v7 = iconst.i32 0
@@ -104,11 +94,6 @@
10494
;; }
10595
;;
10696
;; function u0:2(i64 vmctx, i64) -> i32 tail {
107-
;; gv0 = vmctx
108-
;; gv1 = load.i64 notrap aligned readonly gv0+8
109-
;; gv2 = load.i64 notrap aligned gv1+16
110-
;; stack_limit = gv2
111-
;;
11297
;; block0(v0: i64, v1: i64):
11398
;; @0049 v4 = iconst.i32 42
11499
;; @004b v5 = iconst.i32 0
@@ -128,11 +113,6 @@
128113
;; }
129114
;;
130115
;; function u0:3(i64 vmctx, i64) -> i32 tail {
131-
;; gv0 = vmctx
132-
;; gv1 = load.i64 notrap aligned readonly gv0+8
133-
;; gv2 = load.i64 notrap aligned gv1+16
134-
;; stack_limit = gv2
135-
;;
136116
;; block0(v0: i64, v1: i64):
137117
;; @0059 v4 = iconst.i32 42
138118
;; @005b v5 = iconst.i32 0

‎tests/disas/byteswap.wat

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -72,11 +72,6 @@
7272
)
7373

7474
;; function u0:0(i64 vmctx, i64, i32) -> i32 tail {
75-
;; gv0 = vmctx
76-
;; gv1 = load.i64 notrap aligned readonly gv0+8
77-
;; gv2 = load.i64 notrap aligned gv1+16
78-
;; stack_limit = gv2
79-
;;
8075
;; block0(v0: i64, v1: i64, v2: i32):
8176
;; @0057 jump block1
8277
;;
@@ -86,11 +81,6 @@
8681
;; }
8782
;;
8883
;; function u0:1(i64 vmctx, i64, i64) -> i64 tail {
89-
;; gv0 = vmctx
90-
;; gv1 = load.i64 notrap aligned readonly gv0+8
91-
;; gv2 = load.i64 notrap aligned gv1+16
92-
;; stack_limit = gv2
93-
;;
9484
;; block0(v0: i64, v1: i64, v2: i64):
9585
;; @00ad jump block1
9686
;;

‎tests/disas/call-simd.wat

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -16,13 +16,9 @@
1616
)
1717

1818
;; function u0:0(i64 vmctx, i64) tail {
19-
;; gv0 = vmctx
20-
;; gv1 = load.i64 notrap aligned readonly gv0+8
21-
;; gv2 = load.i64 notrap aligned gv1+16
2219
;; sig0 = (i64 vmctx, i64, i8x16, i8x16) -> i8x16 tail
2320
;; fn0 = colocated u0:1 sig0
2421
;; const0 = 0x00000004000000030000000200000001
25-
;; stack_limit = gv2
2622
;;
2723
;; block0(v0: i64, v1: i64):
2824
;; @0021 v2 = vconst.i8x16 const0
@@ -35,11 +31,6 @@
3531
;; }
3632
;;
3733
;; function u0:1(i64 vmctx, i64, i8x16, i8x16) -> i8x16 tail {
38-
;; gv0 = vmctx
39-
;; gv1 = load.i64 notrap aligned readonly gv0+8
40-
;; gv2 = load.i64 notrap aligned gv1+16
41-
;; stack_limit = gv2
42-
;;
4334
;; block0(v0: i64, v1: i64, v2: i8x16, v3: i8x16):
4435
;; @004f v5 = bitcast.i32x4 little v2
4536
;; @004f v6 = bitcast.i32x4 little v3

‎tests/disas/call.wat

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,8 @@
1212
)
1313

1414
;; function u0:0(i64 vmctx, i64) tail {
15-
;; gv0 = vmctx
16-
;; gv1 = load.i64 notrap aligned readonly gv0+8
17-
;; gv2 = load.i64 notrap aligned gv1+16
1815
;; sig0 = (i64 vmctx, i64) -> i32 tail
1916
;; fn0 = colocated u0:1 sig0
20-
;; stack_limit = gv2
2117
;;
2218
;; block0(v0: i64, v1: i64):
2319
;; @001f v2 = iconst.i32 0
@@ -30,11 +26,6 @@
3026
;; }
3127
;;
3228
;; function u0:1(i64 vmctx, i64) -> i32 tail {
33-
;; gv0 = vmctx
34-
;; gv1 = load.i64 notrap aligned readonly gv0+8
35-
;; gv2 = load.i64 notrap aligned gv1+16
36-
;; stack_limit = gv2
37-
;;
3829
;; block0(v0: i64, v1: i64):
3930
;; @002b v3 = iconst.i32 1
4031
;; @002d jump block1

‎tests/disas/dead-code.wat

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -22,11 +22,6 @@
2222
i32.const 42)
2323
)
2424
;; function u0:0(i64 vmctx, i64, i32) tail {
25-
;; gv0 = vmctx
26-
;; gv1 = load.i64 notrap aligned readonly gv0+8
27-
;; gv2 = load.i64 notrap aligned gv1+16
28-
;; stack_limit = gv2
29-
;;
3025
;; block0(v0: i64, v1: i64, v2: i32):
3126
;; @0023 jump block2
3227
;;
@@ -47,11 +42,6 @@
4742
;; }
4843
;;
4944
;; function u0:1(i64 vmctx, i64, i32) tail {
50-
;; gv0 = vmctx
51-
;; gv1 = load.i64 notrap aligned readonly gv0+8
52-
;; gv2 = load.i64 notrap aligned gv1+16
53-
;; stack_limit = gv2
54-
;;
5545
;; block0(v0: i64, v1: i64, v2: i32):
5646
;; @0032 jump block2
5747
;;
@@ -60,11 +50,6 @@
6050
;; }
6151
;;
6252
;; function u0:2(i64 vmctx, i64) tail {
63-
;; gv0 = vmctx
64-
;; gv1 = load.i64 notrap aligned readonly gv0+8
65-
;; gv2 = load.i64 notrap aligned gv1+16
66-
;; stack_limit = gv2
67-
;;
6853
;; block0(v0: i64, v1: i64):
6954
;; @003f jump block1
7055
;;
@@ -73,11 +58,6 @@
7358
;; }
7459
;;
7560
;; function u0:3(i64 vmctx, i64, i32) -> i32 tail {
76-
;; gv0 = vmctx
77-
;; gv1 = load.i64 notrap aligned readonly gv0+8
78-
;; gv2 = load.i64 notrap aligned gv1+16
79-
;; stack_limit = gv2
80-
;;
8161
;; block0(v0: i64, v1: i64, v2: i32):
8262
;; @0042 v4 = iconst.i32 1
8363
;; @0044 return v4 ; v4 = 1

‎tests/disas/duplicate-loads-dynamic-memory.wat

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -24,12 +24,8 @@
2424

2525
;; function u0:0(i64 vmctx, i64, i32) -> i32, i32 tail {
2626
;; gv0 = vmctx
27-
;; gv1 = load.i64 notrap aligned readonly gv0+8
28-
;; gv2 = load.i64 notrap aligned gv1+16
29-
;; gv3 = vmctx
30-
;; gv4 = load.i64 notrap aligned gv3+72
31-
;; gv5 = load.i64 notrap aligned can_move checked gv3+64
32-
;; stack_limit = gv2
27+
;; gv1 = load.i64 notrap aligned gv0+72
28+
;; gv2 = load.i64 notrap aligned can_move checked gv0+64
3329
;;
3430
;; block0(v0: i64, v1: i64, v2: i32):
3531
;; @0057 v6 = load.i64 notrap aligned v0+72
@@ -48,12 +44,8 @@
4844
;;
4945
;; function u0:1(i64 vmctx, i64, i32) -> i32, i32 tail {
5046
;; gv0 = vmctx
51-
;; gv1 = load.i64 notrap aligned readonly gv0+8
52-
;; gv2 = load.i64 notrap aligned gv1+16
53-
;; gv3 = vmctx
54-
;; gv4 = load.i64 notrap aligned gv3+72
55-
;; gv5 = load.i64 notrap aligned can_move checked gv3+64
56-
;; stack_limit = gv2
47+
;; gv1 = load.i64 notrap aligned gv0+72
48+
;; gv2 = load.i64 notrap aligned can_move checked gv0+64
5749
;;
5850
;; block0(v0: i64, v1: i64, v2: i32):
5951
;; @0064 v6 = load.i64 notrap aligned v0+72

‎tests/disas/duplicate-loads-static-memory.wat

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -19,12 +19,8 @@
1919

2020
;; function u0:0(i64 vmctx, i64, i32) -> i32, i32 tail {
2121
;; gv0 = vmctx
22-
;; gv1 = load.i64 notrap aligned readonly gv0+8
23-
;; gv2 = load.i64 notrap aligned gv1+16
24-
;; gv3 = vmctx
25-
;; gv4 = load.i64 notrap aligned gv3+72
26-
;; gv5 = load.i64 notrap aligned readonly can_move checked gv3+64
27-
;; stack_limit = gv2
22+
;; gv1 = load.i64 notrap aligned gv0+72
23+
;; gv2 = load.i64 notrap aligned readonly can_move checked gv0+64
2824
;;
2925
;; block0(v0: i64, v1: i64, v2: i32):
3026
;; @0057 v6 = load.i64 notrap aligned readonly can_move checked v0+64
@@ -39,12 +35,8 @@
3935
;;
4036
;; function u0:1(i64 vmctx, i64, i32) -> i32, i32 tail {
4137
;; gv0 = vmctx
42-
;; gv1 = load.i64 notrap aligned readonly gv0+8
43-
;; gv2 = load.i64 notrap aligned gv1+16
44-
;; gv3 = vmctx
45-
;; gv4 = load.i64 notrap aligned gv3+72
46-
;; gv5 = load.i64 notrap aligned readonly can_move checked gv3+64
47-
;; stack_limit = gv2
38+
;; gv1 = load.i64 notrap aligned gv0+72
39+
;; gv2 = load.i64 notrap aligned readonly can_move checked gv0+64
4840
;;
4941
;; block0(v0: i64, v1: i64, v2: i32):
5042
;; @0064 v6 = load.i64 notrap aligned readonly can_move checked v0+64

‎tests/disas/dynamic-memory-no-spectre-access-same-index-different-offsets.wat

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -37,12 +37,8 @@
3737

3838
;; function u0:0(i64 vmctx, i64, i32) -> i32, i32, i32 tail {
3939
;; gv0 = vmctx
40-
;; gv1 = load.i64 notrap aligned readonly gv0+8
41-
;; gv2 = load.i64 notrap aligned gv1+16
42-
;; gv3 = vmctx
43-
;; gv4 = load.i64 notrap aligned gv3+72
44-
;; gv5 = load.i64 notrap aligned can_move checked gv3+64
45-
;; stack_limit = gv2
40+
;; gv1 = load.i64 notrap aligned gv0+72
41+
;; gv2 = load.i64 notrap aligned can_move checked gv0+64
4642
;;
4743
;; block0(v0: i64, v1: i64, v2: i32):
4844
;; @0047 v7 = load.i64 notrap aligned v0+72
@@ -70,12 +66,8 @@
7066
;;
7167
;; function u0:1(i64 vmctx, i64, i32, i32, i32, i32) tail {
7268
;; gv0 = vmctx
73-
;; gv1 = load.i64 notrap aligned readonly gv0+8
74-
;; gv2 = load.i64 notrap aligned gv1+16
75-
;; gv3 = vmctx
76-
;; gv4 = load.i64 notrap aligned gv3+72
77-
;; gv5 = load.i64 notrap aligned can_move checked gv3+64
78-
;; stack_limit = gv2
69+
;; gv1 = load.i64 notrap aligned gv0+72
70+
;; gv2 = load.i64 notrap aligned can_move checked gv0+64
7971
;;
8072
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32, v5: i32):
8173
;; @005d v7 = load.i64 notrap aligned v0+72

‎tests/disas/dynamic-memory-yes-spectre-access-same-index-different-offsets.wat

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -33,12 +33,8 @@
3333

3434
;; function u0:0(i64 vmctx, i64, i32) -> i32, i32, i32 tail {
3535
;; gv0 = vmctx
36-
;; gv1 = load.i64 notrap aligned readonly gv0+8
37-
;; gv2 = load.i64 notrap aligned gv1+16
38-
;; gv3 = vmctx
39-
;; gv4 = load.i64 notrap aligned gv3+72
40-
;; gv5 = load.i64 notrap aligned can_move checked gv3+64
41-
;; stack_limit = gv2
36+
;; gv1 = load.i64 notrap aligned gv0+72
37+
;; gv2 = load.i64 notrap aligned can_move checked gv0+64
4238
;;
4339
;; block0(v0: i64, v1: i64, v2: i32):
4440
;; @0047 v7 = load.i64 notrap aligned v0+72
@@ -68,12 +64,8 @@
6864
;;
6965
;; function u0:1(i64 vmctx, i64, i32, i32, i32, i32) tail {
7066
;; gv0 = vmctx
71-
;; gv1 = load.i64 notrap aligned readonly gv0+8
72-
;; gv2 = load.i64 notrap aligned gv1+16
73-
;; gv3 = vmctx
74-
;; gv4 = load.i64 notrap aligned gv3+72
75-
;; gv5 = load.i64 notrap aligned can_move checked gv3+64
76-
;; stack_limit = gv2
67+
;; gv1 = load.i64 notrap aligned gv0+72
68+
;; gv2 = load.i64 notrap aligned can_move checked gv0+64
7769
;;
7870
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32, v5: i32):
7971
;; @005d v7 = load.i64 notrap aligned v0+72

‎tests/disas/epoch-interruption-x86.wat

Lines changed: 13 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -7,12 +7,7 @@
77
;; wasm[0]::function[0]:
88
;; pushq %rbp
99
;; movq %rsp, %rbp
10-
;; movq 8(%rdi), %r10
11-
;; movq 0x10(%r10), %r10
12-
;; addq $0x30, %r10
13-
;; cmpq %rsp, %r10
14-
;; ja 0x7e
15-
;; 19: subq $0x20, %rsp
10+
;; subq $0x20, %rsp
1611
;; movq %r13, (%rsp)
1712
;; movq %r14, 8(%rsp)
1813
;; movq %r15, 0x10(%rsp)
@@ -22,18 +17,17 @@
2217
;; movq %rdi, %r15
2318
;; movq 8(%r13), %rax
2419
;; cmpq %rax, %rcx
25-
;; jae 0x57
26-
;; 46: movq (%r14), %r11
20+
;; jae 0x42
21+
;; 31: movq (%r14), %r11
2722
;; cmpq %rax, %r11
28-
;; jae 0x64
29-
;; jmp 0x46
30-
;; 57: movq %r15, %rdi
31-
;; callq 0xf5
32-
;; jmp 0x46
33-
;; 64: movq 8(%r13), %rax
23+
;; jae 0x4f
24+
;; jmp 0x31
25+
;; 42: movq %r15, %rdi
26+
;; callq 0xee
27+
;; jmp 0x31
28+
;; 4f: movq 8(%r13), %rax
3429
;; cmpq %rax, %r11
35-
;; jb 0x46
36-
;; 71: movq %r15, %rdi
37-
;; callq 0xf5
38-
;; jmp 0x46
39-
;; 7e: ud2
30+
;; jb 0x31
31+
;; 5c: movq %r15, %rdi
32+
;; callq 0xee
33+
;; jmp 0x31

‎tests/disas/epoch-interruption.wat

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,9 @@
66

77
;; function u0:0(i64 vmctx, i64) tail {
88
;; gv0 = vmctx
9-
;; gv1 = load.i64 notrap aligned readonly gv0+8
10-
;; gv2 = load.i64 notrap aligned gv1+16
11-
;; gv3 = vmctx
12-
;; gv4 = load.i64 notrap aligned readonly can_move gv3+8
9+
;; gv1 = load.i64 notrap aligned readonly can_move gv0+8
1310
;; sig0 = (i64 vmctx) -> i64 tail
1411
;; fn0 = colocated u1:16 sig0
15-
;; stack_limit = gv2
1612
;;
1713
;; block0(v0: i64, v1: i64):
1814
;; @0016 v3 = load.i64 notrap aligned v0+32

‎tests/disas/f32-load.wat

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -8,12 +8,8 @@
88

99
;; function u0:0(i64 vmctx, i64, i32) -> f32 tail {
1010
;; gv0 = vmctx
11-
;; gv1 = load.i64 notrap aligned readonly gv0+8
12-
;; gv2 = load.i64 notrap aligned gv1+16
13-
;; gv3 = vmctx
14-
;; gv4 = load.i64 notrap aligned gv3+72
15-
;; gv5 = load.i64 notrap aligned readonly can_move checked gv3+64
16-
;; stack_limit = gv2
11+
;; gv1 = load.i64 notrap aligned gv0+72
12+
;; gv2 = load.i64 notrap aligned readonly can_move checked gv0+64
1713
;;
1814
;; block0(v0: i64, v1: i64, v2: i32):
1915
;; @002e v4 = uextend.i64 v2

0 commit comments

Comments
 (0)