Skip to content

Commit b46c8bf

Browse files
committed
Use std checked_div
1 parent 718a5a2 commit b46c8bf

File tree

1 file changed

+2
-17
lines changed

1 file changed

+2
-17
lines changed

example/std_example.rs

+2-17
Original file line numberDiff line numberDiff line change
@@ -34,8 +34,8 @@ fn main() {
3434
assert_eq!(0b0000000000000000000000000010000010000000000000000000000000000000_0000000000100000000000000000000000001000000000000100000000000000u128.leading_zeros(), 26);
3535
assert_eq!(0b0000000000000000000000000010000000000000000000000000000000000000_0000000000000000000000000000000000001000000000000000000010000000u128.trailing_zeros(), 7);
3636

37-
checked_div_i128(0i128, 2i128);
38-
checked_div_u128(0u128, 2u128);
37+
0i128.checked_div(2i128);
38+
0u128.checked_div(2u128);
3939
assert_eq!(1u128 + 2, 3);
4040

4141
assert_eq!(0b100010000000000000000000000000000u128 >> 10, 0b10001000000000000000000u128);
@@ -61,18 +61,3 @@ fn map(a: Option<(u8, Box<Instruction>)>) -> Option<Box<Instruction>> {
6161
Some((_, instr)) => Some(instr),
6262
}
6363
}
64-
65-
fn checked_div_i128(lhs: i128, rhs: i128) -> Option<i128> {
66-
if rhs == 0 || (lhs == -170141183460469231731687303715884105728 && rhs == -1) {
67-
None
68-
} else {
69-
Some(unsafe { intrinsics::unchecked_div(lhs, rhs) })
70-
}
71-
}
72-
73-
fn checked_div_u128(lhs: u128, rhs: u128) -> Option<u128> {
74-
match rhs {
75-
0 => None,
76-
rhs => Some(unsafe { intrinsics::unchecked_div(lhs, rhs) })
77-
}
78-
}

0 commit comments

Comments
 (0)