about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Expand)AuthorAgeFilesLines
* Linux fake: __libc_start_main implementation for PPCAjax2018-03-051-1/+1
* Test: add ppc32b testsFabrice Desclaux2018-03-041-0/+5
* Merge pull request #683 from commial/refactor/remove-default-exprmem-sizeserpilliere2018-02-153-22/+22
|\
| * Remove the default size of ExprMem expressionsAjax2018-02-153-22/+22
* | '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-142-12/+75
* 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
* | Merge pull request #674 from commial/feature-more-sseserpilliere2018-02-101-4/+111
|\ \
| * | Add EMMS, implemtend as a NOPAjax2018-02-091-0/+3
| * | Add MASKMOVQ/MASKMOVDQU instructionAjax2018-02-091-0/+5
| * | Fix PEXTRW 0F C5 formAjax2018-02-091-4/+4
| * | Add PAVGB/PAVGW instructionAjax2018-02-091-0/+10
| * | Add PSADBW instructionAjax2018-02-091-0/+5
| * | Add PMADDWD instructionAjax2018-02-091-0/+5
| * | Add PMULUDQ instructionAjax2018-02-091-0/+5
| * | Add PMAXSW instructionAjax2018-02-091-0/+5
| * | Add PADDSB/PADDSW instructionAjax2018-02-091-0/+10
| * | Add PSUBSB/PSUBSW instructionAjax2018-02-091-0/+10
| * | Add PMULHW / PMULHUW instructionAjax2018-02-091-0/+10
| * | Add PADDUSB/PADDUSW instructionAjax2018-02-091-0/+9
| * | Add PSUBSUB/PSUBUSW instrAjax2018-02-091-0/+11
| * | Add PMULLW instructionAjax2018-02-091-0/+5
| * | Add PACKSSDW instructionAjax2018-02-091-0/+5
| * | Add PACKUSWB instructionAjax2018-02-091-0/+5
| * | Add PACKSSWB instructionAjax2018-02-091-0/+4
* | | Expression: no default size for ExprIdFabrice Desclaux2018-02-098-63/+63
* | | IRBlock: getitem/len on assignblksFabrice Desclaux2018-02-092-13/+13
* | | IRBlock: irblock iterates on its assignblksFabrice Desclaux2018-02-092-3/+3
* | | IRBlock: replace irs by assignblksFabrice Desclaux2018-02-093-16/+16
|/ /
* / X86: fix cdq/cbw...Fabrice Desclaux2018-02-022-0/+446
|/
* Add PCMPGTB instructionAjax2018-01-261-0/+3
* Add PALIGNR x86 instruction (asm & semantic)Ajax2018-01-261-0/+3
* Add support for BNDMOV instruction (with an empty semantic)Ajax2018-01-261-0/+5
* Expression: use stp translatorFabrice Desclaux2018-01-111-8/+12
* X86: add mfence/sfence/prefetchFabrice Desclaux2017-12-301-0/+4
* update tests to use the new spacing of expressions' str()Aymeric Vincent2017-12-122-257/+257
* Various Win32 API additions/fixes (#616)Adrien Guinet2017-10-314-1/+166
* DiGraph: fixed node order in natural loop backedgesTim Blazytko2017-10-181-2/+2