From ad12162ff1f0d50c43afefc45e1593f27f197402 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 26 Dec 2013 15:46:54 +0000
Subject: Future-proofing: keep signature information in IA32 and PowerPC Asm,
 just like we already do in ARM Asm.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2385 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/PrintAsm.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'ia32/PrintAsm.ml')

diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml
index 4480f91a..3badbfc0 100644
--- a/ia32/PrintAsm.ml
+++ b/ia32/PrintAsm.ml
@@ -681,9 +681,9 @@ let print_instruction oc = function
   (** Branches and calls *)
   | Pjmp_l(l) ->
       fprintf oc "	jmp	%a\n" label (transl_label l)
-  | Pjmp_s(f) ->
+  | Pjmp_s(f, sg) ->
       fprintf oc "	jmp	%a\n" symbol f
-  | Pjmp_r(r) ->
+  | Pjmp_r(r, sg) ->
       fprintf oc "	jmp	*%a\n" ireg r
   | Pjcc(c, l) ->
       let l = transl_label l in
@@ -698,9 +698,9 @@ let print_instruction oc = function
       let l = new_label() in
       fprintf oc "	jmp	*%a(, %a, 4)\n" label l ireg r;
       jumptables := (l, tbl) :: !jumptables
-  | Pcall_s(f) ->
+  | Pcall_s(f, sg) ->
       fprintf oc "	call	%a\n" symbol f
-  | Pcall_r(r) ->
+  | Pcall_r(r, sg) ->
       fprintf oc "	call	*%a\n" ireg r
   | Pret ->
       fprintf oc "	ret\n"
@@ -758,7 +758,7 @@ let print_jumptable oc (lbl, tbl) =
     (fun l -> fprintf oc "	.long	%a\n" label (transl_label l))
     tbl
 
-let print_function oc name code =
+let print_function oc name fn =
   Hashtbl.clear current_function_labels;
   float_literals := [];
   jumptables := [];
@@ -775,7 +775,7 @@ let print_function oc name code =
   fprintf oc "%a:\n" symbol name;
   print_location oc (C2C.atom_location name);
   cfi_startproc oc;
-  List.iter (print_instruction oc) code;
+  List.iter (print_instruction oc) fn.fn_code;
   cfi_endproc oc;
   if target = ELF then begin
     fprintf oc "	.type	%a, @function\n" symbol name;
-- 
cgit