Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat: Adds bit rotation to alexandria_math #201

Closed
wants to merge 8 commits into from
Closed
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
110 changes: 110 additions & 0 deletions src/math/src/lib.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -111,6 +111,116 @@ impl U256BitShift of BitShift<u256> {
}
}

/// Rotate the bits of an unsigned integer of type T
trait BitRotate<T> {
/// Take the bits of an unsigned integer and rotate in the left direction
/// # Arguments
/// * `x` - rotate its bit representation in the leftward direction
/// * `n` - number of steps to rotate
/// # Returns
/// * `T` - the result of rotating the bits of number `x` left, `n` number of steps
fn rotl(x: T, n: T) -> T;
/// Take the bits of an unsigned integer and rotate in the right direction
/// # Arguments
/// * `x` - rotate its bit representation in the rightward direction
/// * `n` - number of steps to rotate
/// # Returns
/// * `T` - the result of rotating the bits of number `x` right, `n` number of steps
fn rotr(x: T, n: T) -> T;
}

impl U8BitRotate of BitRotate<u8> {
fn rotl(x: u8, n: u8) -> u8 {
let word = u8_wide_mul(x, pow(2, n));
let (quotient, remainder) = DivRem::div_rem(word, 0x100_u16.try_into().unwrap());
(quotient + remainder).try_into().unwrap()
}

fn rotr(x: u8, n: u8) -> u8 {
let step = pow(2, n);
let (quotient, remainder) = DivRem::div_rem(x, step.try_into().unwrap());
remainder * pow(2, 8 - n) + quotient
}
}

impl U16BitRotate of BitRotate<u16> {
fn rotl(x: u16, n: u16) -> u16 {
let word = u16_wide_mul(x, pow(2, n));
let (quotient, remainder) = DivRem::div_rem(word, 0x10000_u32.try_into().unwrap());
(quotient + remainder).try_into().unwrap()
}

fn rotr(x: u16, n: u16) -> u16 {
let step = pow(2, n);
let (quotient, remainder) = DivRem::div_rem(x, step.try_into().unwrap());
remainder * pow(2, 16 - n) + quotient
}
}

impl U32BitRotate of BitRotate<u32> {
fn rotl(x: u32, n: u32) -> u32 {
let word = u32_wide_mul(x, pow(2, n));
let (quotient, remainder) = DivRem::div_rem(word, 0x100000000_u64.try_into().unwrap());
(quotient + remainder).try_into().unwrap()
}

fn rotr(x: u32, n: u32) -> u32 {
let step = pow(2, n);
let (quotient, remainder) = DivRem::div_rem(x, step.try_into().unwrap());
remainder * pow(2, 32 - n) + quotient
}
}

impl U64BitRotate of BitRotate<u64> {
fn rotl(x: u64, n: u64) -> u64 {
let word = u64_wide_mul(x, pow(2, n));
let (quotient, remainder) = DivRem::div_rem(
word, 0x10000000000000000_u128.try_into().unwrap()
);
(quotient + remainder).try_into().unwrap()
}

fn rotr(x: u64, n: u64) -> u64 {
let step = pow(2, n);
let (quotient, remainder) = DivRem::div_rem(x, step.try_into().unwrap());
remainder * pow(2, 64 - n) + quotient
}
}

impl U128BitRotate of BitRotate<u128> {
fn rotl(x: u128, n: u128) -> u128 {
let (high, low) = u128_wide_mul(x, pow(2, n));
let word = u256 { low, high };
let (quotient, remainder) = DivRem::div_rem(
word, u256 { low: 0, high: 1 }.try_into().unwrap()
);
(quotient + remainder).try_into().unwrap()
}

fn rotr(x: u128, n: u128) -> u128 {
let step = pow(2, n);
let (quotient, remainder) = DivRem::div_rem(x, step.try_into().unwrap());
remainder * pow(2, 128 - n) + quotient
}
}

impl U256BitRotate of BitRotate<u256> {
fn rotl(x: u256, n: u256) -> u256 {
// TODO(sveamarcus): missing non-zero implementation for u512
// let word = u256_wide_mul(x, pow(2, n));
// let (quotient, remainder) = DivRem::div_rem(word,
// u512_as_non_zero(u512{limb0: 0, limb1: 0, limb2: 1, limb3: 0 }));
// (quotient + remainder).try_into().unwrap()
panic_with_felt252('missing impl')
}

fn rotr(x: u256, n: u256) -> u256 {
let step = pow(2, n);
let (quotient, remainder) = DivRem::div_rem(x, step.try_into().unwrap());
remainder * pow(2, 256 - n) + quotient
}
}

mod aliquot_sum;
mod armstrong_number;
mod collatz_sequence;
Expand Down
48 changes: 47 additions & 1 deletion src/math/src/tests/math_test.cairo
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
use alexandria_math::{pow, BitShift, count_digits_of_base};
use alexandria_math::{pow, BitShift, BitRotate, count_digits_of_base};
use integer::{BoundedInt};

// Test power function
Expand Down Expand Up @@ -170,3 +170,49 @@ fn shl_should_not_overflow() {
assert(BitShift::shl(pow::<u128>(2, 127), 1) == 0, 'invalid result');
assert(BitShift::shl(pow::<u256>(2, 255), 1) == 0, 'invalid result');
}

#[test]
#[available_gas(2000000)]
fn test_rotl_min() {
assert(BitRotate::rotl(pow::<u8>(2, 7) + 1, 1) == 3, 'invalid result');
assert(BitRotate::rotl(pow::<u16>(2, 15) + 1, 1) == 3, 'invalid result');
assert(BitRotate::rotl(pow::<u32>(2, 31) + 1, 1) == 3, 'invalid result');
assert(BitRotate::rotl(pow::<u64>(2, 63) + 1, 1) == 3, 'invalid result');
assert(BitRotate::rotl(pow::<u128>(2, 127) + 1, 1) == 3, 'invalid result');
// TODO(sveamarcus): missing implementation
sveamarcus marked this conversation as resolved.
Show resolved Hide resolved
// assert(BitRotate::rotl(pow::<u256>(2, 255) + 1, 1) == 3, 'invalid result');
}

#[test]
#[available_gas(2000000)]
fn test_rotl_max() {
assert(BitRotate::rotl(0b101, 7) == pow::<u8>(2, 7) + 0b10, 'invalid result');
assert(BitRotate::rotl(0b101, 15) == pow::<u16>(2, 15) + 0b10, 'invalid result');
assert(BitRotate::rotl(0b101, 31) == pow::<u32>(2, 31) + 0b10, 'invalid result');
assert(BitRotate::rotl(0b101, 63) == pow::<u64>(2, 63) + 0b10, 'invalid result');
assert(BitRotate::rotl(0b101, 127) == pow::<u128>(2, 127) + 0b10, 'invalid result');
// TODO(sveamarcus): missing implementation
// assert(BitRotate::rotl(0b101, 255) == pow::<u256>(2, 255) + 0b10, 'invalid result');
}

#[test]
#[available_gas(4000000)]
fn test_rotr_min() {
assert(BitRotate::rotr(pow::<u8>(2, 7) + 1, 1) == 0b11 * pow(2, 6), 'invalid result');
assert(BitRotate::rotr(pow::<u16>(2, 15) + 1, 1) == 0b11 * pow(2, 14), 'invalid result');
assert(BitRotate::rotr(pow::<u32>(2, 31) + 1, 1) == 0b11 * pow(2, 30), 'invalid result');
assert(BitRotate::rotr(pow::<u64>(2, 63) + 1, 1) == 0b11 * pow(2, 62), 'invalid result');
assert(BitRotate::rotr(pow::<u128>(2, 127) + 1, 1) == 0b11 * pow(2, 126), 'invalid result');
assert(BitRotate::rotr(pow::<u256>(2, 255) + 1, 1) == 0b11 * pow(2, 254), 'invalid result');
}

#[test]
#[available_gas(2000000)]
fn test_rotr_max() {
assert(BitRotate::rotr(0b101_u8, 7) == 0b1010, 'invalid result');
assert(BitRotate::rotr(0b101_u16, 15) == 0b1010, 'invalid result');
assert(BitRotate::rotr(0b101_u32, 31) == 0b1010, 'invalid result');
assert(BitRotate::rotr(0b101_u64, 63) == 0b1010, 'invalid result');
assert(BitRotate::rotr(0b101_u128, 127) == 0b1010, 'invalid result');
assert(BitRotate::rotr(0b101_u256, 255) == 0b1010, 'invalid result');
}