about summary refs log tree commit diff stats
path: root/test (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* | Unify ExprLoc str with LocKey and othersAjax2018-06-171-4/+4
| |
* | Core: replace AsmLabel by LocKeyFabrice Desclaux2018-06-0912-442/+462
| |
* | Expr: Add new word ExprLocFabrice Desclaux2018-06-089-131/+155
| | | | | | | | | | This word represents a location in the binary. Thus, the hack of ExprId containing an AsmLabel ends here.
* | Add a regression test to ensure INT is called each time in a loopAjax2018-05-181-2/+8
| |
* | Jitter: fix bad block managementFabrice Desclaux2018-05-174-4/+94
| |
* | Add support for XMM0-15 registers in x86Ajax2018-05-172-0/+18
| |
* | Test: remove blacklisted testAjax2018-05-161-1/+0
|/
* Remove TCC jitter engineAjax2018-05-162-23/+6
|
* Rename x86 specific op 'cpuid' to 'x86_cpuid'Ajax2018-05-151-1/+1
|
* Op bsr/bsf are replaced by cnttrailzeros / cntleadzeros, defined in 0Ajax2018-05-153-17/+26
|
* Merge pull request #734 from serpilliere/enhance_parserCamille Mougey2018-05-1411-67/+36
|\ | | | | Enhance parser
| * Core: updt parser structureFabrice Desclaux2018-05-1411-67/+36
| |
* | Merge pull request #736 from losynix/get_block_by_offsetserpilliere2018-05-091-0/+2
|\ \ | | | | | | add getby_offset in AsmCFG
| * | add getby_offset in AsmCFGlosynix2018-05-091-0/+2
| |/
* / Jitter: fix FPU C functions namesFabrice Desclaux2018-05-091-1/+1
|/
* 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