about summary refs log tree commit diff stats
path: root/example/expression/basic_simplification.py (unfollow)
Commit message (Expand)AuthorFilesLines
2015-11-13x86/sem: fix SHL (handle 0-round case)Ajax1-13/+1
2015-11-13x86/sem: fix OF calculation for shrAjax1-1/+1
2015-11-13x86/sem: fix OF calculation for sarAjax1-3/+10
2015-11-13x86/sem: fix rol semantics (handle 0-round case)Ajax1-10/+1
2015-11-13x86/sem: fix ror semantics (handle 0-round case)Ajax1-14/+12
2015-11-13x86/TCC: fix rcr/rcl computationAjax1-36/+26
2015-11-13x86: >>>/<<< c_cf are no more needed: use c_rez with rotate-1Ajax4-45/+10
2015-11-13x86/sem: fix overflow flag condition in rotationAjax1-2/+4
2015-11-13x86/sem: use _rotate_tpl for RCRAjax1-13/+4
2015-11-13x86/TCC: fix a loosed bit of rotate leftAjax1-3/+3
2015-11-13x86/sem: introduce a template for rotate, handling 0-rotateAjax1-10/+37
2015-11-13x86/sem: refactor _shift_tplAjax1-19/+14
2015-11-13x86/sem: fix shld for 'undefined behavior'Ajax1-6/+16
2015-11-12x86/sem: fix overflow flag for shldAjax1-3/+4
2015-11-12x86/sem: use shift_tpl for shldAjax1-21/+4
2015-11-12x86/sem: handle overflow flag in shrdAjax1-1/+3
2015-11-12x86/sem: emulate overflow 'undefined behavior' for shrdAjax1-6/+25
2015-11-12Simplification: add regression test for '>>>', '<<<'Ajax1-1/+4
2015-11-12Simplifications: '>>>', '<<<' with rounds > sizeAjax1-3/+4
2015-11-12x86/sem: handle count == 0 in `shrd`Ajax1-17/+12
2015-11-12x86/sem: refactor sar / shr using a common templateAjax1-34/+14
2015-11-12x86/sem: fix typo (creds @serpilliere)Ajax1-3/+1
2015-11-10x86/TCC: add helper for double to 16 bitsAjax2-0/+13
2015-11-10x86: always truncate float to 64 bits for nowAjax1-2/+5
2015-11-10x86/sem: few details on structure and choices on fntswAjax1-7/+10
2015-11-10x86/TCC: complete fxam semantic to handle C1Ajax3-0/+9
2015-11-10x86/TCC: handle NaN case in `fcom`Ajax1-0/+6
2015-11-10x86/sem: mem2double must not be called on float regsAjax1-2/+1
2015-11-10x86/sem: add `fldenv`Ajax1-0/+37
2015-11-10x86/sem: comment typoAjax1-1/+1
2015-11-10x86: C0/C1/C2/C3 flags in `fprem`Ajax4-1/+33
2015-11-10X86/sem: add movqFabrice Desclaux1-0/+2
2015-11-10x86/TCC: add `fpatan`Ajax3-1/+13
2015-11-10x86/TCC: add `fyl2x`Ajax3-1/+12
2015-11-10x86/TCC: add `fprem`Ajax3-1/+14
2015-11-10x86/TCC: add `fxam`Ajax3-1/+63
2015-11-10x86/TCC: add `fchs`Ajax3-1/+12
2015-11-10x86/sem: fpatan should first decrement dst float (parrallel)Ajax1-1/+2
2015-11-10x86/sem: fix fstp stack poppingAjax1-2/+16
2015-11-10x86/sem: fldln2 must work on 64bit instead of 32Ajax1-3/+3
2015-11-10x86/sem: `fist` was duplicatedAjax1-9/+3
2015-11-10x86/sem: float_prev should not raise an ErrorAjax1-1/+2
2015-11-10x86/sem: fix FST affectation sourceAjax1-2/+2
2015-11-09Example/SymbolExec: write code more arch-independentAjax1-16/+14
2015-11-09Example/SymbolExec: enhance and commentAjax1-15/+27
2015-11-09x86/Arch: INT 3 must produced an ExprInt8(3) (creds @serpilliere)Ajax1-2/+4
2015-11-09Test: add a unit test for x86 interrupt_numAjax2-0/+32
2015-11-09x86/Sem: set `interrupt_num` on INT XXAjax1-0/+1
2015-11-09x86: add a new "register" named interrupt_numAjax3-2/+25
2015-11-09x86/Sem/RDTSC: update tsc2 value on tsc1 overflowAjax1-0/+3