diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/driver/main.ml | 9 |
1 files changed, 8 insertions, 1 deletions
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 <- |