1 files changed, 90 insertions, 0 deletions
diff --git a/test/polymorphic_stack.wast b/test/polymorphic_stack.wast
new file mode 100644
index 000000000..2241ab910
--- /dev/null
+++ b/test/polymorphic_stack.wast
@@ -0,0 +1,90 @@
+(module
+  (type $FUNCSIG$ii (func (param i32) (result i32)))
+  (import "env" "table" (table 9 9 anyfunc))
+  (func $break-and-binary (result i32)
+    (block $x (result i32)
+      (f32.add
+        (br_if $x
+          (i32.trunc_u/f64
+            (unreachable)
+          )
+          (i32.trunc_u/f64
+            (unreachable)
+          )
+        )
+        (f32.const 1)
+      )
+    )
+  )
+  (func $call-and-unary (param i32) (result i32)
+    (drop
+      (i64.eqz
+        (call $call-and-unary
+          (unreachable)
+        )
+      )
+    )
+    (drop
+      (i64.eqz
+        (i32.eqz
+          (unreachable)
+        )
+      )
+    )
+    (drop
+      (i64.eqz
+        (call_indirect $FUNCSIG$ii
+          (unreachable)
+          (unreachable)
+        )
+      )
+    )
+  )
+  (func $tee (param $x i32)
+    (local $y f32)
+    (drop
+      (i64.eqz
+        (tee_local $x
+          (unreachable)
+        )
+      )
+    )
+    (drop
+      (tee_local $y
+        (i64.eqz
+          (unreachable)
+        )
+      )
+    )
+  )
+  (func $tee2
+    (local $0 f32)
+    (if
+      (i32.const 259)
+      (set_local $0
+        (unreachable)
+      )
+    )
+  )
+  (func $select
+    (drop
+      (i64.eqz
+        (select
+          (unreachable)
+          (i32.const 1)
+          (i32.const 2)
+        )
+      )
+    )
+  )
+  (func $untaken-break-should-have-value (result i32)
+    (block $x (result i32)
+      (block
+        (br_if $x ;; ok to not have a value, since an untaken branch. but must emit valid binary for wasm
+          (unreachable)
+        )
+      )
+    )
+  )
+)
+