From 95c860d1bf676ec1652f069a30a060db0ded9355 Mon Sep 17 00:00:00 2001
From: Luc <luc2003@gmx.de>
Date: Mon, 14 Nov 2022 16:49:43 +0100
Subject: [PATCH] Add Small Conformance tests to Sqrt(f)

---
 library/compiler-builtins/libm/src/math/sqrt.rs  | 12 ++++++++++++
 library/compiler-builtins/libm/src/math/sqrtf.rs | 11 +++++++++++
 2 files changed, 23 insertions(+)

diff --git a/library/compiler-builtins/libm/src/math/sqrt.rs b/library/compiler-builtins/libm/src/math/sqrt.rs
index f06b209a49f2..9a700d8ea0f2 100644
--- a/library/compiler-builtins/libm/src/math/sqrt.rs
+++ b/library/compiler-builtins/libm/src/math/sqrt.rs
@@ -261,4 +261,16 @@ mod tests {
             assert_eq!(sqrt(f), f);
         }
     }
+    
+    #[test]
+    fn conformance_tests() {
+        let values = [3.14159265359, 10000.0, -1.0, INFINITY];
+        let results = [4610661241675116657u64, 4636737291354636288u64,
+        18444492273895866368u64, 9218868437227405312u64];
+        
+        for i in 0..values.len() {
+            let bits = f64::to_bits(sqrt(values[i]));
+            assert_eq!(results[i], bits);
+        } 
+    }
 }
diff --git a/library/compiler-builtins/libm/src/math/sqrtf.rs b/library/compiler-builtins/libm/src/math/sqrtf.rs
index 00b20e578be9..b1321137629b 100644
--- a/library/compiler-builtins/libm/src/math/sqrtf.rs
+++ b/library/compiler-builtins/libm/src/math/sqrtf.rs
@@ -151,4 +151,15 @@ mod tests {
             assert_eq!(sqrtf(f), f);
         }
     }
+    
+     #[test]
+    fn conformance_tests() {
+        let values = [3.14159265359f32, 10000.0f32, -1.0f32, INFINITY];
+        let results = [1071833029u32, 1120403456u32, 4290772992u32, 2139095040u32];
+        
+        for i in 0..values.len() {
+            let bits = f32::to_bits(sqrtf(values[i]));
+            assert_eq!(results[i], bits);
+        } 
+    }
 }