mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add insn-selection fixup-name logging.

Browse Source
This commit is contained in:
Graydon Hoare 2010-09-21 16:21:30 -07:00
parent b549721a2e
commit 8beb118df4
1 changed files with 8 additions and 1 deletions

9
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 <-