diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-20 15:36:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-20 15:36:22 +0100 |
| commit | 92e5eed5e6794b702760f3ab028702dd582462b5 (patch) | |
| tree | 21c7e2acddcf61333d094240d4eee73572d70e16 | |
| parent | eae166b6d703e9c394e1fd00e98328289192a12d (diff) | |
| parent | 06d2b033f9c3ba4fc0e68dc29f11f5badd0d78db (diff) | |
| download | miasm-92e5eed5e6794b702760f3ab028702dd582462b5.tar.gz miasm-92e5eed5e6794b702760f3ab028702dd582462b5.zip | |
Merge pull request #1325 from serpilliere/add_simplification
Add CC_S>= simplification
Diffstat (limited to '')
| -rw-r--r-- | miasm/expression/simplifications_common.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/miasm/expression/simplifications_common.py b/miasm/expression/simplifications_common.py index 85af9dc4..68d98c00 100644 --- a/miasm/expression/simplifications_common.py +++ b/miasm/expression/simplifications_common.py @@ -853,6 +853,17 @@ def simp_cc_conds(_, expr): ExprInt(1, expr.size) ) + elif (expr.is_op("CC_S>=") and + len(expr.args) == 2 and + expr.args[0].is_op("FLAG_SIGN_SUB") and + expr.args[0].args[1].is_int(0) and + expr.args[1].is_int(0)): + expr = ExprOp( + TOK_INF_EQUAL_SIGNED, + expr.args[0].args[1], + expr.args[0].args[0], + ) + elif (expr.is_op("CC_S<") and test_cc_eq_args( expr, |