2016-08-18 04:50:24 +08:00
|
|
|
use int::Int;
|
2016-08-19 00:20:24 +08:00
|
|
|
|
|
|
|
macro_rules! div {
|
|
|
|
($intrinsic:ident: $ty:ty, $uty:ty) => {
|
|
|
|
/// Returns `a / b`
|
|
|
|
#[cfg_attr(not(test), no_mangle)]
|
|
|
|
pub extern "C" fn $intrinsic(a: $ty, b: $ty) -> $ty {
|
|
|
|
let s_a = a >> (<$ty>::bits() - 1);
|
|
|
|
let s_b = b >> (<$ty>::bits() - 1);
|
|
|
|
let a = (a ^ s_a) - s_a;
|
|
|
|
let b = (b ^ s_b) - s_b;
|
|
|
|
let s = s_a ^ s_b;
|
|
|
|
let r = (a as $uty) / (b as $uty);
|
|
|
|
(r as $ty ^ s) - s
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! mod_ {
|
|
|
|
($intrinsic:ident: $ty:ty, $uty:ty) => {
|
|
|
|
/// Returns `a % b`
|
|
|
|
#[cfg_attr(not(test), no_mangle)]
|
|
|
|
pub extern "C" fn $intrinsic(a: $ty, b: $ty) -> $ty {
|
|
|
|
let s = b >> (<$ty>::bits() - 1);
|
|
|
|
let b = (b ^ s) - s;
|
|
|
|
let s = a >> (<$ty>::bits() - 1);
|
|
|
|
let a = (a ^ s) - s;
|
|
|
|
let r = (a as $uty) % (b as $uty);
|
|
|
|
(r as $ty ^ s) - s
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! divmod {
|
|
|
|
($intrinsic:ident, $div:ident: $ty:ty) => {
|
|
|
|
/// Returns `a / b` and sets `*rem = n % d`
|
|
|
|
#[cfg_attr(not(test), no_mangle)]
|
|
|
|
pub extern "C" fn $intrinsic(a: $ty, b: $ty, rem: &mut $ty) -> $ty {
|
|
|
|
let r = $div(a, b);
|
|
|
|
*rem = a - (r * b);
|
|
|
|
r
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
div!(__divsi3: i32, u32);
|
|
|
|
div!(__divdi3: i64, u64);
|
|
|
|
mod_!(__modsi3: i32, u32);
|
|
|
|
mod_!(__moddi3: i64, u64);
|
|
|
|
divmod!(__divmodsi4, __divsi3: i32);
|
|
|
|
divmod!(__divmoddi4, __divdi3: i64);
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2016-09-17 04:53:14 +08:00
|
|
|
use gcc_s;
|
2016-08-19 00:20:24 +08:00
|
|
|
use quickcheck::TestResult;
|
|
|
|
use qc::{U32, U64};
|
|
|
|
|
|
|
|
quickcheck!{
|
|
|
|
fn divdi3(n: U64, d: U64) -> TestResult {
|
|
|
|
let (n, d) = (n.0 as i64, d.0 as i64);
|
|
|
|
if d == 0 {
|
|
|
|
TestResult::discard()
|
|
|
|
} else {
|
|
|
|
let q = super::__divdi3(n, d);
|
2016-09-17 04:53:14 +08:00
|
|
|
|
|
|
|
if let Some(divdi3) = gcc_s::divdi3() {
|
|
|
|
TestResult::from_bool(q == unsafe { divdi3(n, d) })
|
|
|
|
} else {
|
|
|
|
TestResult::from_bool(q == n / d)
|
|
|
|
}
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn moddi3(n: U64, d: U64) -> TestResult {
|
|
|
|
let (n, d) = (n.0 as i64, d.0 as i64);
|
|
|
|
if d == 0 {
|
|
|
|
TestResult::discard()
|
|
|
|
} else {
|
|
|
|
let r = super::__moddi3(n, d);
|
2016-09-17 04:53:14 +08:00
|
|
|
|
|
|
|
if let Some(moddi3) = gcc_s::moddi3() {
|
|
|
|
TestResult::from_bool(r == unsafe { moddi3(n, d) })
|
|
|
|
} else {
|
|
|
|
TestResult::from_bool(r == n % d)
|
|
|
|
}
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn divmoddi4(n: U64, d: U64) -> TestResult {
|
|
|
|
let (n, d) = (n.0 as i64, d.0 as i64);
|
|
|
|
if d == 0 {
|
|
|
|
TestResult::discard()
|
|
|
|
} else {
|
|
|
|
let mut r = 0;
|
|
|
|
let q = super::__divmoddi4(n, d, &mut r);
|
2016-09-17 04:53:14 +08:00
|
|
|
|
|
|
|
if let Some(divmoddi4) = gcc_s::divmoddi4() {
|
|
|
|
let mut gcc_s_r = 0;
|
|
|
|
let gcc_s_q = unsafe {
|
|
|
|
divmoddi4(n, d, &mut gcc_s_r)
|
|
|
|
};
|
|
|
|
|
|
|
|
TestResult::from_bool(q == gcc_s_q && r == gcc_s_r)
|
|
|
|
} else {
|
|
|
|
TestResult::from_bool(q == n / d && r == n % d)
|
|
|
|
}
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn divsi3(n: U32, d: U32) -> TestResult {
|
|
|
|
let (n, d) = (n.0 as i32, d.0 as i32);
|
|
|
|
if d == 0 {
|
|
|
|
TestResult::discard()
|
|
|
|
} else {
|
|
|
|
let q = super::__divsi3(n, d);
|
2016-09-17 04:53:14 +08:00
|
|
|
|
|
|
|
if let Some(divsi3) = gcc_s::divsi3() {
|
|
|
|
TestResult::from_bool(q == unsafe { divsi3(n, d)})
|
|
|
|
} else {
|
|
|
|
TestResult::from_bool(q == n / d)
|
|
|
|
}
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn modsi3(n: U32, d: U32) -> TestResult {
|
|
|
|
let (n, d) = (n.0 as i32, d.0 as i32);
|
|
|
|
if d == 0 {
|
|
|
|
TestResult::discard()
|
|
|
|
} else {
|
|
|
|
let r = super::__modsi3(n, d);
|
2016-09-17 04:53:14 +08:00
|
|
|
|
|
|
|
if let Some(modsi3) = gcc_s::modsi3() {
|
|
|
|
TestResult::from_bool(r == unsafe { modsi3(n, d) })
|
|
|
|
} else {
|
|
|
|
TestResult::from_bool(r == n % d)
|
|
|
|
}
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn divmodsi4(n: U32, d: U32) -> TestResult {
|
|
|
|
let (n, d) = (n.0 as i32, d.0 as i32);
|
|
|
|
if d == 0 {
|
|
|
|
TestResult::discard()
|
|
|
|
} else {
|
|
|
|
let mut r = 0;
|
|
|
|
let q = super::__divmodsi4(n, d, &mut r);
|
2016-09-17 04:53:14 +08:00
|
|
|
|
|
|
|
if let Some(divmodsi4) = gcc_s::divmodsi4() {
|
|
|
|
let mut gcc_s_r = 0;
|
|
|
|
let gcc_s_q = unsafe {
|
|
|
|
divmodsi4(n, d, &mut gcc_s_r)
|
|
|
|
};
|
|
|
|
|
|
|
|
TestResult::from_bool(q == gcc_s_q && r == gcc_s_r)
|
|
|
|
} else {
|
|
|
|
TestResult::from_bool(q == n / d && r == n % d)
|
|
|
|
}
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|