diff options
Diffstat (limited to 'riscV/PrintOp.ml')
-rw-r--r-- | riscV/PrintOp.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/riscV/PrintOp.ml b/riscV/PrintOp.ml index 53730a1b..0d47192a 100644 --- a/riscV/PrintOp.ml +++ b/riscV/PrintOp.ml @@ -40,12 +40,10 @@ let get_optR_s c reg pp r1 r2 = function | None -> fprintf pp "(%a %s %a)" reg r1 (comparison_name c) reg r2 | Some X0_L -> fprintf pp "(X0 %s %a)" (comparison_name c) reg r1 | Some X0_R -> fprintf pp "(%a %s X0)" reg r1 (comparison_name c) - | Some SP_S -> failwith "PrintOp: SP_S in get_optR_s instruction (problem with RTL expansions?)" let get_optR_a pp = function | None -> failwith "PrintOp: None in get_optR_a instruction (problem with RTL expansions?)" | Some X0_L | Some X0_R -> fprintf pp "X0" - | Some SP_S -> fprintf pp "SP" let print_condition reg pp = function | (Ccomp c, [r1;r2]) -> |