Add tests for out-of-range NaN payloads.

Add `assert_malformed` tests for `f32.const nan:0x800000` and `f64.const nan:0x10000000000000`, which are malformed since the payload values are outside the range supported by the types.
WebAssembly · Jul 11, 2023 · a3f5de0 · a3f5de0
1 parent 5b18d52
commit a3f5de0
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/core/float_literals.wast b/test/core/float_literals.wast
@@ -352,6 +352,10 @@
   (module quote "(global f32 (f32.const 0x1.0p_+1))")
   "unknown operator"
 )
+(assert_malformed
+  (module quote "(global f32 (f32.const nan:0x800000))")
+  "invalid literal"
+)
 
 (assert_malformed
   (module quote "(global f64 (f64.const _100))")
@@ -505,3 +509,7 @@
   (module quote "(global f64 (f64.const 0x1.0p_+1))")
   "unknown operator"
 )
+(assert_malformed
+  (module quote "(global f64 (f64.const nan:0x10000000000000))")
+  "invalid literal"
+)