diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-15 12:32:26 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-15 12:37:02 +0200 |
commit | 6f2b5713f8e378e6e074f35a537e86a497c64e35 (patch) | |
tree | 87d80f8a4dd0de1f0594fc67c48ff26a58c68056 /extraction | |
parent | 9124c9231c11effae6e32d73c6c8af7c4032f928 (diff) | |
download | compcert-kvx-6f2b5713f8e378e6e074f35a537e86a497c64e35.tar.gz compcert-kvx-6f2b5713f8e378e6e074f35a537e86a497c64e35.zip |
Add interference for indirect calls.
Avoids problems with overwritting the registe containing the
function address.
Bug 19779
Diffstat (limited to 'extraction')
-rw-r--r-- | extraction/extraction.v | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index e7f2e2fc..aecc07a5 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -159,12 +159,13 @@ Separate Extraction Ctyping.typecheck_program Ctyping.epostincr Ctyping.epostdecr Ctyping.epreincr Ctyping.epredecr Ctypes.make_program - Conventions1.int_caller_save_regs Conventions1.float_caller_save_regs - Conventions1.int_callee_save_regs Conventions1.float_callee_save_regs + Conventions1.int_caller_save_regs Conventions1.float_caller_save_regs + Conventions1.int_callee_save_regs Conventions1.float_callee_save_regs Conventions1.dummy_int_reg Conventions1.dummy_float_reg RTL.instr_defs RTL.instr_uses Machregs.mregs_for_operation Machregs.mregs_for_builtin Machregs.two_address_op Machregs.is_stack_reg + Machregs.destroyed_at_indirect_call AST.signature_main Floats.Float32.from_parsed Floats.Float.from_parsed Globalenvs.Senv.invert_symbol |