Skip to content

Commit d58f1b5

Browse files
authored
Disable relaxed-simd in differential fuzzing (#10045)
We forgot to do this quite a long time ago but this was always the intention. Turns out with Pulley now being online the fuzzer quickly found a difference between Pulley and Cranelift where the native x64 instructions differ from the "deterministic" behavior that Pulley implements. This difference is expected and allowed though, so don't fuzz it.
1 parent 4a043fd commit d58f1b5

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

crates/fuzzing/src/generators/config.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -99,6 +99,10 @@ impl Config {
9999
}
100100
}
101101
}
102+
103+
// These instructions are explicitly not expected to be exactly the same
104+
// across engines. Don't fuzz them.
105+
config.relaxed_simd_enabled = false;
102106
}
103107

104108
/// Uses this configuration and the supplied source of data to generate

0 commit comments

Comments
 (0)