diff options
| author | Graydon Hoare <[email protected]> | 2010-08-03 18:52:49 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-08-03 18:52:49 -0700 |
| commit | c014748c0191b711e2adf5a5db224474ea4e75d3 (patch) | |
| tree | 6c48001fb6c568ff409c73c3d6998dd292b31800 /src/boot/be/ra.ml | |
| parent | More stdlib hashmap work. Add a simple test and XFAIL it due to a valgrind-s... (diff) | |
| download | rust-c014748c0191b711e2adf5a5db224474ea4e75d3.tar.xz rust-c014748c0191b711e2adf5a5db224474ea4e75d3.zip | |
Remove dead implicit-destinations logic from IL.
Diffstat (limited to 'src/boot/be/ra.ml')
| -rw-r--r-- | src/boot/be/ra.ml | 9 |
1 files changed, 3 insertions, 6 deletions
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 = |