about summary refs log tree commit diff stats
path: root/example/expression/simplification_add.py (unfollow)
Commit message (Expand)AuthorFilesLines
2018-03-05Sandbox: on Linux env import, also set the ABORT_ADDRAjax2-19/+21
2018-03-05LLVM: fix rot 0Fabrice Desclaux1-1/+3
2018-03-04Test: add ppc32b testsFabrice Desclaux2-0/+5
2018-03-04Jitter/python: support little endianFabrice Desclaux3-2/+21
2018-03-04PPC32: integrationFabrice Desclaux4-0/+17
2018-03-02Fix semantics of conditional jumpsAymeric Vincent1-3/+3
2018-02-26Add support for PowerPC 32bit big-endian processors: "ppc32b"Aymeric Vincent17-4/+2494
2018-02-22Set CALL_FINISH_ADDR to 0x13371acc to be 4 bytes alignedAymeric Vincent1-1/+1
2018-02-22Rename CALL_FINNISH_ADDR to CALL_FINISH_ADDRAymeric Vincent1-3/+3
2018-02-16Enforce correct endianness of PLT entriesAymeric Vincent1-2/+7
2018-02-16Align the arbitrary addresses of fake library functions to multiples of 4Aymeric Vincent1-2/+2
2018-02-15Remove the default size of ExprMem expressionsAjax12-60/+63
2018-02-15'simp_propag': avoid computing shifts when the size is tooAjax2-3/+22
2018-02-15simp_compose: ensure the '/' is not rounded to 0, but really equals toAjax2-1/+5
2018-02-15Translator: import 'z3' only when it is really neededAjax1-1/+11
2018-02-15Add prototypes for x86_bsr() and x86_bsf()Aymeric Vincent1-0/+2
2018-02-15Complete the #676 by removing the default value in ExprId.__new__Ajax1-1/+1
2018-02-14Lower the size of too long test to let z3 run in a human timeAjax1-8/+9
2018-02-14Remove int '**' int test to let z3 always translate exprs ('**' was notAjax1-8/+1
2018-02-14Update rot simplification, to avoid overflow casesAjax2-21/+59
2018-02-14ExpressionSimplification: Add a verbose modeAjax2-1/+21
2018-02-14'simp_cond_factor' is wrong if << / >> / a>> has more than 2 argumentsAjax1-1/+11
2018-02-14A >> X >> Y => A >> (X+Y) ONLY IF X + Y does not overflowAjax2-2/+16
2018-02-14Use 3 arguments to highlight the recent #677 patchAjax1-2/+2
2018-02-14Check that expr_is_* are really computing the expected operationAjax1-0/+30
2018-02-14Add a check against z3 in simplifications regression testsAjax2-12/+75
2018-02-14Fix 'simp_op_cond_int' commentAjax1-1/+1
2018-02-14Fix z3 conversion of 'imod' and 'idiv' to follow the Miasm oneAjax1-2/+15
2018-02-14Deprecate expr_cmps/expr_cmpu for a more verbose / understandable APIAjax3-29/+27
2018-02-13X86: remove c_rez/rcl_rez/rcr_rez special operatorFabrice Desclaux7-148/+127
2018-02-13Jitter: fix exit return codeFabrice Desclaux9-32/+32
2018-02-12changing index of simplification from 1 to -1 in A op 0 => 02-1/+5
2018-02-09Expression: no default size for ExprIdFabrice Desclaux27-162/+165
2018-02-09Add EMMS, implemtend as a NOPAjax3-0/+11
2018-02-09Add MASKMOVQ/MASKMOVDQU instructionAjax3-1/+59
2018-02-09Fix PEXTRW 0F C5 formAjax2-6/+6
2018-02-09Add PAVGB/PAVGW instructionAjax3-0/+32
2018-02-09Add PSADBW instructionAjax3-0/+36
2018-02-09Add PMADDWD instructionAjax3-0/+28
2018-02-09Add PMULUDQ instructionAjax3-0/+32
2018-02-09Add PMAXSW instructionAjax3-0/+11
2018-02-09Unify the way PMIN / PMAX worksAjax1-61/+17
2018-02-09Add PADDSB/PADDSW instructionAjax3-0/+32
2018-02-09Fix PMINSW semanticAjax1-6/+15
2018-02-09Add PSUBSB/PSUBSW instructionAjax3-7/+38
2018-02-09Add PMULHW / PMULHUW instructionAjax3-0/+48
2018-02-09Add PADDUSB/PADDUSW instructionAjax3-0/+39
2018-02-09Add PSUBSUB/PSUBUSW instrAjax3-25/+79
2018-02-09Add PMULLW instructionAjax3-0/+26
2018-02-09Add PACKSSDW instructionAjax3-0/+18