Skip to content

Commit 9905076

Browse files
committed
fuzz: remove --strict-hard-qnan-vs-snan flag now that APFloat handles SNaN->QNaN itself.
1 parent 6f8bd3a commit 9905076

File tree

1 file changed

+1
-8
lines changed

1 file changed

+1
-8
lines changed

fuzz/src/main.rs

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -21,10 +21,6 @@ struct Args {
2121
#[arg(long)]
2222
strict_hard_nan_sign: bool,
2323

24-
/// Disable erasure of sNaN vs qNaN mismatches with hardware floating-point operations
25-
#[arg(long)]
26-
strict_hard_qnan_vs_snan: bool,
27-
2824
#[command(subcommand)]
2925
command: Option<Commands>,
3026
}
@@ -315,10 +311,7 @@ where
315311
// FIXME(eddyb) figure out how much we can really validate against hardware.
316312
let rs_apf_bits = out.rs_apf.to_bits_u128();
317313
if is_nan(out_hard_bits) && is_nan(rs_apf_bits) {
318-
for (strict, bit_mask) in [
319-
(cli_args.strict_hard_nan_sign, sign_bit_mask),
320-
(cli_args.strict_hard_qnan_vs_snan, qnan_bit_mask),
321-
] {
314+
for (strict, bit_mask) in [(cli_args.strict_hard_nan_sign, sign_bit_mask)] {
322315
if !strict {
323316
out_hard_bits &= !bit_mask;
324317
out_hard_bits |= rs_apf_bits & bit_mask;

0 commit comments

Comments
 (0)