diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-12-26 15:46:54 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-12-26 15:46:54 +0000 |
commit | ad12162ff1f0d50c43afefc45e1593f27f197402 (patch) | |
tree | f77430a75e0a4bf12a64b8ee676d40c88ede1041 /ia32/PrintAsm.ml | |
parent | 9fb435abe98f358b1dde5de6604663a176634e53 (diff) | |
download | compcert-ad12162ff1f0d50c43afefc45e1593f27f197402.tar.gz compcert-ad12162ff1f0d50c43afefc45e1593f27f197402.zip |
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
Diffstat (limited to 'ia32/PrintAsm.ml')
-rw-r--r-- | ia32/PrintAsm.ml | 12 |
1 files changed, 6 insertions, 6 deletions
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; |