Test the difference between label and result types in a loop (WebAsse…

…mbly#610)
swasey · Jan 31, 2018 · d2fd48e · d2fd48e
1 parent e04f14a
commit d2fd48e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/core/labels.wast b/test/core/labels.wast
@@ -73,6 +73,13 @@
     )
   )
 
+  (func (export "loop6") (result i32)
+    (loop (result i32)
+      (br_if 0 (i32.const 0))
+      (i32.const 3)
+    )
+  )
+
   (func (export "if") (result i32)
     (local $i i32)
     (set_local $i (i32.const 0))
@@ -280,6 +287,7 @@
 (assert_return (invoke "loop3") (i32.const 1))
 (assert_return (invoke "loop4" (i32.const 8)) (i32.const 16))
 (assert_return (invoke "loop5") (i32.const 2))
+(assert_return (invoke "loop6") (i32.const 3))
 (assert_return (invoke "if") (i32.const 5))
 (assert_return (invoke "if2") (i32.const 5))
 (assert_return (invoke "switch" (i32.const 0)) (i32.const 50))