about summary refs log tree commit diff stats
path: root/test/expression/simplifications.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add simplificationFabrice Desclaux2020-12-281-0/+11
* 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/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
* 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
|\
| * 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
* | 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
* 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: 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 of simplification from 1 to -1 in A op 0 => 02018-02-121-0/+4
* | 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
* 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
* ExprCompose: add new apiFabrice Desclaux2016-11-041-93/+85