diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2024-01-07 22:48:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-07 22:48:37 +0100 |
| commit | 3a2fb2472c0e8e01f84ed29be29a929775ed07ab (patch) | |
| tree | 17718031046a1e912072db057993b478aa0ce06e /miasm/expression/simplifications_common.py | |
| parent | e9dee4eb5e8b8dc0b81e22598b754c8df29f1674 (diff) | |
| parent | 2bf07ad1eb835e12b4b3dbaf42f71adf888a8cc1 (diff) | |
| download | focaccia-miasm-3a2fb2472c0e8e01f84ed29be29a929775ed07ab.tar.gz focaccia-miasm-3a2fb2472c0e8e01f84ed29be29a929775ed07ab.zip | |
Merge pull request #1464 from mrexodia/python312
Python 3.12 support
Diffstat (limited to 'miasm/expression/simplifications_common.py')
| -rw-r--r-- | miasm/expression/simplifications_common.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/miasm/expression/simplifications_common.py b/miasm/expression/simplifications_common.py index 835f8723..9156ee67 100644 --- a/miasm/expression/simplifications_common.py +++ b/miasm/expression/simplifications_common.py @@ -1146,7 +1146,7 @@ def simp_cmp_bijective_op(expr_simp, expr): # a + b + c == a + b if not args_b: return ExprOp(TOK_EQUAL, ExprOp(op, *args_a), ExprInt(0, args_a[0].size)) - + arg_a = ExprOp(op, *args_a) arg_b = ExprOp(op, *args_b) return ExprOp(TOK_EQUAL, arg_a, arg_b) @@ -1275,7 +1275,7 @@ def simp_cond_eq_zero(_, expr): def simp_sign_inf_zeroext(expr_s, expr): """ - /!\ Ensure before: X.zeroExt(X.size) => X + [!] Ensure before: X.zeroExt(X.size) => X X.zeroExt() <s 0 => 0 X.zeroExt() <=s 0 => X == 0 @@ -1782,7 +1782,7 @@ def simp_bcdadd_cf(_, expr): 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 @@ -1807,7 +1807,7 @@ def simp_bcdadd(_, expr): 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 |