2016-08-18 04:50:24 +08:00
|
|
|
use int::{Int, LargeInt};
|
2016-08-13 16:51:54 +08:00
|
|
|
|
|
|
|
macro_rules! ashl {
|
|
|
|
($intrinsic:ident: $ty:ty) => {
|
|
|
|
/// Returns `a << b`, requires `b < $ty::bits()`
|
|
|
|
#[cfg_attr(not(test), no_mangle)]
|
2017-02-07 22:41:26 +08:00
|
|
|
#[cfg_attr(all(not(test), not(target_arch = "arm")), no_mangle)]
|
|
|
|
#[cfg_attr(all(not(test), target_arch = "arm"), inline(always))]
|
2016-08-19 00:20:24 +08:00
|
|
|
pub extern "C" fn $intrinsic(a: $ty, b: u32) -> $ty {
|
2016-08-13 16:51:54 +08:00
|
|
|
let half_bits = <$ty>::bits() / 2;
|
|
|
|
if b & half_bits != 0 {
|
|
|
|
<$ty>::from_parts(0, a.low() << (b - half_bits))
|
|
|
|
} else if b == 0 {
|
|
|
|
a
|
|
|
|
} else {
|
|
|
|
<$ty>::from_parts(a.low() << b, (a.high() << b) | (a.low() >> (half_bits - b)))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! ashr {
|
|
|
|
($intrinsic:ident: $ty:ty) => {
|
|
|
|
/// Returns arithmetic `a >> b`, requires `b < $ty::bits()`
|
|
|
|
#[cfg_attr(not(test), no_mangle)]
|
2017-02-07 22:41:26 +08:00
|
|
|
#[cfg_attr(all(not(test), not(target_arch = "arm")), no_mangle)]
|
|
|
|
#[cfg_attr(all(not(test), target_arch = "arm"), inline(always))]
|
2016-08-19 00:20:24 +08:00
|
|
|
pub extern "C" fn $intrinsic(a: $ty, b: u32) -> $ty {
|
2016-08-13 16:51:54 +08:00
|
|
|
let half_bits = <$ty>::bits() / 2;
|
|
|
|
if b & half_bits != 0 {
|
|
|
|
<$ty>::from_parts((a.high() >> (b - half_bits)) as <$ty as LargeInt>::LowHalf,
|
|
|
|
a.high() >> (half_bits - 1))
|
|
|
|
} else if b == 0 {
|
|
|
|
a
|
|
|
|
} else {
|
|
|
|
let high_unsigned = a.high() as <$ty as LargeInt>::LowHalf;
|
|
|
|
<$ty>::from_parts((high_unsigned << (half_bits - b)) | (a.low() >> b),
|
|
|
|
a.high() >> b)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! lshr {
|
|
|
|
($intrinsic:ident: $ty:ty) => {
|
|
|
|
/// Returns logical `a >> b`, requires `b < $ty::bits()`
|
|
|
|
#[cfg_attr(not(test), no_mangle)]
|
2016-08-19 00:20:24 +08:00
|
|
|
pub extern "C" fn $intrinsic(a: $ty, b: u32) -> $ty {
|
2016-08-13 16:51:54 +08:00
|
|
|
let half_bits = <$ty>::bits() / 2;
|
|
|
|
if b & half_bits != 0 {
|
|
|
|
<$ty>::from_parts(a.high() >> (b - half_bits), 0)
|
|
|
|
} else if b == 0 {
|
|
|
|
a
|
|
|
|
} else {
|
|
|
|
<$ty>::from_parts((a.high() << (half_bits - b)) | (a.low() >> b), a.high() >> b)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-09-27 04:55:11 +08:00
|
|
|
#[cfg(not(all(feature = "c", target_arch = "x86")))]
|
2016-08-13 16:51:54 +08:00
|
|
|
ashl!(__ashldi3: u64);
|
2016-09-27 04:55:11 +08:00
|
|
|
|
2017-01-04 10:04:27 +08:00
|
|
|
ashl!(__ashlti3: u128);
|
|
|
|
|
2016-09-27 04:55:11 +08:00
|
|
|
#[cfg(not(all(feature = "c", target_arch = "x86")))]
|
2016-08-13 16:51:54 +08:00
|
|
|
ashr!(__ashrdi3: i64);
|
2016-09-27 04:55:11 +08:00
|
|
|
|
2017-01-04 10:04:27 +08:00
|
|
|
ashr!(__ashrti3: i128);
|
|
|
|
|
2016-09-27 04:55:11 +08:00
|
|
|
#[cfg(not(all(feature = "c", target_arch = "x86")))]
|
2016-08-13 16:51:54 +08:00
|
|
|
lshr!(__lshrdi3: u64);
|
|
|
|
|
2017-01-04 10:04:27 +08:00
|
|
|
lshr!(__lshrti3: u128);
|