about summary refs log tree commit diff stats
path: root/miasm2/expression/simplifications_common.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename miasm2 to miasmFabrice Desclaux2019-03-051-1556/+0
|
* Support python2/python3Fabrice Desclaux2019-03-051-8/+10
|
* Add simp cst == X+ cst; X ^cst = cstFabrice Desclaux2019-02-121-22/+37
|
* Add simplificationsFabrice Desclaux2019-02-121-0/+53
|
* Simplifications: simplify slice of opFabrice Desclaux2019-01-261-3/+11
|
* Merge pull request #942 from serpilliere/rename_idiv_sdivCamille Mougey2019-01-161-3/+3
|\ | | | | Rename idiv/imod into sdiv/smod
| * Rename idiv/imod into sdiv/smodFabrice Desclaux2019-01-151-3/+3
| |
* | Expressions/Simplifications: clean codeFabrice Desclaux2019-01-151-60/+91
| |
* | Expression: add simplificationsFabrice Desclaux2019-01-151-26/+258
|/
* Fix typos & add codespellPierre LALET2018-12-231-3/+3
|
* Simple: add multiplication simplificationFabrice Desclaux2018-11-101-0/+75
|
* Merge pull request #864 from serpilliere/fix_hl_opCamille Mougey2018-11-091-26/+106
|\ | | | | Fix hl op
| * Simplification: add high evel simpFabrice Desclaux2018-10-091-0/+14
| |
| * Simplifications: fix hl cond reductionFabrice Desclaux2018-10-091-22/+16
| | | | | | | | Match code to comment
| * Simplifications: simplify by default high level opFabrice Desclaux2018-10-091-0/+70
| | | | | | | | Simplifify by default high level operators (<u, ...) with pure cst as arguments
| * Simplifications: fix bad simplificationsFabrice Desclaux2018-10-091-4/+6
| |
* | Expression: replace arg by ptr in ExprMemFabrice Desclaux2018-10-121-5/+5
|/
* Expr: use TOK define instead of stringsFabrice Desclaux2018-08-291-38/+63
|
* Expression: add simp condFabrice Desclaux2018-08-291-0/+12
|
* Merge pull request #828 from serpilliere/fix_lgtm_1Camille Mougey2018-08-291-3/+0
|\ | | | | Code cleaning: lgtm.com
| * Code cleaning: lgtm.comFabrice Desclaux2018-08-231-3/+0
| |
* | adding a new simplification for double zeroExtends and signExtends.GAJaloyan2018-08-201-0/+19
|/
* Simplifications: add common hl reductionsFabrice Desclaux2018-08-061-0/+334
|
* Expression: add simplificationFabrice Desclaux2018-08-061-1/+13
|
* Expr: add simplification shift maskFabrice Desclaux2018-06-211-0/+20
|
* Op bsr/bsf are replaced by cnttrailzeros / cntleadzeros, defined in 0Ajax2018-05-151-6/+8
|
* 'simp_propag': avoid computing shifts when the size is tooAjax2018-02-151-3/+16
| | | | big (potential Python overflow)
* 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
|