about summary refs log tree commit diff stats
path: root/miasm2/expression/simplifications_common.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* simp_compose: ensure the '/' is not rounded to 0, but really equals toAjax2018-02-151-1/+1
|
* Update rot simplification, to avoid overflow casesAjax2018-02-141-11/+24
|
* 'simp_cond_factor' is wrong if << / >> / a>> has more than 2 argumentsAjax2018-02-141-1/+11
|
* A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflowAjax2018-02-141-2/+7
|
* Fix 'simp_op_cond_int' commentAjax2018-02-141-1/+1
|
* Merge pull request #678 from serpilliere/x86_fix_rclCamille Mougey2018-02-141-36/+4
|\ | | | | X86 fix rcl
| * X86: remove c_rez/rcl_rez/rcr_rez special operatorFabrice Desclaux2018-02-131-36/+4
| |
* | changing index of simplification from 1 to -1 in A op 0 => 02018-02-121-1/+1
|/ | | | + adding testcases
* Expression/Simplifications: modify x?b:c + dFabrice Desclaux2017-08-101-15/+21
|
* Expression/Simplifications: clean codeFabrice Desclaux2017-08-101-279/+269
|
* Simplifications: ExprMem(a?b:c) and {x?a:b, x?c:d}Fabrice Desclaux2017-08-101-31/+27
|
* Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => ↵Ajax2017-06-011-0/+11
| | | | @(X+Y)[base + i]
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-301-3/+3
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-301-2/+3
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* Right operator of a>> is unsignedAjax2017-02-151-1/+1
|
* Expr: Remove exprint_fromFabrice Desclaux2016-12-231-9/+9
|
* Exprsimp: updt apiFabrice Desclaux2016-12-231-87/+65
|
* ExprCompose: updt internal structFabrice Desclaux2016-11-041-88/+61
|
* ExprCompose: update apiFabrice Desclaux2016-11-041-7/+31
|
* Update int(XX.arg) -> int(XX)Ajax2016-09-161-9/+9
|
* Add ** (pow) operatorJB Cayrou2016-06-291-1/+3
|
* Simplifications: add cst_propagation for >>>/<<< c_rezAjax2015-11-161-0/+33
|
* Simplifications: '>>>', '<<<' with rounds > sizeAjax2015-11-121-3/+4
|
* Expression: fix apiFabrice Desclaux2015-10-291-10/+12
|
* Expr/Simplifications: add shift/slice reductionFabrice Desclaux2015-07-231-0/+15
|
* expr/simplification: fix slice of composeserpilliere2015-07-101-1/+1
|
* Simplifications: Remove useless statementsAjax2015-06-111-8/+0
|
* Expression/Simplification: add slice/composeFabrice Desclaux2015-06-051-1/+32
|
* Expr/Simplification: match code and comment for multiplication simplificationFabrice Desclaux2015-03-241-3/+2
|
* Expression/Simplification: add op/compose simplificationFabrice Desclaux2015-02-131-0/+16
|
* Expression/Simplification: add shift/compose simplificationFabrice Desclaux2015-02-131-0/+49
|
* Expression: fix umod/udiv in expression simplificationFabrice Desclaux2014-10-311-1/+13
|
* expr_simpl: add shift simplificationFabrice Desclaux2014-09-111-0/+6
|
* Simplifications commons: Fix assert (avoid division by zero)Camille Mougey2014-09-051-2/+2
|
* Simplification: Fix 'A op 0' with op == '-' bug, add corresponding test caseajax2014-07-301-1/+6
|
* Fix operand unify irem/imodserpilliere2014-06-241-2/+2
|
* Simplification: fix bug in simplification (tx to Florent Monjalet)serpilliere2014-06-131-1/+1
|
* Simplification: detect and handle == conditionserpilliere2014-06-131-15/+0
| | | | Add corresponding regression tests
* merge; fix x86 ror/rolserpilliere2014-06-121-0/+4
| | | | rol ror mask shifter in semantic instead of in expr_simpl
* Simplifications: Export common simplifications to an extern fileajax2014-06-091-0/+499