diff options
| author | Ajax <commial@gmail.com> | 2015-11-17 15:42:58 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-11-17 16:04:43 +0100 |
| commit | c7cb2e669362d4029484ba015bb246bf561dedf6 (patch) | |
| tree | d0b88a2a3b011e9c161691fd55e00c182262d92f /miasm2/arch/x86/sem.py | |
| parent | 87c3fe46c6fbc5649b3a06d91bedfabbe3f11009 (diff) | |
| download | miasm-c7cb2e669362d4029484ba015bb246bf561dedf6.tar.gz miasm-c7cb2e669362d4029484ba015bb246bf561dedf6.zip | |
x86/sem: template eflags assignment from a source
Diffstat (limited to '')
| -rw-r--r-- | miasm2/arch/x86/sem.py | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/miasm2/arch/x86/sem.py b/miasm2/arch/x86/sem.py index 8a1c3974..324145a6 100644 --- a/miasm2/arch/x86/sem.py +++ b/miasm2/arch/x86/sem.py @@ -1048,20 +1048,19 @@ def popfd(ir, instr): return e, [] +def _tpl_eflags(tmp): + """Extract eflags from @tmp + @tmp: Expr instance with a size >= 16 + """ + return [m2_expr.ExprAff(dest, tmp[base:base + dest.size]) + for base, dest in ((0, cf), (2, pf), (4, af), (6, zf), (7, nf), + (8, tf), (9, i_f), (10, df), (11, of), + (12, iopl), (14, nt))] + + def popfw(ir, instr): tmp = m2_expr.ExprMem(mRSP[instr.mode]) - e = [] - e.append(m2_expr.ExprAff(cf, m2_expr.ExprSlice(tmp, 0, 1))) - e.append(m2_expr.ExprAff(pf, m2_expr.ExprSlice(tmp, 2, 3))) - e.append(m2_expr.ExprAff(af, m2_expr.ExprSlice(tmp, 4, 5))) - e.append(m2_expr.ExprAff(zf, m2_expr.ExprSlice(tmp, 6, 7))) - e.append(m2_expr.ExprAff(nf, m2_expr.ExprSlice(tmp, 7, 8))) - e.append(m2_expr.ExprAff(tf, m2_expr.ExprSlice(tmp, 8, 9))) - e.append(m2_expr.ExprAff(i_f, m2_expr.ExprSlice(tmp, 9, 10))) - e.append(m2_expr.ExprAff(df, m2_expr.ExprSlice(tmp, 10, 11))) - e.append(m2_expr.ExprAff(of, m2_expr.ExprSlice(tmp, 11, 12))) - e.append(m2_expr.ExprAff(iopl, m2_expr.ExprSlice(tmp, 12, 14))) - e.append(m2_expr.ExprAff(nt, m2_expr.ExprSlice(tmp, 14, 15))) + e = _tpl_eflags(tmp) e.append(m2_expr.ExprAff(mRSP[instr.mode], mRSP[instr.mode] + m2_expr.ExprInt(2, mRSP[instr.mode].size))) return e, [] |