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
---
 powerpc/Unusedglob1.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'powerpc/Unusedglob1.ml')

diff --git a/powerpc/Unusedglob1.ml b/powerpc/Unusedglob1.ml
index fabac33..49c0774 100644
--- a/powerpc/Unusedglob1.ml
+++ b/powerpc/Unusedglob1.ml
@@ -31,8 +31,8 @@ let referenced_builtin ef =
   | _ -> []
 
 let referenced_instr = function
-  | Pbl s -> [s]
-  | Pbs s -> [s]
+  | Pbl(s, _) -> [s]
+  | Pbs(s, _) -> [s]
   | Paddi(_, _, c)
   | Paddic(_, _, c)
   | Paddis(_, _, c)
@@ -60,4 +60,4 @@ let referenced_instr = function
   | Pbuiltin(ef, _, _) -> referenced_builtin ef
   | _ -> []
 
-let code_of_function f = f
+let code_of_function f = f.fn_code
-- 
cgit v1.2.3