new feature flag: deterministic

lib/runtime-core/Cargo.toml

@@ -57,3 +57,4 @@ trace = ["debug"]
 "backend-singlepass" = []
 "backend-llvm" = []
 managed = []
+deterministic-execution = ["wasmparser/deterministic"]

lib/runtime-core/src/codegen.rs

@@ -186,6 +186,9 @@ pub fn validating_parser_config(features: &Features) -> wasmparser::ValidatingPa
             enable_simd: features.simd,
             enable_bulk_memory: false,
             enable_multi_value: false,
+
+            #[cfg(feature = "deterministic-execution")]
+            deterministic_only: true,
         },
     }
 }

lib/runtime-core/src/lib.rs

@@ -159,6 +159,9 @@ pub fn validate_and_report_errors_with_features(
             enable_multi_value: false,
             enable_reference_types: false,
             enable_threads: features.threads,
+
+            #[cfg(feature = "deterministic-execution")]
+            deterministic_only: true,
         },
     };
     let mut parser = wasmparser::ValidatingParser::new(wasm, Some(config));

lib/runtime/Cargo.toml

@@ -44,6 +44,7 @@ singlepass = ["wasmer-singlepass-backend"]
 default-backend-singlepass = ["singlepass"]
 default-backend-llvm = ["llvm"]
 default-backend-cranelift = ["cranelift"]
+deterministic-execution = ["wasmer-singlepass-backend/deterministic-execution", "wasmer-runtime-core/deterministic-execution"]
 
 [[bench]]
 name = "nginx"

lib/runtime/src/lib.rs

@@ -71,7 +71,7 @@
 //!     let value = add_one.call(42)?;
 //!
 //!     assert_eq!(value, 43);
-//!     
+//!
 //!     Ok(())
 //! }
 //! ```
@@ -211,13 +211,21 @@ pub fn default_compiler() -> impl Compiler {
             not(feature = "docs"),
             any(
                 feature = "default-backend-cranelift",
-                feature = "default-backend-singlepass"
+                feature = "default-backend-singlepass",
+                feature = "deterministic-execution"
             )
         ),
         all(
             not(feature = "docs"),
             feature = "default-backend-cranelift",
-            feature = "default-backend-singlepass"
+            any(
+                feature = "default-backend-singlepass",
+                feature = "deterministic-execution"
+            )
+        ),
+        all(
+            feature = "default-backend-singlepass",
+            feature = "deterministic-execution"
         )
     ))]
     compile_error!(
@@ -227,7 +235,13 @@ pub fn default_compiler() -> impl Compiler {
     #[cfg(all(feature = "default-backend-llvm", not(feature = "docs")))]
     use wasmer_llvm_backend::LLVMCompiler as DefaultCompiler;
 
-    #[cfg(all(feature = "default-backend-singlepass", not(feature = "docs")))]
+    #[cfg(all(
+        any(
+            feature = "default-backend-singlepass",
+            all(feature = "deterministic-execution", feature = "singlepass")
+        ),
+        not(feature = "docs")
+    ))]
     use wasmer_singlepass_backend::SinglePassCompiler as DefaultCompiler;
 
     #[cfg(any(feature = "default-backend-cranelift", feature = "docs"))]
@@ -246,14 +260,19 @@ pub fn compiler_for_backend(backend: Backend) -> Option<Box<dyn Compiler>> {
         #[cfg(feature = "cranelift")]
         Backend::Cranelift => Some(Box::new(wasmer_clif_backend::CraneliftCompiler::new())),
 
-        #[cfg(feature = "singlepass")]
+        #[cfg(any(feature = "singlepass", feature = "deterministic-execution"))]
         Backend::Singlepass => Some(Box::new(
             wasmer_singlepass_backend::SinglePassCompiler::new(),
         )),
 
         #[cfg(feature = "llvm")]
         Backend::LLVM => Some(Box::new(wasmer_llvm_backend::LLVMCompiler::new())),
 
+        #[cfg(not(all(
+            feature = "llvm",
+            any(feature = "singlepass", feature = "deterministic-execution"),
+            feature = "cranelift",
+        )))]
         _ => None,
     }
 }

lib/singlepass-backend/Cargo.toml

@@ -22,3 +22,7 @@ smallvec = "0.6"
 serde = "1.0"
 serde_derive = "1.0"
 bincode = "1.2"
+
+[features]
+default = []
+deterministic-execution = ["wasmer-runtime-core/deterministic-execution"]