2016-08-18 04:50:24 +08:00
|
|
|
use int::Int;
|
2016-08-19 00:20:24 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
trait Div: Int {
|
|
|
|
/// Returns `a / b`
|
|
|
|
fn div(self, other: Self) -> Self {
|
|
|
|
let s_a = self >> (Self::bits() - 1);
|
|
|
|
let s_b = other >> (Self::bits() - 1);
|
|
|
|
// NOTE it's OK to overflow here because of the `as $uty` cast below
|
|
|
|
// This whole operation is computing the absolute value of the inputs
|
|
|
|
// So some overflow will happen when dealing with e.g. `i64::MIN`
|
|
|
|
// where the absolute value is `(-i64::MIN) as u64`
|
|
|
|
let a = (self ^ s_a).wrapping_sub(s_a);
|
|
|
|
let b = (other ^ s_b).wrapping_sub(s_b);
|
|
|
|
let s = s_a ^ s_b;
|
|
|
|
|
2017-06-24 12:31:54 +08:00
|
|
|
let r = a.unsigned().aborting_div(b.unsigned());
|
2017-06-23 14:09:28 +08:00
|
|
|
(Self::from_unsigned(r) ^ s) - s
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
impl Div for i32 {}
|
|
|
|
impl Div for i64 {}
|
|
|
|
impl Div for i128 {}
|
|
|
|
|
|
|
|
trait Mod: Int {
|
|
|
|
/// Returns `a % b`
|
|
|
|
fn mod_(self, other: Self) -> Self {
|
|
|
|
let s = other >> (Self::bits() - 1);
|
|
|
|
// NOTE(wrapping_sub) see comment in the `div`
|
|
|
|
let b = (other ^ s).wrapping_sub(s);
|
|
|
|
let s = self >> (Self::bits() - 1);
|
|
|
|
let a = (self ^ s).wrapping_sub(s);
|
|
|
|
|
2017-06-24 12:31:54 +08:00
|
|
|
let r = a.unsigned().aborting_rem(b.unsigned());
|
2017-06-23 14:09:28 +08:00
|
|
|
(Self::from_unsigned(r) ^ s) - s
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
impl Mod for i32 {}
|
|
|
|
impl Mod for i64 {}
|
|
|
|
impl Mod for i128 {}
|
|
|
|
|
|
|
|
trait Divmod: Int {
|
|
|
|
/// Returns `a / b` and sets `*rem = n % d`
|
|
|
|
fn divmod<F>(self, other: Self, rem: &mut Self, div: F) -> Self
|
|
|
|
where F: Fn(Self, Self) -> Self,
|
|
|
|
{
|
|
|
|
let r = div(self, other);
|
|
|
|
// NOTE won't overflow because it's using the result from the
|
|
|
|
// previous division
|
|
|
|
*rem = self - r.wrapping_mul(other);
|
|
|
|
r
|
2016-08-19 00:20:24 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
impl Divmod for i32 {}
|
|
|
|
impl Divmod for i64 {}
|
2016-09-27 04:55:11 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
intrinsics! {
|
2017-06-24 06:16:07 +08:00
|
|
|
#[arm_aeabi_alias = __aeabi_idiv]
|
2017-06-23 14:09:28 +08:00
|
|
|
pub extern "C" fn __divsi3(a: i32, b: i32) -> i32 {
|
|
|
|
a.div(b)
|
|
|
|
}
|
2017-01-05 22:23:45 +08:00
|
|
|
|
2017-06-23 22:52:38 +08:00
|
|
|
#[use_c_shim_if(all(target_arch = "x86", not(target_env = "msvc")))]
|
2017-06-23 14:09:28 +08:00
|
|
|
pub extern "C" fn __divdi3(a: i64, b: i64) -> i64 {
|
|
|
|
a.div(b)
|
|
|
|
}
|
2016-09-27 04:55:11 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
#[win64_128bit_abi_hack]
|
|
|
|
pub extern "C" fn __divti3(a: i128, b: i128) -> i128 {
|
|
|
|
a.div(b)
|
|
|
|
}
|
2016-09-27 04:55:11 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
#[use_c_shim_if(all(target_arch = "arm", not(target_os = "ios")))]
|
|
|
|
pub extern "C" fn __modsi3(a: i32, b: i32) -> i32 {
|
|
|
|
a.mod_(b)
|
|
|
|
}
|
2017-01-05 22:23:45 +08:00
|
|
|
|
2017-06-23 22:52:38 +08:00
|
|
|
#[use_c_shim_if(all(target_arch = "x86", not(target_env = "msvc")))]
|
2017-06-23 14:09:28 +08:00
|
|
|
pub extern "C" fn __moddi3(a: i64, b: i64) -> i64 {
|
|
|
|
a.mod_(b)
|
|
|
|
}
|
2017-01-05 22:23:45 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
#[win64_128bit_abi_hack]
|
|
|
|
pub extern "C" fn __modti3(a: i128, b: i128) -> i128 {
|
|
|
|
a.mod_(b)
|
|
|
|
}
|
2017-02-08 01:51:18 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
#[use_c_shim_if(all(target_arch = "arm", not(target_os = "ios")))]
|
|
|
|
pub extern "C" fn __divmodsi4(a: i32, b: i32, rem: &mut i32) -> i32 {
|
|
|
|
a.divmod(b, rem, |a, b| __divsi3(a, b))
|
|
|
|
}
|
2016-09-27 04:55:11 +08:00
|
|
|
|
2017-06-23 14:09:28 +08:00
|
|
|
#[aapcs_on_arm]
|
|
|
|
pub extern "C" fn __divmoddi4(a: i64, b: i64, rem: &mut i64) -> i64 {
|
|
|
|
a.divmod(b, rem, |a, b| __divdi3(a, b))
|
|
|
|
}
|
|
|
|
}
|