From d58c35ebb8c3124d67c51091bb6e4cfedc59d999 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 15 Mar 2016 14:57:27 +0100
Subject: GPR#84: add missing IA32 operators to PrintOp

---
 ia32/PrintOp.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ia32/PrintOp.ml')

diff --git a/ia32/PrintOp.ml b/ia32/PrintOp.ml
index 1f7f4a65..fbdcdac1 100644
--- a/ia32/PrintOp.ml
+++ b/ia32/PrintOp.ml
@@ -119,6 +119,9 @@ let print_operation reg pp = function
   | Omakelong, [r1;r2] -> fprintf pp "makelong(%a,%a)" reg r1 reg r2
   | Olowlong, [r1] -> fprintf pp "lowlong(%a)" reg r1
   | Ohighlong, [r1] -> fprintf pp "highlong(%a)" reg r1
+  | Onot, [r1] -> fprintf pp "not(%a)" reg r1
+  | Omulhs, [r1;r2] -> fprintf pp "mulhs(%a,%a)" reg r1 reg r2
+  | Omulhu, [r1;r2] -> fprintf pp "mulhu(%a,%a)" reg r1 reg r2
   | Ocmp c, args -> print_condition reg pp (c, args)
   | _ -> fprintf pp "<bad operator>"
 
-- 
cgit