diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/debugInfo.fromasm.clamp.no-opts.map | 2 | ||||
-rw-r--r-- | test/debugInfo.fromasm.imprecise.no-opts.map | 2 | ||||
-rw-r--r-- | test/debugInfo.fromasm.no-opts.map | 2 | ||||
-rw-r--r-- | test/lld/duplicate_imports.wast.out | 6 | ||||
-rw-r--r-- | test/lld/em_asm.wast.mem.out | 6 | ||||
-rw-r--r-- | test/lld/em_asm.wast.out | 6 | ||||
-rw-r--r-- | test/lld/em_asm_O0.wast.out | 6 | ||||
-rw-r--r-- | test/lld/em_asm_shared.wast.out | 6 | ||||
-rw-r--r-- | test/lld/em_asm_table.wast.out | 6 | ||||
-rw-r--r-- | test/lld/em_js_O0.wast.out | 6 | ||||
-rw-r--r-- | test/lld/hello_world.wast.mem.out | 6 | ||||
-rw-r--r-- | test/lld/hello_world.wast.out | 6 | ||||
-rw-r--r-- | test/lld/init.wast.out | 6 | ||||
-rw-r--r-- | test/lld/recursive.wast.out | 6 | ||||
-rw-r--r-- | test/lld/reserved_func_ptr.wast.out | 6 | ||||
-rw-r--r-- | test/lld/shared.wast.out | 6 | ||||
-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.wast | 20 | ||||
-rw-r--r-- | test/unit/test_features.py | 14 |
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) |