Expose algebraic floating point intrinsics.

Author: calder

library/std/src/f32.rs

@@ -1154,4 +1154,49 @@ impl f32 {
         let x = unsafe { cmath::lgammaf_r(self, &mut signgamp) };
         (x, signgamp)
     }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fadd_algebraic", alias = "addAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn add_algebraic(self, rhs: f32) -> f32 {
+        intrinsics::fadd_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fsub_algebraic", alias = "subAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn sub_algebraic(self, rhs: f32) -> f32 {
+        intrinsics::fsub_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fmul_algebraic", alias = "mulAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn mul_algebraic(self, rhs: f32) -> f32 {
+        intrinsics::fmul_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fdiv_algebraic", alias = "divAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn div_algebraic(self, rhs: f32) -> f32 {
+        intrinsics::fdiv_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "frem_algebraic", alias = "remAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn rem_algebraic(self, rhs: f32) -> f32 {
+        intrinsics::frem_algebraic(self, rhs)
+    }
 }

library/std/src/f64.rs

@@ -1154,4 +1154,49 @@ impl f64 {
         let x = unsafe { cmath::lgamma_r(self, &mut signgamp) };
         (x, signgamp)
     }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fadd_algebraic", alias = "addAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn add_algebraic(self, rhs: f64) -> f64 {
+        intrinsics::fadd_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fsub_algebraic", alias = "subAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn sub_algebraic(self, rhs: f64) -> f64 {
+        intrinsics::fsub_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fmul_algebraic", alias = "mulAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn mul_algebraic(self, rhs: f64) -> f64 {
+        intrinsics::fmul_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "fdiv_algebraic", alias = "divAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn div_algebraic(self, rhs: f64) -> f64 {
+        intrinsics::fdiv_algebraic(self, rhs)
+    }
+
+    #[rustc_allow_incoherent_impl]
+    #[doc(alias = "frem_algebraic", alias = "remAlgebraic")]
+    #[must_use = "method returns a new number and does not mutate the original value"]
+    #[unstable(feature = "float_algebraic", issue = "21690")]
+    #[inline]
+    pub fn rem_algebraic(self, rhs: f64) -> f64 {
+        intrinsics::frem_algebraic(self, rhs)
+    }
 }