From c014748c0191b711e2adf5a5db224474ea4e75d3 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 3 Aug 2010 18:52:49 -0700 Subject: Remove dead implicit-destinations logic from IL. --- src/boot/be/elf.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/be/elf.ml') diff --git a/src/boot/be/elf.ml b/src/boot/be/elf.ml index 56905b2a..3d25657b 100644 --- a/src/boot/be/elf.ml +++ b/src/boot/be/elf.ml @@ -1123,14 +1123,14 @@ let elf32_linux_x86_file let plt_frag = let (reg, _, _) = X86.get_next_pc_thunk in - Il.emit_full e (Some plt_entry_fixup) [] Il.Dead; + Il.emit_full e (Some plt_entry_fixup) Il.Dead; Abi.load_fixup_addr e reg got_plt_section_fixup Il.CodeTy; Il.emit e (Il.jmp Il.JMP (got_code_cell reg (2+i))); Il.emit_full e (Some jump_slot_initial_target_fixup) - [] (Il.Push (X86.immi (Int64.of_int i))); + (Il.Push (X86.immi (Int64.of_int i))); Il.emit e (Il.jmp Il.JMP (Il.direct_code_ptr plt0_fixup)); X86.frags_of_emitted_quads sess e -- cgit v1.2.3