apply random float error to other float operations

rust-lang · Jan 30, 2025 · c10fc90 · c10fc90
1 parent 9c72bdc
commit c10fc90
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/shims/foreign_items.rs b/src/shims/foreign_items.rs
@@ -765,7 +765,9 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
                     "tgammaf" => f_host.gamma(),
                     _ => bug!(),
                 };
-                let res = res.to_soft();
+                // Apply a relative error with a magnitude on the order of 2^-21 to simulate
+                // non-deterministic behaviour of floats
+                let res = math::apply_random_float_error(this, res.to_soft(), -21);
                 let res = this.adjust_nan(res, &[f]);
                 this.write_scalar(res, dest)?;
             }