Skip to content

Commit

Permalink
Update test expectations
Browse files Browse the repository at this point in the history
  • Loading branch information
@alexcrichton
alexcrichton committed Nov 2, 2024
1 parent ecdd3ee commit ac86a68
Show file tree
Hide file tree
Showing 79 changed files with 488 additions and 327 deletions.
7 changes: 4 additions & 3 deletions tests/disas/basic-wat-test.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,16 +14,17 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
;; @0021 v5 = uextend.i64 v2
;; @0021 v6 = global_value.i64 gv4
;; @0021 v6 = global_value.i64 gv5
;; @0021 v7 = iadd v6, v5
;; @0021 v8 = load.i32 little heap v7
;; @0026 v9 = uextend.i64 v3
;; @0026 v10 = global_value.i64 gv4
;; @0026 v10 = global_value.i64 gv5
;; @0026 v11 = iadd v10, v9
;; @0026 v12 = load.i32 little heap v11
;; @0029 v13 = iadd v8, v12
Expand Down
6 changes: 4 additions & 2 deletions tests/disas/duplicate-loads-static-memory.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,8 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
Expand All @@ -41,7 +42,8 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/f32-load.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,12 +11,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @002e v4 = uextend.i64 v2
;; @002e v5 = global_value.i64 gv4
;; @002e v5 = global_value.i64 gv5
;; @002e v6 = iadd v5, v4
;; @002e v7 = load.f32 little heap v6
;; @0031 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/f32-store.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: f32):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 store little heap v3, v6
;; @0034 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/f64-load.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @002e v4 = uextend.i64 v2
;; @002e v5 = global_value.i64 gv4
;; @002e v5 = global_value.i64 gv5
;; @002e v6 = iadd v5, v4
;; @002e v7 = load.f64 little heap v6
;; @0031 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/f64-store.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: f64):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 store little heap v3, v6
;; @0034 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/fibonacci.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,8 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64):
Expand All @@ -54,7 +55,7 @@
;; block2:
;; @0056 v16 = iconst.i32 0
;; @005a v17 = uextend.i64 v16 ; v16 = 0
;; @005a v18 = global_value.i64 gv4
;; @005a v18 = global_value.i64 gv5
;; @005a v19 = iadd v18, v17
;; @005a store.i32 little heap v11, v19
;; @005d jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/globals.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64):
Expand All @@ -23,7 +24,7 @@
;; @002b v4 = global_value.i64 gv3
;; @002b v5 = load.i32 notrap aligned table v4+112
;; @002d v6 = uextend.i64 v3 ; v3 = 0
;; @002d v7 = global_value.i64 gv4
;; @002d v7 = global_value.i64 gv5
;; @002d v8 = iadd v7, v6
;; @002d store little heap v5, v8
;; @0030 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-load.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @002e v4 = uextend.i64 v2
;; @002e v5 = global_value.i64 gv4
;; @002e v5 = global_value.i64 gv5
;; @002e v6 = iadd v5, v4
;; @002e v7 = load.i32 little heap v6
;; @0031 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-load16-s.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0032 v4 = uextend.i64 v2
;; @0032 v5 = global_value.i64 gv4
;; @0032 v5 = global_value.i64 gv5
;; @0032 v6 = iadd v5, v4
;; @0032 v7 = sload16.i32 little heap v6
;; @0035 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-load16-u.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0032 v4 = uextend.i64 v2
;; @0032 v5 = global_value.i64 gv4
;; @0032 v5 = global_value.i64 gv5
;; @0032 v6 = iadd v5, v4
;; @0032 v7 = uload16.i32 little heap v6
;; @0035 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-load8-s.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 v7 = sload8.i32 little heap v6
;; @0034 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-load8-u.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 v7 = uload8.i32 little heap v6
;; @0034 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-store.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 store little heap v3, v6
;; @0034 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-store16.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
;; @0033 v4 = uextend.i64 v2
;; @0033 v5 = global_value.i64 gv4
;; @0033 v5 = global_value.i64 gv5
;; @0033 v6 = iadd v5, v4
;; @0033 istore16 little heap v3, v6
;; @0036 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i32-store8.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i32):
;; @0032 v4 = uextend.i64 v2
;; @0032 v5 = global_value.i64 gv4
;; @0032 v5 = global_value.i64 gv5
;; @0032 v6 = iadd v5, v4
;; @0032 istore8 little heap v3, v6
;; @0035 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-load.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @002e v4 = uextend.i64 v2
;; @002e v5 = global_value.i64 gv4
;; @002e v5 = global_value.i64 gv5
;; @002e v6 = iadd v5, v4
;; @002e v7 = load.i64 little heap v6
;; @0031 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-load16-s.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0032 v4 = uextend.i64 v2
;; @0032 v5 = global_value.i64 gv4
;; @0032 v5 = global_value.i64 gv5
;; @0032 v6 = iadd v5, v4
;; @0032 v7 = sload16.i64 little heap v6
;; @0035 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-load16-u.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0032 v4 = uextend.i64 v2
;; @0032 v5 = global_value.i64 gv4
;; @0032 v5 = global_value.i64 gv5
;; @0032 v6 = iadd v5, v4
;; @0032 v7 = uload16.i64 little heap v6
;; @0035 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-load8-s.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 v7 = sload8.i64 little heap v6
;; @0034 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-load8-u.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,12 +13,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 v7 = uload8.i64 little heap v6
;; @0034 jump block1(v7)
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-store.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i64):
;; @0031 v4 = uextend.i64 v2
;; @0031 v5 = global_value.i64 gv4
;; @0031 v5 = global_value.i64 gv5
;; @0031 v6 = iadd v5, v4
;; @0031 store little heap v3, v6
;; @0034 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-store16.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i64):
;; @0033 v4 = uextend.i64 v2
;; @0033 v5 = global_value.i64 gv4
;; @0033 v5 = global_value.i64 gv5
;; @0033 v6 = iadd v5, v4
;; @0033 istore16 little heap v3, v6
;; @0036 jump block1
Expand Down
5 changes: 3 additions & 2 deletions tests/disas/i64-store32.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,12 +14,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0+8
;; gv2 = load.i64 notrap aligned gv1
;; gv3 = vmctx
;; gv4 = load.i64 notrap aligned readonly checked gv3+96
;; gv4 = load.i64 notrap aligned gv3+104
;; gv5 = load.i64 notrap aligned readonly checked gv3+96
;; stack_limit = gv2
;;
;; block0(v0: i64, v1: i64, v2: i32, v3: i64):
;; @0033 v4 = uextend.i64 v2
;; @0033 v5 = global_value.i64 gv4
;; @0033 v5 = global_value.i64 gv5
;; @0033 v6 = iadd v5, v4
;; @0033 istore32 little heap v3, v6
;; @0036 jump block1
Expand Down
Loading

0 comments on commit ac86a68

Please sign in to comment.