diff options
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 = |