summaryrefslogtreecommitdiff
path: root/test/lit/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes')
-rw-r--r--test/lit/passes/denan.wast12
-rw-r--r--test/lit/passes/inlining_splitting.wast24
-rw-r--r--test/lit/passes/jspi.wast4
-rw-r--r--test/lit/passes/memory-packing_all-features.wast62
-rw-r--r--test/lit/passes/monomorphize.wast34
-rw-r--r--test/lit/passes/poppify-globals.wast8
6 files changed, 72 insertions, 72 deletions
diff --git a/test/lit/passes/denan.wast b/test/lit/passes/denan.wast
index f92570f43..e55888132 100644
--- a/test/lit/passes/denan.wast
+++ b/test/lit/passes/denan.wast
@@ -218,11 +218,11 @@
(func $deNan64)
;; CHECK: (func $foo32 (param $x f32) (result f32)
;; CHECK-NEXT: (local.set $x
- ;; CHECK-NEXT: (call $deNan32_0
+ ;; CHECK-NEXT: (call $deNan32_4
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $deNan32_0
+ ;; CHECK-NEXT: (call $deNan32_4
;; CHECK-NEXT: (call $foo32
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
@@ -233,11 +233,11 @@
)
;; CHECK: (func $foo64 (param $x f64) (result f64)
;; CHECK-NEXT: (local.set $x
- ;; CHECK-NEXT: (call $deNan64_0
+ ;; CHECK-NEXT: (call $deNan64_4
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $deNan64_0
+ ;; CHECK-NEXT: (call $deNan64_4
;; CHECK-NEXT: (call $foo64
;; CHECK-NEXT: (local.get $x)
;; CHECK-NEXT: )
@@ -249,7 +249,7 @@
)
-;; CHECK: (func $deNan32_0 (param $0 f32) (result f32)
+;; CHECK: (func $deNan32_4 (param $0 f32) (result f32)
;; CHECK-NEXT: (if (result f32)
;; CHECK-NEXT: (f32.eq
;; CHECK-NEXT: (local.get $0)
@@ -260,7 +260,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
-;; CHECK: (func $deNan64_0 (param $0 f64) (result f64)
+;; CHECK: (func $deNan64_4 (param $0 f64) (result f64)
;; CHECK-NEXT: (if (result f64)
;; CHECK-NEXT: (f64.eq
;; CHECK-NEXT: (local.get $0)
diff --git a/test/lit/passes/inlining_splitting.wast b/test/lit/passes/inlining_splitting.wast
index 9764aa235..74039533f 100644
--- a/test/lit/passes/inlining_splitting.wast
+++ b/test/lit/passes/inlining_splitting.wast
@@ -768,7 +768,7 @@
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $byn-split-outlined-A$colliding-name_0
+ ;; CHECK-NEXT: (call $byn-split-outlined-A$colliding-name_65
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -783,7 +783,7 @@
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $byn-split-outlined-A$colliding-name_0
+ ;; CHECK-NEXT: (call $byn-split-outlined-A$colliding-name_65
;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1202,7 +1202,7 @@
;; CHECK-NEXT: (ref.is_null
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $byn-split-outlined-B$multi-if_0
+ ;; CHECK-NEXT: (call $byn-split-outlined-B$multi-if_74
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1233,7 +1233,7 @@
;; CHECK-NEXT: (ref.is_null
;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (call $byn-split-outlined-B$multi-if_0
+ ;; CHECK-NEXT: (call $byn-split-outlined-B$multi-if_74
;; CHECK-NEXT: (local.get $1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1385,7 +1385,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
-;; CHECK: (func $byn-split-outlined-A$colliding-name_0 (type $i32_=>_none) (param $x i32)
+;; CHECK: (func $byn-split-outlined-A$colliding-name_65 (type $i32_=>_none) (param $x i32)
;; CHECK-NEXT: (loop $l
;; CHECK-NEXT: (call $import)
;; CHECK-NEXT: (br $l)
@@ -1402,7 +1402,7 @@
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
-;; CHECK: (func $byn-split-outlined-B$multi-if_0 (type $anyref_=>_none) (param $x anyref)
+;; CHECK: (func $byn-split-outlined-B$multi-if_74 (type $anyref_=>_none) (param $x anyref)
;; CHECK-NEXT: (loop $x
;; CHECK-NEXT: (call $import)
;; CHECK-NEXT: (br_if $x
@@ -1621,7 +1621,7 @@
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (global.get $global$0)
;; CHECK-NEXT: )
-;; CHECK-NEXT: (call $byn-split-outlined-A$0_0)
+;; CHECK-NEXT: (call $byn-split-outlined-A$0_21)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1637,7 +1637,7 @@
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (global.get $global$0)
;; CHECK-NEXT: )
-;; CHECK-NEXT: (call $byn-split-outlined-A$0_0)
+;; CHECK-NEXT: (call $byn-split-outlined-A$0_21)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1646,7 +1646,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
-;; CHECK: (func $byn-split-outlined-A$0_0 (type $none_=>_none)
+;; CHECK: (func $byn-split-outlined-A$0_21 (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (block $__inlined_func$1
;; CHECK-NEXT: (block
@@ -1656,7 +1656,7 @@
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (global.get $global$0)
;; CHECK-NEXT: )
-;; CHECK-NEXT: (call $byn-split-outlined-A$0_1)
+;; CHECK-NEXT: (call $byn-split-outlined-A$0_22)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1672,7 +1672,7 @@
;; CHECK-NEXT: (i32.eqz
;; CHECK-NEXT: (global.get $global$0)
;; CHECK-NEXT: )
-;; CHECK-NEXT: (call $byn-split-outlined-A$0_1)
+;; CHECK-NEXT: (call $byn-split-outlined-A$0_22)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -1681,7 +1681,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
-;; CHECK: (func $byn-split-outlined-A$0_1 (type $none_=>_none)
+;; CHECK: (func $byn-split-outlined-A$0_22 (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (block $__inlined_func$1
;; CHECK-NEXT: (block
diff --git a/test/lit/passes/jspi.wast b/test/lit/passes/jspi.wast
index c6da24134..bac7ca0c3 100644
--- a/test/lit/passes/jspi.wast
+++ b/test/lit/passes/jspi.wast
@@ -97,9 +97,9 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
-;; CHECK: (func $export$update_state_param_collision (type $externref_f64_=>_i32) (param $susp_0 externref) (param $susp f64) (result i32)
+;; CHECK: (func $export$update_state_param_collision (type $externref_f64_=>_i32) (param $susp_1 externref) (param $susp f64) (result i32)
;; CHECK-NEXT: (global.set $suspender
-;; CHECK-NEXT: (local.get $susp_0)
+;; CHECK-NEXT: (local.get $susp_1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (call $update_state_param_collision
;; CHECK-NEXT: (local.get $susp)
diff --git a/test/lit/passes/memory-packing_all-features.wast b/test/lit/passes/memory-packing_all-features.wast
index 36ae10668..29592f107 100644
--- a/test/lit/passes/memory-packing_all-features.wast
+++ b/test/lit/passes/memory-packing_all-features.wast
@@ -137,10 +137,10 @@
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
- ;; CHECK: (global $__mem_segment_drop_state_0 (mut i32) (i32.const 0))
-
;; CHECK: (global $__mem_segment_drop_state_1 (mut i32) (i32.const 0))
+ ;; CHECK: (global $__mem_segment_drop_state_2 (mut i32) (i32.const 0))
+
;; CHECK: (memory $0 2048 2048)
(memory $0 2048 2048)
@@ -510,7 +510,7 @@
;; CHECK: (func $even-more-zeroes (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_0)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_1)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (memory.fill
@@ -550,7 +550,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_0
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_1
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $11)
@@ -572,7 +572,7 @@
;; CHECK: (func $only-zeroes (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_1)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (memory.fill
@@ -581,7 +581,7 @@
;; CHECK-NEXT: (i32.const 30)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_1
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_2
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
@@ -671,10 +671,6 @@
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
- ;; CHECK: (global $__mem_segment_drop_state_0 (mut i32) (i32.const 0))
-
- ;; CHECK: (global $__mem_segment_drop_state_1 (mut i32) (i32.const 0))
-
;; CHECK: (global $__mem_segment_drop_state_2 (mut i32) (i32.const 0))
;; CHECK: (global $__mem_segment_drop_state_3 (mut i32) (i32.const 0))
@@ -685,6 +681,10 @@
;; CHECK: (global $__mem_segment_drop_state_6 (mut i32) (i32.const 0))
+ ;; CHECK: (global $__mem_segment_drop_state_7 (mut i32) (i32.const 0))
+
+ ;; CHECK: (global $__mem_segment_drop_state_8 (mut i32) (i32.const 0))
+
;; CHECK: (memory $0 2048 2048)
(memory $0 2048 2048)
(import "env" "param" (global $param i32))
@@ -880,7 +880,7 @@
;; CHECK: (func $partial-skip-start (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_0)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (memory.fill
@@ -920,7 +920,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_0
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_2
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $3)
@@ -992,7 +992,7 @@
;; CHECK: (func $partial-skip-end (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_1)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_3)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (memory.fill
@@ -1032,7 +1032,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_1
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_3
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $5)
@@ -1054,7 +1054,7 @@
;; CHECK: (func $full-skip-end (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_4)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (memory.fill
@@ -1089,7 +1089,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_2
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_4
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $6)
@@ -1111,7 +1111,7 @@
;; CHECK: (func $slice-zeroes (type $none_=>_none)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_3)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_5)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (memory.fill
@@ -1121,7 +1121,7 @@
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_3
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_5
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $7)
@@ -1173,12 +1173,12 @@
;; CHECK-NEXT: (i32.const 16)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_4)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_6)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_4
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_6
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $9)
@@ -1207,7 +1207,7 @@
;; CHECK-NEXT: (i32.const 16)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_5)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_7)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
@@ -1310,12 +1310,12 @@
;; CHECK-NEXT: (i32.const 16)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_6)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_8)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_6
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_8
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $14)
@@ -1338,12 +1338,12 @@
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
- ;; CHECK: (global $__mem_segment_drop_state_0 (mut i32) (i32.const 0))
-
;; CHECK: (global $__mem_segment_drop_state_1 (mut i32) (i32.const 0))
;; CHECK: (global $__mem_segment_drop_state_2 (mut i32) (i32.const 0))
+ ;; CHECK: (global $__mem_segment_drop_state_3 (mut i32) (i32.const 0))
+
;; CHECK: (memory $0 2048 2048)
(memory $0 2048 2048)
(data "hi\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00even\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00hi") ;; 0
@@ -1412,12 +1412,12 @@
;; CHECK-NEXT: (i32.const 16)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_0)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_0
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_1
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $1)
@@ -1446,12 +1446,12 @@
;; CHECK-NEXT: (i32.const 16)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_1)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_1
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_2
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $2)
@@ -1479,12 +1479,12 @@
;; CHECK-NEXT: (i32.const 16)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
+ ;; CHECK-NEXT: (global.get $__mem_segment_drop_state_3)
;; CHECK-NEXT: )
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: (block
- ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_2
+ ;; CHECK-NEXT: (global.set $__mem_segment_drop_state_3
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: (data.drop $3)
diff --git a/test/lit/passes/monomorphize.wast b/test/lit/passes/monomorphize.wast
index 43c647a0a..d171291e2 100644
--- a/test/lit/passes/monomorphize.wast
+++ b/test/lit/passes/monomorphize.wast
@@ -35,10 +35,10 @@
;; ALWAYS-NEXT: (call $refinable
;; ALWAYS-NEXT: (struct.new_default $A)
;; ALWAYS-NEXT: )
- ;; ALWAYS-NEXT: (call $refinable_0
+ ;; ALWAYS-NEXT: (call $refinable_4
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
- ;; ALWAYS-NEXT: (call $refinable_0
+ ;; ALWAYS-NEXT: (call $refinable_4
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
@@ -115,7 +115,7 @@
)
-;; ALWAYS: (func $refinable_0 (type $ref|$B|_=>_none) (param $ref (ref $B))
+;; ALWAYS: (func $refinable_4 (type $ref|$B|_=>_none) (param $ref (ref $B))
;; ALWAYS-NEXT: (drop
;; ALWAYS-NEXT: (local.get $ref)
;; ALWAYS-NEXT: )
@@ -142,7 +142,7 @@
;; ALWAYS: (type $ref|$B|_=>_none (func (param (ref $B))))
;; ALWAYS: (func $calls (type $none_=>_none)
- ;; ALWAYS-NEXT: (call $refinable_0
+ ;; ALWAYS-NEXT: (call $refinable_2
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
@@ -186,7 +186,7 @@
)
-;; ALWAYS: (func $refinable_0 (type $ref|$B|_=>_none) (param $ref (ref $B))
+;; ALWAYS: (func $refinable_2 (type $ref|$B|_=>_none) (param $ref (ref $B))
;; ALWAYS-NEXT: (local $unref (ref $A))
;; ALWAYS-NEXT: (local $2 (ref $A))
;; ALWAYS-NEXT: (local.set $2
@@ -231,7 +231,7 @@
;; ALWAYS-NEXT: (call $refinable1
;; ALWAYS-NEXT: (struct.new_default $A)
;; ALWAYS-NEXT: )
- ;; ALWAYS-NEXT: (call $refinable1_0
+ ;; ALWAYS-NEXT: (call $refinable1_4
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
@@ -253,10 +253,10 @@
)
;; ALWAYS: (func $calls2 (type $none_=>_none)
- ;; ALWAYS-NEXT: (call $refinable1_1
+ ;; ALWAYS-NEXT: (call $refinable1_5
;; ALWAYS-NEXT: (struct.new_default $C)
;; ALWAYS-NEXT: )
- ;; ALWAYS-NEXT: (call $refinable2_0
+ ;; ALWAYS-NEXT: (call $refinable2_6
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
@@ -306,19 +306,19 @@
)
)
-;; ALWAYS: (func $refinable1_0 (type $ref|$B|_=>_none) (param $ref (ref $B))
+;; ALWAYS: (func $refinable1_4 (type $ref|$B|_=>_none) (param $ref (ref $B))
;; ALWAYS-NEXT: (drop
;; ALWAYS-NEXT: (local.get $ref)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
-;; ALWAYS: (func $refinable1_1 (type $ref|$C|_=>_none) (param $ref (ref $C))
+;; ALWAYS: (func $refinable1_5 (type $ref|$C|_=>_none) (param $ref (ref $C))
;; ALWAYS-NEXT: (drop
;; ALWAYS-NEXT: (local.get $ref)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
-;; ALWAYS: (func $refinable2_0 (type $ref|$B|_=>_none) (param $ref (ref $B))
+;; ALWAYS: (func $refinable2_6 (type $ref|$B|_=>_none) (param $ref (ref $B))
;; ALWAYS-NEXT: (drop
;; ALWAYS-NEXT: (local.get $ref)
;; ALWAYS-NEXT: )
@@ -364,10 +364,10 @@
;; ALWAYS-NEXT: (call $refinable
;; ALWAYS-NEXT: (struct.new_default $A)
;; ALWAYS-NEXT: )
- ;; ALWAYS-NEXT: (call $refinable_0
+ ;; ALWAYS-NEXT: (call $refinable_3
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
- ;; ALWAYS-NEXT: (call $refinable_0
+ ;; ALWAYS-NEXT: (call $refinable_3
;; ALWAYS-NEXT: (struct.new_default $B)
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
@@ -378,10 +378,10 @@
;; CAREFUL-NEXT: (call $refinable
;; CAREFUL-NEXT: (struct.new_default $A)
;; CAREFUL-NEXT: )
- ;; CAREFUL-NEXT: (call $refinable_0
+ ;; CAREFUL-NEXT: (call $refinable_3
;; CAREFUL-NEXT: (struct.new_default $B)
;; CAREFUL-NEXT: )
- ;; CAREFUL-NEXT: (call $refinable_0
+ ;; CAREFUL-NEXT: (call $refinable_3
;; CAREFUL-NEXT: (struct.new_default $B)
;; CAREFUL-NEXT: )
;; CAREFUL-NEXT: )
@@ -503,7 +503,7 @@
)
)
-;; ALWAYS: (func $refinable_0 (type $ref|$B|_=>_none) (param $ref (ref $B))
+;; ALWAYS: (func $refinable_3 (type $ref|$B|_=>_none) (param $ref (ref $B))
;; ALWAYS-NEXT: (local $x (ref $A))
;; ALWAYS-NEXT: (call $import
;; ALWAYS-NEXT: (ref.cast $B
@@ -534,7 +534,7 @@
;; ALWAYS-NEXT: )
;; ALWAYS-NEXT: )
-;; CAREFUL: (func $refinable_0 (type $ref|$B|_=>_none) (param $0 (ref $B))
+;; CAREFUL: (func $refinable_3 (type $ref|$B|_=>_none) (param $0 (ref $B))
;; CAREFUL-NEXT: (local $1 (ref $B))
;; CAREFUL-NEXT: (call $import
;; CAREFUL-NEXT: (local.get $0)
diff --git a/test/lit/passes/poppify-globals.wast b/test/lit/passes/poppify-globals.wast
index 205fac513..af3606387 100644
--- a/test/lit/passes/poppify-globals.wast
+++ b/test/lit/passes/poppify-globals.wast
@@ -21,19 +21,19 @@
;; CHECK: (global $tuple$2 (mut f32) (f32.const 2))
- ;; CHECK: (global $tuple$1_0 (mut i64) (i64.const 1))
+ ;; CHECK: (global $tuple$1_3 (mut i64) (i64.const 1))
;; CHECK: (global $tuple$0 (mut i32) (global.get $foo))
;; CHECK: (global $other-tuple$2 f32 (global.get $tuple$2))
- ;; CHECK: (global $other-tuple$1 i64 (global.get $tuple$1_0))
+ ;; CHECK: (global $other-tuple$1 i64 (global.get $tuple$1_4))
;; CHECK: (global $other-tuple$0 i32 (global.get $tuple$0))
;; CHECK: (func $global-get-tuple (type $none_=>_i32_i64_f32) (result i32 i64 f32)
;; CHECK-NEXT: (global.get $tuple$0)
- ;; CHECK-NEXT: (global.get $tuple$1_0)
+ ;; CHECK-NEXT: (global.get $tuple$1_4)
;; CHECK-NEXT: (global.get $tuple$2)
;; CHECK-NEXT: )
(func $global-get-tuple (result i32 i64 f32)
@@ -47,7 +47,7 @@
;; CHECK-NEXT: (global.set $tuple$2
;; CHECK-NEXT: (pop f32)
;; CHECK-NEXT: )
- ;; CHECK-NEXT: (global.set $tuple$1_0
+ ;; CHECK-NEXT: (global.set $tuple$1_4
;; CHECK-NEXT: (pop i64)
;; CHECK-NEXT: )
;; CHECK-NEXT: (global.set $tuple$0
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-29 19:22:32 +0000