add testcase

wasmerio · Jun 7, 2021 · af59712 · af59712
1 parent c0440c5
commit af59712
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/tests/wast/wasmer/nan-canonicalization-bug1.wast b/tests/wast/wasmer/nan-canonicalization-bug1.wast
@@ -0,0 +1,14 @@
+;; https://github.com/wasmerio/wasmer/issues/2347
+(module
+    (type (;0;) (func (param f64) (result i32)))
+    (func (;0;) (type 0) (param f64) (result i32)
+        unreachable)
+    (func (;1;) (type 0) (param f64) (result i32)
+        i32.const -16579585
+        f64.convert_i32_s
+        f64.ceil
+        f64.ceil
+        local.get 0
+        f64.copysign
+    unreachable))
+
diff --git a/tests/wast/wasmer/nan-canonicalization-bug2.wast b/tests/wast/wasmer/nan-canonicalization-bug2.wast
@@ -0,0 +1,10 @@
+;; https://github.com/wasmerio/wasmer/issues/2159
+(module
+  (func (export "_start") (result f64)
+    f64.const 0x0p+0 (;=0;)
+    f64.const 0x0p+0 (;=0;)
+    f64.const 0x0p+0 (;=0;)
+    f64.div
+    f64.copysign
+  )
+)