diff options
| author | Nicolas DILLIES <dillies@yavin8.sta.academy.ctsi> | 2020-02-21 16:44:38 +0100 |
|---|---|---|
| committer | Nicolas DILLIES <dillies@yavin8.sta.academy.ctsi> | 2020-03-03 13:21:58 +0100 |
| commit | 196397dd71cf10af77629fe1b66ecc7ba94e8ec4 (patch) | |
| tree | 289104b44af62a72031ab7b38931d846fd1e605f | |
| parent | 886f05bcc6c4285bf60cb296186b9e975698356a (diff) | |
| download | focaccia-miasm-196397dd71cf10af77629fe1b66ecc7ba94e8ec4.tar.gz focaccia-miasm-196397dd71cf10af77629fe1b66ecc7ba94e8ec4.zip | |
Adding simplifications for bcdadd and bcdadd_cf with python
| -rw-r--r-- | miasm/expression/simplifications.py | 2 | ||||
| -rw-r--r-- | miasm/expression/simplifications_common.py | 51 |
2 files changed, 53 insertions, 0 deletions
diff --git a/miasm/expression/simplifications.py b/miasm/expression/simplifications.py index d8a11382..03a779a6 100644 --- a/miasm/expression/simplifications.py +++ b/miasm/expression/simplifications.py @@ -60,6 +60,8 @@ class ExpressionSimplifier(object): simplifications_common.simp_test_zeroext_inf, simplifications_common.simp_cond_inf_eq_unsigned_zero, simplifications_common.simp_compose_and_mask, + simplifications_common.simp_bcdadd_cf, + simplifications_common.simp_bcdadd, ], m2_expr.ExprSlice: [ diff --git a/miasm/expression/simplifications_common.py b/miasm/expression/simplifications_common.py index 9db766d8..1c0bb04c 100644 --- a/miasm/expression/simplifications_common.py +++ b/miasm/expression/simplifications_common.py @@ -1654,3 +1654,54 @@ def simp_compose_and_mask(_, expr): else: out.append(arg) return expr + +def simp_bcdadd_cf(_, expr): + """bcdadd(const, const) => decimal""" + if not(expr.is_op('bcdadd_cf')): + return expr + arg1 = expr.args[0] + arg2 = expr.args[1] + if not(arg1.is_int() and arg2.is_int()): + return expr + + carry = 0 + res = 0 + nib_1, nib_2 = 0, 0 + for i in range(0,16,4): + nib_1 = (arg1.arg >> i) & (0xF) + nib_2 = (arg2.arg >> i) & (0xF) + + j = (carry + nib_1 + nib_2) + if (j >= 10): + carry = 1 + j -= 10 + j &= 0xF + else: + carry = 0 + return ExprInt(carry, 1) + +def simp_bcdadd(_, expr): + """bcdadd(const, const) => decimal""" + if not(expr.is_op('bcdadd')): + return expr + arg1 = expr.args[0] + arg2 = expr.args[1] + if not(arg1.is_int() and arg2.is_int()): + return expr + + carry = 0 + res = 0 + nib_1, nib_2 = 0, 0 + for i in range(0,16,4): + nib_1 = (arg1.arg >> i) & (0xF) + nib_2 = (arg2.arg >> i) & (0xF) + + j = (carry + nib_1 + nib_2) + if (j >= 10): + carry = 1 + j -= 10 + j &= 0xF + else: + carry = 0 + res += j << i + return ExprInt(res, arg1.size) |