T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use (isub 1 $C) instead (iadd -1 $C)

Browse Source
This commit is contained in:
MaxGraey
2020-07-03 11:01:35 +03:00
parent d839d83f7e
commit 1033cf5748
4 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cranelift/codegen/src/preopt.peepmatic
View File

@@ -195,4 +195,4 @@
;; Reminder by a power of two -> bitwise and with decreased by one constant. ;; Reminder by a power of two -> bitwise and with decreased by one constant.
(=> (when (urem_imm $C $x) (=> (when (urem_imm $C $x)
(is-power-of-two $C)) (is-power-of-two $C))
(band_imm $(iadd -1 $C) $x)) (band_imm $(isub 1 $C) $x))

BIN
cranelift/codegen/src/preopt.serialized
View File

Binary file not shown.

4
cranelift/peepmatic/crates/runtime/src/operator.rs
View File

@@ -233,6 +233,10 @@ pub enum UnquoteOperator {
#[peepmatic(params(iNN, iNN), result(iNN))] #[peepmatic(params(iNN, iNN), result(iNN))]
Iadd, Iadd,
/// Compile-time `iadd` of two constant values.
#[peepmatic(params(iNN, iNN), result(iNN))]
Isub,
/// Compile-time `imul` of two constant values. /// Compile-time `imul` of two constant values.
#[peepmatic(params(iNN, iNN), result(iNN))] #[peepmatic(params(iNN, iNN), result(iNN))]
Imul, Imul,

2
cranelift/peepmatic/crates/runtime/src/optimizer.rs
View File

@@ -77,6 +77,7 @@ where
| UnquoteOperator::Bor | UnquoteOperator::Bor
| UnquoteOperator::Bxor | UnquoteOperator::Bxor
| UnquoteOperator::Iadd | UnquoteOperator::Iadd
| UnquoteOperator::Isub
| UnquoteOperator::Imul => unreachable!("not a unary unquote operator: {:?}", operator), | UnquoteOperator::Imul => unreachable!("not a unary unquote operator: {:?}", operator),
} }
} }
@@ -98,6 +99,7 @@ where
UnquoteOperator::Bor => fold_ints!(a, b, |x, y| x | y), UnquoteOperator::Bor => fold_ints!(a, b, |x, y| x | y),
UnquoteOperator::Bxor => 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::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::Imul => fold_ints!(a, b, |x, y| x.wrapping_mul(y)),
UnquoteOperator::Log2 | UnquoteOperator::Neg => { UnquoteOperator::Log2 | UnquoteOperator::Neg => {
unreachable!("not a binary unquote operator: {:?}", operator) unreachable!("not a binary unquote operator: {:?}", operator)