[wasm-shell] Error on unknown commands (#6528)

We previously ignored unknown wast commands, which could lead to the mistaken
impression that we were passing test cases that we were in fact not running at
all. Clarify matters by having wasm-shell error out on unrecognized commands,
and comment out all such commands in our versions of the spec test. As we work
toward being able to run the upstream spec tests, having these unsupported
commands explicitly commented out will make it easier to track progress toward
full support.

1 files changed, 911 insertions, 911 deletions

diff --git a/test/spec/f32.wast b/test/spec/f32.wast
index 4f0881c25..148a36867 100644
--- a/test/spec/f32.wast
+++ b/test/spec/f32.wast
@@ -48,14 +48,14 @@
 (assert_return (invoke "add" (f32.const -0x0p+0) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x0p+0) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x0p+0) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x0p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x0p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -0x1p-149) (f32.const -0x0p+0)) (f32.const -0x1p-149))
 (assert_return (invoke "add" (f32.const -0x1p-149) (f32.const 0x0p+0)) (f32.const -0x1p-149))
 (assert_return (invoke "add" (f32.const 0x1p-149) (f32.const -0x0p+0)) (f32.const 0x1p-149))
@@ -88,14 +88,14 @@
 (assert_return (invoke "add" (f32.const -0x1p-149) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x1p-149) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x1p-149) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-149) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-149) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -0x1p-126) (f32.const -0x0p+0)) (f32.const -0x1p-126))
 (assert_return (invoke "add" (f32.const -0x1p-126) (f32.const 0x0p+0)) (f32.const -0x1p-126))
 (assert_return (invoke "add" (f32.const 0x1p-126) (f32.const -0x0p+0)) (f32.const 0x1p-126))
@@ -128,14 +128,14 @@
 (assert_return (invoke "add" (f32.const -0x1p-126) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x1p-126) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x1p-126) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-126) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-126) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -0x1p-1) (f32.const -0x0p+0)) (f32.const -0x1p-1))
 (assert_return (invoke "add" (f32.const -0x1p-1) (f32.const 0x0p+0)) (f32.const -0x1p-1))
 (assert_return (invoke "add" (f32.const 0x1p-1) (f32.const -0x0p+0)) (f32.const 0x1p-1))
@@ -168,14 +168,14 @@
 (assert_return (invoke "add" (f32.const -0x1p-1) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x1p-1) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x1p-1) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-1) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p-1) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -0x1p+0) (f32.const -0x0p+0)) (f32.const -0x1p+0))
 (assert_return (invoke "add" (f32.const -0x1p+0) (f32.const 0x0p+0)) (f32.const -0x1p+0))
 (assert_return (invoke "add" (f32.const 0x1p+0) (f32.const -0x0p+0)) (f32.const 0x1p+0))
@@ -208,14 +208,14 @@
 (assert_return (invoke "add" (f32.const -0x1p+0) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x1p+0) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x1p+0) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const 0x0p+0)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const 0x1.921fb6p+2))
@@ -248,14 +248,14 @@
 (assert_return (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "add" (f32.const -0x1.fffffep+127) (f32.const 0x0p+0)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "add" (f32.const 0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const 0x1.fffffep+127))
@@ -288,14 +288,14 @@
 (assert_return (invoke "add" (f32.const -0x1.fffffep+127) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "add" (f32.const 0x1.fffffep+127) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const 0x1.fffffep+127) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
 (assert_return (invoke "add" (f32.const -inf) (f32.const -0x0p+0)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const -inf) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "add" (f32.const inf) (f32.const -0x0p+0)) (f32.const inf))
@@ -325,97 +325,97 @@
 (assert_return (invoke "add" (f32.const inf) (f32.const -0x1.fffffep+127)) (f32.const inf))
 (assert_return (invoke "add" (f32.const inf) (f32.const 0x1.fffffep+127)) (f32.const inf))
 (assert_return (invoke "add" (f32.const -inf) (f32.const -inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -inf) (f32.const inf)))
-(assert_return_canonical_nan (invoke "add" (f32.const inf) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -inf) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const inf) (f32.const -inf)))
 (assert_return (invoke "add" (f32.const inf) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "add" (f32.const -inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const -nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "add" (f32.const nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "add" (f32.const nan:0x200000) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x0p+0) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "sub" (f32.const -0x0p+0) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "sub" (f32.const 0x0p+0) (f32.const -0x0p+0)) (f32.const 0x0p+0))
@@ -448,14 +448,14 @@
 (assert_return (invoke "sub" (f32.const -0x0p+0) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x0p+0) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x0p+0) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x0p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x0p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x1p-149) (f32.const -0x0p+0)) (f32.const -0x1p-149))
 (assert_return (invoke "sub" (f32.const -0x1p-149) (f32.const 0x0p+0)) (f32.const -0x1p-149))
 (assert_return (invoke "sub" (f32.const 0x1p-149) (f32.const -0x0p+0)) (f32.const 0x1p-149))
@@ -488,14 +488,14 @@
 (assert_return (invoke "sub" (f32.const -0x1p-149) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x1p-149) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x1p-149) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-149) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-149) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x1p-126) (f32.const -0x0p+0)) (f32.const -0x1p-126))
 (assert_return (invoke "sub" (f32.const -0x1p-126) (f32.const 0x0p+0)) (f32.const -0x1p-126))
 (assert_return (invoke "sub" (f32.const 0x1p-126) (f32.const -0x0p+0)) (f32.const 0x1p-126))
@@ -528,14 +528,14 @@
 (assert_return (invoke "sub" (f32.const -0x1p-126) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x1p-126) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x1p-126) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-126) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-126) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x1p-1) (f32.const -0x0p+0)) (f32.const -0x1p-1))
 (assert_return (invoke "sub" (f32.const -0x1p-1) (f32.const 0x0p+0)) (f32.const -0x1p-1))
 (assert_return (invoke "sub" (f32.const 0x1p-1) (f32.const -0x0p+0)) (f32.const 0x1p-1))
@@ -568,14 +568,14 @@
 (assert_return (invoke "sub" (f32.const -0x1p-1) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x1p-1) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x1p-1) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-1) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p-1) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x1p+0) (f32.const -0x0p+0)) (f32.const -0x1p+0))
 (assert_return (invoke "sub" (f32.const -0x1p+0) (f32.const 0x0p+0)) (f32.const -0x1p+0))
 (assert_return (invoke "sub" (f32.const 0x1p+0) (f32.const -0x0p+0)) (f32.const 0x1p+0))
@@ -608,14 +608,14 @@
 (assert_return (invoke "sub" (f32.const -0x1p+0) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x1p+0) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x1p+0) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const 0x0p+0)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const 0x1.921fb6p+2))
@@ -648,14 +648,14 @@
 (assert_return (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const 0x0p+0)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const 0x1.fffffep+127))
@@ -688,14 +688,14 @@
 (assert_return (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const inf)) (f32.const -inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
 (assert_return (invoke "sub" (f32.const -inf) (f32.const -0x0p+0)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const -inf) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const inf) (f32.const -0x0p+0)) (f32.const inf))
@@ -724,98 +724,98 @@
 (assert_return (invoke "sub" (f32.const -inf) (f32.const 0x1.fffffep+127)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const inf) (f32.const -0x1.fffffep+127)) (f32.const inf))
 (assert_return (invoke "sub" (f32.const inf) (f32.const 0x1.fffffep+127)) (f32.const inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const -inf) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -inf) (f32.const -inf)))
 (assert_return (invoke "sub" (f32.const -inf) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "sub" (f32.const inf) (f32.const -inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "sub" (f32.const inf) (f32.const inf)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const inf) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const -nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sub" (f32.const nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "sub" (f32.const nan:0x200000) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x0p+0) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x0p+0) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x0p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -844,18 +844,18 @@
 (assert_return (invoke "mul" (f32.const -0x0p+0) (f32.const 0x1.fffffep+127)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x0p+0) (f32.const -0x1.fffffep+127)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x0p+0) (f32.const 0x1.fffffep+127)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x0p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x0p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x1p-149) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x1p-149) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x1p-149) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -888,14 +888,14 @@
 (assert_return (invoke "mul" (f32.const -0x1p-149) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p-149) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p-149) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-149) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-149) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x1p-126) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x1p-126) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x1p-126) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -928,14 +928,14 @@
 (assert_return (invoke "mul" (f32.const -0x1p-126) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p-126) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p-126) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-126) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-126) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x1p-1) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x1p-1) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x1p-1) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -968,14 +968,14 @@
 (assert_return (invoke "mul" (f32.const -0x1p-1) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p-1) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p-1) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-1) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p-1) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x1p+0) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x1p+0) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x1p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1008,14 +1008,14 @@
 (assert_return (invoke "mul" (f32.const -0x1p+0) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p+0) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1p+0) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1048,14 +1048,14 @@
 (assert_return (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
 (assert_return (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1088,18 +1088,18 @@
 (assert_return (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const 0x0p+0)))
 (assert_return (invoke "mul" (f32.const -inf) (f32.const -0x1p-149)) (f32.const inf))
 (assert_return (invoke "mul" (f32.const -inf) (f32.const 0x1p-149)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const inf) (f32.const -0x1p-149)) (f32.const -inf))
@@ -1128,98 +1128,98 @@
 (assert_return (invoke "mul" (f32.const -inf) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const inf) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "mul" (f32.const inf) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const -nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "mul" (f32.const nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "mul" (f32.const nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const 0x0p+0)))
 (assert_return (invoke "div" (f32.const -0x0p+0) (f32.const -0x1p-149)) (f32.const 0x0p+0))
 (assert_return (invoke "div" (f32.const -0x0p+0) (f32.const 0x1p-149)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x0p+0) (f32.const -0x1p-149)) (f32.const -0x0p+0))
@@ -1248,14 +1248,14 @@
 (assert_return (invoke "div" (f32.const -0x0p+0) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x0p+0) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x0p+0) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x0p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x0p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -0x1p-149) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -0x1p-149) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const 0x1p-149) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1288,14 +1288,14 @@
 (assert_return (invoke "div" (f32.const -0x1p-149) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p-149) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p-149) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-149) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-149) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -0x1p-126) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -0x1p-126) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const 0x1p-126) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1328,14 +1328,14 @@
 (assert_return (invoke "div" (f32.const -0x1p-126) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p-126) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p-126) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-126) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-126) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -0x1p-1) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -0x1p-1) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const 0x1p-1) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1368,14 +1368,14 @@
 (assert_return (invoke "div" (f32.const -0x1p-1) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p-1) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p-1) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-1) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p-1) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -0x1p+0) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -0x1p+0) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const 0x1p+0) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1408,14 +1408,14 @@
 (assert_return (invoke "div" (f32.const -0x1p+0) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p+0) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1p+0) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1448,14 +1448,14 @@
 (assert_return (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -0x1.fffffep+127) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const 0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1488,14 +1488,14 @@
 (assert_return (invoke "div" (f32.const -0x1.fffffep+127) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1.fffffep+127) (f32.const -inf)) (f32.const -0x0p+0))
 (assert_return (invoke "div" (f32.const 0x1.fffffep+127) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
 (assert_return (invoke "div" (f32.const -inf) (f32.const -0x0p+0)) (f32.const inf))
 (assert_return (invoke "div" (f32.const -inf) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const inf) (f32.const -0x0p+0)) (f32.const -inf))
@@ -1524,98 +1524,98 @@
 (assert_return (invoke "div" (f32.const -inf) (f32.const 0x1.fffffep+127)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const inf) (f32.const -0x1.fffffep+127)) (f32.const -inf))
 (assert_return (invoke "div" (f32.const inf) (f32.const 0x1.fffffep+127)) (f32.const inf))
-(assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const -nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "div" (f32.const nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "div" (f32.const nan:0x200000) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x0p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "min" (f32.const -0x0p+0) (f32.const 0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "min" (f32.const 0x0p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1648,14 +1648,14 @@
 (assert_return (invoke "min" (f32.const -0x0p+0) (f32.const inf)) (f32.const -0x0p+0))
 (assert_return (invoke "min" (f32.const 0x0p+0) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x0p+0) (f32.const inf)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x0p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x0p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x1p-149) (f32.const -0x0p+0)) (f32.const -0x1p-149))
 (assert_return (invoke "min" (f32.const -0x1p-149) (f32.const 0x0p+0)) (f32.const -0x1p-149))
 (assert_return (invoke "min" (f32.const 0x1p-149) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1688,14 +1688,14 @@
 (assert_return (invoke "min" (f32.const -0x1p-149) (f32.const inf)) (f32.const -0x1p-149))
 (assert_return (invoke "min" (f32.const 0x1p-149) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x1p-149) (f32.const inf)) (f32.const 0x1p-149))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-149) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-149) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x1p-126) (f32.const -0x0p+0)) (f32.const -0x1p-126))
 (assert_return (invoke "min" (f32.const -0x1p-126) (f32.const 0x0p+0)) (f32.const -0x1p-126))
 (assert_return (invoke "min" (f32.const 0x1p-126) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1728,14 +1728,14 @@
 (assert_return (invoke "min" (f32.const -0x1p-126) (f32.const inf)) (f32.const -0x1p-126))
 (assert_return (invoke "min" (f32.const 0x1p-126) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x1p-126) (f32.const inf)) (f32.const 0x1p-126))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-126) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-126) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x1p-1) (f32.const -0x0p+0)) (f32.const -0x1p-1))
 (assert_return (invoke "min" (f32.const -0x1p-1) (f32.const 0x0p+0)) (f32.const -0x1p-1))
 (assert_return (invoke "min" (f32.const 0x1p-1) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1768,14 +1768,14 @@
 (assert_return (invoke "min" (f32.const -0x1p-1) (f32.const inf)) (f32.const -0x1p-1))
 (assert_return (invoke "min" (f32.const 0x1p-1) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x1p-1) (f32.const inf)) (f32.const 0x1p-1))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-1) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p-1) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x1p+0) (f32.const -0x0p+0)) (f32.const -0x1p+0))
 (assert_return (invoke "min" (f32.const -0x1p+0) (f32.const 0x0p+0)) (f32.const -0x1p+0))
 (assert_return (invoke "min" (f32.const 0x1p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1808,14 +1808,14 @@
 (assert_return (invoke "min" (f32.const -0x1p+0) (f32.const inf)) (f32.const -0x1p+0))
 (assert_return (invoke "min" (f32.const 0x1p+0) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x1p+0) (f32.const inf)) (f32.const 0x1p+0))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const 0x0p+0)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1848,14 +1848,14 @@
 (assert_return (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const inf)) (f32.const -0x1.921fb6p+2))
 (assert_return (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const inf)) (f32.const 0x1.921fb6p+2))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "min" (f32.const -0x1.fffffep+127) (f32.const 0x0p+0)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "min" (f32.const 0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1888,14 +1888,14 @@
 (assert_return (invoke "min" (f32.const -0x1.fffffep+127) (f32.const inf)) (f32.const -0x1.fffffep+127))
 (assert_return (invoke "min" (f32.const 0x1.fffffep+127) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const 0x1.fffffep+127) (f32.const inf)) (f32.const 0x1.fffffep+127))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
 (assert_return (invoke "min" (f32.const -inf) (f32.const -0x0p+0)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const -inf) (f32.const 0x0p+0)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const inf) (f32.const -0x0p+0)) (f32.const -0x0p+0))
@@ -1928,94 +1928,94 @@
 (assert_return (invoke "min" (f32.const -inf) (f32.const inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const inf) (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "min" (f32.const inf) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "min" (f32.const -inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const -nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "min" (f32.const nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "min" (f32.const nan:0x200000) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x0p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x0p+0) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x0p+0) (f32.const -0x0p+0)) (f32.const 0x0p+0))
@@ -2048,14 +2048,14 @@
 (assert_return (invoke "max" (f32.const -0x0p+0) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x0p+0) (f32.const -inf)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x0p+0) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x0p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x0p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x0p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x0p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x0p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x0p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x0p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x0p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x1p-149) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x1p-149) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x1p-149) (f32.const -0x0p+0)) (f32.const 0x1p-149))
@@ -2088,14 +2088,14 @@
 (assert_return (invoke "max" (f32.const -0x1p-149) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x1p-149) (f32.const -inf)) (f32.const 0x1p-149))
 (assert_return (invoke "max" (f32.const 0x1p-149) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-149) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p-149) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p-149) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-149) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p-149) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-149) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p-149) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-149) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x1p-126) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x1p-126) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x1p-126) (f32.const -0x0p+0)) (f32.const 0x1p-126))
@@ -2128,14 +2128,14 @@
 (assert_return (invoke "max" (f32.const -0x1p-126) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x1p-126) (f32.const -inf)) (f32.const 0x1p-126))
 (assert_return (invoke "max" (f32.const 0x1p-126) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-126) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p-126) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p-126) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-126) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p-126) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-126) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p-126) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-126) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x1p-1) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x1p-1) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x1p-1) (f32.const -0x0p+0)) (f32.const 0x1p-1))
@@ -2168,14 +2168,14 @@
 (assert_return (invoke "max" (f32.const -0x1p-1) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x1p-1) (f32.const -inf)) (f32.const 0x1p-1))
 (assert_return (invoke "max" (f32.const 0x1p-1) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-1) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p-1) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p-1) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p-1) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p-1) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-1) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p-1) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p-1) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x1p+0) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x1p+0) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x1p+0) (f32.const -0x0p+0)) (f32.const 0x1p+0))
@@ -2208,14 +2208,14 @@
 (assert_return (invoke "max" (f32.const -0x1p+0) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x1p+0) (f32.const -inf)) (f32.const 0x1p+0))
 (assert_return (invoke "max" (f32.const 0x1p+0) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p+0) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p+0) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1p+0) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1p+0) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p+0) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p+0) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1p+0) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1p+0) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const -0x0p+0)) (f32.const 0x1.921fb6p+2))
@@ -2248,14 +2248,14 @@
 (assert_return (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const -inf)) (f32.const 0x1.921fb6p+2))
 (assert_return (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.921fb6p+2) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.921fb6p+2) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -0x1.fffffep+127) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const 0x1.fffffep+127) (f32.const -0x0p+0)) (f32.const 0x1.fffffep+127))
@@ -2288,14 +2288,14 @@
 (assert_return (invoke "max" (f32.const -0x1.fffffep+127) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const 0x1.fffffep+127) (f32.const -inf)) (f32.const 0x1.fffffep+127))
 (assert_return (invoke "max" (f32.const 0x1.fffffep+127) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -0x1.fffffep+127) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const 0x1.fffffep+127) (f32.const nan:0x200000)))
 (assert_return (invoke "max" (f32.const -inf) (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "max" (f32.const -inf) (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "max" (f32.const inf) (f32.const -0x0p+0)) (f32.const inf))
@@ -2328,114 +2328,114 @@
 (assert_return (invoke "max" (f32.const -inf) (f32.const inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const inf) (f32.const -inf)) (f32.const inf))
 (assert_return (invoke "max" (f32.const inf) (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "max" (f32.const -inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const inf) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const inf) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const inf) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const inf) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x0p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x0p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x0p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x0p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p-149)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p-149)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p-149)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p-149)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p-126)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p-126)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p-126)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p-126)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p-1)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p-1)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p-1)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p-1)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p+0)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p+0)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1.921fb6p+2)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1.fffffep+127)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -inf)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -inf)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const inf)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const inf)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan) (f32.const -nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan) (f32.const nan:0x200000)))
-(assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const inf) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const inf) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const inf) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const inf) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x0p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x0p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x0p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p-149)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p-149)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p-126)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p-126)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p-1)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p-1)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1p+0)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1p+0)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const 0x1.fffffep+127)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const 0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -inf)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const inf)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const inf)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const -nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const -nan:0x200000) (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan) (f32.const -nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "max" (f32.const nan) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan) (f32.const nan:0x200000)))
+;; (assert_return_arithmetic_nan (invoke "max" (f32.const nan:0x200000) (f32.const nan:0x200000)))
 (assert_return (invoke "sqrt" (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "sqrt" (f32.const 0x0p+0)) (f32.const 0x0p+0))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p-149)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p-149)))
 (assert_return (invoke "sqrt" (f32.const 0x1p-149)) (f32.const 0x1.6a09e6p-75))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p-126)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p-126)))
 (assert_return (invoke "sqrt" (f32.const 0x1p-126)) (f32.const 0x1p-63))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p-1)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p-1)))
 (assert_return (invoke "sqrt" (f32.const 0x1p-1)) (f32.const 0x1.6a09e6p-1))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p+0)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1p+0)))
 (assert_return (invoke "sqrt" (f32.const 0x1p+0)) (f32.const 0x1p+0))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1.921fb6p+2)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1.921fb6p+2)))
 (assert_return (invoke "sqrt" (f32.const 0x1.921fb6p+2)) (f32.const 0x1.40d932p+1))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1.fffffep+127)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -0x1.fffffep+127)))
 (assert_return (invoke "sqrt" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+63))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -inf)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -inf)))
 (assert_return (invoke "sqrt" (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "sqrt" (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "sqrt" (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "sqrt" (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "sqrt" (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "sqrt" (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "sqrt" (f32.const nan:0x200000)))
 (assert_return (invoke "floor" (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "floor" (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "floor" (f32.const -0x1p-149)) (f32.const -0x1p+0))
@@ -2452,10 +2452,10 @@
 (assert_return (invoke "floor" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
 (assert_return (invoke "floor" (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "floor" (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "floor" (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "floor" (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "floor" (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "floor" (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "floor" (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "floor" (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "floor" (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "floor" (f32.const nan:0x200000)))
 (assert_return (invoke "ceil" (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "ceil" (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "ceil" (f32.const -0x1p-149)) (f32.const -0x0p+0))
@@ -2472,10 +2472,10 @@
 (assert_return (invoke "ceil" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
 (assert_return (invoke "ceil" (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "ceil" (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "ceil" (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "ceil" (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "ceil" (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "ceil" (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "ceil" (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "ceil" (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "ceil" (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "ceil" (f32.const nan:0x200000)))
 (assert_return (invoke "trunc" (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "trunc" (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "trunc" (f32.const -0x1p-149)) (f32.const -0x0p+0))
@@ -2492,10 +2492,10 @@
 (assert_return (invoke "trunc" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
 (assert_return (invoke "trunc" (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "trunc" (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "trunc" (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "trunc" (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "trunc" (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "trunc" (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "trunc" (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "trunc" (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "trunc" (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "trunc" (f32.const nan:0x200000)))
 (assert_return (invoke "nearest" (f32.const -0x0p+0)) (f32.const -0x0p+0))
 (assert_return (invoke "nearest" (f32.const 0x0p+0)) (f32.const 0x0p+0))
 (assert_return (invoke "nearest" (f32.const -0x1p-149)) (f32.const -0x0p+0))
@@ -2512,10 +2512,10 @@
 (assert_return (invoke "nearest" (f32.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
 (assert_return (invoke "nearest" (f32.const -inf)) (f32.const -inf))
 (assert_return (invoke "nearest" (f32.const inf)) (f32.const inf))
-(assert_return_canonical_nan (invoke "nearest" (f32.const -nan)))
-(assert_return_arithmetic_nan (invoke "nearest" (f32.const -nan:0x200000)))
-(assert_return_canonical_nan (invoke "nearest" (f32.const nan)))
-(assert_return_arithmetic_nan (invoke "nearest" (f32.const nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "nearest" (f32.const -nan)))
+;; (assert_return_arithmetic_nan (invoke "nearest" (f32.const -nan:0x200000)))
+;; (assert_return_canonical_nan (invoke "nearest" (f32.const nan)))
+;; (assert_return_arithmetic_nan (invoke "nearest" (f32.const nan:0x200000)))
 
 
 ;; Type check