about summary refs log tree commit diff stats
path: root/test/expression/simplifications.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add simplificationFabrice Desclaux2020-12-281-0/+11
| | | | | The simplification added in ce175bb51 may take reduction before simp_cc_conds. This add simplifications for remaining case.
* Add cond CC flag simplificationFabrice Desclaux2020-06-251-0/+25
|
* Add simplificationsFabrice Desclaux2020-03-201-0/+1
|
* Add == simplificationserpilliere2020-02-191-0/+32
|
* Simplifications: add regression testFabrice Desclaux2019-11-191-0/+7
|
* Fix mistakes and add more pertinent testsHugo Porcher2019-03-271-2/+2
|
* Add check to not slice an ExprIdHugo Porcher2019-03-271-3/+2
|
* Use moduint instead of python int and fix testHugo Porcher2019-03-211-1/+1
|
* Add zeroextend and fix loopHugo Porcher2019-03-211-2/+2
|
* Add compose_and_mask simplification passHugo Porcher2019-03-201-0/+6
|
* Rename miasm2 to miasmFabrice Desclaux2019-03-051-4/+4
|
* Support python2/python3Fabrice Desclaux2019-03-051-28/+29
|
* Add simp cst == X+ cst; X ^cst = cstFabrice Desclaux2019-02-121-0/+15
|
* Add simplificationsFabrice Desclaux2019-02-121-0/+31
|
* Merge pull request #942 from serpilliere/rename_idiv_sdivCamille Mougey2019-01-161-2/+2
|\ | | | | Rename idiv/imod into sdiv/smod
| * Rename idiv/imod into sdiv/smodFabrice Desclaux2019-01-151-2/+2
| |
* | Expression: add simplificationsFabrice Desclaux2019-01-151-0/+176
|/
* Fix typos & add codespellPierre LALET2018-12-231-1/+1
|
* Simple: add multiplication simplificationFabrice Desclaux2018-11-101-1/+19
|
* Simplification: add high evel simpFabrice Desclaux2018-10-091-0/+3
|
* Test: add high level regression testsFabrice Desclaux2018-10-091-2/+58
|
* Expresion: use ExprAssign instead of ExprAffFabrice Desclaux2018-10-011-3/+3
| | | | | | ExprAff stands for (in french) "Expression affectation" We will now use ExprAssign (for Expression Assignment) (instead of ExprAss)
* Test/simplify: dont use concurrent simplificationsFabrice Desclaux2018-08-291-5/+4
|
* Test: add simplification reg testsFabrice Desclaux2018-08-061-11/+20
|
* Expr: add simplification shift maskFabrice Desclaux2018-06-211-0/+4
|
* Op bsr/bsf are replaced by cnttrailzeros / cntleadzeros, defined in 0Ajax2018-05-151-0/+9
|
* Merge pull request #683 from commial/refactor/remove-default-exprmem-sizeserpilliere2018-02-151-10/+10
|\ | | | | Refactor/remove default exprmem size
| * Remove the default size of ExprMem expressionsAjax2018-02-151-10/+10
| |
* | 'simp_propag': avoid computing shifts when the size is tooAjax2018-02-151-0/+6
| | | | | | | | big (potential Python overflow)
* | simp_compose: ensure the '/' is not rounded to 0, but really equals toAjax2018-02-151-0/+4
|/
* Lower the size of too long test to let z3 run in a human timeAjax2018-02-141-8/+9
|
* Remove int '**' int test to let z3 always translate exprs ('**' was notAjax2018-02-141-8/+1
| | | | really used in Miasm)
* Update rot simplification, to avoid overflow casesAjax2018-02-141-10/+35
|
* ExpressionSimplification: Add a verbose modeAjax2018-02-141-1/+7
|
* A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflowAjax2018-02-141-0/+9
|
* Use 3 arguments to highlight the recent #677 patchAjax2018-02-141-2/+2
|
* Check that expr_is_* are really computing the expected operationAjax2018-02-141-0/+30
|
* Add a check against z3 in simplifications regression testsAjax2018-02-141-12/+72
|
* Deprecate expr_cmps/expr_cmpu for a more verbose / understandable APIAjax2018-02-141-17/+16
|
* Merge pull request #678 from serpilliere/x86_fix_rclCamille Mougey2018-02-141-12/+0
|\ | | | | X86 fix rcl
| * X86: remove c_rez/rcl_rez/rcr_rez special operatorFabrice Desclaux2018-02-131-12/+0
| |
* | Merge pull request #677 from GAJaloyan/patch-1serpilliere2018-02-121-0/+4
|\ \ | |/ |/| Changing index from 1 to -1.
| * changing index of simplification from 1 to -1 in A op 0 => 02018-02-121-0/+4
| | | | | | | | + adding testcases
* | Expression: no default size for ExprIdFabrice Desclaux2018-02-091-14/+14
|/
* Simplifications: add regression testsFabrice Desclaux2017-08-101-0/+4
|
* Add a new simplification: {@X[base + i] 0 X, @Y[base + i + X] X (X + Y)} => ↵Ajax2017-06-011-0/+5
| | | | @(X+Y)[base + i]
* Remove deprecated use of MatchExprAjax2017-04-211-17/+17
|
* Replace ExprInt[num](x) -> ExprInt(x, num)Ajax2017-03-301-168/+168
|
* Let ExprInt always use its Singleton capabilitiesAjax2017-03-301-20/+20
| | | | | Remove the optionnal 'size' argument form, use pointer equality to speed up comparision
* ExprCompose: add new apiFabrice Desclaux2016-11-041-93/+85
| | | | | | | The ExprComposes uses directly its arguments sizes to guess the slices locations. Old api: ExprCompose([(a, 0, 32), (b, 32, 64)]) becomes: ExprCompose(a, b)