about summary refs log tree commit diff
path: root/src/tools/miri/tests
diff options
context:
space:
mode:
authorPavel Grigorenko <GrigorenkoPV@ya.ru>2025-02-14 17:25:29 +0300
committerPavel Grigorenko <GrigorenkoPV@ya.ru>2025-02-14 18:48:05 +0300
commit18b9edec09aaa8c5b10d0d5cf65dd2331beb3b5b (patch)
tree63b4974c6d5557ee4d8137ec8fb4cd4d93ddb1e4 /src/tools/miri/tests
parentb8f0ed37bd96ab6731a62a7a4f5dc1cd493138b3 (diff)
downloadrust-18b9edec09aaa8c5b10d0d5cf65dd2331beb3b5b.tar.gz
rust-18b9edec09aaa8c5b10d0d5cf65dd2331beb3b5b.zip
miri: shims for `erf` & friends
Diffstat (limited to 'src/tools/miri/tests')
-rw-r--r--src/tools/miri/tests/pass/float.rs6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/float.rs b/src/tools/miri/tests/pass/float.rs
index 2f4f64b1aa8..51cafbb3f43 100644
--- a/src/tools/miri/tests/pass/float.rs
+++ b/src/tools/miri/tests/pass/float.rs
@@ -1,4 +1,5 @@
 #![feature(stmt_expr_attributes)]
+#![feature(float_erf)]
 #![feature(float_gamma)]
 #![feature(core_intrinsics)]
 #![feature(f128)]
@@ -1076,6 +1077,11 @@ pub fn libm() {
     let (val, sign) = (-0.5f64).ln_gamma();
     assert_approx_eq!(val, (2.0 * f64::consts::PI.sqrt()).ln());
     assert_eq!(sign, -1);
+
+    assert_approx_eq!(1.0f32.erf(), 0.84270079294971486934122063508260926f32);
+    assert_approx_eq!(1.0f64.erf(), 0.84270079294971486934122063508260926f64);
+    assert_approx_eq!(1.0f32.erfc(), 0.15729920705028513065877936491739074f32);
+    assert_approx_eq!(1.0f64.erfc(), 0.15729920705028513065877936491739074f64);
 }
 
 fn test_fast() {