From a9763cd4327e12316d62e80648122f122581cca4 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Thu, 25 Feb 2021 11:43:20 +0100 Subject: Adding missing operators in PrintOp for debugging --- riscV/PrintOp.ml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'riscV') diff --git a/riscV/PrintOp.ml b/riscV/PrintOp.ml index 9ec474b3..7e78283e 100644 --- a/riscV/PrintOp.ml +++ b/riscV/PrintOp.ml @@ -156,6 +156,11 @@ let print_operation reg pp = function | Osingleoflong, [r1] -> fprintf pp "singleoflong(%a)" reg r1 | Osingleoflongu, [r1] -> fprintf pp "singleoflongu(%a)" reg r1 | Ocmp c, args -> print_condition reg pp (c, args) + | Obits_of_single, [r1] -> fprintf pp "bits_of_single(%a)" reg r1 + | Obits_of_float, [r1] -> fprintf pp "bits_of_float(%a)" reg r1 + | Osingle_of_bits, [r1] -> fprintf pp "single_of_bits(%a)" reg r1 + | Ofloat_of_bits, [r1] -> fprintf pp "float_of_bits(%a)" reg r1 + | Oselectl, [rb;rt;rf] -> fprintf pp "selectl(b:%a, t:%a, f:%a)" reg rb reg rt reg rf | _ -> fprintf pp "" let print_addressing reg pp = function -- cgit