summaryrefslogtreecommitdiff
path: root/test/spec
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec')
-rw-r--r--test/spec/conversions.txt13
-rw-r--r--test/spec/f32.txt13
-rw-r--r--test/spec/f64.txt13
-rw-r--r--test/spec/float_misc.txt13
-rw-r--r--test/spec/i32.txt13
-rw-r--r--test/spec/i64.txt13
-rw-r--r--test/spec/left-to-right.txt13
-rw-r--r--test/spec/switch.txt2
-rw-r--r--test/spec/traps.txt25
9 files changed, 109 insertions, 9 deletions
diff --git a/test/spec/conversions.txt b/test/spec/conversions.txt
index 4f46dcdf..5a5552f6 100644
--- a/test/spec/conversions.txt
+++ b/test/spec/conversions.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #162:ExprI64SConvertF32
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/conversions.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #162:ExprI64SConvertF32
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/f32.txt b/test/spec/f32.txt
index 58d9ce96..3f8636a1 100644
--- a/test/spec/f32.txt
+++ b/test/spec/f32.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #121:ExprF32Min
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/f32.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #121:ExprF32Min
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/f64.txt b/test/spec/f64.txt
index 15216883..9509391e 100644
--- a/test/spec/f64.txt
+++ b/test/spec/f64.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #141:ExprF64Min
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/f64.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #141:ExprF64Min
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/float_misc.txt b/test/spec/float_misc.txt
index 89aa7246..32349861 100644
--- a/test/spec/float_misc.txt
+++ b/test/spec/float_misc.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #125:ExprF32CopySign
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/float_misc.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #125:ExprF32CopySign
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/i32.txt b/test/spec/i32.txt
index 437e638e..4d11a3ff 100644
--- a/test/spec/i32.txt
+++ b/test/spec/i32.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #88:ExprI32Ctz
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/i32.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #88:ExprI32Ctz
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/i64.txt b/test/spec/i64.txt
index b25fcaad..dd79c39c 100644
--- a/test/spec/i64.txt
+++ b/test/spec/i64.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #114:ExprI64Clz
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/i64.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #114:ExprI64Clz
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/left-to-right.txt b/test/spec/left-to-right.txt
index 0dc13136..c8f7747c 100644
--- a/test/spec/left-to-right.txt
+++ b/test/spec/left-to-right.txt
@@ -1,4 +1,15 @@
-# SKIP: Unsupported opcode #125:ExprF32CopySign
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/left-to-right.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #125:ExprF32CopySign
+#
+
+
+# STDOUT:
+instantiating module
diff --git a/test/spec/switch.txt b/test/spec/switch.txt
index 4828b068..9e8f72b4 100644
--- a/test/spec/switch.txt
+++ b/test/spec/switch.txt
@@ -1,4 +1,4 @@
# SKIP: switch generation not implemented currently
# EXE: test/run-d8.py
# FLAGS: --spec
-# STDIN_FILE: third_party/spec/ml-proto/test/switch.wase
+# STDIN_FILE: third_party/spec/ml-proto/test/switch.wast
diff --git a/test/spec/traps.txt b/test/spec/traps.txt
index a9467b56..a474c6df 100644
--- a/test/spec/traps.txt
+++ b/test/spec/traps.txt
@@ -1,4 +1,27 @@
-# SKIP: Unsupported opcode #162:ExprI64SConvertF32
+# ERROR: 1
# EXE: test/run-d8.py
# FLAGS: --spec
# STDIN_FILE: third_party/spec/ml-proto/test/traps.wast
+# STDERR:
+
+
+#
+# Fatal error in ../../../../src/wasm/tf-builder.cc, line 199
+# Unsupported opcode #162:ExprI64SConvertF32
+#
+
+
+# STDOUT:
+instantiating module
+$assert_trap_0 failed, didn't throw
+$assert_trap_1 failed, didn't throw
+$assert_trap_2 failed, didn't throw
+$assert_trap_3 failed, didn't throw
+0/4 tests passed.
+instantiating module
+$assert_trap_0 failed, didn't throw
+$assert_trap_1 failed, didn't throw
+$assert_trap_2 failed, didn't throw
+$assert_trap_3 failed, didn't throw
+0/4 tests passed.
+instantiating module