diff options
| author | Ajax <commial@gmail.com> | 2015-11-10 18:23:42 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-11-10 18:23:42 +0100 |
| commit | 08d221f856f53329d5badf7fe9f73212f057c5e2 (patch) | |
| tree | c9a911af57168686120fcbfe587e44707c8fe3e6 | |
| parent | 2dc0ca9b7c689b3ca9e4dcd3919b985c6f44128f (diff) | |
| download | miasm-08d221f856f53329d5badf7fe9f73212f057c5e2.tar.gz miasm-08d221f856f53329d5badf7fe9f73212f057c5e2.zip | |
x86/sem: few details on structure and choices on fntsw
| -rw-r--r-- | miasm2/arch/x86/sem.py | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/miasm2/arch/x86/sem.py b/miasm2/arch/x86/sem.py index 1c10f5e5..87979731 100644 --- a/miasm2/arch/x86/sem.py +++ b/miasm2/arch/x86/sem.py @@ -2476,13 +2476,16 @@ def fabs(ir, instr): def fnstsw(ir, instr, dst): - args = [(m2_expr.ExprInt8(0), 0, 8), - (float_c0, 8, 9), - (float_c1, 9, 10), - (float_c2, 10, 11), - (float_stack_ptr, 11, 14), - (float_c3, 14, 15), - (m2_expr.ExprInt1(0), 15, 16)] + args = [ + # Exceptions -> 0 + (m2_expr.ExprInt8(0),0, 8), + (float_c0, 8, 9), + (float_c1, 9, 10), + (float_c2, 10, 11), + (float_stack_ptr, 11, 14), + (float_c3, 14, 15), + # B: FPU is not busy -> 0 + (m2_expr.ExprInt1(0), 15, 16)] e = [m2_expr.ExprAff(dst, m2_expr.ExprCompose(args))] return e, [] |