Skip to content
Merged
Show file tree
Hide file tree
Changes from all 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
1 change: 0 additions & 1 deletion src/uint/ref_type.rs
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,6 @@ use {
/// This type contains a limb slice which can be borrowed from either a [`Uint`] or [`BoxedUint`] and
/// thus provides an abstraction for writing shared implementations.
#[repr(transparent)]
#[derive(PartialEq, Eq)]
pub struct UintRef {
/// Inner limb array. Stored from least significant to most significant.
// TODO(tarcieri): maintain an invariant of at least one limb?
Expand Down
73 changes: 50 additions & 23 deletions src/uint/ref_type/cmp.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
use core::{cmp::Ordering, mem::transmute};

use super::UintRef;
use crate::{Choice, Limb, word};
use crate::{Choice, CtEq, Limb, word};

impl UintRef {
/// Returns the truthy value if `self` is odd or the falsy value otherwise.
Expand Down Expand Up @@ -117,7 +117,7 @@ impl UintRef {
Ordering::Equal
}

/// Returns the truthy value if `self < rhs` and the falsy value otherwise.
/// Returns the truthy value if `lhs < rhs` and the falsy value otherwise.
#[inline(always)]
pub(crate) const fn lt(lhs: &Self, rhs: &Self) -> Choice {
let overlap = if lhs.nlimbs() < rhs.nlimbs() {
Expand All @@ -140,6 +140,26 @@ impl UintRef {
}
}

impl Eq for UintRef {}

impl Ord for UintRef {
fn cmp(&self, other: &Self) -> Ordering {
Self::cmp(self, other)
}
}

impl PartialOrd for UintRef {
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
Some(self.cmp(other))
}
}

impl PartialEq for UintRef {
fn eq(&self, other: &Self) -> bool {
self.ct_eq(other).into()
}
}

#[cfg(test)]
mod tests {
use core::cmp::Ordering;
Expand All @@ -149,40 +169,47 @@ mod tests {

#[test]
fn cmp() {
fn check(a: &UintRef, b: &UintRef, ord: Ordering) {
assert_eq!(UintRef::cmp(a, b), ord);
assert_eq!(UintRef::cmp_vartime(a, b), ord);
assert_eq!(a.cmp(b), ord);
if ord == Ordering::Equal {
assert_eq!(a, b);
} else {
assert_ne!(a, b);
}
}

let z_small = UintRef::new(&[Limb::ZERO, Limb::ZERO]);
let z_big = UintRef::new(&[Limb::ZERO, Limb::ZERO, Limb::ZERO]);
let a = UintRef::new(&[Limb::ZERO, Limb::ZERO, Limb::ONE]);
let b = UintRef::new(&[Limb::ONE, Limb::ZERO]);

assert_eq!(UintRef::cmp(z_small, z_big), Ordering::Equal);
assert_eq!(UintRef::cmp(z_big, z_small), Ordering::Equal);
assert_eq!(UintRef::cmp(z_small, a), Ordering::Less);
assert_eq!(UintRef::cmp(z_big, a), Ordering::Less);
assert_eq!(UintRef::cmp(a, z_small), Ordering::Greater);
assert_eq!(UintRef::cmp(a, z_big), Ordering::Greater);
assert_eq!(UintRef::cmp(a, b), Ordering::Greater);
assert_eq!(UintRef::cmp(b, a), Ordering::Less);

assert_eq!(UintRef::cmp_vartime(z_small, z_big), Ordering::Equal);
assert_eq!(UintRef::cmp_vartime(z_big, z_small), Ordering::Equal);
assert_eq!(UintRef::cmp_vartime(z_small, a), Ordering::Less);
assert_eq!(UintRef::cmp_vartime(z_big, a), Ordering::Less);
assert_eq!(UintRef::cmp_vartime(a, z_small), Ordering::Greater);
assert_eq!(UintRef::cmp_vartime(a, z_big), Ordering::Greater);
assert_eq!(UintRef::cmp_vartime(a, b), Ordering::Greater);
assert_eq!(UintRef::cmp_vartime(b, a), Ordering::Less);
check(z_small, z_big, Ordering::Equal);
check(z_big, z_small, Ordering::Equal);
check(z_small, a, Ordering::Less);
check(z_big, a, Ordering::Less);
check(a, z_small, Ordering::Greater);
check(a, z_big, Ordering::Greater);
check(a, b, Ordering::Greater);
check(b, a, Ordering::Less);
}

#[test]
fn lt() {
fn check(a: &UintRef, b: &UintRef) {
assert!(UintRef::lt(a, b).to_bool_vartime());
assert!(!UintRef::lt(b, a).to_bool_vartime());
assert!(a < b);
assert!(b > a);
}

let lesser = UintRef::new(&[Limb::ZERO, Limb::ZERO, Limb::ZERO]);
let greater = UintRef::new(&[Limb::ZERO, Limb::ONE, Limb::ZERO]);
assert!(UintRef::lt(lesser, greater).to_bool());
assert!(!UintRef::lt(greater, lesser).to_bool());
check(lesser, greater);

let smaller = UintRef::new(&[Limb::ZERO, Limb::ZERO]);
let bigger = UintRef::new(&[Limb::ZERO, Limb::ZERO, Limb::ONE]);
assert!(UintRef::lt(smaller, bigger).to_bool());
assert!(!UintRef::lt(bigger, smaller).to_bool());
check(smaller, bigger);
}
}
Loading