1 files changed, 670 insertions, 0 deletions
diff --git a/test/lit/multivalue.wast b/test/lit/multivalue.wast
new file mode 100644
index 000000000..f75182ca4
--- /dev/null
+++ b/test/lit/multivalue.wast
@@ -0,0 +1,670 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
+;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s
+
+;; Test basic lowering of tuple.make, tuple.extract, and tuple variables and
+;; that they round trip through the binary format correctly.
+
+(module
+ ;; CHECK:      (import "env" "pair" (func $pair (type $0) (result i32 i64)))
+ (import "env" "pair" (func $pair (result i32 i64)))
+ ;; CHECK:      (global $g1 (mut i32) (i32.const 0))
+ (global $g1 (mut (i32 i64)) (tuple.make (i32.const 0) (i64.const 0)))
+ ;; CHECK:      (global $g2 (mut i64) (i64.const 0))
+ (global $g2 (i32 i64) (tuple.make (i32.const 0) (i64.const 0)))
+
+ ;; CHECK:      (func $triple (type $5) (result i32 i64 f32)
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (i32.const 42)
+ ;; CHECK-NEXT:   (i64.const 7)
+ ;; CHECK-NEXT:   (f32.const 13)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $triple (result i32 i64 f32)
+  (tuple.make
+   (i32.const 42)
+   (i64.const 7)
+   (f32.const 13)
+  )
+ )
+
+ ;; CHECK:      (func $get-first (type $6) (result i32)
+ ;; CHECK-NEXT:  (local $0 (i32 i64 f32))
+ ;; CHECK-NEXT:  (local $1 i64)
+ ;; CHECK-NEXT:  (local $2 i32)
+ ;; CHECK-NEXT:  (local.set $0
+ ;; CHECK-NEXT:   (call $triple)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (block (result i32)
+ ;; CHECK-NEXT:   (local.set $2
+ ;; CHECK-NEXT:    (tuple.extract 0
+ ;; CHECK-NEXT:     (local.get $0)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (drop
+ ;; CHECK-NEXT:    (block (result i64)
+ ;; CHECK-NEXT:     (local.set $1
+ ;; CHECK-NEXT:      (tuple.extract 1
+ ;; CHECK-NEXT:       (local.get $0)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:     (drop
+ ;; CHECK-NEXT:      (tuple.extract 2
+ ;; CHECK-NEXT:       (local.get $0)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:     (local.get $1)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (local.get $2)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $get-first (result i32)
+  (tuple.extract 0
+   (call $triple)
+  )
+ )
+
+ ;; CHECK:      (func $get-second (type $3) (result i64)
+ ;; CHECK-NEXT:  (local $0 i64)
+ ;; CHECK-NEXT:  (local $1 (i32 i64 f32))
+ ;; CHECK-NEXT:  (local $2 i64)
+ ;; CHECK-NEXT:  (local $3 i32)
+ ;; CHECK-NEXT:  (local.set $1
+ ;; CHECK-NEXT:   (call $triple)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $3
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $1)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.set $0
+ ;; CHECK-NEXT:     (block (result i64)
+ ;; CHECK-NEXT:      (local.set $2
+ ;; CHECK-NEXT:       (tuple.extract 1
+ ;; CHECK-NEXT:        (local.get $1)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (drop
+ ;; CHECK-NEXT:       (tuple.extract 2
+ ;; CHECK-NEXT:        (local.get $1)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.get $2)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $3)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (local.get $0)
+ ;; CHECK-NEXT: )
+ (func $get-second (result i64)
+  (tuple.extract 1
+   (call $triple)
+  )
+ )
+
+ ;; CHECK:      (func $get-third (type $7) (result f32)
+ ;; CHECK-NEXT:  (local $0 f32)
+ ;; CHECK-NEXT:  (local $1 (i32 i64 f32))
+ ;; CHECK-NEXT:  (local $2 i64)
+ ;; CHECK-NEXT:  (local $3 i32)
+ ;; CHECK-NEXT:  (local.set $1
+ ;; CHECK-NEXT:   (call $triple)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $3
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $1)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (block (result i64)
+ ;; CHECK-NEXT:      (local.set $2
+ ;; CHECK-NEXT:       (tuple.extract 1
+ ;; CHECK-NEXT:        (local.get $1)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.set $0
+ ;; CHECK-NEXT:       (tuple.extract 2
+ ;; CHECK-NEXT:        (local.get $1)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.get $2)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $3)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (local.get $0)
+ ;; CHECK-NEXT: )
+ (func $get-third (result f32)
+  (tuple.extract 2
+   (call $triple)
+  )
+ )
+
+ ;; CHECK:      (func $reverse (type $4) (result f32 i64 i32)
+ ;; CHECK-NEXT:  (local $x i32)
+ ;; CHECK-NEXT:  (local $1 i64)
+ ;; CHECK-NEXT:  (local $2 i64)
+ ;; CHECK-NEXT:  (local $3 f32)
+ ;; CHECK-NEXT:  (local $4 f32)
+ ;; CHECK-NEXT:  (local $5 (i32 i64 f32))
+ ;; CHECK-NEXT:  (local $6 i64)
+ ;; CHECK-NEXT:  (local $7 i32)
+ ;; CHECK-NEXT:  (local $8 i64)
+ ;; CHECK-NEXT:  (local $9 i32)
+ ;; CHECK-NEXT:  (local $10 i64)
+ ;; CHECK-NEXT:  (local $11 i32)
+ ;; CHECK-NEXT:  (local $12 i64)
+ ;; CHECK-NEXT:  (local $13 i32)
+ ;; CHECK-NEXT:  (local $14 f32)
+ ;; CHECK-NEXT:  (local.set $5
+ ;; CHECK-NEXT:   (call $triple)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (local.set $x
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $7
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $5)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.set $1
+ ;; CHECK-NEXT:     (block (result i64)
+ ;; CHECK-NEXT:      (local.set $6
+ ;; CHECK-NEXT:       (tuple.extract 1
+ ;; CHECK-NEXT:        (local.get $5)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.set $3
+ ;; CHECK-NEXT:       (tuple.extract 2
+ ;; CHECK-NEXT:        (local.get $5)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.get $6)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $7)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $9
+ ;; CHECK-NEXT:     (local.get $x)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (block (result i64)
+ ;; CHECK-NEXT:      (local.set $8
+ ;; CHECK-NEXT:       (local.get $1)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.set $4
+ ;; CHECK-NEXT:       (local.get $3)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.get $8)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $9)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (block (result f32)
+ ;; CHECK-NEXT:    (local.set $14
+ ;; CHECK-NEXT:     (local.get $4)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (block (result i32)
+ ;; CHECK-NEXT:      (local.set $11
+ ;; CHECK-NEXT:       (local.get $x)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.set $2
+ ;; CHECK-NEXT:       (block (result i64)
+ ;; CHECK-NEXT:        (local.set $10
+ ;; CHECK-NEXT:         (local.get $1)
+ ;; CHECK-NEXT:        )
+ ;; CHECK-NEXT:        (drop
+ ;; CHECK-NEXT:         (local.get $3)
+ ;; CHECK-NEXT:        )
+ ;; CHECK-NEXT:        (local.get $10)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.get $11)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $14)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (local.get $2)
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $13
+ ;; CHECK-NEXT:     (local.get $x)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (block (result i64)
+ ;; CHECK-NEXT:      (local.set $12
+ ;; CHECK-NEXT:       (local.get $1)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (drop
+ ;; CHECK-NEXT:       (local.get $3)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (local.get $12)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $13)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $reverse (result f32 i64 i32)
+  (local $x (i32 i64 f32))
+  (local.set $x
+   (call $triple)
+  )
+  (tuple.make
+   (tuple.extract 2
+    (local.get $x)
+   )
+   (tuple.extract 1
+    (local.get $x)
+   )
+   (tuple.extract 0
+    (local.get $x)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $unreachable (type $3) (result i64)
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (i32.const 42)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (i64.const 7)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (unreachable)
+ ;; CHECK-NEXT: )
+ (func $unreachable (result i64)
+  (tuple.extract 1
+   (tuple.make
+    (i32.const 42)
+    (i64.const 7)
+    (unreachable)
+   )
+  )
+ )
+
+ ;; Test multivalue globals
+ ;; CHECK:      (func $global (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (local $0 i64)
+ ;; CHECK-NEXT:  (local $1 i32)
+ ;; CHECK-NEXT:  (local $2 i32)
+ ;; CHECK-NEXT:  (global.set $g1
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $1
+ ;; CHECK-NEXT:     (i32.const 42)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (global.set $g2
+ ;; CHECK-NEXT:     (i64.const 7)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $2
+ ;; CHECK-NEXT:     (global.get $g1)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.set $0
+ ;; CHECK-NEXT:     (global.get $g2)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $2)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (local.get $0)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (global.get $global$2)
+ ;; CHECK-NEXT:   (global.get $global$3)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $global (result i32 i64)
+  (global.set $g1
+   (tuple.make
+    (i32.const 42)
+    (i64.const 7)
+   )
+  )
+  (drop
+   (tuple.extract 1
+    (global.get $g1)
+   )
+  )
+  (global.get $g2)
+ )
+
+ ;; Test lowering of multivalue drops
+ ;; CHECK:      (func $drop-call (type $1)
+ ;; CHECK-NEXT:  (local $0 (i32 i64))
+ ;; CHECK-NEXT:  (local $1 i32)
+ ;; CHECK-NEXT:  (local.set $0
+ ;; CHECK-NEXT:   (call $pair)
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $1
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (tuple.extract 1
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $drop-call
+  (drop
+   (call $pair)
+  )
+ )
+
+ ;; CHECK:      (func $drop-tuple-make (type $1)
+ ;; CHECK-NEXT:  (local $0 i32)
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $0
+ ;; CHECK-NEXT:     (i32.const 42)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (i64.const 42)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $drop-tuple-make
+  (drop
+   (tuple.make
+    (i32.const 42)
+    (i64.const 42)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $drop-block (type $1)
+ ;; CHECK-NEXT:  (local $0 (i32 i64))
+ ;; CHECK-NEXT:  (local $1 i32)
+ ;; CHECK-NEXT:  (local.set $0
+ ;; CHECK-NEXT:   (block $label$1 (result i32 i64)
+ ;; CHECK-NEXT:    (tuple.make
+ ;; CHECK-NEXT:     (i32.const 42)
+ ;; CHECK-NEXT:     (i64.const 42)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (drop
+ ;; CHECK-NEXT:   (block (result i32)
+ ;; CHECK-NEXT:    (local.set $1
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (drop
+ ;; CHECK-NEXT:     (tuple.extract 1
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $drop-block
+  (drop
+   (block $block (result i32 i64)
+    (tuple.make
+     (i32.const 42)
+     (i64.const 42)
+    )
+   )
+  )
+ )
+
+ ;; Test multivalue control structures
+ ;; CHECK:      (func $mv-return (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (return
+ ;; CHECK-NEXT:   (tuple.make
+ ;; CHECK-NEXT:    (i32.const 42)
+ ;; CHECK-NEXT:    (i64.const 42)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-return (result i32 i64)
+  (return
+   (tuple.make
+    (i32.const 42)
+    (i64.const 42)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $mv-return-in-block (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (return
+ ;; CHECK-NEXT:   (tuple.make
+ ;; CHECK-NEXT:    (i32.const 42)
+ ;; CHECK-NEXT:    (i64.const 42)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-return-in-block (result i32 i64)
+  (block (result i32 i64)
+   (return
+    (tuple.make
+     (i32.const 42)
+     (i64.const 42)
+    )
+   )
+  )
+ )
+
+ ;; CHECK:      (func $mv-block-break (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (local $0 (i32 i64))
+ ;; CHECK-NEXT:  (local.set $0
+ ;; CHECK-NEXT:   (block $label$1 (result i32 i64)
+ ;; CHECK-NEXT:    (br $label$1
+ ;; CHECK-NEXT:     (tuple.make
+ ;; CHECK-NEXT:      (i32.const 42)
+ ;; CHECK-NEXT:      (i64.const 42)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (tuple.extract 0
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (tuple.extract 1
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-block-break (result i32 i64)
+  (block $l (result i32 i64)
+   (br $l
+    (tuple.make
+     (i32.const 42)
+     (i64.const 42)
+    )
+   )
+  )
+ )
+
+ ;; CHECK:      (func $mv-block-br-if (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (local $0 (i32 i64))
+ ;; CHECK-NEXT:  (local $1 (i32 i64))
+ ;; CHECK-NEXT:  (local.set $1
+ ;; CHECK-NEXT:   (block $label$1 (result i32 i64)
+ ;; CHECK-NEXT:    (local.set $0
+ ;; CHECK-NEXT:     (br_if $label$1
+ ;; CHECK-NEXT:      (tuple.make
+ ;; CHECK-NEXT:       (i32.const 42)
+ ;; CHECK-NEXT:       (i64.const 42)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:      (i32.const 1)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (tuple.make
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:     (tuple.extract 1
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (tuple.extract 0
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (tuple.extract 1
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-block-br-if (result i32 i64)
+  (block $l (result i32 i64)
+   (br_if $l
+    (tuple.make
+     (i32.const 42)
+     (i64.const 42)
+    )
+    (i32.const 1)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $mv-if (type $2) (result i32 i64 externref)
+ ;; CHECK-NEXT:  (local $0 (i32 i64 externref))
+ ;; CHECK-NEXT:  (local.set $0
+ ;; CHECK-NEXT:   (if (result i32 i64 externref)
+ ;; CHECK-NEXT:    (i32.const 1)
+ ;; CHECK-NEXT:    (tuple.make
+ ;; CHECK-NEXT:     (i32.const 42)
+ ;; CHECK-NEXT:     (i64.const 42)
+ ;; CHECK-NEXT:     (ref.null noextern)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (tuple.make
+ ;; CHECK-NEXT:     (i32.const 42)
+ ;; CHECK-NEXT:     (i64.const 42)
+ ;; CHECK-NEXT:     (ref.null noextern)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (tuple.extract 0
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (tuple.extract 1
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (tuple.extract 2
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-if (result i32 i64 externref)
+  (if (result i32 i64 externref)
+   (i32.const 1)
+   (tuple.make
+    (i32.const 42)
+    (i64.const 42)
+    (ref.null extern)
+   )
+   (tuple.make
+    (i32.const 42)
+    (i64.const 42)
+    (ref.null extern)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $mv-loop (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (local $0 (i32 i64))
+ ;; CHECK-NEXT:  (local.set $0
+ ;; CHECK-NEXT:   (loop $label$1 (result i32 i64)
+ ;; CHECK-NEXT:    (tuple.make
+ ;; CHECK-NEXT:     (i32.const 42)
+ ;; CHECK-NEXT:     (i64.const 42)
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (tuple.extract 0
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (tuple.extract 1
+ ;; CHECK-NEXT:    (local.get $0)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-loop (result i32 i64)
+  (loop (result i32 i64)
+   (tuple.make
+    (i32.const 42)
+    (i64.const 42)
+   )
+  )
+ )
+
+ ;; CHECK:      (func $mv-switch (type $0) (result i32 i64)
+ ;; CHECK-NEXT:  (local $0 (i32 i64))
+ ;; CHECK-NEXT:  (local $1 (i32 i64))
+ ;; CHECK-NEXT:  (local.set $1
+ ;; CHECK-NEXT:   (block $label$1 (result i32 i64)
+ ;; CHECK-NEXT:    (local.set $0
+ ;; CHECK-NEXT:     (block $label$2 (result i32 i64)
+ ;; CHECK-NEXT:      (br_table $label$1 $label$2
+ ;; CHECK-NEXT:       (tuple.make
+ ;; CHECK-NEXT:        (i32.const 42)
+ ;; CHECK-NEXT:        (i64.const 42)
+ ;; CHECK-NEXT:       )
+ ;; CHECK-NEXT:       (i32.const 0)
+ ;; CHECK-NEXT:      )
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:    (tuple.make
+ ;; CHECK-NEXT:     (tuple.extract 0
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:     (tuple.extract 1
+ ;; CHECK-NEXT:      (local.get $0)
+ ;; CHECK-NEXT:     )
+ ;; CHECK-NEXT:    )
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT:  (tuple.make
+ ;; CHECK-NEXT:   (tuple.extract 0
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:   (tuple.extract 1
+ ;; CHECK-NEXT:    (local.get $1)
+ ;; CHECK-NEXT:   )
+ ;; CHECK-NEXT:  )
+ ;; CHECK-NEXT: )
+ (func $mv-switch (result i32 i64)
+  (block $a (result i32 i64)
+   (block $b (result i32 i64)
+    (br_table $a $b
+     (tuple.make
+      (i32.const 42)
+      (i64.const 42)
+     )
+     (i32.const 0)
+    )
+   )
+  )
+ )
+)