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 /powerpc/Unusedglob1.ml | |
| parent | 9fb435abe98f358b1dde5de6604663a176634e53 (diff) | |
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 'powerpc/Unusedglob1.ml')
| -rw-r--r-- | powerpc/Unusedglob1.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 |