about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix __ne__ callsFabrice Desclaux2018-04-191-1/+1
|
* Arm: add dsbFabrice Desclaux2018-04-181-0/+3
|
* Fix arm T32ExpandImmFabrice Desclaux2018-04-181-1/+2
|
* Arm: add some arm t2 instructionsFabrice Desclaux2018-04-181-1/+213
|
* X86/sem: fix cmpxchg semFabrice Desclaux2018-04-081-1/+1
|
* Merge pull request #707 from serpilliere/fix_bp_memory_nameCamille Mougey2018-03-281-3/+3
|\ | | | | Fix memory breakpoint name
| * Fix memory breakpoint nameFabrice Desclaux2018-03-281-3/+3
| |
* | Fix test rw cstFabrice Desclaux2018-03-281-1/+1
|/
* Symbexec: use hashtable for mem symbolsFabrice Desclaux2018-03-154-57/+258
|
* Linux fake: __libc_start_main implementation for PPCAjax2018-03-051-1/+1
| | | | See glibc: 'sysdeps/unix/sysv/linux/powerpc/libc-start.c' for details
* Test: add ppc32b testsFabrice Desclaux2018-03-041-0/+5
|
* Merge pull request #683 from commial/refactor/remove-default-exprmem-sizeserpilliere2018-02-153-22/+22
|\ | | | | Refactor/remove default exprmem size
| * 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
| | | | | | | | 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-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 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
* | Merge pull request #674 from commial/feature-more-sseserpilliere2018-02-101-4/+111
|\ \ | | | | | | Add SSE instructions
| * | 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
| | | | | | | | | | | | | | | | | | | | | 0F E0 /r PAVGB mm1, mm2/m64 66 0F E0, /r PAVGB xmm1, xmm2/m128 0F E3 /r PAVGW mm1, mm2/m64 66 0F E3 /r PAVGW xmm1, xmm2/m128
| * | Add PSADBW instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F F6 /r PSADBW mm1, mm2/m64 66 0F F6 /r PSADBW xmm1, xmm2/m128
| * | Add PMADDWD instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F F5 /r PMADDWD mm, mm/m64 66 0F F5 /r PMADDWD xmm1, xmm2/m128
| * | Add PMULUDQ instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | NP 0F F4 /r PMULUDQ mm1, mm2/m64 66 0F F4 /r PMULUDQ xmm1, xmm2/m128
| * | Add PMAXSW instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F EE /r PMAXSW mm1, mm2/m64 66 0F EE /r PMAXSW xmm1, xmm2/m128
| * | Add PADDSB/PADDSW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | NP 0F EC /r PADDSB mm, mm/m64 66 0F EC /r PADDSB xmm1, xmm2/m128 NP 0F ED /r PADDSW mm, mm/m64 66 0F ED /r PADDSW xmm1, xmm2/m128
| * | Add PSUBSB/PSUBSW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | NP 0F E8 /r PSUBSB mm, mm/m64 66 0F E8 /r PSUBSB xmm1, xmm2/m128 NP 0F E9 /r PSUBSW mm, mm/m64 66 0F E9 /r PSUBSW xmm1, xmm2/m128
| * | Add PMULHW / PMULHUW instructionAjax2018-02-091-0/+10
| | | | | | | | | | | | | | | | | | | | | 0F E5 /r PMULHW mm, mm/m64 66 0F E5 /r PMULHW xmm1, xmm2/m128 NP 0F E4 /r PMULHUW mm1, mm2/m64 66 0F E4 /r PMULHUW xmm1, xmm2/m128
| * | Add PADDUSB/PADDUSW instructionAjax2018-02-091-0/+9
| | | | | | | | | | | | | | | 0F DC /r PADDUSB mm, mm/m64 66 0F DC /r PADDUSB xmm1, xmm2/m128
| * | Add PSUBSUB/PSUBUSW instrAjax2018-02-091-0/+11
| | | | | | | | | | | | | | | 0F D8 /r PSUBUSB mm, mm/m64 66 0F D8 /r PSUBUSB xmm1, xmm2/m128
| * | Add PMULLW instructionAjax2018-02-091-0/+5
| | |
| * | Add PACKSSDW instructionAjax2018-02-091-0/+5
| | | | | | | | | | | | | | | 0F 6B /r PACKSSDW mm1, mm2/m64 66 0F 6B /r PACKSSDW xmm1, xmm2/m128
| * | Add PACKUSWB instructionAjax2018-02-091-0/+5
| | |
| * | Add PACKSSWB instructionAjax2018-02-091-0/+4
| | | | | | | | | | | | | | | 0F 63 /r PACKSSWB mm1, mm2/m64 66 0F 63 /r PACKSSWB xmm1, xmm2/m128
* | | 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
|/ /