about summary refs log tree commit diff stats
path: root/test/expression/simplifications.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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)
* Merge pull request #389 from jbcayrou/pow_opserpilliere2016-07-031-0/+2
|\ | | | | Add ** (pow) operator
| * Add ** (pow) operatorJB Cayrou2016-06-291-0/+2
| |
* | Fix ExprOp_inf_signed + unit tests #385JB Cayrou2016-06-291-0/+6
|/
* ModInt: mimic C modulo instead of Python rounded oneAjax2015-11-161-0/+3
|
* ModInt: mimic C division instead of Python rounded oneAjax2015-11-161-0/+2
|
* Simplifications: add cst_propagation for >>>/<<< c_rezAjax2015-11-161-0/+14
|
* Simplification: add regression test for '>>>', '<<<'Ajax2015-11-121-1/+4
|
* Expression: fix apiFabrice Desclaux2015-10-291-7/+7
|
* Test/simplification: add cmpx regression testsserpilliere2015-07-291-0/+33
|
* Test/Expression: add regression test for shift/sliceFabrice Desclaux2015-07-231-0/+8
|
* test/simplification: reg testserpilliere2015-07-101-0/+2
|
* Test: add simplification regressionFabrice Desclaux2015-06-051-1/+52
|