From c2df6044b7560b2a4c1f3ca32571baa83de0f15a Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 30 Apr 2013 09:42:28 +0000 Subject: Updated to Pbuiltin with list of results git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2222 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- checklink/Asm_printers.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'checklink/Asm_printers.ml') diff --git a/checklink/Asm_printers.ml b/checklink/Asm_printers.ml index 00b6e2e..8bc8caf 100644 --- a/checklink/Asm_printers.ml +++ b/checklink/Asm_printers.ml @@ -214,7 +214,7 @@ let string_of_instruction = function | Pxori (i0, i1, c2) -> "Pxori(" ^ string_of_ireg i0 ^ ", " ^ string_of_ireg i1 ^ ", " ^ string_of_constant c2 ^ ")" | Pxoris (i0, i1, c2) -> "Pxoris(" ^ string_of_ireg i0 ^ ", " ^ string_of_ireg i1 ^ ", " ^ string_of_constant c2 ^ ")" | Plabel (l0) -> "Plabel(" ^ string_of_label l0 ^ ")" -| Pbuiltin (e0, p1, p2) -> "Pbuiltin(" ^ string_of_external_function e0 ^ ", " ^ string_of_list string_of_preg ", " p1 ^ ", " ^ string_of_preg p2 ^ ")" +| Pbuiltin (e0, p1, p2) -> "Pbuiltin(" ^ string_of_external_function e0 ^ ", " ^ string_of_list string_of_preg ", " p1 ^ ", " ^ string_of_list string_of_preg ", " p2 ^ ")" | Pannot (e0, a1) -> "Pannot(" ^ string_of_external_function e0 ^ ", " ^ string_of_list string_of_annot_param ", " a1 ^ ")" let string_of_init_data = function -- cgit v1.2.3