changes according review

This commit is contained in:
MaxGraey
2020-07-07 01:55:18 +03:00
parent 2048278d2a
commit 305659427d
4 changed files with 8 additions and 8 deletions

View File

@@ -196,4 +196,4 @@
(=> (when (urem_imm $C $x)
(is-power-of-two $C)
(fits-in-native-word $C))
(band_imm $(isub 1 $C) $x))
(band_imm $(isub $C 1) $x))

View File

@@ -233,14 +233,14 @@ pub enum UnquoteOperator {
#[peepmatic(params(iNN, iNN), result(iNN))]
Iadd,
/// Compile-time `isub` of two constant values.
#[peepmatic(params(iNN, iNN), result(iNN))]
Isub,
/// Compile-time `imul` of two constant values.
#[peepmatic(params(iNN, iNN), result(iNN))]
Imul,
/// Compile-time `isub` of two constant values.
#[peepmatic(params(iNN, iNN), result(iNN))]
Isub,
/// Take the base-2 log of a power of two integer.
#[peepmatic(params(iNN), result(iNN))]
Log2,

View File

@@ -77,8 +77,8 @@ where
| UnquoteOperator::Bor
| UnquoteOperator::Bxor
| UnquoteOperator::Iadd
| UnquoteOperator::Isub
| UnquoteOperator::Imul => unreachable!("not a unary unquote operator: {:?}", operator),
| UnquoteOperator::Imul
| UnquoteOperator::Isub => unreachable!("not a unary unquote operator: {:?}", operator),
}
}
@@ -99,8 +99,8 @@ where
UnquoteOperator::Bor => fold_ints!(a, b, |x, y| x | y),
UnquoteOperator::Bxor => fold_ints!(a, b, |x, y| x ^ y),
UnquoteOperator::Iadd => fold_ints!(a, b, |x, y| x.wrapping_add(y)),
UnquoteOperator::Isub => fold_ints!(a, b, |x, y| x.wrapping_sub(y)),
UnquoteOperator::Imul => fold_ints!(a, b, |x, y| x.wrapping_mul(y)),
UnquoteOperator::Isub => fold_ints!(a, b, |x, y| x.wrapping_sub(y)),
UnquoteOperator::Log2 | UnquoteOperator::Neg => {
unreachable!("not a binary unquote operator: {:?}", operator)
}