| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2018-02-15 | simp_compose: ensure the '/' is not rounded to 0, but really equals to | Ajax | 2 | -1/+5 | |
| 2018-02-15 | Translator: import 'z3' only when it is really needed | Ajax | 1 | -1/+11 | |
| Avoid importing a pretty big module, and the side effects of z3, such as declaring the stack as unlimited | |||||
| 2018-02-15 | Add prototypes for x86_bsr() and x86_bsf() | Aymeric Vincent | 1 | -0/+2 | |
| 2018-02-14 | Lower the size of too long test to let z3 run in a human time | Ajax | 1 | -8/+9 | |
| 2018-02-14 | Remove int '**' int test to let z3 always translate exprs ('**' was not | Ajax | 1 | -8/+1 | |
| really used in Miasm) | |||||
| 2018-02-14 | Update rot simplification, to avoid overflow cases | Ajax | 2 | -21/+59 | |
| 2018-02-14 | ExpressionSimplification: Add a verbose mode | Ajax | 2 | -1/+21 | |
| 2018-02-14 | 'simp_cond_factor' is wrong if << / >> / a>> has more than 2 arguments | Ajax | 1 | -1/+11 | |
| 2018-02-14 | A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflow | Ajax | 2 | -2/+16 | |
| 2018-02-14 | Use 3 arguments to highlight the recent #677 patch | Ajax | 1 | -2/+2 | |
| 2018-02-14 | Check that expr_is_* are really computing the expected operation | Ajax | 1 | -0/+30 | |
| 2018-02-14 | Add a check against z3 in simplifications regression tests | Ajax | 2 | -12/+75 | |
| 2018-02-14 | Fix 'simp_op_cond_int' comment | Ajax | 1 | -1/+1 | |
| 2018-02-14 | Fix z3 conversion of 'imod' and 'idiv' to follow the Miasm one | Ajax | 1 | -2/+15 | |
| 2018-02-14 | Deprecate expr_cmps/expr_cmpu for a more verbose / understandable API | Ajax | 3 | -29/+27 | |
| 2018-02-13 | X86: remove c_rez/rcl_rez/rcr_rez special operator | Fabrice Desclaux | 7 | -148/+127 | |
| 2018-02-13 | Jitter: fix exit return code | Fabrice Desclaux | 9 | -32/+32 | |
| 2018-02-12 | changing index of simplification from 1 to -1 in A op 0 => 0 | 2 | -1/+5 | ||
| + adding testcases | |||||
| 2018-02-09 | Expression: no default size for ExprId | Fabrice Desclaux | 27 | -162/+165 | |
| 2018-02-09 | Add EMMS, implemtend as a NOP | Ajax | 3 | -0/+11 | |
| 2018-02-09 | Add MASKMOVQ/MASKMOVDQU instruction | Ajax | 3 | -1/+59 | |
| 2018-02-09 | Fix PEXTRW 0F C5 form | Ajax | 2 | -6/+6 | |
| 2018-02-09 | Add PAVGB/PAVGW instruction | Ajax | 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 | |||||
| 2018-02-09 | Add PSADBW instruction | Ajax | 3 | -0/+36 | |
| 0F F6 /r PSADBW mm1, mm2/m64 66 0F F6 /r PSADBW xmm1, xmm2/m128 | |||||
| 2018-02-09 | Add PMADDWD instruction | Ajax | 3 | -0/+28 | |
| 0F F5 /r PMADDWD mm, mm/m64 66 0F F5 /r PMADDWD xmm1, xmm2/m128 | |||||
| 2018-02-09 | Add PMULUDQ instruction | Ajax | 3 | -0/+32 | |
| NP 0F F4 /r PMULUDQ mm1, mm2/m64 66 0F F4 /r PMULUDQ xmm1, xmm2/m128 | |||||
| 2018-02-09 | Add PMAXSW instruction | Ajax | 3 | -0/+11 | |
| 0F EE /r PMAXSW mm1, mm2/m64 66 0F EE /r PMAXSW xmm1, xmm2/m128 | |||||
| 2018-02-09 | Unify the way PMIN / PMAX works | Ajax | 1 | -61/+17 | |
| 2018-02-09 | Add PADDSB/PADDSW instruction | Ajax | 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 | |||||
| 2018-02-09 | Fix PMINSW semantic | Ajax | 1 | -6/+15 | |
| Tested against QEMU | |||||
| 2018-02-09 | Add PSUBSB/PSUBSW instruction | Ajax | 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 | |||||
| 2018-02-09 | Add PMULHW / PMULHUW instruction | Ajax | 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 | |||||
| 2018-02-09 | Add PADDUSB/PADDUSW instruction | Ajax | 3 | -0/+39 | |
| 0F DC /r PADDUSB mm, mm/m64 66 0F DC /r PADDUSB xmm1, xmm2/m128 | |||||
| 2018-02-09 | Add PSUBSUB/PSUBUSW instr | Ajax | 3 | -25/+79 | |
| 0F D8 /r PSUBUSB mm, mm/m64 66 0F D8 /r PSUBUSB xmm1, xmm2/m128 | |||||
| 2018-02-09 | Add PMULLW instruction | Ajax | 3 | -0/+26 | |
| 2018-02-09 | Add PACKSSDW instruction | Ajax | 3 | -0/+18 | |
| 0F 6B /r PACKSSDW mm1, mm2/m64 66 0F 6B /r PACKSSDW xmm1, xmm2/m128 | |||||
| 2018-02-09 | Add PACKUSWB instruction | Ajax | 3 | -0/+43 | |
| 2018-02-09 | Add PCMPGTW instruction (semantic already exists) | Ajax | 1 | -0/+5 | |
| 2018-02-09 | Add PACKSSWB instruction | Ajax | 3 | -0/+59 | |
| 0F 63 /r PACKSSWB mm1, mm2/m64 66 0F 63 /r PACKSSWB xmm1, xmm2/m128 | |||||
| 2018-02-09 | Aarch64: add svc | Fabrice Desclaux | 1 | -1/+8 | |
| 2018-02-09 | Aarch64: add interrupt num & cpu accesses | Fabrice Desclaux | 4 | -1/+14 | |
| 2018-02-09 | Aarch64: remove space | Fabrice Desclaux | 1 | -4/+3 | |
| 2018-02-09 | Aarch64/sem: fix extend_op | Fabrice Desclaux | 1 | -3/+6 | |
| 2018-02-09 | Fix tipo | Fabrice Desclaux | 1 | -1/+1 | |
| 2018-02-09 | DataFlow: Normalize class names | Fabrice Desclaux | 1 | -20/+25 | |
| 2018-02-09 | IRBlock: getitem/len on assignblks | Fabrice Desclaux | 8 | -34/+42 | |
| 2018-02-09 | IRBlock: irblock iterates on its assignblks | Fabrice Desclaux | 20 | -75/+80 | |
| 2018-02-09 | IRBlock: replace irs by assignblks | Fabrice Desclaux | 23 | -85/+91 | |
| 2018-02-02 | Asmblock: fix dis_block_callback | Fabrice Desclaux | 6 | -16/+25 | |
| 2018-02-02 | X86: fix cdq/cbw... | Fabrice Desclaux | 4 | -15/+489 | |