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, 101 insertions, 0 deletions

diff --git a/test/passes/inlining-optimizing_enable-threads.txt b/test/passes/inlining-optimizing_enable-threads.txt
new file mode 100644
index 000000000..437870065
--- /dev/null
+++ b/test/passes/inlining-optimizing_enable-threads.txt
@@ -0,0 +1,101 @@
+(module
+ (type $0 (func))
+ (type $1 (func (result i32)))
+ (type $2 (func (result f64)))
+ (type $3 (func (param f32 i64)))
+ (table $0 1 1 funcref)
+ (elem (i32.const 0) $tabled)
+ (export "user" (func $user))
+ (export "exported" (func $exported))
+ (export "exported_small" (func $exported_small))
+ (func $user (; 0 ;) (type $0)
+  (call $exported)
+  (call $tabled)
+  (call $multi)
+  (call $multi)
+ )
+ (func $exported (; 1 ;) (type $0)
+  (nop)
+  (nop)
+ )
+ (func $exported_small (; 2 ;) (type $0)
+  (nop)
+ )
+ (func $recursive (; 3 ;) (type $0)
+  (call $recursive)
+ )
+ (func $tabled (; 4 ;) (type $0)
+  (nop)
+  (nop)
+ )
+ (func $cycle1 (; 5 ;) (type $0)
+  (call $cycle1)
+ )
+ (func $multi (; 6 ;) (type $0)
+  (nop)
+  (nop)
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (type $1 (func))
+ (func $main (; 0 ;) (type $0) (result i32)
+  (unreachable)
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (type $1 (func (result i64)))
+ (memory $0 (shared 1 1))
+ (func $1 (; 0 ;) (type $1) (result i64)
+  (i32.atomic.store16
+   (i32.const 0)
+   (i32.const 0)
+  )
+  (i64.const 0)
+ )
+)
+(module
+ (type $0 (func))
+ (func $main (; 0 ;) (type $0)
+  (call $one)
+  (call $one)
+ )
+ (func $one (; 1 ;) (type $0)
+  (call $one)
+ )
+)
+(module
+ (type $0 (func))
+ (func $main (; 0 ;) (type $0)
+  (call $two)
+  (call $two)
+ )
+ (func $two (; 1 ;) (type $0)
+  (call $two)
+ )
+)
+(module
+ (type $0 (func))
+ (type $1 (func (param i32 i32) (result i32)))
+ (memory $0 17)
+ (table $0 89 89 funcref)
+ (start $1)
+ (func $1 (; 0 ;) (type $0)
+  (i32.store
+   (i32.const 4)
+   (i32.const 0)
+  )
+  (i32.store
+   (i32.const 56)
+   (i32.const 0)
+  )
+  (i64.store
+   (i32.const 49)
+   (i64.load
+    (i32.const 24)
+   )
+  )
+  (unreachable)
+ )
+)