T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Unconditionally enable sse3, ssse3, and sse4.1 when fuzzing (#3814)

Browse Source 
* Unconditionally enable sse3, ssse3, and sse4.1 when fuzzing

This commit unconditionally enables some x86_64 instructions when
fuzzing because the cranelift backend is known to not work if these
features are disabled. From discussion on the wasm simd proposal the
assumed general baseline for running simd code is SSE4.1 anyway.

At this time I haven't added any sort of checks in Wasmtime itself.
Wasmtime by default uses the native architecture and when explicitly
enabling features this still needs to be explicitly specified.

Closes #3809

* Update crates/fuzzing/src/generators.rs

Co-authored-by: Andrew Brown <andrew.brown@intel.com>

Co-authored-by: Andrew Brown <andrew.brown@intel.com>
This commit is contained in:
Alex Crichton
2022-02-16 14:53:52 -06:00
committed by GitHub
parent db9e3ce9d9
commit 498c592b19
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
crates/fuzzing/src/generators.rs
View File

@@ -699,9 +699,16 @@ impl<'a> Arbitrary<'a> for CodegenSettings {
if u.ratio(1, 10)? { if u.ratio(1, 10)? {
let flags = target_features! { let flags = target_features! {
test: is_x86_feature_detected, test: is_x86_feature_detected,
std:"sse3" => clif:"has_sse3",
std:"ssse3" => clif:"has_ssse3", // These features are considered to be baseline required by
std:"sse4.1" => clif:"has_sse41", // Wasmtime. Currently some SIMD code generation will
// fail if these features are disabled, so unconditionally
// enable them as we're not interested in fuzzing without
// them.
std:"sse3" => clif:"has_sse3" ratio: 1 in 1,
std:"ssse3" => clif:"has_ssse3" ratio: 1 in 1,
std:"sse4.1" => clif:"has_sse41" ratio: 1 in 1,
std:"sse4.2" => clif:"has_sse42", std:"sse4.2" => clif:"has_sse42",
std:"popcnt" => clif:"has_popcnt", std:"popcnt" => clif:"has_popcnt",
std:"avx" => clif:"has_avx", std:"avx" => clif:"has_avx",