Skip to content

Commit bf0d6ca

Browse files
committed
---
yaml --- r: 699 b: refs/heads/master c: 8beb118 h: refs/heads/master i: 697: daed7e1 695: 64b9beb v: v3
1 parent 960f493 commit bf0d6ca

File tree

2 files changed

+9
-2
lines changed

2 files changed

+9
-2
lines changed

[refs]

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
---
2-
refs/heads/master: b549721a2ebb46174211630c5df3df257c1ae160
2+
refs/heads/master: 8beb118df442679c3afd2934b370c294a1df3046

trunk/src/boot/driver/main.ml

+8-1
Original file line numberDiff line numberDiff line change
@@ -375,7 +375,10 @@ let main_pipeline _ =
375375
let process_code _ (code:Semant.code) : Asm.frag =
376376
let frag =
377377
match code.Semant.code_vregs_and_spill with
378-
None -> select_insns code.Semant.code_quads
378+
None ->
379+
X86.log sess "selecting insns for %s"
380+
code.Semant.code_fixup.fixup_name;
381+
select_insns code.Semant.code_quads
379382
| Some (n_vregs, spill_fix) ->
380383
let (quads', n_spills) =
381384
(Session.time_inner "RA" sess
@@ -384,6 +387,10 @@ let main_pipeline _ =
384387
code.Semant.code_quads
385388
n_vregs abi))
386389
in
390+
let _ =
391+
X86.log sess "selecting insns for %s"
392+
code.Semant.code_fixup.fixup_name
393+
in
387394
let insns = select_insns quads' in
388395
begin
389396
spill_fix.fixup_mem_sz <-

0 commit comments

Comments
 (0)