From 8beb118df442679c3afd2934b370c294a1df3046 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 21 Sep 2010 16:21:30 -0700 Subject: Add insn-selection fixup-name logging. --- src/boot/driver/main.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml index 3bd5d737..b46963b2 100644 --- a/src/boot/driver/main.ml +++ b/src/boot/driver/main.ml @@ -375,7 +375,10 @@ let main_pipeline _ = let process_code _ (code:Semant.code) : Asm.frag = let frag = match code.Semant.code_vregs_and_spill with - None -> select_insns code.Semant.code_quads + None -> + X86.log sess "selecting insns for %s" + code.Semant.code_fixup.fixup_name; + select_insns code.Semant.code_quads | Some (n_vregs, spill_fix) -> let (quads', n_spills) = (Session.time_inner "RA" sess @@ -384,6 +387,10 @@ let main_pipeline _ = code.Semant.code_quads n_vregs abi)) in + let _ = + X86.log sess "selecting insns for %s" + code.Semant.code_fixup.fixup_name + in let insns = select_insns quads' in begin spill_fix.fixup_mem_sz <- -- cgit v1.2.3