diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2019-10-07 19:30:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 19:30:00 +0200 |
| commit | 01bed91b510a37ae79bc3162098c10e7859c6203 (patch) | |
| tree | 2e1d839e15eebb4fad618c435fe24a158b20bcbf | |
| parent | ec03b34a736d1ca68218fb5e6083e2d1e153d245 (diff) | |
| parent | fbdf26b0b4f2e88005d5d133c19d0ebf6864315d (diff) | |
| download | miasm-01bed91b510a37ae79bc3162098c10e7859c6203.tar.gz miasm-01bed91b510a37ae79bc3162098c10e7859c6203.zip | |
Merge pull request #1070 from htfy96/add-roundsd
Add roundss/roundsd
Diffstat (limited to '')
| -rw-r--r-- | miasm/arch/x86/arch.py | 4 | ||||
| -rw-r--r-- | miasm/arch/x86/sem.py | 31 |
2 files changed, 35 insertions, 0 deletions
diff --git a/miasm/arch/x86/arch.py b/miasm/arch/x86/arch.py index df6fa8b7..3a797d0b 100644 --- a/miasm/arch/x86/arch.py +++ b/miasm/arch/x86/arch.py @@ -3807,6 +3807,10 @@ addop("mulsd", [bs8(0x0f), bs8(0x59), pref_f2] + rmmod(xmm_reg, rm_arg_xmm_m64)) addop("divss", [bs8(0x0f), bs8(0x5e), pref_f3] + rmmod(xmm_reg, rm_arg_xmm_m32)) addop("divsd", [bs8(0x0f), bs8(0x5e), pref_f2] + rmmod(xmm_reg, rm_arg_xmm_m64)) +addop("roundss", [bs8(0x0f), bs8(0x3a), bs8(0x0a), pref_66] + + rmmod(xmm_reg, rm_arg_xmm_m32) + [u08]) +addop("roundsd", [bs8(0x0f), bs8(0x3a), bs8(0x0b), pref_66] + + rmmod(xmm_reg, rm_arg_xmm_m64) + [u08]) addop("pminsw", [bs8(0x0f), bs8(0xea), no_xmm_pref] + rmmod(mm_reg, rm_arg_mm)) addop("pminsw", [bs8(0x0f), bs8(0xea), pref_66] + rmmod(xmm_reg, rm_arg_xmm)) diff --git a/miasm/arch/x86/sem.py b/miasm/arch/x86/sem.py index 962667b4..370370e4 100644 --- a/miasm/arch/x86/sem.py +++ b/miasm/arch/x86/sem.py @@ -5080,6 +5080,33 @@ def movmskpd(ir, instr, dst, src): out.append(src[(64 * i) + 63:(64 * i) + 64]) return [m2_expr.ExprAssign(dst, m2_expr.ExprCompose(*out).zeroExtend(dst.size))], [] +def _roundscalar(ir, inst, dst, src, imm8, double): + res = None + ctl = int(imm8) + dst_expr = dst[:64] if double else dst[:32] + src_expr = src[:64] if double else src[:32] + if ctl & 0x4 != 0: + # Use MXCSR rounding config + # TODO: here we assume it's round to nearest, ties to even + res = m2_expr.ExprOp('fpround_towardsnearest', src_expr) + else: + # Use encoded rounding mechanism + rounding_mechanism = ctl & 0x3 + ROUNDING_MODE = { + 0x0: 'fpround_towardsnearest', + 0x1: 'fpround_down', + 0x2: 'fpround_up', + 0x3: 'fpround_towardszero' + } + res = m2_expr.ExprOp(ROUNDING_MODE[rounding_mechanism], src_expr) + return [m2_expr.ExprAssign(dst_expr, res)], [] + +def roundss(ir, inst, dst, src, imm8): + return _roundscalar(ir, inst, dst, src, imm8, False) + +def roundsd(ir, inst, dst, src, imm8): + return _roundscalar(ir, inst, dst, src, imm8, True) + def fxsave(_ir, _instr, _src): # Implemented as a NOP for now return [], [] @@ -5523,6 +5550,10 @@ mnemo_func = {'mov': mov, "divps": divps, "divpd": divpd, + # Rounding + "roundss": roundss, + "roundsd": roundsd, + # Comparisons (floating-point) # "minps": minps, |