test: update spectest smoke test with floating point supported

wasmx · Jul 31, 2020 · 79e7789 · 79e7789
1 parent a1d732b
commit 79e7789
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/test/smoketests/spectests/CMakeLists.txt b/test/smoketests/spectests/CMakeLists.txt
@@ -9,7 +9,7 @@ add_test(
 set_tests_properties(
     fizzy/smoketests/spectests/default
     PROPERTIES
-    PASS_REGULAR_EXPRESSION "PASSED 23, FAILED 0, SKIPPED 7"
+    PASS_REGULAR_EXPRESSION "PASSED 26, FAILED 1, SKIPPED 3"
 )
 
 add_test(
@@ -19,7 +19,7 @@ add_test(
 set_tests_properties(
     fizzy/smoketests/spectests/skipvalidation
     PROPERTIES
-    PASS_REGULAR_EXPRESSION "PASSED 22, FAILED 0, SKIPPED 8"
+    PASS_REGULAR_EXPRESSION "PASSED 25, FAILED 1, SKIPPED 4"
 )
 
 add_test(

diff --git a/test/smoketests/spectests/default/smoketest.json b/test/smoketests/spectests/default/smoketest.json
@@ -22,11 +22,11 @@
   {"type": "assert_unlinkable", "line": 72, "filename": "smoketest.9.wasm", "text": "unknown import", "module_type": "binary"}, 
   {"type": "assert_unlinkable", "line": 76, "filename": "smoketest.10.wasm", "text": "data segment does not fit", "module_type": "binary"}, 
   {"type": "assert_uninstantiable", "line": 81, "filename": "smoketest.11.wasm", "text": "unreachable", "module_type": "binary"}, 
-  {"type": "module", "line": 88, "filename": "smoketest.12.wasm"}, 
-  {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "foo.f32", "args": []}, "expected": [{"type": "f32", "value": "1067282596"}]}, 
-  {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "foo.f64", "args": []}, "expected": [{"type": "f64", "value": "4616820122002590269"}]}, 
-  {"type": "action", "line": 97, "action": {"type": "invoke", "field": "param.f64", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": []}, 
-  {"type": "assert_return", "line": 98, "action": {"type": "get", "field": "glob.f32"}, "expected": [{"type": "f32", "value": "1085276160"}]}, 
+  {"type": "module", "line": 86, "filename": "smoketest.12.wasm"}, 
+  {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "foo.f32", "args": []}, "expected": [{"type": "f32", "value": "1067282596"}]}, 
+  {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "foo.f64", "args": []}, "expected": [{"type": "f64", "value": "4616820122002590269"}]}, 
+  {"type": "action", "line": 95, "action": {"type": "invoke", "field": "param.f64", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": []}, 
+  {"type": "assert_return", "line": 96, "action": {"type": "get", "field": "glob.f32"}, "expected": [{"type": "f32", "value": "1085276160"}]}, 
   {"type": "register", "line": 100, "name": "$Mod-unknown", "as": "Mod-unknown"}, 
   {"type": "assert_malformed", "line": 103, "filename": "smoketest.13.wat", "text": "error", "module_type": "text"}, 
   {"type": "assert_unlinkable", "line": 104, "filename": "smoketest.14.wat", "text": "error", "module_type": "text"}]}
diff --git a/test/smoketests/spectests/default/smoketest.wast b/test/smoketests/spectests/default/smoketest.wast
@@ -82,8 +82,6 @@
   "unreachable"
 )
 
-;; cases that will be skipped
-
 ;; floating point module
 (module
   (func (export "foo.f32") (result f32) (f32.const 1.23))
@@ -97,6 +95,8 @@
 (invoke "param.f64" (f64.const 1))
 (assert_return (get "glob.f32") (f32.const 5.5))
 
+;; cases that will be skipped
+
 (register "Mod-unknown" $Mod-unknown)
 
 ;; module_type=text