diff options
Diffstat (limited to 'backend/PrintXTL.ml')
-rw-r--r-- | backend/PrintXTL.ml | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/backend/PrintXTL.ml b/backend/PrintXTL.ml index dd8434da..1bee1e15 100644 --- a/backend/PrintXTL.ml +++ b/backend/PrintXTL.ml @@ -17,9 +17,7 @@ open Camlcoq open Datatypes open Maps open AST -open Registers -open Op -open Locations +open !Locations open PrintAST open PrintOp open XTL @@ -69,8 +67,8 @@ let ros pp = function let liveset pp lv = fprintf pp "{"; - VSet.iter (function V(r, ty) -> fprintf pp " x%d" (P.to_int r) - | L l -> ()) + VSet.iter (function V(r, _) -> fprintf pp " x%d" (P.to_int r) + | L _ -> ()) lv; fprintf pp " }" @@ -95,9 +93,9 @@ let print_instruction pp succ = function | Xstore(chunk, addr, args, src) -> fprintf pp "%s[%a] = %a" (name_of_chunk chunk) (print_addressing var) (addr, args) var src - | Xcall(sg, fn, args, res) -> + | Xcall(_, fn, args, res) -> fprintf pp "%a = call %a(%a)" vars res ros fn vars args - | Xtailcall(sg, fn, args) -> + | Xtailcall(_, fn, args) -> fprintf pp "tailcall %a(%a)" ros fn vars args | Xbuiltin(ef, args, res) -> fprintf pp "%a = %s(%a)" |