| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove int '**' int test to let z3 always translate exprs ('**' was not | Ajax | 2018-02-14 | 1 | -8/+1 |
| | | | | | really used in Miasm) | ||||
| * | Update rot simplification, to avoid overflow cases | Ajax | 2018-02-14 | 2 | -21/+59 |
| | | |||||
| * | ExpressionSimplification: Add a verbose mode | Ajax | 2018-02-14 | 2 | -1/+21 |
| | | |||||
| * | 'simp_cond_factor' is wrong if << / >> / a>> has more than 2 arguments | Ajax | 2018-02-14 | 1 | -1/+11 |
| | | |||||
| * | A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflow | Ajax | 2018-02-14 | 2 | -2/+16 |
| | | |||||
| * | Use 3 arguments to highlight the recent #677 patch | Ajax | 2018-02-14 | 1 | -2/+2 |
| | | |||||
| * | Check that expr_is_* are really computing the expected operation | Ajax | 2018-02-14 | 1 | -0/+30 |
| | | |||||
| * | Add a check against z3 in simplifications regression tests | Ajax | 2018-02-14 | 2 | -12/+75 |
| | | |||||
| * | Fix 'simp_op_cond_int' comment | Ajax | 2018-02-14 | 1 | -1/+1 |
| | | |||||
| * | Fix z3 conversion of 'imod' and 'idiv' to follow the Miasm one | Ajax | 2018-02-14 | 1 | -2/+15 |
| | | |||||
| * | Deprecate expr_cmps/expr_cmpu for a more verbose / understandable API | Ajax | 2018-02-14 | 3 | -29/+27 |
| | | |||||
| * | Merge pull request #678 from serpilliere/x86_fix_rcl | Camille Mougey | 2018-02-14 | 14 | -180/+159 |
| |\ | | | | | X86 fix rcl | ||||
| | * | X86: remove c_rez/rcl_rez/rcr_rez special operator | Fabrice Desclaux | 2018-02-13 | 7 | -148/+127 |
| | | | |||||
| | * | Jitter: fix exit return code | Fabrice Desclaux | 2018-02-13 | 9 | -32/+32 |
| | | | |||||
| * | | Merge pull request #677 from GAJaloyan/patch-1 | serpilliere | 2018-02-12 | 2 | -1/+5 |
| |\ \ | |/ |/| | Changing index from 1 to -1. | ||||
| | * | changing index of simplification from 1 to -1 in A op 0 => 0 | 2018-02-12 | 2 | -1/+5 | |
| | | | | | | | | | + adding testcases | ||||
| * | | Merge pull request #675 from serpilliere/fix_aarch64_shift | a-vincent | 2018-02-12 | 4 | -9/+31 |
| |\ \ | | | | | | | Fix aarch64 shift | ||||
| | * | | Aarch64: add svc | Fabrice Desclaux | 2018-02-09 | 1 | -1/+8 |
| | | | | |||||
| | * | | Aarch64: add interrupt num & cpu accesses | Fabrice Desclaux | 2018-02-09 | 4 | -1/+14 |
| | | | | |||||
| | * | | Aarch64: remove space | Fabrice Desclaux | 2018-02-09 | 1 | -4/+3 |
| | | | | |||||
| | * | | Aarch64/sem: fix extend_op | Fabrice Desclaux | 2018-02-09 | 1 | -3/+6 |
| | | | | |||||
| * | | | Merge pull request #674 from commial/feature-more-sse | serpilliere | 2018-02-10 | 3 | -94/+622 |
| |\ \ \ | | | | | | | | | Add SSE instructions | ||||
| | * | | | Add EMMS, implemtend as a NOP | Ajax | 2018-02-09 | 3 | -0/+11 |
| | | | | | |||||
| | * | | | Add MASKMOVQ/MASKMOVDQU instruction | Ajax | 2018-02-09 | 3 | -1/+59 |
| | | | | | |||||
| | * | | | Fix PEXTRW 0F C5 form | Ajax | 2018-02-09 | 2 | -6/+6 |
| | | | | | |||||
| | * | | | Add PAVGB/PAVGW instruction | Ajax | 2018-02-09 | 3 | -0/+32 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 instruction | Ajax | 2018-02-09 | 3 | -0/+36 |
| | | | | | | | | | | | | | | | | | | | | | 0F F6 /r PSADBW mm1, mm2/m64 66 0F F6 /r PSADBW xmm1, xmm2/m128 | ||||
| | * | | | Add PMADDWD instruction | Ajax | 2018-02-09 | 3 | -0/+28 |
| | | | | | | | | | | | | | | | | | | | | | 0F F5 /r PMADDWD mm, mm/m64 66 0F F5 /r PMADDWD xmm1, xmm2/m128 | ||||
| | * | | | Add PMULUDQ instruction | Ajax | 2018-02-09 | 3 | -0/+32 |
| | | | | | | | | | | | | | | | | | | | | | NP 0F F4 /r PMULUDQ mm1, mm2/m64 66 0F F4 /r PMULUDQ xmm1, xmm2/m128 | ||||
| | * | | | Add PMAXSW instruction | Ajax | 2018-02-09 | 3 | -0/+11 |
| | | | | | | | | | | | | | | | | | | | | | 0F EE /r PMAXSW mm1, mm2/m64 66 0F EE /r PMAXSW xmm1, xmm2/m128 | ||||
| | * | | | Unify the way PMIN / PMAX works | Ajax | 2018-02-09 | 1 | -61/+17 |
| | | | | | |||||
| | * | | | Add PADDSB/PADDSW instruction | Ajax | 2018-02-09 | 3 | -0/+32 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | ||||
| | * | | | Fix PMINSW semantic | Ajax | 2018-02-09 | 1 | -6/+15 |
| | | | | | | | | | | | | | | | | | Tested against QEMU | ||||
| | * | | | Add PSUBSB/PSUBSW instruction | Ajax | 2018-02-09 | 3 | -7/+38 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 instruction | Ajax | 2018-02-09 | 3 | -0/+48 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 instruction | Ajax | 2018-02-09 | 3 | -0/+39 |
| | | | | | | | | | | | | | | | | | | | | | 0F DC /r PADDUSB mm, mm/m64 66 0F DC /r PADDUSB xmm1, xmm2/m128 | ||||
| | * | | | Add PSUBSUB/PSUBUSW instr | Ajax | 2018-02-09 | 3 | -25/+79 |
| | | | | | | | | | | | | | | | | | | | | | 0F D8 /r PSUBUSB mm, mm/m64 66 0F D8 /r PSUBUSB xmm1, xmm2/m128 | ||||
| | * | | | Add PMULLW instruction | Ajax | 2018-02-09 | 3 | -0/+26 |
| | | | | | |||||
| | * | | | Add PACKSSDW instruction | Ajax | 2018-02-09 | 3 | -0/+18 |
| | | | | | | | | | | | | | | | | | | | | | 0F 6B /r PACKSSDW mm1, mm2/m64 66 0F 6B /r PACKSSDW xmm1, xmm2/m128 | ||||
| | * | | | Add PACKUSWB instruction | Ajax | 2018-02-09 | 3 | -0/+43 |
| | | | | | |||||
| | * | | | Add PCMPGTW instruction (semantic already exists) | Ajax | 2018-02-09 | 1 | -0/+5 |
| | | | | | |||||
| | * | | | Add PACKSSWB instruction | Ajax | 2018-02-09 | 3 | -0/+59 |
| | | | | | | | | | | | | | | | | | | | | | 0F 63 /r PACKSSWB mm1, mm2/m64 66 0F 63 /r PACKSSWB xmm1, xmm2/m128 | ||||
| * | | | | Merge pull request #676 from serpilliere/exprid_no_default_size | Camille Mougey | 2018-02-09 | 27 | -162/+165 |
| |\ \ \ \ | |_|/ / |/| | | | Expression: no default size for ExprId | ||||
| | * | | | Expression: no default size for ExprId | Fabrice Desclaux | 2018-02-09 | 27 | -162/+165 |
| |/ / / | |||||
| * | | | Merge pull request #673 from serpilliere/fix_irs | Camille Mougey | 2018-02-09 | 23 | -128/+152 |
| |\ \ \ | | | | | | | | | irs => assignblks | ||||
| | * | | | Fix tipo | Fabrice Desclaux | 2018-02-09 | 1 | -1/+1 |
| | | | | | |||||
| | * | | | DataFlow: Normalize class names | Fabrice Desclaux | 2018-02-09 | 1 | -20/+25 |
| | | | | | |||||
| | * | | | IRBlock: getitem/len on assignblks | Fabrice Desclaux | 2018-02-09 | 8 | -34/+42 |
| | | | | | |||||
| | * | | | IRBlock: irblock iterates on its assignblks | Fabrice Desclaux | 2018-02-09 | 20 | -75/+80 |
| | | | | | |||||
| | * | | | IRBlock: replace irs by assignblks | Fabrice Desclaux | 2018-02-09 | 23 | -85/+91 |
| |/ / / | |||||