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/Unusedglob1.ml | |
parent | 9fb435abe98f358b1dde5de6604663a176634e53 (diff) | |
download | compcert-kvx-ad12162ff1f0d50c43afefc45e1593f27f197402.tar.gz compcert-kvx-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/Unusedglob1.ml')
-rw-r--r-- | ia32/Unusedglob1.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ia32/Unusedglob1.ml b/ia32/Unusedglob1.ml index fe962e26..8332a30c 100644 --- a/ia32/Unusedglob1.ml +++ b/ia32/Unusedglob1.ml @@ -35,10 +35,10 @@ let referenced_instr = function | Pmovzb_rm (_, a) | Pmovsb_rm (_, a) | Pmovzw_rm (_, a) | Pmovsw_rm (_, a) | Pcvtss2sd_fm (_, a) | Pcvtsd2ss_mf (a, _) | Plea (_, a) -> referenced_addr a - | Pjmp_s s -> [s] - | Pcall_s s -> [s] + | Pjmp_s(s, _) -> [s] + | Pcall_s(s, _) -> [s] | Pbuiltin(ef, args, res) -> referenced_builtin ef | _ -> [] -let code_of_function f = f +let code_of_function f = f.fn_code |