summaryrefslogtreecommitdiffstats
path: root/vendor/compiler_builtins/src
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:32 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:32 +0000
commit4547b622d8d29df964fa2914213088b148c498fc (patch)
tree9fc6b25f3c3add6b745be9a2400a6e96140046e9 /vendor/compiler_builtins/src
parentReleasing progress-linux version 1.66.0+dfsg1-1~progress7.99u1. (diff)
downloadrustc-4547b622d8d29df964fa2914213088b148c498fc.tar.xz
rustc-4547b622d8d29df964fa2914213088b148c498fc.zip
Merging upstream version 1.67.1+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/compiler_builtins/src')
-rw-r--r--vendor/compiler_builtins/src/math.rs16
-rw-r--r--vendor/compiler_builtins/src/riscv.rs18
2 files changed, 19 insertions, 15 deletions
diff --git a/vendor/compiler_builtins/src/math.rs b/vendor/compiler_builtins/src/math.rs
index 3fc33b127..4ae174891 100644
--- a/vendor/compiler_builtins/src/math.rs
+++ b/vendor/compiler_builtins/src/math.rs
@@ -46,6 +46,8 @@ no_mangle! {
fn fmaxf(x: f32, y: f32) -> f32;
fn round(x: f64) -> f64;
fn roundf(x: f32) -> f32;
+ fn rint(x: f64) -> f64;
+ fn rintf(x: f32) -> f32;
fn sin(x: f64) -> f64;
fn pow(x: f64, y: f64) -> f64;
fn powf(x: f32, y: f32) -> f32;
@@ -65,20 +67,6 @@ no_mangle! {
fn ldexpf(f: f32, n: i32) -> f32;
fn tgamma(x: f64) -> f64;
fn tgammaf(x: f32) -> f32;
-}
-
-#[cfg(any(
- all(
- target_family = "wasm",
- target_os = "unknown",
- not(target_env = "wasi")
- ),
- target_os = "xous",
- all(target_arch = "x86_64", target_os = "uefi"),
- all(target_arch = "xtensa", target_os = "none"),
- all(target_vendor = "fortanix", target_env = "sgx")
-))]
-no_mangle! {
fn atan(x: f64) -> f64;
fn atan2(x: f64, y: f64) -> f64;
fn cosh(x: f64) -> f64;
diff --git a/vendor/compiler_builtins/src/riscv.rs b/vendor/compiler_builtins/src/riscv.rs
index ee78b9dba..ae361b33a 100644
--- a/vendor/compiler_builtins/src/riscv.rs
+++ b/vendor/compiler_builtins/src/riscv.rs
@@ -1,6 +1,22 @@
intrinsics! {
- // Implementation from gcc
+ // Ancient Egyptian/Ethiopian/Russian multiplication method
+ // see https://en.wikipedia.org/wiki/Ancient_Egyptian_multiplication
+ //
+ // This is a long-available stock algorithm; e.g. it is documented in
+ // Knuth's "The Art of Computer Programming" volume 2 (under the section
+ // "Evaluation of Powers") since at least the 2nd edition (1981).
+ //
+ // The main attraction of this method is that it implements (software)
+ // multiplication atop four simple operations: doubling, halving, checking
+ // if a value is even/odd, and addition. This is *not* considered to be the
+ // fastest multiplication method, but it may be amongst the simplest (and
+ // smallest with respect to code size).
+ //
+ // for reference, see also implementation from gcc
// https://raw.githubusercontent.com/gcc-mirror/gcc/master/libgcc/config/epiphany/mulsi3.c
+ //
+ // and from LLVM (in relatively readable RISC-V assembly):
+ // https://github.com/llvm/llvm-project/blob/main/compiler-rt/lib/builtins/riscv/int_mul_impl.inc
pub extern "C" fn __mulsi3(a: u32, b: u32) -> u32 {
let (mut a, mut b) = (a, b);
let mut r = 0;