Browse Source

Disable optimizations for SIMD testsuite tests.

pull/988/head
Peter Huene 5 years ago
parent
commit
9ffa19ca64
No known key found for this signature in database GPG Key ID: E1D265D820213D6A
  1. 8
      tests/wast_testsuites.rs

8
tests/wast_testsuites.rs

@ -1,5 +1,5 @@
use std::path::Path;
use wasmtime::{Config, Engine, Store, Strategy};
use wasmtime::{Config, Engine, OptLevel, Store, Strategy};
use wasmtime_wast::WastContext;
include!(concat!(env!("OUT_DIR"), "/wast_testsuite_tests.rs"));
@ -24,6 +24,12 @@ fn run_wast(wast: &str, strategy: Strategy) -> anyhow::Result<()> {
.wasm_multi_value(multi_val)
.strategy(strategy)?
.cranelift_debug_verifier(true);
// FIXME: https://github.com/bytecodealliance/cranelift/issues/1409
if simd {
cfg.cranelift_opt_level(OptLevel::None);
}
let store = Store::new(&Engine::new(&cfg));
let mut wast_context = WastContext::new(store);
wast_context.register_spectest()?;

Loading…
Cancel
Save