diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-28 20:07:22 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-12-28 20:07:22 +0100 |
| commit | 6f3a19f40c9d941666cdba8742d4f431579d42c9 (patch) | |
| tree | 04c87810ee20653215d523468eafe818263e24c0 /test | |
| parent | de3d1ed055e39525803cba0c2ffdb3f65f11607e (diff) | |
| download | focaccia-miasm-6f3a19f40c9d941666cdba8742d4f431579d42c9.tar.gz focaccia-miasm-6f3a19f40c9d941666cdba8742d4f431579d42c9.zip | |
Add simplification
The simplification added in ce175bb51 may take reduction before simp_cc_conds. This add simplifications for remaining case.
Diffstat (limited to 'test')
| -rw-r--r-- | test/expression/simplifications.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index c75dc0d3..96ab8a59 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -807,6 +807,17 @@ to_test = [ ), ), + ( + ExprCond( + ExprOp("FLAG_SUB_CF", a, b), + c, d + ), + ExprCond( + ExprOp("<u", a, b), + c, d + ), + ), + ] |