fix: add rint and rintf (#1422)

succinctlabs · Aug 28, 2024 · 328af9f · 328af9f
1 parent 18b942a
commit 328af9f
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/crates/zkvm/entrypoint/src/libm.rs b/crates/zkvm/entrypoint/src/libm.rs
@@ -423,6 +423,16 @@ pub fn remquo(x: f64, y: f64) -> (f64, i32) {
     libm::remquo(x, y)
 }
 
+#[no_mangle]
+pub extern "C" fn rint(arg: f64) -> f64 {
+    libm::rint(arg)
+}
+
+#[no_mangle]
+pub extern "C" fn rintf(arg: f32) -> f32 {
+    libm::rintf(arg)
+}
+
 #[no_mangle]
 pub fn remquof(x: f32, y: f32) -> (f32, i32) {
     libm::remquof(x, y)