summaryrefslogtreecommitdiff
path: root/test/lit/passes/memory-packing_all-features.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/memory-packing_all-features.wast')
-rw-r--r--test/lit/passes/memory-packing_all-features.wast108
1 files changed, 54 insertions, 54 deletions
diff --git a/test/lit/passes/memory-packing_all-features.wast b/test/lit/passes/memory-packing_all-features.wast
index 29592f107..dfcf5ce53 100644
--- a/test/lit/passes/memory-packing_all-features.wast
+++ b/test/lit/passes/memory-packing_all-features.wast
@@ -43,7 +43,7 @@
(data (i32.const 4000) "zeros\00in\00the\00middle\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00nice skip here\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00another\00but no")
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (memory $0 1 1)
@@ -61,7 +61,7 @@
;; CHECK: (data $3.2 (i32.const 4066) "another\00but no")
- ;; CHECK: (func $nonzero-size-init-of-active-will-trap (type $none_=>_none)
+ ;; CHECK: (func $nonzero-size-init-of-active-will-trap (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.const 42)
@@ -85,7 +85,7 @@
(data.drop 0)
)
- ;; CHECK: (func $nonzero-offset-init-of-active-will-trap (type $none_=>_none)
+ ;; CHECK: (func $nonzero-offset-init-of-active-will-trap (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.const 42)
@@ -109,7 +109,7 @@
(data.drop 0)
)
- ;; CHECK: (func $zero-offset-size-init-of-active-may-trap (type $none_=>_none)
+ ;; CHECK: (func $zero-offset-size-init-of-active-may-trap (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.gt_u
;; CHECK-NEXT: (i32.const 42)
@@ -133,7 +133,7 @@
)
(module
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
@@ -182,7 +182,7 @@
;; CHECK: (data $13 "no zeroes")
- ;; CHECK: (func $zeroes-at-start (type $none_=>_none)
+ ;; CHECK: (func $zeroes-at-start (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state)
@@ -218,7 +218,7 @@
;; the not-split tests have too many memory.init and data.drop instructions for splitting to be worth it
(data "\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\00zeroes at start") ;; 2
- ;; CHECK: (func $zeroes-at-start-not-split (type $none_=>_none)
+ ;; CHECK: (func $zeroes-at-start-not-split (type $0)
;; CHECK-NEXT: (memory.init $2
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -267,7 +267,7 @@
(data "\00\00\00few zeroes at start") ;; 3
- ;; CHECK: (func $few-zeroes-at-start (type $none_=>_none)
+ ;; CHECK: (func $few-zeroes-at-start (type $0)
;; CHECK-NEXT: (memory.init $3
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -286,7 +286,7 @@
(data "zeroes at end\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\00") ;; 4
- ;; CHECK: (func $zeroes-at-end (type $none_=>_none)
+ ;; CHECK: (func $zeroes-at-end (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (memory.init $4
;; CHECK-NEXT: (i32.const 0)
@@ -312,7 +312,7 @@
(data "zeroes at end\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\00") ;; 5
- ;; CHECK: (func $zeroes-at-end-not-split (type $none_=>_none)
+ ;; CHECK: (func $zeroes-at-end-not-split (type $0)
;; CHECK-NEXT: (memory.init $5
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -361,7 +361,7 @@
(data "few zeroes at end\00\00\00") ;; 6
- ;; CHECK: (func $few-zeroes-at-end (type $none_=>_none)
+ ;; CHECK: (func $few-zeroes-at-end (type $0)
;; CHECK-NEXT: (memory.init $6
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -380,7 +380,7 @@
(data "zeroes\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\00in middle") ;; 7
- ;; CHECK: (func $zeroes-in-middle (type $none_=>_none)
+ ;; CHECK: (func $zeroes-in-middle (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (memory.init $7
;; CHECK-NEXT: (i32.const 0)
@@ -414,7 +414,7 @@
(data "zeroes\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\00in middle") ;; 8
- ;; CHECK: (func $zeroes-in-middle-not-split (type $none_=>_none)
+ ;; CHECK: (func $zeroes-in-middle-not-split (type $0)
;; CHECK-NEXT: (memory.init $8
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -443,7 +443,7 @@
(data "few zeroes\00\00\00in middle") ;; 9
- ;; CHECK: (func $few-zeroes-in-middle (type $none_=>_none)
+ ;; CHECK: (func $few-zeroes-in-middle (type $0)
;; CHECK-NEXT: (memory.init $9
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -462,7 +462,7 @@
(data "multiple\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\00spans\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\00of zeroes") ;; 10
- ;; CHECK: (func $multiple-spans-of-zeroes (type $none_=>_none)
+ ;; CHECK: (func $multiple-spans-of-zeroes (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (memory.init $10
;; CHECK-NEXT: (i32.const 0)
@@ -507,7 +507,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 11
- ;; CHECK: (func $even-more-zeroes (type $none_=>_none)
+ ;; CHECK: (func $even-more-zeroes (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state_1)
@@ -569,7 +569,7 @@
(data "\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\00") ;; 12
- ;; CHECK: (func $only-zeroes (type $none_=>_none)
+ ;; CHECK: (func $only-zeroes (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
@@ -596,7 +596,7 @@
(data "no zeroes") ;; 13
- ;; CHECK: (func $no-zeroes (type $none_=>_none)
+ ;; CHECK: (func $no-zeroes (type $0)
;; CHECK-NEXT: (memory.init $13
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -615,7 +615,7 @@
(data "") ;; 14
- ;; CHECK: (func $empty (type $none_=>_none)
+ ;; CHECK: (func $empty (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.gt_u
;; CHECK-NEXT: (i32.const 13)
@@ -639,7 +639,7 @@
(data "only dropped") ;; 15
- ;; CHECK: (func $only-dropped (type $none_=>_none)
+ ;; CHECK: (func $only-dropped (type $0)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
@@ -650,7 +650,7 @@
(data "\00\00\00\00\00") ;; 16
- ;; CHECK: (func $only-dropped-zeroes (type $none_=>_none)
+ ;; CHECK: (func $only-dropped-zeroes (type $0)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
@@ -665,7 +665,7 @@
)
(module
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (import "env" "param" (global $param i32))
@@ -755,7 +755,7 @@
;; CHECK: (data $14.2 "zeroes")
- ;; CHECK: (func $nonconst-dest (type $none_=>_none)
+ ;; CHECK: (func $nonconst-dest (type $0)
;; CHECK-NEXT: (local $0 i32)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (local.set $0
@@ -839,7 +839,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 1
- ;; CHECK: (func $nonconst-offset (type $none_=>_none)
+ ;; CHECK: (func $nonconst-offset (type $0)
;; CHECK-NEXT: (memory.init $1
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (global.get $param)
@@ -858,7 +858,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 2
- ;; CHECK: (func $nonconst-size (type $none_=>_none)
+ ;; CHECK: (func $nonconst-size (type $0)
;; CHECK-NEXT: (memory.init $2
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 0)
@@ -877,7 +877,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 3
- ;; CHECK: (func $partial-skip-start (type $none_=>_none)
+ ;; CHECK: (func $partial-skip-start (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state_2)
@@ -939,7 +939,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 4
- ;; CHECK: (func $full-skip-start (type $none_=>_none)
+ ;; CHECK: (func $full-skip-start (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (memory.init $4
;; CHECK-NEXT: (i32.const 0)
@@ -989,7 +989,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 5
- ;; CHECK: (func $partial-skip-end (type $none_=>_none)
+ ;; CHECK: (func $partial-skip-end (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state_3)
@@ -1051,7 +1051,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 6
- ;; CHECK: (func $full-skip-end (type $none_=>_none)
+ ;; CHECK: (func $full-skip-end (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state_4)
@@ -1108,7 +1108,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 7
- ;; CHECK: (func $slice-zeroes (type $none_=>_none)
+ ;; CHECK: (func $slice-zeroes (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state_5)
@@ -1140,7 +1140,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 8
- ;; CHECK: (func $slice-nonzeroes (type $none_=>_none)
+ ;; CHECK: (func $slice-nonzeroes (type $0)
;; CHECK-NEXT: (memory.init $8
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 1)
@@ -1163,7 +1163,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 9
- ;; CHECK: (func $zero-size (type $none_=>_none)
+ ;; CHECK: (func $zero-size (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1197,7 +1197,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 10
- ;; CHECK: (func $zero-size-undropped (type $none_=>_none)
+ ;; CHECK: (func $zero-size-undropped (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1222,7 +1222,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 11
- ;; CHECK: (func $out-of-bounds-offset (type $none_=>_none)
+ ;; CHECK: (func $out-of-bounds-offset (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.const 0)
@@ -1248,7 +1248,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 12
- ;; CHECK: (func $zero-size-out-of-bounds-offset (type $none_=>_none)
+ ;; CHECK: (func $zero-size-out-of-bounds-offset (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.const 0)
@@ -1274,7 +1274,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 13
- ;; CHECK: (func $out-of-bounds-size (type $none_=>_none)
+ ;; CHECK: (func $out-of-bounds-size (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.const 0)
@@ -1300,7 +1300,7 @@
(data "\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\00more\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\00zeroes\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\00") ;; 14
- ;; CHECK: (func $zero-size-at-bounds-offset (type $none_=>_none)
+ ;; CHECK: (func $zero-size-at-bounds-offset (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1334,7 +1334,7 @@
)
(module
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
@@ -1368,7 +1368,7 @@
;; CHECK: (data $3.1 "hi")
- ;; CHECK: (func $zero-length-init-zeroes (type $none_=>_none)
+ ;; CHECK: (func $zero-length-init-zeroes (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1402,7 +1402,7 @@
(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") ;; 1
- ;; CHECK: (func $zero-length-init-nonzeroes (type $none_=>_none)
+ ;; CHECK: (func $zero-length-init-nonzeroes (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1436,7 +1436,7 @@
(data "\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") ;; 2
- ;; CHECK: (func $zero-length-init-zeroes-2 (type $none_=>_none)
+ ;; CHECK: (func $zero-length-init-zeroes-2 (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1469,7 +1469,7 @@
(data "\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") ;; 3
- ;; CHECK: (func $zero-length-init-nonzeroes-2 (type $none_=>_none)
+ ;; CHECK: (func $zero-length-init-nonzeroes-2 (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (i32.or
;; CHECK-NEXT: (i32.gt_u
@@ -1502,7 +1502,7 @@
)
(module
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (memory $0 2048 2048)
(memory $0 2048 2048)
@@ -1638,7 +1638,7 @@
;; CHECK: (data $0.64 "a")
- ;; CHECK: (func $init-lots (type $none_=>_none)
+ ;; CHECK: (func $init-lots (type $0)
;; CHECK-NEXT: (block
;; CHECK-NEXT: (memory.init $0
;; CHECK-NEXT: (i32.const 0)
@@ -2218,7 +2218,7 @@
;; CHECK: (data $1 (global.get $memoryBase) "x")
(module
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
@@ -2231,7 +2231,7 @@
;; CHECK: (export "func_54" (func $0))
(export "func_54" (func $0))
- ;; CHECK: (func $0 (type $none_=>_none)
+ ;; CHECK: (func $0 (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state)
;; CHECK-NEXT: (unreachable)
@@ -2277,7 +2277,7 @@
(module
;; Regression test for a bug where referrers were accidentally associated with
;; the wrong segments in the presence of unreferenced segments.
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (memory $0 (shared 1 1))
(memory $0 (shared 1 1))
@@ -2285,7 +2285,7 @@
(data "foo")
;; CHECK: (data $1 "foo")
- ;; CHECK: (func $0 (type $none_=>_none)
+ ;; CHECK: (func $0 (type $0)
;; CHECK-NEXT: (memory.init $1
;; CHECK-NEXT: (i32.const 0)
;; CHECK-NEXT: (i32.const 1)
@@ -2302,7 +2302,7 @@
)
(module
;; memory64 works!
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
@@ -2313,7 +2313,7 @@
;; CHECK: (data $0.1 "is cool")
- ;; CHECK: (func $0 (type $none_=>_none)
+ ;; CHECK: (func $0 (type $0)
;; CHECK-NEXT: (if
;; CHECK-NEXT: (global.get $__mem_segment_drop_state)
;; CHECK-NEXT: (unreachable)
@@ -2348,7 +2348,7 @@
)
)
(module
- ;; CHECK: (type $none_=>_none (func))
+ ;; CHECK: (type $0 (func))
;; CHECK: (global $__mem_segment_drop_state (mut i32) (i32.const 0))
@@ -2357,7 +2357,7 @@
(data "\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\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\00test")
;; CHECK: (data $0 "test")
- ;; CHECK: (func $0 (type $none_=>_none)
+ ;; CHECK: (func $0 (type $0)
;; CHECK-NEXT: (local $0 i32)
;; CHECK-NEXT: (local.tee $0
;; CHECK-NEXT: (unreachable)
@@ -2392,13 +2392,13 @@
(module
;; CHECK: (type $array (array (mut i32)))
(type $array (array (mut i32)))
- ;; CHECK: (type $ref|$array|_i32_i32_i32_=>_none (func (param (ref $array) i32 i32 i32)))
+ ;; CHECK: (type $1 (func (param (ref $array) i32 i32 i32)))
;; CHECK: (memory $0 (shared 16 17))
(memory $0 (shared 16 17))
;; CHECK: (data $0 "")
(data $0 "")
- ;; CHECK: (func $0 (type $ref|$array|_i32_i32_i32_=>_none) (param $0 (ref $array)) (param $1 i32) (param $2 i32) (param $3 i32)
+ ;; CHECK: (func $0 (type $1) (param $0 (ref $array)) (param $1 i32) (param $2 i32) (param $3 i32)
;; CHECK-NEXT: (array.init_data $array $0
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: (i32.const 0)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-30 02:21:56 +0000