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/ra.ml | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'src/boot/be/ra.ml') diff --git a/src/boot/be/ra.ml b/src/boot/be/ra.ml index 53b4f46f..3da474b4 100644 --- a/src/boot/be/ra.ml +++ b/src/boot/be/ra.ml @@ -131,12 +131,9 @@ let kill_redundant_moves (cx:ctxt) : unit = ;; let quad_jump_target_labels (q:quad) : Il.label list = - let explicits = - match q.Il.quad_body with - Il.Jmp { Il.jmp_targ = Il.CodeLabel lab } -> [ lab ] - | _ -> [] - in - explicits @ q.quad_implicits; + match q.Il.quad_body with + Il.Jmp { Il.jmp_targ = Il.CodeLabel lab } -> [ lab ] + | _ -> [] ;; let quad_used_vregs (q:quad) : Il.vreg list = -- cgit v1.2.3