summaryrefslogtreecommitdiff
path: root/test/lit/passes/poppify-globals.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/passes/poppify-globals.wast')
-rw-r--r--test/lit/passes/poppify-globals.wast29
1 files changed, 20 insertions, 9 deletions
diff --git a/test/lit/passes/poppify-globals.wast b/test/lit/passes/poppify-globals.wast
index ccdb025c0..869015cb7 100644
--- a/test/lit/passes/poppify-globals.wast
+++ b/test/lit/passes/poppify-globals.wast
@@ -1,26 +1,37 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; TODO: enable validation
;; RUN: wasm-opt %s --poppify --no-validation -all -S -o - | filecheck %s
(module
- ;; CHECK: (global $foo (mut i32) (i32.const 0))
+ ;; CHECK: (type $none_=>_i32_i64_f32 (func (result i32 i64 f32)))
+
+ ;; CHECK: (type $none_=>_none (func))
+
+ ;; CHECK: (global $foo (mut i32) (i32.const 0))
(global $foo (mut i32) (i32.const 0))
- ;; CHECK: (global $tuple$1 f64 (f64.const 0))
+ ;; CHECK: (global $tuple$1 f64 (f64.const 0))
(global $tuple$1 f64 (f64.const 0)) ;; interfering name!
- ;; CHECK: (global $tuple$2 (mut f32) (f32.const 2))
- ;; CHECK: (global $tuple$1_0 (mut i64) (i64.const 1))
- ;; CHECK: (global $tuple$0 (mut i32) (global.get $foo))
(global $tuple (mut (i32 i64 f32))
(tuple.make (global.get $foo) (i64.const 1) (f32.const 2))
)
- ;; 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$0 i32 (global.get $tuple$0))
(global $other-tuple (i32 i64 f32) (global.get $tuple))
- ;; CHECK: (func $global-get-tuple
+ ;; CHECK: (global $tuple$2 (mut f32) (f32.const 2))
+
+ ;; CHECK: (global $tuple$1_0 (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$0 i32 (global.get $tuple$0))
+
+ ;; CHECK: (func $global-get-tuple (result i32 i64 f32)
;; CHECK-NEXT: (global.get $tuple$0)
;; CHECK-NEXT: (global.get $tuple$1_0)
;; CHECK-NEXT: (global.get $tuple$2)