From ad12162ff1f0d50c43afefc45e1593f27f197402 Mon Sep 17 00:00:00 2001 From: xleroy 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 --- checklink/Asm_printers.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'checklink/Asm_printers.ml') diff --git a/checklink/Asm_printers.ml b/checklink/Asm_printers.ml index 5b3abe8..c84bd55 100644 --- a/checklink/Asm_printers.ml +++ b/checklink/Asm_printers.ml @@ -137,11 +137,11 @@ let string_of_instruction = function | Pandi_ (i0, i1, c2) -> "Pandi_(" ^ string_of_ireg i0 ^ ", " ^ string_of_ireg i1 ^ ", " ^ string_of_constant c2 ^ ")" | Pandis_ (i0, i1, c2) -> "Pandis_(" ^ string_of_ireg i0 ^ ", " ^ string_of_ireg i1 ^ ", " ^ string_of_constant c2 ^ ")" | Pb (l0) -> "Pb(" ^ string_of_label l0 ^ ")" -| Pbctr -> "Pbctr" -| Pbctrl -> "Pbctrl" +| Pbctr sg -> "Pbctr" +| Pbctrl sg -> "Pbctrl" | Pbf (c0, l1) -> "Pbf(" ^ string_of_crbit c0 ^ ", " ^ string_of_label l1 ^ ")" -| Pbl (i0) -> "Pbl(" ^ string_of_ident i0 ^ ")" -| Pbs (i0) -> "Pbs(" ^ string_of_ident i0 ^ ")" +| Pbl (i0, sg) -> "Pbl(" ^ string_of_ident i0 ^ ")" +| Pbs (i0, sg) -> "Pbs(" ^ string_of_ident i0 ^ ")" | Pblr -> "Pblr" | Pbt (c0, l1) -> "Pbt(" ^ string_of_crbit c0 ^ ", " ^ string_of_label l1 ^ ")" | Pbtbl (i0, l1) -> "Pbtbl(" ^ string_of_ireg i0 ^ ", " ^ string_of_list string_of_label ", " l1 ^ ")" -- cgit v1.2.3