Update tests.

sunfishcode · Feb 10, 2025 · bc71158 · bc71158
1 parent f515a4f
commit bc71158
Show file tree

Hide file tree

Showing 381 changed files with 744 additions and 3,450 deletions.
diff --git a/tests/disas/arith.wat b/tests/disas/arith.wat
@@ -15,11 +15,6 @@
 )
 
 ;; function u0:0(i64 vmctx, i64) tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @001f                               v2 = iconst.i32 0
 ;; @0021                               v3 = iconst.i32 4

diff --git a/tests/disas/basic-wat-test.wat b/tests/disas/basic-wat-test.wat
@@ -11,12 +11,8 @@
 
 ;; function u0:0(i64 vmctx, i64, i32, i32) -> i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned readonly checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned readonly checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32, v3: i32):
 ;; @0021                               v5 = uextend.i64 v2

diff --git a/tests/disas/br_table.wat b/tests/disas/br_table.wat
@@ -32,11 +32,6 @@
 )
 
 ;; function u0:0(i64 vmctx, i64) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @0021                               v6 = iconst.i32 42
 ;; @0023                               v7 = iconst.i32 0
@@ -68,11 +63,6 @@
 ;; }
 ;;
 ;; function u0:1(i64 vmctx, i64) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @0037                               v6 = iconst.i32 42
 ;; @0039                               v7 = iconst.i32 0
@@ -104,11 +94,6 @@
 ;; }
 ;;
 ;; function u0:2(i64 vmctx, i64) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @0049                               v4 = iconst.i32 42
 ;; @004b                               v5 = iconst.i32 0
@@ -128,11 +113,6 @@
 ;; }
 ;;
 ;; function u0:3(i64 vmctx, i64) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @0059                               v4 = iconst.i32 42
 ;; @005b                               v5 = iconst.i32 0

diff --git a/tests/disas/byteswap.wat b/tests/disas/byteswap.wat
@@ -72,11 +72,6 @@
 )
 
 ;; function u0:0(i64 vmctx, i64, i32) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0057                               jump block1
 ;;
@@ -86,11 +81,6 @@
 ;; }
 ;;
 ;; function u0:1(i64 vmctx, i64, i64) -> i64 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64, v2: i64):
 ;; @00ad                               jump block1
 ;;

diff --git a/tests/disas/call-simd.wat b/tests/disas/call-simd.wat
@@ -16,13 +16,9 @@
 )
 
 ;; function u0:0(i64 vmctx, i64) tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
 ;;     sig0 = (i64 vmctx, i64, i8x16, i8x16) -> i8x16 tail
 ;;     fn0 = colocated u0:1 sig0
 ;;     const0 = 0x00000004000000030000000200000001
-;;     stack_limit = gv2
 ;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @0021                               v2 = vconst.i8x16 const0
@@ -35,11 +31,6 @@
 ;; }
 ;;
 ;; function u0:1(i64 vmctx, i64, i8x16, i8x16) -> i8x16 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64, v2: i8x16, v3: i8x16):
 ;; @004f                               v5 = bitcast.i32x4 little v2
 ;; @004f                               v6 = bitcast.i32x4 little v3

diff --git a/tests/disas/call.wat b/tests/disas/call.wat
@@ -12,12 +12,8 @@
 )
 
 ;; function u0:0(i64 vmctx, i64) tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
 ;;     sig0 = (i64 vmctx, i64) -> i32 tail
 ;;     fn0 = colocated u0:1 sig0
-;;     stack_limit = gv2
 ;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @001f                               v2 = iconst.i32 0
@@ -30,11 +26,6 @@
 ;; }
 ;;
 ;; function u0:1(i64 vmctx, i64) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @002b                               v3 = iconst.i32 1
 ;; @002d                               jump block1

diff --git a/tests/disas/dead-code.wat b/tests/disas/dead-code.wat
@@ -22,11 +22,6 @@
     i32.const 42)
 )
 ;; function u0:0(i64 vmctx, i64, i32) tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0023                               jump block2
 ;;
@@ -47,11 +42,6 @@
 ;; }
 ;;
 ;; function u0:1(i64 vmctx, i64, i32) tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0032                               jump block2
 ;;
@@ -60,11 +50,6 @@
 ;; }
 ;;
 ;; function u0:2(i64 vmctx, i64) tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @003f                               jump block1
 ;;
@@ -73,11 +58,6 @@
 ;; }
 ;;
 ;; function u0:3(i64 vmctx, i64, i32) -> i32 tail {
-;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     stack_limit = gv2
-;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0042                               v4 = iconst.i32 1
 ;; @0044                               return v4  ; v4 = 1

diff --git a/tests/disas/duplicate-loads-dynamic-memory.wat b/tests/disas/duplicate-loads-dynamic-memory.wat
@@ -24,12 +24,8 @@
 
 ;; function u0:0(i64 vmctx, i64, i32) -> i32, i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0057                               v6 = load.i64 notrap aligned v0+88
@@ -48,12 +44,8 @@
 ;;
 ;; function u0:1(i64 vmctx, i64, i32) -> i32, i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0064                               v6 = load.i64 notrap aligned v0+88

diff --git a/tests/disas/duplicate-loads-static-memory.wat b/tests/disas/duplicate-loads-static-memory.wat
@@ -19,12 +19,8 @@
 
 ;; function u0:0(i64 vmctx, i64, i32) -> i32, i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned readonly checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned readonly checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0057                               v6 = load.i64 notrap aligned readonly checked v0+80
@@ -39,12 +35,8 @@
 ;;
 ;; function u0:1(i64 vmctx, i64, i32) -> i32, i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned readonly checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned readonly checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0064                               v6 = load.i64 notrap aligned readonly checked v0+80

diff --git a/tests/disas/dynamic-memory-no-spectre-access-same-index-different-offsets.wat b/tests/disas/dynamic-memory-no-spectre-access-same-index-different-offsets.wat
@@ -37,12 +37,8 @@
 
 ;; function u0:0(i64 vmctx, i64, i32) -> i32, i32, i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0047                               v7 = load.i64 notrap aligned v0+88
@@ -70,12 +66,8 @@
 ;;
 ;; function u0:1(i64 vmctx, i64, i32, i32, i32, i32) tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32, v5: i32):
 ;; @005d                               v7 = load.i64 notrap aligned v0+88

diff --git a/tests/disas/dynamic-memory-yes-spectre-access-same-index-different-offsets.wat b/tests/disas/dynamic-memory-yes-spectre-access-same-index-different-offsets.wat
@@ -33,12 +33,8 @@
 
 ;; function u0:0(i64 vmctx, i64, i32) -> i32, i32, i32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @0047                               v7 = load.i64 notrap aligned v0+88
@@ -68,12 +64,8 @@
 ;;
 ;; function u0:1(i64 vmctx, i64, i32, i32, i32, i32) tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32, v5: i32):
 ;; @005d                               v7 = load.i64 notrap aligned v0+88

diff --git a/tests/disas/epoch-interruption-x86.wat b/tests/disas/epoch-interruption-x86.wat
@@ -7,12 +7,7 @@
 ;; wasm[0]::function[0]:
 ;;       pushq   %rbp
 ;;       movq    %rsp, %rbp
-;;       movq    8(%rdi), %r10
-;;       movq    0x10(%r10), %r10
-;;       addq    $0x30, %r10
-;;       cmpq    %rsp, %r10
-;;       ja      0x80
-;;   19: subq    $0x20, %rsp
+;;       subq    $0x20, %rsp
 ;;       movq    %rbx, (%rsp)
 ;;       movq    %r12, 8(%rsp)
 ;;       movq    %r13, 0x10(%rsp)
@@ -22,18 +17,17 @@
 ;;       movq    (%rbx), %r9
 ;;       movq    8(%r12), %rax
 ;;       cmpq    %rax, %r9
-;;       jae     0x58
-;;   47: movq    (%rbx), %rdi
+;;       jae     0x43
+;;   32: movq    (%rbx), %rdi
 ;;       cmpq    %rax, %rdi
-;;       jae     0x65
-;;       jmp     0x47
-;;   58: movq    %r13, %rdi
-;;       callq   0x107
-;;       jmp     0x47
-;;   65: movq    8(%r12), %rax
+;;       jae     0x50
+;;       jmp     0x32
+;;   43: movq    %r13, %rdi
+;;       callq   0xff
+;;       jmp     0x32
+;;   50: movq    8(%r12), %rax
 ;;       cmpq    %rax, %rdi
-;;       jb      0x47
-;;   73: movq    %r13, %rdi
-;;       callq   0x107
-;;       jmp     0x47
-;;   80: ud2
+;;       jb      0x32
+;;   5e: movq    %r13, %rdi
+;;       callq   0xff
+;;       jmp     0x32
diff --git a/tests/disas/epoch-interruption.wat b/tests/disas/epoch-interruption.wat
@@ -6,12 +6,8 @@
 
 ;; function u0:0(i64 vmctx, i64) tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
 ;;     sig0 = (i64 vmctx) -> i64 tail
 ;;     fn0 = colocated u1:16 sig0
-;;     stack_limit = gv2
 ;;
 ;;                                 block0(v0: i64, v1: i64):
 ;; @0016                               v3 = load.i64 notrap aligned v0+8

diff --git a/tests/disas/f32-load.wat b/tests/disas/f32-load.wat
@@ -8,12 +8,8 @@
 
 ;; function u0:0(i64 vmctx, i64, i32) -> f32 tail {
 ;;     gv0 = vmctx
-;;     gv1 = load.i64 notrap aligned readonly gv0+8
-;;     gv2 = load.i64 notrap aligned gv1+16
-;;     gv3 = vmctx
-;;     gv4 = load.i64 notrap aligned gv3+88
-;;     gv5 = load.i64 notrap aligned readonly checked gv3+80
-;;     stack_limit = gv2
+;;     gv1 = load.i64 notrap aligned gv0+88
+;;     gv2 = load.i64 notrap aligned readonly checked gv0+80
 ;;
 ;;                                 block0(v0: i64, v1: i64, v2: i32):
 ;; @002e                               v4 = uextend.i64 v2