Skip to content

Commit fd44e1a

Browse files
fitzgenfitzgen
committed
update disas tests
1 parent 4539476 commit fd44e1a

19 files changed

+298
-298
lines changed

‎tests/disas/gc/drc/array-fill.wat‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i64, v5: i32):
2020
;; @0027 trapz v2, user16
2121
;; @0027 v10 = uextend.i64 v2
22-
;; @0027 v11 = iconst.i64 16
23-
;; @0027 v12 = uadd_overflow_trap v10, v11, user1 ; v11 = 16
22+
;; @0027 v11 = iconst.i64 24
23+
;; @0027 v12 = uadd_overflow_trap v10, v11, user1 ; v11 = 24
2424
;; @0027 v13 = iconst.i64 4
2525
;; @0027 v14 = uadd_overflow_trap v12, v13, user1 ; v13 = 4
2626
;; @0027 v9 = load.i64 notrap aligned readonly can_move v0+48
@@ -40,10 +40,10 @@
4040
;; @0027 trapnz v23, user1
4141
;; v58 = iconst.i32 3
4242
;; v59 = ishl v17, v58 ; v58 = 3
43-
;; @0027 v25 = iconst.i32 24
44-
;; @0027 v26 = uadd_overflow_trap v59, v25, user1 ; v25 = 24
43+
;; @0027 v25 = iconst.i32 32
44+
;; @0027 v26 = uadd_overflow_trap v59, v25, user1 ; v25 = 32
4545
;; v66 = ishl v3, v58 ; v58 = 3
46-
;; v68 = iadd v66, v25 ; v25 = 24
46+
;; v68 = iadd v66, v25 ; v25 = 32
4747
;; @0027 v35 = uextend.i64 v68
4848
;; @0027 v36 = uadd_overflow_trap v10, v35, user1
4949
;; @0027 v37 = uextend.i64 v26

‎tests/disas/gc/drc/array-get-s.wat‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
2020
;; @0022 trapz v2, user16
2121
;; @0022 v9 = uextend.i64 v2
22-
;; @0022 v10 = iconst.i64 16
23-
;; @0022 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 16
22+
;; @0022 v10 = iconst.i64 24
23+
;; @0022 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 24
2424
;; @0022 v12 = iconst.i64 4
2525
;; @0022 v13 = uadd_overflow_trap v11, v12, user1 ; v12 = 4
2626
;; @0022 v8 = load.i64 notrap aligned readonly can_move v0+48
@@ -35,9 +35,9 @@
3535
;; v41 = iconst.i64 32
3636
;; @0022 v21 = ushr v19, v41 ; v41 = 32
3737
;; @0022 trapnz v21, user1
38-
;; @0022 v23 = iconst.i32 20
39-
;; @0022 v24 = uadd_overflow_trap v16, v23, user1 ; v23 = 20
40-
;; @0022 v27 = iadd v3, v23 ; v23 = 20
38+
;; @0022 v23 = iconst.i32 28
39+
;; @0022 v24 = uadd_overflow_trap v16, v23, user1 ; v23 = 28
40+
;; @0022 v27 = iadd v3, v23 ; v23 = 28
4141
;; @0022 v33 = uextend.i64 v27
4242
;; @0022 v34 = uadd_overflow_trap v9, v33, user1
4343
;; @0022 v35 = uextend.i64 v24

‎tests/disas/gc/drc/array-get-u.wat‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
2020
;; @0022 trapz v2, user16
2121
;; @0022 v9 = uextend.i64 v2
22-
;; @0022 v10 = iconst.i64 16
23-
;; @0022 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 16
22+
;; @0022 v10 = iconst.i64 24
23+
;; @0022 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 24
2424
;; @0022 v12 = iconst.i64 4
2525
;; @0022 v13 = uadd_overflow_trap v11, v12, user1 ; v12 = 4
2626
;; @0022 v8 = load.i64 notrap aligned readonly can_move v0+48
@@ -35,9 +35,9 @@
3535
;; v41 = iconst.i64 32
3636
;; @0022 v21 = ushr v19, v41 ; v41 = 32
3737
;; @0022 trapnz v21, user1
38-
;; @0022 v23 = iconst.i32 20
39-
;; @0022 v24 = uadd_overflow_trap v16, v23, user1 ; v23 = 20
40-
;; @0022 v27 = iadd v3, v23 ; v23 = 20
38+
;; @0022 v23 = iconst.i32 28
39+
;; @0022 v24 = uadd_overflow_trap v16, v23, user1 ; v23 = 28
40+
;; @0022 v27 = iadd v3, v23 ; v23 = 28
4141
;; @0022 v33 = uextend.i64 v27
4242
;; @0022 v34 = uadd_overflow_trap v9, v33, user1
4343
;; @0022 v35 = uextend.i64 v24

‎tests/disas/gc/drc/array-get.wat‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
2020
;; @0022 trapz v2, user16
2121
;; @0022 v9 = uextend.i64 v2
22-
;; @0022 v10 = iconst.i64 16
23-
;; @0022 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 16
22+
;; @0022 v10 = iconst.i64 24
23+
;; @0022 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 24
2424
;; @0022 v12 = iconst.i64 4
2525
;; @0022 v13 = uadd_overflow_trap v11, v12, user1 ; v12 = 4
2626
;; @0022 v8 = load.i64 notrap aligned readonly can_move v0+48
@@ -39,10 +39,10 @@
3939
;; @0022 trapnz v21, user1
4040
;; v51 = iconst.i32 3
4141
;; v52 = ishl v16, v51 ; v51 = 3
42-
;; @0022 v23 = iconst.i32 24
43-
;; @0022 v24 = uadd_overflow_trap v52, v23, user1 ; v23 = 24
42+
;; @0022 v23 = iconst.i32 32
43+
;; @0022 v24 = uadd_overflow_trap v52, v23, user1 ; v23 = 32
4444
;; v59 = ishl v3, v51 ; v51 = 3
45-
;; @0022 v27 = iadd v59, v23 ; v23 = 24
45+
;; @0022 v27 = iadd v59, v23 ; v23 = 32
4646
;; @0022 v33 = uextend.i64 v27
4747
;; @0022 v34 = uadd_overflow_trap v9, v33, user1
4848
;; @0022 v35 = uextend.i64 v24

‎tests/disas/gc/drc/array-len.wat‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919
;; block0(v0: i64, v1: i64, v2: i32):
2020
;; @001f trapz v2, user16
2121
;; @001f v8 = uextend.i64 v2
22-
;; @001f v9 = iconst.i64 16
23-
;; @001f v10 = uadd_overflow_trap v8, v9, user1 ; v9 = 16
22+
;; @001f v9 = iconst.i64 24
23+
;; @001f v10 = uadd_overflow_trap v8, v9, user1 ; v9 = 24
2424
;; @001f v11 = iconst.i64 4
2525
;; @001f v12 = uadd_overflow_trap v10, v11, user1 ; v11 = 4
2626
;; @001f v7 = load.i64 notrap aligned readonly can_move v0+48

‎tests/disas/gc/drc/array-new-fixed.wat‎

Lines changed: 26 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -19,33 +19,34 @@
1919
;; stack_limit = gv2
2020
;;
2121
;; block0(v0: i64, v1: i64, v2: i64, v3: i64, v4: i64):
22-
;; v43 = iconst.i64 0
23-
;; @0025 trapnz v43, user18 ; v43 = 0
24-
;; @0025 v6 = iconst.i32 24
25-
;; @0025 v12 = uadd_overflow_trap v6, v6, user18 ; v6 = 24, v6 = 24
26-
;; @0025 v14 = iconst.i32 -1476395008
27-
;; @0025 v15 = iconst.i32 0
28-
;; @0025 v16 = iconst.i32 8
29-
;; @0025 v17 = call fn0(v0, v14, v15, v12, v16) ; v14 = -1476395008, v15 = 0, v16 = 8
22+
;; v45 = iconst.i64 0
23+
;; @0025 trapnz v45, user18 ; v45 = 0
24+
;; @0025 v6 = iconst.i32 32
25+
;; v46 = iconst.i32 24
26+
;; @0025 v12 = uadd_overflow_trap v6, v46, user18 ; v6 = 32, v46 = 24
27+
;; @0025 v15 = iconst.i32 -1476395008
28+
;; @0025 v13 = iconst.i32 0
29+
;; @0025 v18 = iconst.i32 8
30+
;; @0025 v19 = call fn0(v0, v15, v13, v12, v18) ; v15 = -1476395008, v13 = 0, v18 = 8
3031
;; @0025 v7 = iconst.i32 3
31-
;; @0025 v20 = load.i64 notrap aligned readonly can_move v0+40
32-
;; @0025 v18 = ireduce.i32 v17
33-
;; @0025 v21 = uextend.i64 v18
34-
;; @0025 v22 = iadd v20, v21
35-
;; v33 = iconst.i64 16
36-
;; @0025 v23 = iadd v22, v33 ; v33 = 16
37-
;; @0025 store notrap aligned v7, v23 ; v7 = 3
38-
;; v35 = iconst.i64 24
39-
;; v50 = iadd v22, v35 ; v35 = 24
40-
;; @0025 store notrap aligned little v2, v50
41-
;; v32 = iconst.i64 32
42-
;; v57 = iadd v22, v32 ; v32 = 32
43-
;; @0025 store notrap aligned little v3, v57
44-
;; v59 = iconst.i64 40
45-
;; v65 = iadd v22, v59 ; v59 = 40
46-
;; @0025 store notrap aligned little v4, v65
32+
;; @0025 v22 = load.i64 notrap aligned readonly can_move v0+40
33+
;; @0025 v20 = ireduce.i32 v19
34+
;; @0025 v23 = uextend.i64 v20
35+
;; @0025 v24 = iadd v22, v23
36+
;; v37 = iconst.i64 24
37+
;; @0025 v25 = iadd v24, v37 ; v37 = 24
38+
;; @0025 store notrap aligned v7, v25 ; v7 = 3
39+
;; v34 = iconst.i64 32
40+
;; v59 = iadd v24, v34 ; v34 = 32
41+
;; @0025 store notrap aligned little v2, v59
42+
;; v61 = iconst.i64 40
43+
;; v67 = iadd v24, v61 ; v61 = 40
44+
;; @0025 store notrap aligned little v3, v67
45+
;; v69 = iconst.i64 48
46+
;; v75 = iadd v24, v69 ; v69 = 48
47+
;; @0025 store notrap aligned little v4, v75
4748
;; @0029 jump block1
4849
;;
4950
;; block1:
50-
;; @0029 return v18
51+
;; @0029 return v20
5152
;; }

‎tests/disas/gc/drc/array-new.wat‎

Lines changed: 32 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -20,46 +20,45 @@
2020
;;
2121
;; block0(v0: i64, v1: i64, v2: i64, v3: i32):
2222
;; @0022 v6 = uextend.i64 v3
23-
;; v35 = iconst.i64 3
24-
;; v36 = ishl v6, v35 ; v35 = 3
25-
;; v33 = iconst.i64 32
26-
;; @0022 v8 = ushr v36, v33 ; v33 = 32
23+
;; v37 = iconst.i64 3
24+
;; v38 = ishl v6, v37 ; v37 = 3
25+
;; v35 = iconst.i64 32
26+
;; @0022 v8 = ushr v38, v35 ; v35 = 32
2727
;; @0022 trapnz v8, user18
28-
;; @0022 v5 = iconst.i32 24
29-
;; v42 = iconst.i32 3
30-
;; v43 = ishl v3, v42 ; v42 = 3
31-
;; @0022 v10 = uadd_overflow_trap v5, v43, user18 ; v5 = 24
32-
;; @0022 v12 = iconst.i32 -1476395008
33-
;; @0022 v13 = iconst.i32 0
34-
;; v40 = iconst.i32 8
35-
;; @0022 v15 = call fn0(v0, v12, v13, v10, v40) ; v12 = -1476395008, v13 = 0, v40 = 8
36-
;; @0022 v18 = load.i64 notrap aligned readonly can_move v0+40
37-
;; @0022 v16 = ireduce.i32 v15
38-
;; @0022 v19 = uextend.i64 v16
39-
;; @0022 v20 = iadd v18, v19
40-
;; v34 = iconst.i64 16
41-
;; @0022 v21 = iadd v20, v34 ; v34 = 16
42-
;; @0022 store notrap aligned v3, v21
43-
;; v47 = iconst.i64 24
44-
;; v53 = iadd v20, v47 ; v47 = 24
45-
;; @0022 v27 = uextend.i64 v10
46-
;; @0022 v28 = iadd v20, v27
47-
;; v32 = iconst.i64 8
48-
;; @0022 jump block2(v53)
28+
;; @0022 v5 = iconst.i32 32
29+
;; v44 = iconst.i32 3
30+
;; v45 = ishl v3, v44 ; v44 = 3
31+
;; @0022 v10 = uadd_overflow_trap v5, v45, user18 ; v5 = 32
32+
;; @0022 v13 = iconst.i32 -1476395008
33+
;; @0022 v11 = iconst.i32 0
34+
;; v42 = iconst.i32 8
35+
;; @0022 v17 = call fn0(v0, v13, v11, v10, v42) ; v13 = -1476395008, v11 = 0, v42 = 8
36+
;; @0022 v20 = load.i64 notrap aligned readonly can_move v0+40
37+
;; @0022 v18 = ireduce.i32 v17
38+
;; @0022 v21 = uextend.i64 v18
39+
;; @0022 v22 = iadd v20, v21
40+
;; v36 = iconst.i64 24
41+
;; @0022 v23 = iadd v22, v36 ; v36 = 24
42+
;; @0022 store notrap aligned v3, v23
43+
;; v60 = iadd v22, v35 ; v35 = 32
44+
;; @0022 v29 = uextend.i64 v10
45+
;; @0022 v30 = iadd v22, v29
46+
;; v34 = iconst.i64 8
47+
;; @0022 jump block2(v60)
4948
;;
50-
;; block2(v29: i64):
51-
;; @0022 v30 = icmp eq v29, v28
52-
;; @0022 brif v30, block4, block3
49+
;; block2(v31: i64):
50+
;; @0022 v32 = icmp eq v31, v30
51+
;; @0022 brif v32, block4, block3
5352
;;
5453
;; block3:
55-
;; @0022 store.i64 notrap aligned little v2, v29
56-
;; v65 = iconst.i64 8
57-
;; v66 = iadd.i64 v29, v65 ; v65 = 8
58-
;; @0022 jump block2(v66)
54+
;; @0022 store.i64 notrap aligned little v2, v31
55+
;; v72 = iconst.i64 8
56+
;; v73 = iadd.i64 v31, v72 ; v72 = 8
57+
;; @0022 jump block2(v73)
5958
;;
6059
;; block4:
6160
;; @0025 jump block1
6261
;;
6362
;; block1:
64-
;; @0025 return v16
63+
;; @0025 return v18
6564
;; }

‎tests/disas/gc/drc/array-set.wat‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,8 @@
1919
;; block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i64):
2020
;; @0024 trapz v2, user16
2121
;; @0024 v9 = uextend.i64 v2
22-
;; @0024 v10 = iconst.i64 16
23-
;; @0024 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 16
22+
;; @0024 v10 = iconst.i64 24
23+
;; @0024 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 24
2424
;; @0024 v12 = iconst.i64 4
2525
;; @0024 v13 = uadd_overflow_trap v11, v12, user1 ; v12 = 4
2626
;; @0024 v8 = load.i64 notrap aligned readonly can_move v0+48
@@ -39,10 +39,10 @@
3939
;; @0024 trapnz v21, user1
4040
;; v50 = iconst.i32 3
4141
;; v51 = ishl v16, v50 ; v50 = 3
42-
;; @0024 v23 = iconst.i32 24
43-
;; @0024 v24 = uadd_overflow_trap v51, v23, user1 ; v23 = 24
42+
;; @0024 v23 = iconst.i32 32
43+
;; @0024 v24 = uadd_overflow_trap v51, v23, user1 ; v23 = 32
4444
;; v58 = ishl v3, v50 ; v50 = 3
45-
;; @0024 v27 = iadd v58, v23 ; v23 = 24
45+
;; @0024 v27 = iadd v58, v23 ; v23 = 32
4646
;; @0024 v33 = uextend.i64 v27
4747
;; @0024 v34 = uadd_overflow_trap v9, v33, user1
4848
;; @0024 v35 = uextend.i64 v24

‎tests/disas/gc/drc/funcref-in-gc-heap-get.wat‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -21,10 +21,10 @@
2121
;; block0(v0: i64, v1: i64, v2: i32):
2222
;; @0020 trapz v2, user16
2323
;; @0020 v9 = uextend.i64 v2
24-
;; @0020 v10 = iconst.i64 16
25-
;; @0020 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 16
26-
;; v20 = iconst.i64 24
27-
;; @0020 v13 = uadd_overflow_trap v9, v20, user1 ; v20 = 24
24+
;; @0020 v10 = iconst.i64 24
25+
;; @0020 v11 = uadd_overflow_trap v9, v10, user1 ; v10 = 24
26+
;; v20 = iconst.i64 32
27+
;; @0020 v13 = uadd_overflow_trap v9, v20, user1 ; v20 = 32
2828
;; @0020 v8 = load.i64 notrap aligned readonly can_move v0+48
2929
;; @0020 v14 = icmp ule v13, v8
3030
;; @0020 trapz v14, user1

0 commit comments

Comments
 (0)