diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-14 05:03:34 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-14 05:03:34 +0000 |
| commit | e5b0c02c42e6399b1aaeafaa949615dbbae35417 (patch) | |
| tree | 32cc30d8e7b03b639193725a28787a0733b4330b | |
| parent | 1930043c36ab9cae4f3fab46b6432ce20e65c778 (diff) | |
| download | rust-e5b0c02c42e6399b1aaeafaa949615dbbae35417.tar.gz rust-e5b0c02c42e6399b1aaeafaa949615dbbae35417.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/intrinsics/mod.rs | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/tools/miri/src/intrinsics/mod.rs b/src/tools/miri/src/intrinsics/mod.rs index 458b7723299..ec77a162cdb 100644 --- a/src/tools/miri/src/intrinsics/mod.rs +++ b/src/tools/miri/src/intrinsics/mod.rs @@ -292,11 +292,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { let b = this.read_scalar(b)?.to_f32()?; let c = this.read_scalar(c)?.to_f32()?; let fuse: bool = this.machine.float_nondet && this.machine.rng.get_mut().random(); - let res = if fuse { - a.mul_add(b, c).value - } else { - ((a * b).value + c).value - }; + let res = if fuse { a.mul_add(b, c).value } else { ((a * b).value + c).value }; let res = this.adjust_nan(res, &[a, b, c]); this.write_scalar(res, dest)?; } @@ -306,11 +302,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { let b = this.read_scalar(b)?.to_f64()?; let c = this.read_scalar(c)?.to_f64()?; let fuse: bool = this.machine.float_nondet && this.machine.rng.get_mut().random(); - let res = if fuse { - a.mul_add(b, c).value - } else { - ((a * b).value + c).value - }; + let res = if fuse { a.mul_add(b, c).value } else { ((a * b).value + c).value }; let res = this.adjust_nan(res, &[a, b, c]); this.write_scalar(res, dest)?; } |