summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/debugInfo.fromasm.clamp.no-opts.map2
-rw-r--r--test/debugInfo.fromasm.imprecise.no-opts.map2
-rw-r--r--test/debugInfo.fromasm.no-opts.map2
-rw-r--r--test/lld/duplicate_imports.wast.out6
-rw-r--r--test/lld/em_asm.wast.mem.out6
-rw-r--r--test/lld/em_asm.wast.out6
-rw-r--r--test/lld/em_asm_O0.wast.out6
-rw-r--r--test/lld/em_asm_shared.wast.out6
-rw-r--r--test/lld/em_asm_table.wast.out6
-rw-r--r--test/lld/em_js_O0.wast.out6
-rw-r--r--test/lld/hello_world.wast.mem.out6
-rw-r--r--test/lld/hello_world.wast.out6
-rw-r--r--test/lld/init.wast.out6
-rw-r--r--test/lld/recursive.wast.out6
-rw-r--r--test/lld/reserved_func_ptr.wast.out6
-rw-r--r--test/lld/shared.wast.out6
-rw-r--r--test/passes/limit-segments_disable-bulk-memory.txt (renamed from test/passes/limit-segments.txt)0
-rw-r--r--test/passes/limit-segments_disable-bulk-memory.wast (renamed from test/passes/limit-segments.wast)0
-rw-r--r--test/spec/globals.wast20
-rw-r--r--test/unit/test_features.py14
20 files changed, 56 insertions, 62 deletions
diff --git a/test/debugInfo.fromasm.clamp.no-opts.map b/test/debugInfo.fromasm.clamp.no-opts.map
index 0b394eb99..091513249 100644
--- a/test/debugInfo.fromasm.clamp.no-opts.map
+++ b/test/debugInfo.fromasm.clamp.no-opts.map
@@ -1 +1 @@
-{"version":3,"sources":["tests/hello_world.c","tests/other_file.cpp","return.cpp","even-opted.cpp","fib.c","/tmp/emscripten_test_binaryen2_28hnAe/src.c","(unknown)"],"names":[],"mappings":"yLAIA,IACA,ICyylTA,aC7vlTA,OAkDA,0BCnGA,OACA,OACA,uBCAA,4BAKA,QAJA,OADA,8CAKA,0ICsi1DA,MCrvyDA"} \ No newline at end of file
+{"version":3,"sources":["tests/hello_world.c","tests/other_file.cpp","return.cpp","even-opted.cpp","fib.c","/tmp/emscripten_test_binaryen2_28hnAe/src.c","(unknown)"],"names":[],"mappings":"sLAIA,IACA,ICyylTA,aC7vlTA,OAkDA,0BCnGA,OACA,OACA,uBCAA,4BAKA,QAJA,OADA,8CAKA,0ICsi1DA,MCrvyDA"} \ No newline at end of file
diff --git a/test/debugInfo.fromasm.imprecise.no-opts.map b/test/debugInfo.fromasm.imprecise.no-opts.map
index 75f8f7d42..bce1d3419 100644
--- a/test/debugInfo.fromasm.imprecise.no-opts.map
+++ b/test/debugInfo.fromasm.imprecise.no-opts.map
@@ -1 +1 @@
-{"version":3,"sources":["tests/hello_world.c","tests/other_file.cpp","return.cpp","even-opted.cpp","fib.c","/tmp/emscripten_test_binaryen2_28hnAe/src.c","(unknown)"],"names":[],"mappings":"wLAIA,IACA,ICyylTA,aC7vlTA,OAkDA,SCnGA,OACA,OACA,sBCAA,4BAKA,QAJA,OADA,8CAKA,0ICsi1DA,MCrvyDA"} \ No newline at end of file
+{"version":3,"sources":["tests/hello_world.c","tests/other_file.cpp","return.cpp","even-opted.cpp","fib.c","/tmp/emscripten_test_binaryen2_28hnAe/src.c","(unknown)"],"names":[],"mappings":"qLAIA,IACA,ICyylTA,aC7vlTA,OAkDA,SCnGA,OACA,OACA,sBCAA,4BAKA,QAJA,OADA,8CAKA,0ICsi1DA,MCrvyDA"} \ No newline at end of file
diff --git a/test/debugInfo.fromasm.no-opts.map b/test/debugInfo.fromasm.no-opts.map
index 0b394eb99..091513249 100644
--- a/test/debugInfo.fromasm.no-opts.map
+++ b/test/debugInfo.fromasm.no-opts.map
@@ -1 +1 @@
-{"version":3,"sources":["tests/hello_world.c","tests/other_file.cpp","return.cpp","even-opted.cpp","fib.c","/tmp/emscripten_test_binaryen2_28hnAe/src.c","(unknown)"],"names":[],"mappings":"yLAIA,IACA,ICyylTA,aC7vlTA,OAkDA,0BCnGA,OACA,OACA,uBCAA,4BAKA,QAJA,OADA,8CAKA,0ICsi1DA,MCrvyDA"} \ No newline at end of file
+{"version":3,"sources":["tests/hello_world.c","tests/other_file.cpp","return.cpp","even-opted.cpp","fib.c","/tmp/emscripten_test_binaryen2_28hnAe/src.c","(unknown)"],"names":[],"mappings":"sLAIA,IACA,ICyylTA,aC7vlTA,OAkDA,0BCnGA,OACA,OACA,uBCAA,4BAKA,QAJA,OADA,8CAKA,0ICsi1DA,MCrvyDA"} \ No newline at end of file
diff --git a/test/lld/duplicate_imports.wast.out b/test/lld/duplicate_imports.wast.out
index 88f60d664..cbb1db44a 100644
--- a/test/lld/duplicate_imports.wast.out
+++ b/test/lld/duplicate_imports.wast.out
@@ -140,11 +140,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/em_asm.wast.mem.out b/test/lld/em_asm.wast.mem.out
index c8c193574..13484ff3d 100644
--- a/test/lld/em_asm.wast.mem.out
+++ b/test/lld/em_asm.wast.mem.out
@@ -264,11 +264,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/em_asm.wast.out b/test/lld/em_asm.wast.out
index bbacde8b7..7986466cd 100644
--- a/test/lld/em_asm.wast.out
+++ b/test/lld/em_asm.wast.out
@@ -265,11 +265,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/em_asm_O0.wast.out b/test/lld/em_asm_O0.wast.out
index 38074f724..45868e567 100644
--- a/test/lld/em_asm_O0.wast.out
+++ b/test/lld/em_asm_O0.wast.out
@@ -125,11 +125,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/em_asm_shared.wast.out b/test/lld/em_asm_shared.wast.out
index 725ef618d..19eabedc8 100644
--- a/test/lld/em_asm_shared.wast.out
+++ b/test/lld/em_asm_shared.wast.out
@@ -257,11 +257,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/em_asm_table.wast.out b/test/lld/em_asm_table.wast.out
index 72002d34e..1ed2cd5bd 100644
--- a/test/lld/em_asm_table.wast.out
+++ b/test/lld/em_asm_table.wast.out
@@ -95,11 +95,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/em_js_O0.wast.out b/test/lld/em_js_O0.wast.out
index 26e4ce5af..3db4c83d7 100644
--- a/test/lld/em_js_O0.wast.out
+++ b/test/lld/em_js_O0.wast.out
@@ -75,11 +75,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/hello_world.wast.mem.out b/test/lld/hello_world.wast.mem.out
index 133e66aa7..79ef1342a 100644
--- a/test/lld/hello_world.wast.mem.out
+++ b/test/lld/hello_world.wast.mem.out
@@ -100,11 +100,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/hello_world.wast.out b/test/lld/hello_world.wast.out
index f964276d9..c4a54667b 100644
--- a/test/lld/hello_world.wast.out
+++ b/test/lld/hello_world.wast.out
@@ -101,11 +101,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/init.wast.out b/test/lld/init.wast.out
index 5f46bee3c..676f00327 100644
--- a/test/lld/init.wast.out
+++ b/test/lld/init.wast.out
@@ -112,11 +112,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/recursive.wast.out b/test/lld/recursive.wast.out
index 8ac3105d4..277d3cf1f 100644
--- a/test/lld/recursive.wast.out
+++ b/test/lld/recursive.wast.out
@@ -158,11 +158,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/reserved_func_ptr.wast.out b/test/lld/reserved_func_ptr.wast.out
index ee58ef846..5a5a6f29d 100644
--- a/test/lld/reserved_func_ptr.wast.out
+++ b/test/lld/reserved_func_ptr.wast.out
@@ -195,11 +195,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/lld/shared.wast.out b/test/lld/shared.wast.out
index 076a91aab..8d44279b8 100644
--- a/test/lld/shared.wast.out
+++ b/test/lld/shared.wast.out
@@ -99,11 +99,11 @@
"features": [
"--mvp-features",
"--enable-threads",
+ "--enable-bulk-memory",
"--enable-mutable-globals",
"--enable-nontrapping-float-to-int",
- "--enable-simd",
- "--enable-bulk-memory",
- "--enable-sign-ext"
+ "--enable-sign-ext",
+ "--enable-simd"
]
}
-- END METADATA --
diff --git a/test/passes/limit-segments.txt b/test/passes/limit-segments_disable-bulk-memory.txt
index 3ef5da445..3ef5da445 100644
--- a/test/passes/limit-segments.txt
+++ b/test/passes/limit-segments_disable-bulk-memory.txt
diff --git a/test/passes/limit-segments.wast b/test/passes/limit-segments_disable-bulk-memory.wast
index 7771cacde..7771cacde 100644
--- a/test/passes/limit-segments.wast
+++ b/test/passes/limit-segments_disable-bulk-memory.wast
diff --git a/test/spec/globals.wast b/test/spec/globals.wast
index 02ef4dc04..ca3100a64 100644
--- a/test/spec/globals.wast
+++ b/test/spec/globals.wast
@@ -52,26 +52,6 @@
)
(assert_invalid
- (module (import "m" "a" (global (mut i32))))
- "mutable globals cannot be imported"
-)
-
-(assert_invalid
- (module (global (import "m" "a") (mut i32)))
- "mutable globals cannot be imported"
-)
-
-(assert_invalid
- (module (global (mut f32) (f32.const 0)) (export "a" (global 0)))
- "mutable globals cannot be exported"
-)
-
-(assert_invalid
- (module (global (export "a") (mut f32) (f32.const 0)))
- "mutable globals cannot be exported"
-)
-
-(assert_invalid
(module (global f32 (f32.neg (f32.const 0))))
"constant expression required"
)
diff --git a/test/unit/test_features.py b/test/unit/test_features.py
index f9c410414..f130e1408 100644
--- a/test/unit/test_features.py
+++ b/test/unit/test_features.py
@@ -124,23 +124,37 @@ class TargetFeaturesSectionTest(unittest.TestCase):
self.assertEqual(p.stderr, '')
return p.stdout
+ def roundtrip(self, filename):
+ path = os.path.join(options.binaryen_test, 'unit', 'input', filename)
+ p = run_process(WASM_OPT + ['-g', '-o', '-', path], check=False,
+ capture_output=True)
+ self.assertEqual(p.returncode, 0)
+ self.assertEqual(p.stderr, '')
+ with open(path, 'rb') as f:
+ self.assertEqual(str(p.stdout), str(f.read()))
+
def test_atomics(self):
+ self.roundtrip('atomics_target_feature.wasm')
module = self.disassemble('atomics_target_feature.wasm')
self.assertIn('i32.atomic.rmw.add', module)
def test_bulk_memory(self):
+ self.roundtrip('bulkmem_target_feature.wasm')
module = self.disassemble('bulkmem_target_feature.wasm')
self.assertIn('memory.copy', module)
def test_nontrapping_fptoint(self):
+ self.roundtrip('truncsat_target_feature.wasm')
module = self.disassemble('truncsat_target_feature.wasm')
self.assertIn('i32.trunc_sat_f32_u', module)
def test_sign_ext(self):
+ self.roundtrip('signext_target_feature.wasm')
module = self.disassemble('signext_target_feature.wasm')
self.assertIn('i32.extend8_s', module)
def test_simd(self):
+ self.roundtrip('simd_target_feature.wasm')
module = self.disassemble('simd_target_feature.wasm')
self.assertIn('i32x4.splat', module)