diff options
Diffstat (limited to 'ia32/PrintAsm.ml')
| -rw-r--r-- | ia32/PrintAsm.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml index 63658e5..1766a79 100644 --- a/ia32/PrintAsm.ml +++ b/ia32/PrintAsm.ml @@ -517,6 +517,8 @@ let print_instruction oc = function fprintf oc " addl $8, %%esp\n" | Pfstp_m(a) -> fprintf oc " fstpl %a\n" addressing a + | Pxchg_rr(r1, r2) -> + fprintf oc " xchgl %a, %a\n" ireg r1 ireg r2 (** Moves with conversion *) | Pmovb_mr(a, r1) -> fprintf oc " movb %a, %a\n" ireg8 r1 addressing a |