diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-04-09 11:02:52 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-04-09 11:02:52 +0200 |
| commit | b7720bc5973e9890e7c320bb34b784e2e2b2da69 (patch) | |
| tree | 7c4dca4a00586bb9c6f2aaeec24e64a6dc77077f /riscV/PrintOp.ml | |
| parent | 2f2e7b1da225aa3bf066c2fc689a08fab9851a53 (diff) | |
| download | compcert-kvx-b7720bc5973e9890e7c320bb34b784e2e2b2da69.tar.gz compcert-kvx-b7720bc5973e9890e7c320bb34b784e2e2b2da69.zip | |
Removing addptrofs draft, next will be merging
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]) -> |