summaryrefslogtreecommitdiff
path: root/test/crash/test_features.py
diff options
context:
space:
mode:
authorThomas Lively <7121787+tlively@users.noreply.github.com>2019-03-25 18:11:45 -0700
committerGitHub <noreply@github.com>2019-03-25 18:11:45 -0700
commit56c5ff78310ad956e70bf1a00a64c72ee81d18bd (patch)
tree28d0a5ed42a44f18f314d57cd66dc1e545669b02 /test/crash/test_features.py
parent5e19a7b05144736ec17ee6b0bb366afa744137c6 (diff)
downloadbinaryen-56c5ff78310ad956e70bf1a00a64c72ee81d18bd.tar.gz
binaryen-56c5ff78310ad956e70bf1a00a64c72ee81d18bd.tar.bz2
binaryen-56c5ff78310ad956e70bf1a00a64c72ee81d18bd.zip
More validation tests and fixes for SIMD (#1964)
Moves the feature validation unit test file to a new directory, 'unit', and adds new tests for SIMD and sign-ext. Adds validation for v128 globals and v128.const.
Diffstat (limited to 'test/crash/test_features.py')
-rw-r--r--test/crash/test_features.py18
1 files changed, 0 insertions, 18 deletions
diff --git a/test/crash/test_features.py b/test/crash/test_features.py
deleted file mode 100644
index 87521d4c0..000000000
--- a/test/crash/test_features.py
+++ /dev/null
@@ -1,18 +0,0 @@
-import unittest
-from scripts.test.shared import WASM_OPT, run_process
-
-
-class FeatureValidationTest(unittest.TestCase):
- def test_simd_type(self):
- module = """
- (module
- (func $foo (param $0 v128) (result v128)
- (local.get $0)
- )
- )
- """
- p = run_process(WASM_OPT + ['--mvp-features', '--print'],
- input=module, check=False, capture_output=True)
- self.assertIn("all used types should be allowed", p.stderr)
- self.assertIn("Fatal: error in validating input", p.stderr)
- self.assertNotEqual(p.returncode, 0)