Change default feature set to MVP (#1993)

In the absence of the target features section or command line flags. When there are command line flags, it is an error if they do not exactly match the target features section, except if --detect-features has been provided.

Also adds a --print-features pass to print the command line flags for all enabled options and uses it to make the feature tests more rigorous.

1 files changed, 56 insertions, 0 deletions

diff --git a/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.wast b/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.wast
new file mode 100644
index 000000000..17c9995c4
--- /dev/null
+++ b/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.wast
@@ -0,0 +1,56 @@
+(module
+ (memory (shared 100 100))
+ (func $loads
+  (drop (i32.load (i32.const 1)))
+  (drop (i32.atomic.load (i32.const 1)))
+  (drop (i32.load offset=31 (i32.const 2)))
+  (drop (i32.load align=2 (i32.const 3)))
+  (drop (i32.load align=1 (i32.const 4)))
+  (drop (i32.load8_s (i32.const 5)))
+  (drop (i32.load16_u (i32.const 6)))
+  (drop (i64.load8_s (i32.const 7)))
+  (drop (i64.load16_u (i32.const 8)))
+  (drop (i64.load32_s (i32.const 9)))
+  (drop (i64.load align=4 (i32.const 10)))
+  (drop (i64.load (i32.const 11)))
+  (drop (f32.load (i32.const 12)))
+  (drop (f64.load (i32.const 13)))
+  (drop (v128.load (i32.const 14)))
+ )
+ (func $stores
+  (i32.store (i32.const 1) (i32.const 100))
+  (i32.atomic.store (i32.const 1) (i32.const 100))
+  (i32.store offset=31 (i32.const 2) (i32.const 200))
+  (i32.store align=2 (i32.const 3) (i32.const 300))
+  (i32.store align=1 (i32.const 4) (i32.const 400))
+  (i32.store8 (i32.const 5) (i32.const 500))
+  (i32.store16 (i32.const 6) (i32.const 600))
+  (i64.store8 (i32.const 7) (i64.const 700))
+  (i64.store16 (i32.const 8) (i64.const 800))
+  (i64.store32 (i32.const 9) (i64.const 900))
+  (i64.store align=4 (i32.const 10) (i64.const 1000))
+  (i64.store (i32.const 11) (i64.const 1100))
+  (f32.store (i32.const 12) (f32.const 1200))
+  (f64.store (i32.const 13) (f64.const 1300))
+  (v128.store (i32.const 14) (v128.const i32x4 1 2 3 4))
+ )
+)
+;; not shared
+(module
+ (memory 100 100)
+ (func $loads
+  (drop (i32.load (i32.const 1)))
+ )
+)
+;; pre-existing
+(module
+ (type $FUNCSIG$v (func))
+ (import "env" "DYNAMICTOP_PTR" (global $DYNAMICTOP_PTR i32))
+ (import "env" "segfault" (func $segfault))
+ (import "env" "alignfault" (func $alignfault))
+ (memory $0 (shared 100 100))
+ (func $actions
+  (drop (i32.load (i32.const 1)))
+  (i32.store (i32.const 1) (i32.const 100))
+ )
+)