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

diff --git a/test/passes/ssa_fuzz-exec_enable-threads.txt b/test/passes/ssa_fuzz-exec_enable-threads.txt
new file mode 100644
index 000000000..35499266e
--- /dev/null
+++ b/test/passes/ssa_fuzz-exec_enable-threads.txt
@@ -0,0 +1,130 @@
+[fuzz-exec] calling $func_0
+[fuzz-exec] note result: $func_0 => i32.const 16384
+(module
+ (type $0 (func (result i32)))
+ (type $1 (func))
+ (memory $0 (shared 1 1))
+ (table $0 0 0 funcref)
+ (export "func_0" (func $0))
+ (func $0 (; 0 ;) (type $0) (result i32)
+  (local $var$0 i32)
+  (local $var$1 i32)
+  (local $var$2 i32)
+  (local $var$3 f64)
+  (local $4 i32)
+  (local $5 i32)
+  (local $6 i32)
+  (local $7 i32)
+  (local $8 i32)
+  (local $9 f64)
+  (local $10 i32)
+  (local $11 i32)
+  (block $label$1 (result i32)
+   (if (result i32)
+    (i32.const 0)
+    (unreachable)
+    (block $label$4 (result i32)
+     (loop $label$5
+      (block $label$6
+       (block $label$7
+        (local.set $8
+         (if (result i32)
+          (local.get $10)
+          (select
+           (loop $label$9 (result i32)
+            (if (result i32)
+             (local.tee $4
+              (i32.const 16384)
+             )
+             (i32.const 1)
+             (i32.const 0)
+            )
+           )
+           (br_if $label$4
+            (i32.const 0)
+            (local.tee $var$1
+             (local.tee $5
+              (block $label$12 (result i32)
+               (br_if $label$5
+                (br $label$6)
+               )
+               (unreachable)
+              )
+             )
+            )
+           )
+           (i32.const 1)
+          )
+          (block $block (result i32)
+           (loop $label$15
+            (if
+             (i32.const 0)
+             (return
+              (local.get $11)
+             )
+            )
+            (if
+             (local.tee $var$1
+              (local.tee $6
+               (local.tee $11
+                (i32.const 0)
+               )
+              )
+             )
+             (block $block4
+              (br_if $label$15
+               (i32.const 0)
+              )
+             )
+            )
+            (br_if $label$15
+             (i32.eqz
+              (local.tee $7
+               (local.tee $11
+                (local.tee $10
+                 (i32.const 129)
+                )
+               )
+              )
+             )
+            )
+           )
+           (i32.const -5742806)
+          )
+         )
+        )
+       )
+       (br_if $label$6
+        (if (result i32)
+         (local.get $var$1)
+         (unreachable)
+         (block $label$25 (result i32)
+          (local.set $9
+           (block $label$26 (result f64)
+            (drop
+             (br_if $label$4
+              (br_if $label$25
+               (br $label$5)
+               (i32.const 0)
+              )
+              (i32.const 0)
+             )
+            )
+            (f64.const 1)
+           )
+          )
+          (i32.const 0)
+         )
+        )
+       )
+      )
+     )
+     (local.get $4)
+    )
+   )
+  )
+ )
+)
+[fuzz-exec] calling $func_0
+[fuzz-exec] note result: $func_0 => i32.const 16384
+[fuzz-exec] comparing $func_0