Module malachite_base::num::arithmetic::shr_round

ShrRound and ShrRoundAssign, traits for dividing a number by a power of 2 and rounding according to a specified RoundingMode.

shr_round

use malachite_base::num::arithmetic::traits::ShrRound;
use malachite_base::rounding_modes::RoundingMode;

assert_eq!(0x101u32.shr_round(8u8, RoundingMode::Down), 1);
assert_eq!(0x101u16.shr_round(8u16, RoundingMode::Up), 2);

assert_eq!(0x101u64.shr_round(9u32, RoundingMode::Down), 0);
assert_eq!(0x101u32.shr_round(9u64, RoundingMode::Up), 1);
assert_eq!(0x101u16.shr_round(9u8, RoundingMode::Nearest), 1);
assert_eq!(0xffu8.shr_round(9u16, RoundingMode::Nearest), 0);
assert_eq!(0x100u32.shr_round(9u32, RoundingMode::Nearest), 0);

assert_eq!(0x100u32.shr_round(8u64, RoundingMode::Exact), 1);

assert_eq!(0x101i32.shr_round(8u8, RoundingMode::Down), 1);
assert_eq!(0x101i16.shr_round(8u16, RoundingMode::Up), 2);

assert_eq!((-0x101i32).shr_round(9u32, RoundingMode::Down), 0);
assert_eq!((-0x101i64).shr_round(9u64, RoundingMode::Up), -1);
assert_eq!((-0x101i16).shr_round(9u8, RoundingMode::Nearest), -1);
assert_eq!((-0xffi32).shr_round(9u16, RoundingMode::Nearest), 0);
assert_eq!((-0x100i64).shr_round(9u32, RoundingMode::Nearest), 0);

assert_eq!(0x100i32.shr_round(8u64, RoundingMode::Exact), 1);

assert_eq!(0x101u32.shr_round(8i8, RoundingMode::Down), 1);
assert_eq!(0x101u16.shr_round(8i16, RoundingMode::Up), 2);

assert_eq!((-0x101i32).shr_round(9i32, RoundingMode::Down), 0);
assert_eq!((-0x101i64).shr_round(9i64, RoundingMode::Up), -1);
assert_eq!((-0x101i16).shr_round(9i8, RoundingMode::Nearest), -1);
assert_eq!((-0xffi32).shr_round(9i16, RoundingMode::Nearest), 0);
assert_eq!((-0x100i64).shr_round(9i32, RoundingMode::Nearest), 0);

assert_eq!(0x100u32.shr_round(8i64, RoundingMode::Exact), 1);

shr_round_assign

use malachite_base::num::arithmetic::traits::ShrRoundAssign;
use malachite_base::rounding_modes::RoundingMode;

let mut x = 0x101u32;
x.shr_round_assign(8u8, RoundingMode::Down);
assert_eq!(x, 1);

let mut x = 0x101u16;
x.shr_round_assign(8u16, RoundingMode::Up);
assert_eq!(x, 2);

let mut x = 0x101u64;
x.shr_round_assign(9u32, RoundingMode::Down);
assert_eq!(x, 0);

let mut x = 0x101u32;
x.shr_round_assign(9u64, RoundingMode::Up);
assert_eq!(x, 1);

let mut x = 0x101u16;
x.shr_round_assign(9u8, RoundingMode::Nearest);
assert_eq!(x, 1);

let mut x = 0xffu8;
x.shr_round_assign(9u16, RoundingMode::Nearest);
assert_eq!(x, 0);

let mut x = 0x100u32;
x.shr_round_assign(9u32, RoundingMode::Nearest);
assert_eq!(x, 0);

let mut x = 0x100u32;
x.shr_round_assign(8u64, RoundingMode::Exact);
assert_eq!(x, 1);

let mut x = 0x101i32;
x.shr_round_assign(8u8, RoundingMode::Down);
assert_eq!(x, 1);

let mut x = 0x101i16;
x.shr_round_assign(8u16, RoundingMode::Up);
assert_eq!(x, 2);

let mut x = -0x101i32;
x.shr_round_assign(9u32, RoundingMode::Down);
assert_eq!(x, 0);

let mut x = -0x101i64;
x.shr_round_assign(9u64, RoundingMode::Up);
assert_eq!(x, -1);

let mut x = -0x101i16;
x.shr_round_assign(9u8, RoundingMode::Nearest);
assert_eq!(x, -1);

let mut x = -0xffi32;
x.shr_round_assign(9u16, RoundingMode::Nearest);
assert_eq!(x, 0);

let mut x = -0x100i64;
x.shr_round_assign(9u32, RoundingMode::Nearest);
assert_eq!(x, 0);

let mut x = 0x100u32;
x.shr_round_assign(8i64, RoundingMode::Exact);
assert_eq!(x, 1);

let mut x = 0x101u32;
x.shr_round_assign(8i8, RoundingMode::Down);
assert_eq!(x, 1);

let mut x = 0x101u16;
x.shr_round_assign(8i16, RoundingMode::Up);
assert_eq!(x, 2);

let mut x = -0x101i32;
x.shr_round_assign(9i32, RoundingMode::Down);
assert_eq!(x, 0);

let mut x = -0x101i64;
x.shr_round_assign(9i64, RoundingMode::Up);
assert_eq!(x, -1);

let mut x = -0x101i16;
x.shr_round_assign(9i8, RoundingMode::Nearest);
assert_eq!(x, -1);

let mut x = -0xffi32;
x.shr_round_assign(9i16, RoundingMode::Nearest);
assert_eq!(x, 0);

let mut x = -0x100i64;
x.shr_round_assign(9i32, RoundingMode::Nearest);
assert_eq!(x, 0);

let mut x = 0x100u32;
x.shr_round_assign(8i64, RoundingMode::Exact);
assert_eq!(x, 1);