Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit a9763cd4 authored by Léo Gourdin's avatar Léo Gourdin
Browse files

Adding missing operators in PrintOp for debugging

parent 6c72e95b
......@@ -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 "<bad operator>"
let print_addressing reg pp = function
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment