diff options
Diffstat (limited to 'miasm/expression')
| -rw-r--r-- | miasm/expression/expression.py | 4 | ||||
| -rw-r--r-- | miasm/expression/expression_helper.py | 4 | ||||
| -rw-r--r-- | miasm/expression/simplifications_common.py | 8 |
3 files changed, 8 insertions, 8 deletions
diff --git a/miasm/expression/expression.py b/miasm/expression/expression.py index c507f19f..e5debb34 100644 --- a/miasm/expression/expression.py +++ b/miasm/expression/expression.py @@ -2146,7 +2146,7 @@ def expr_is_sNaN(expr): def expr_is_float_lower(op1, op2): """Return 1 on 1 bit if @op1 < @op2, 0 otherwise. - /!\ Assume @op1 and @op2 are not NaN + [!] Assume @op1 and @op2 are not NaN Comparison is the floating point one, defined in IEEE754 """ sign1, sign2 = op1.msb(), op2.msb() @@ -2160,7 +2160,7 @@ def expr_is_float_lower(op1, op2): def expr_is_float_equal(op1, op2): """Return 1 on 1 bit if @op1 == @op2, 0 otherwise. - /!\ Assume @op1 and @op2 are not NaN + [!] Assume @op1 and @op2 are not NaN Comparison is the floating point one, defined in IEEE754 """ sign1, sign2 = op1.msb(), op2.msb() diff --git a/miasm/expression/expression_helper.py b/miasm/expression/expression_helper.py index 299e52e6..5bd2276d 100644 --- a/miasm/expression/expression_helper.py +++ b/miasm/expression/expression_helper.py @@ -89,7 +89,7 @@ op_propag_cst = ['+', '*', '^', '&', '|', '>>', def is_pure_int(e): """ return True if expr is only composed with integers - /!\ ExprCond returns True is src1 and src2 are integers + [!] ExprCond returns True is src1 and src2 are integers """ def modify_cond(e): if isinstance(e, m2_expr.ExprCond): @@ -444,7 +444,7 @@ class ExprRandom(object): """Internal function for generating sub-expression according to options @size: (optional) Operation size @depth: (optional) Expression depth - /!\ @generated_elements is left modified + [!] @generated_elements is left modified """ # Perfect tree handling if not cls.perfect_tree: 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 |