compiler.cfg.linear-scan: Working on resolve pass
Slava Pestov
parent
c1839200dd
commit
5a78956956
|
|
@ -40,16 +40,23 @@ ERROR: already-spilled ;
|
||||||
2dup key? [ already-spilled ] [ set-at ] if ;
|
2dup key? [ already-spilled ] [ set-at ] if ;
|
||||||
|
|
||||||
: insert-spill ( live-interval -- )
|
: insert-spill ( live-interval -- )
|
||||||
[ reg>> ] [ vreg>> reg-class>> ] [ spill-to>> ] tri _spill ;
|
{
|
||||||
|
[ reg>> ]
|
||||||
|
[ vreg>> reg-class>> ]
|
||||||
|
[ spill-to>> ]
|
||||||
|
[ end>> ]
|
||||||
|
} cleave f swap \ _spill boa , ;
|
||||||
|
|
||||||
: handle-spill ( live-interval -- )
|
: handle-spill ( live-interval -- )
|
||||||
dup spill-to>> [ [ record-spill ] [ insert-spill ] bi ] [ drop ] if ;
|
dup spill-to>> [ [ record-spill ] [ insert-spill ] bi ] [ drop ] if ;
|
||||||
|
|
||||||
: insert-copy ( live-interval -- )
|
: insert-copy ( live-interval -- )
|
||||||
[ split-next>> reg>> ]
|
{
|
||||||
[ reg>> ]
|
[ split-next>> reg>> ]
|
||||||
[ vreg>> reg-class>> ]
|
[ reg>> ]
|
||||||
tri _copy ;
|
[ vreg>> reg-class>> ]
|
||||||
|
[ end>> ]
|
||||||
|
} cleave f swap \ _copy boa , ;
|
||||||
|
|
||||||
: handle-copy ( live-interval -- )
|
: handle-copy ( live-interval -- )
|
||||||
dup [ spill-to>> not ] [ split-next>> ] bi and
|
dup [ spill-to>> not ] [ split-next>> ] bi and
|
||||||
|
|
@ -68,7 +75,12 @@ ERROR: already-reloaded ;
|
||||||
2dup key? [ delete-at ] [ already-reloaded ] if ;
|
2dup key? [ delete-at ] [ already-reloaded ] if ;
|
||||||
|
|
||||||
: insert-reload ( live-interval -- )
|
: insert-reload ( live-interval -- )
|
||||||
[ reg>> ] [ vreg>> reg-class>> ] [ reload-from>> ] tri _reload ;
|
{
|
||||||
|
[ reg>> ]
|
||||||
|
[ vreg>> reg-class>> ]
|
||||||
|
[ reload-from>> ]
|
||||||
|
[ end>> ]
|
||||||
|
} cleave f swap \ _reload boa , ;
|
||||||
|
|
||||||
: handle-reload ( live-interval -- )
|
: handle-reload ( live-interval -- )
|
||||||
dup reload-from>> [ [ record-reload ] [ insert-reload ] bi ] [ drop ] if ;
|
dup reload-from>> [ [ record-reload ] [ insert-reload ] bi ] [ drop ] if ;
|
||||||
|
|
@ -141,6 +153,6 @@ M: insn assign-registers-in-insn drop ;
|
||||||
] V{ } make
|
] V{ } make
|
||||||
] change-instructions drop ;
|
] change-instructions drop ;
|
||||||
|
|
||||||
: assign-registers ( rpo live-intervals -- )
|
: assign-registers ( live-intervals rpo -- )
|
||||||
init-assignment
|
[ init-assignment ] dip
|
||||||
[ assign-registers-in-block ] each ;
|
[ assign-registers-in-block ] each ;
|
||||||
|
|
|
||||||
|
|
@ -10,6 +10,8 @@ compiler.cfg.registers
|
||||||
compiler.cfg.liveness
|
compiler.cfg.liveness
|
||||||
compiler.cfg.predecessors
|
compiler.cfg.predecessors
|
||||||
compiler.cfg.rpo
|
compiler.cfg.rpo
|
||||||
|
compiler.cfg.linearization
|
||||||
|
compiler.cfg.debugger
|
||||||
compiler.cfg.linear-scan
|
compiler.cfg.linear-scan
|
||||||
compiler.cfg.linear-scan.live-intervals
|
compiler.cfg.linear-scan.live-intervals
|
||||||
compiler.cfg.linear-scan.allocation
|
compiler.cfg.linear-scan.allocation
|
||||||
|
|
@ -410,7 +412,7 @@ SYMBOL: max-uses
|
||||||
[ ] [ 10 20 2 400 random-test ] unit-test
|
[ ] [ 10 20 2 400 random-test ] unit-test
|
||||||
[ ] [ 10 20 4 300 random-test ] unit-test
|
[ ] [ 10 20 4 300 random-test ] unit-test
|
||||||
|
|
||||||
USING: math.private compiler.cfg.debugger ;
|
USING: math.private ;
|
||||||
|
|
||||||
[ ] [
|
[ ] [
|
||||||
[ float+ float>fixnum 3 fixnum*fast ]
|
[ float+ float>fixnum 3 fixnum*fast ]
|
||||||
|
|
@ -1415,196 +1417,152 @@ USING: math.private compiler.cfg.debugger ;
|
||||||
intersect-inactive
|
intersect-inactive
|
||||||
] unit-test
|
] unit-test
|
||||||
|
|
||||||
|
: test-bb ( insns n -- )
|
||||||
|
[ <basic-block> swap >>number swap >>instructions ] keep set ;
|
||||||
|
|
||||||
! Bug in live spill slots calculation
|
! Bug in live spill slots calculation
|
||||||
|
|
||||||
T{ basic-block
|
V{ T{ ##prologue } T{ ##branch } } 0 test-bb
|
||||||
{ id 205651 }
|
|
||||||
{ number 0 }
|
|
||||||
{ instructions V{ T{ ##prologue } T{ ##branch } } }
|
|
||||||
} 0 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 205652 }
|
T{ ##peek
|
||||||
{ number 1 }
|
{ dst V int-regs 703128 }
|
||||||
{ instructions
|
{ loc D 1 }
|
||||||
V{
|
}
|
||||||
T{ ##peek
|
T{ ##peek
|
||||||
{ dst V int-regs 703128 }
|
{ dst V int-regs 703129 }
|
||||||
{ loc D 1 }
|
{ loc D 0 }
|
||||||
}
|
}
|
||||||
T{ ##peek
|
T{ ##copy
|
||||||
{ dst V int-regs 703129 }
|
{ dst V int-regs 703134 }
|
||||||
{ loc D 0 }
|
{ src V int-regs 703128 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 703134 }
|
{ dst V int-regs 703135 }
|
||||||
{ src V int-regs 703128 }
|
{ src V int-regs 703129 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##compare-imm-branch
|
||||||
{ dst V int-regs 703135 }
|
{ src1 V int-regs 703128 }
|
||||||
{ src V int-regs 703129 }
|
{ src2 5 }
|
||||||
}
|
{ cc cc/= }
|
||||||
T{ ##compare-imm-branch
|
}
|
||||||
{ src1 V int-regs 703128 }
|
} 1 test-bb
|
||||||
{ src2 5 }
|
|
||||||
{ cc cc/= }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 1 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 205653 }
|
T{ ##copy
|
||||||
{ number 2 }
|
{ dst V int-regs 703134 }
|
||||||
{ instructions
|
{ src V int-regs 703129 }
|
||||||
V{
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 703134 }
|
{ dst V int-regs 703135 }
|
||||||
{ src V int-regs 703129 }
|
{ src V int-regs 703128 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##branch }
|
||||||
{ dst V int-regs 703135 }
|
} 2 test-bb
|
||||||
{ src V int-regs 703128 }
|
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 2 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 205655 }
|
T{ ##replace
|
||||||
{ number 3 }
|
{ src V int-regs 703134 }
|
||||||
{ instructions
|
{ loc D 0 }
|
||||||
V{
|
}
|
||||||
T{ ##replace
|
T{ ##replace
|
||||||
{ src V int-regs 703134 }
|
{ src V int-regs 703135 }
|
||||||
{ loc D 0 }
|
{ loc D 1 }
|
||||||
}
|
}
|
||||||
T{ ##replace
|
T{ ##epilogue }
|
||||||
{ src V int-regs 703135 }
|
T{ ##return }
|
||||||
{ loc D 1 }
|
} 3 test-bb
|
||||||
}
|
|
||||||
T{ ##epilogue }
|
|
||||||
T{ ##return }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 3 set
|
|
||||||
|
|
||||||
1 get 1vector 0 get (>>successors)
|
1 get 1vector 0 get (>>successors)
|
||||||
2 get 3 get V{ } 2sequence 1 get (>>successors)
|
2 get 3 get V{ } 2sequence 1 get (>>successors)
|
||||||
3 get 1vector 2 get (>>successors)
|
3 get 1vector 2 get (>>successors)
|
||||||
|
|
||||||
|
SYMBOL: linear-scan-result
|
||||||
|
|
||||||
:: test-linear-scan-on-cfg ( regs -- )
|
:: test-linear-scan-on-cfg ( regs -- )
|
||||||
[ ] [
|
[ ] [
|
||||||
cfg new 0 get >>entry
|
cfg new 0 get >>entry
|
||||||
compute-predecessors
|
compute-predecessors
|
||||||
compute-liveness
|
compute-liveness
|
||||||
reverse-post-order
|
dup reverse-post-order
|
||||||
{ { int-regs regs } } (linear-scan)
|
{ { int-regs regs } } (linear-scan)
|
||||||
|
flatten-cfg 1array mr.
|
||||||
] unit-test ;
|
] unit-test ;
|
||||||
|
|
||||||
{ 1 2 } test-linear-scan-on-cfg
|
{ 1 2 } test-linear-scan-on-cfg
|
||||||
|
|
||||||
! Bug in inactive interval handling
|
! Bug in inactive interval handling
|
||||||
! [ rot dup [ -rot ] when ]
|
! [ rot dup [ -rot ] when ]
|
||||||
T{ basic-block
|
V{ T{ ##prologue } T{ ##branch } } 0 test-bb
|
||||||
{ id 201486 }
|
|
||||||
{ number 0 }
|
|
||||||
{ instructions V{ T{ ##prologue } T{ ##branch } } }
|
|
||||||
} 0 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201487 }
|
T{ ##peek
|
||||||
{ number 1 }
|
{ dst V int-regs 689473 }
|
||||||
{ instructions
|
{ loc D 2 }
|
||||||
V{
|
}
|
||||||
T{ ##peek
|
T{ ##peek
|
||||||
{ dst V int-regs 689473 }
|
{ dst V int-regs 689474 }
|
||||||
{ loc D 2 }
|
{ loc D 1 }
|
||||||
}
|
}
|
||||||
T{ ##peek
|
T{ ##peek
|
||||||
{ dst V int-regs 689474 }
|
{ dst V int-regs 689475 }
|
||||||
{ loc D 1 }
|
{ loc D 0 }
|
||||||
}
|
}
|
||||||
T{ ##peek
|
T{ ##compare-imm-branch
|
||||||
{ dst V int-regs 689475 }
|
{ src1 V int-regs 689473 }
|
||||||
{ loc D 0 }
|
{ src2 5 }
|
||||||
}
|
{ cc cc/= }
|
||||||
T{ ##compare-imm-branch
|
}
|
||||||
{ src1 V int-regs 689473 }
|
} 1 test-bb
|
||||||
{ src2 5 }
|
|
||||||
{ cc cc/= }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 1 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201488 }
|
T{ ##copy
|
||||||
{ number 2 }
|
{ dst V int-regs 689481 }
|
||||||
{ instructions
|
{ src V int-regs 689475 }
|
||||||
V{
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689481 }
|
{ dst V int-regs 689482 }
|
||||||
{ src V int-regs 689475 }
|
{ src V int-regs 689474 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689482 }
|
{ dst V int-regs 689483 }
|
||||||
{ src V int-regs 689474 }
|
{ src V int-regs 689473 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##branch }
|
||||||
{ dst V int-regs 689483 }
|
} 2 test-bb
|
||||||
{ src V int-regs 689473 }
|
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 2 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201489 }
|
T{ ##copy
|
||||||
{ number 3 }
|
{ dst V int-regs 689481 }
|
||||||
{ instructions
|
{ src V int-regs 689473 }
|
||||||
V{
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689481 }
|
{ dst V int-regs 689482 }
|
||||||
{ src V int-regs 689473 }
|
{ src V int-regs 689475 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689482 }
|
{ dst V int-regs 689483 }
|
||||||
{ src V int-regs 689475 }
|
{ src V int-regs 689474 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##branch }
|
||||||
{ dst V int-regs 689483 }
|
} 3 test-bb
|
||||||
{ src V int-regs 689474 }
|
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 3 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201490 }
|
T{ ##replace
|
||||||
{ number 4 }
|
{ src V int-regs 689481 }
|
||||||
{ instructions
|
{ loc D 0 }
|
||||||
V{
|
}
|
||||||
T{ ##replace
|
T{ ##replace
|
||||||
{ src V int-regs 689481 }
|
{ src V int-regs 689482 }
|
||||||
{ loc D 0 }
|
{ loc D 1 }
|
||||||
}
|
}
|
||||||
T{ ##replace
|
T{ ##replace
|
||||||
{ src V int-regs 689482 }
|
{ src V int-regs 689483 }
|
||||||
{ loc D 1 }
|
{ loc D 2 }
|
||||||
}
|
}
|
||||||
T{ ##replace
|
T{ ##epilogue }
|
||||||
{ src V int-regs 689483 }
|
T{ ##return }
|
||||||
{ loc D 2 }
|
} 4 test-bb
|
||||||
}
|
|
||||||
T{ ##epilogue }
|
|
||||||
T{ ##return }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 4 set
|
|
||||||
|
|
||||||
: test-diamond ( -- )
|
: test-diamond ( -- )
|
||||||
1 get 1vector 0 get (>>successors)
|
1 get 1vector 0 get (>>successors)
|
||||||
|
|
@ -1625,102 +1583,78 @@ T{ basic-block
|
||||||
{ instructions V{ T{ ##prologue } T{ ##branch } } }
|
{ instructions V{ T{ ##prologue } T{ ##branch } } }
|
||||||
} 0 set
|
} 0 set
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201538 }
|
T{ ##peek
|
||||||
{ number 1 }
|
{ dst V int-regs 689600 }
|
||||||
{ instructions
|
{ loc D 1 }
|
||||||
V{
|
}
|
||||||
T{ ##peek
|
T{ ##peek
|
||||||
{ dst V int-regs 689600 }
|
{ dst V int-regs 689601 }
|
||||||
{ loc D 1 }
|
{ loc D 0 }
|
||||||
}
|
}
|
||||||
T{ ##peek
|
T{ ##compare-imm-branch
|
||||||
{ dst V int-regs 689601 }
|
{ src1 V int-regs 689600 }
|
||||||
{ loc D 0 }
|
{ src2 5 }
|
||||||
}
|
{ cc cc/= }
|
||||||
T{ ##compare-imm-branch
|
}
|
||||||
{ src1 V int-regs 689600 }
|
} 1 test-bb
|
||||||
{ src2 5 }
|
|
||||||
{ cc cc/= }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 1 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201539 }
|
T{ ##peek
|
||||||
{ number 2 }
|
{ dst V int-regs 689604 }
|
||||||
{ instructions
|
{ loc D 2 }
|
||||||
V{
|
}
|
||||||
T{ ##peek
|
T{ ##copy
|
||||||
{ dst V int-regs 689604 }
|
{ dst V int-regs 689607 }
|
||||||
{ loc D 2 }
|
{ src V int-regs 689604 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689607 }
|
{ dst V int-regs 689608 }
|
||||||
{ src V int-regs 689604 }
|
{ src V int-regs 689600 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689608 }
|
{ dst V int-regs 689610 }
|
||||||
{ src V int-regs 689600 }
|
{ src V int-regs 689601 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##branch }
|
||||||
{ dst V int-regs 689610 }
|
} 2 test-bb
|
||||||
{ src V int-regs 689601 }
|
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 2 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201540 }
|
T{ ##peek
|
||||||
{ number 3 }
|
{ dst V int-regs 689609 }
|
||||||
{ instructions
|
{ loc D 2 }
|
||||||
V{
|
}
|
||||||
T{ ##peek
|
T{ ##copy
|
||||||
{ dst V int-regs 689609 }
|
{ dst V int-regs 689607 }
|
||||||
{ loc D 2 }
|
{ src V int-regs 689600 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689607 }
|
{ dst V int-regs 689608 }
|
||||||
{ src V int-regs 689600 }
|
{ src V int-regs 689601 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##copy
|
||||||
{ dst V int-regs 689608 }
|
{ dst V int-regs 689610 }
|
||||||
{ src V int-regs 689601 }
|
{ src V int-regs 689609 }
|
||||||
}
|
}
|
||||||
T{ ##copy
|
T{ ##branch }
|
||||||
{ dst V int-regs 689610 }
|
} 3 test-bb
|
||||||
{ src V int-regs 689609 }
|
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 3 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 201541 }
|
T{ ##replace
|
||||||
{ number 4 }
|
{ src V int-regs 689607 }
|
||||||
{ instructions
|
{ loc D 0 }
|
||||||
V{
|
}
|
||||||
T{ ##replace
|
T{ ##replace
|
||||||
{ src V int-regs 689607 }
|
{ src V int-regs 689608 }
|
||||||
{ loc D 0 }
|
{ loc D 1 }
|
||||||
}
|
}
|
||||||
T{ ##replace
|
T{ ##replace
|
||||||
{ src V int-regs 689608 }
|
{ src V int-regs 689610 }
|
||||||
{ loc D 1 }
|
{ loc D 2 }
|
||||||
}
|
}
|
||||||
T{ ##replace
|
T{ ##epilogue }
|
||||||
{ src V int-regs 689610 }
|
T{ ##return }
|
||||||
{ loc D 2 }
|
} 4 test-bb
|
||||||
}
|
|
||||||
T{ ##epilogue }
|
|
||||||
T{ ##return }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 4 set
|
|
||||||
|
|
||||||
test-diamond
|
test-diamond
|
||||||
|
|
||||||
|
|
@ -1729,76 +1663,130 @@ test-diamond
|
||||||
! compute-live-registers was inaccurate since it didn't take
|
! compute-live-registers was inaccurate since it didn't take
|
||||||
! lifetime holes into account
|
! lifetime holes into account
|
||||||
|
|
||||||
T{ basic-block
|
V{ T{ ##prologue } T{ ##branch } } 0 test-bb
|
||||||
{ id 0 }
|
|
||||||
{ number 0 }
|
|
||||||
{ instructions V{ T{ ##prologue } T{ ##branch } } }
|
|
||||||
} 0 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 1 }
|
T{ ##peek
|
||||||
{ instructions
|
{ dst V int-regs 0 }
|
||||||
V{
|
{ loc D 0 }
|
||||||
T{ ##peek
|
}
|
||||||
{ dst V int-regs 0 }
|
T{ ##compare-imm-branch
|
||||||
{ loc D 0 }
|
{ src1 V int-regs 0 }
|
||||||
}
|
{ src2 5 }
|
||||||
T{ ##compare-imm-branch
|
{ cc cc/= }
|
||||||
{ src1 V int-regs 0 }
|
}
|
||||||
{ src2 5 }
|
} 1 test-bb
|
||||||
{ cc cc/= }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 1 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 2 }
|
T{ ##peek
|
||||||
{ instructions
|
{ dst V int-regs 1 }
|
||||||
V{
|
{ loc D 1 }
|
||||||
T{ ##peek
|
}
|
||||||
{ dst V int-regs 1 }
|
T{ ##copy
|
||||||
{ loc D 1 }
|
{ dst V int-regs 2 }
|
||||||
}
|
{ src V int-regs 1 }
|
||||||
T{ ##copy
|
}
|
||||||
{ dst V int-regs 2 }
|
T{ ##branch }
|
||||||
{ src V int-regs 1 }
|
} 2 test-bb
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 2 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 3 }
|
T{ ##peek
|
||||||
{ instructions
|
{ dst V int-regs 3 }
|
||||||
V{
|
{ loc D 2 }
|
||||||
T{ ##peek
|
}
|
||||||
{ dst V int-regs 3 }
|
T{ ##copy
|
||||||
{ loc D 2 }
|
{ dst V int-regs 2 }
|
||||||
}
|
{ src V int-regs 3 }
|
||||||
T{ ##copy
|
}
|
||||||
{ dst V int-regs 2 }
|
T{ ##branch }
|
||||||
{ src V int-regs 3 }
|
} 3 test-bb
|
||||||
}
|
|
||||||
T{ ##branch }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 3 set
|
|
||||||
|
|
||||||
T{ basic-block
|
V{
|
||||||
{ id 4 }
|
T{ ##replace
|
||||||
{ instructions
|
{ src V int-regs 2 }
|
||||||
V{
|
{ loc D 0 }
|
||||||
T{ ##replace
|
}
|
||||||
{ src V int-regs 2 }
|
T{ ##return }
|
||||||
{ loc D 0 }
|
} 4 test-bb
|
||||||
}
|
|
||||||
T{ ##return }
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} 4 set
|
|
||||||
|
|
||||||
test-diamond
|
test-diamond
|
||||||
|
|
||||||
{ 1 2 3 4 } test-linear-scan-on-cfg
|
{ 1 2 3 4 } test-linear-scan-on-cfg
|
||||||
|
|
||||||
|
! Inactive interval handling: splitting active interval
|
||||||
|
! if it fits in lifetime hole only partially
|
||||||
|
|
||||||
|
V{ T{ ##peek f V int-regs 3 R 1 } T{ ##branch } } 0 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##peek f V int-regs 2 R 0 }
|
||||||
|
T{ ##compare-imm-branch f V int-regs 2 5 cc= }
|
||||||
|
} 1 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##peek f V int-regs 0 D 0 }
|
||||||
|
T{ ##branch }
|
||||||
|
} 2 test-bb
|
||||||
|
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##peek f V int-regs 1 D 1 }
|
||||||
|
T{ ##peek f V int-regs 0 D 0 }
|
||||||
|
T{ ##replace f V int-regs 1 D 2 }
|
||||||
|
T{ ##branch }
|
||||||
|
} 3 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##replace f V int-regs 3 R 2 }
|
||||||
|
T{ ##replace f V int-regs 0 D 0 }
|
||||||
|
T{ ##return }
|
||||||
|
} 4 test-bb
|
||||||
|
|
||||||
|
test-diamond
|
||||||
|
|
||||||
|
{ 1 2 } test-linear-scan-on-cfg
|
||||||
|
|
||||||
|
USING: classes ;
|
||||||
|
|
||||||
|
[ ] [
|
||||||
|
1 get instructions>> first regs>> V int-regs 0 swap at
|
||||||
|
2 get instructions>> first regs>> V int-regs 1 swap at assert=
|
||||||
|
] unit-test
|
||||||
|
|
||||||
|
[ _copy ] [ 3 get instructions>> second class ] unit-test
|
||||||
|
|
||||||
|
! Resolve pass; make sure the spilling is done correctly
|
||||||
|
V{ T{ ##peek f V int-regs 3 R 1 } T{ ##branch } } 0 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##peek f V int-regs 2 R 0 }
|
||||||
|
T{ ##compare-imm-branch f V int-regs 2 5 cc= }
|
||||||
|
} 1 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##branch }
|
||||||
|
} 2 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##replace f V int-regs 3 R 1 }
|
||||||
|
T{ ##peek f V int-regs 1 D 1 }
|
||||||
|
T{ ##peek f V int-regs 0 D 0 }
|
||||||
|
T{ ##replace f V int-regs 1 D 2 }
|
||||||
|
T{ ##replace f V int-regs 0 D 2 }
|
||||||
|
T{ ##branch }
|
||||||
|
} 3 test-bb
|
||||||
|
|
||||||
|
V{
|
||||||
|
T{ ##replace f V int-regs 3 R 2 }
|
||||||
|
T{ ##return }
|
||||||
|
} 4 test-bb
|
||||||
|
|
||||||
|
test-diamond
|
||||||
|
|
||||||
|
{ 1 2 } test-linear-scan-on-cfg
|
||||||
|
|
||||||
|
[ _spill ] [ 2 get instructions>> first class ] unit-test
|
||||||
|
|
||||||
|
[ _spill ] [ 3 get instructions>> second class ] unit-test
|
||||||
|
|
||||||
|
[ _reload ] [ 4 get instructions>> first class ] unit-test
|
||||||
|
|
@ -1,6 +1,6 @@
|
||||||
! Copyright (C) 2008, 2009 Slava Pestov.
|
! Copyright (C) 2008, 2009 Slava Pestov.
|
||||||
! See http://factorcode.org/license.txt for BSD license.
|
! See http://factorcode.org/license.txt for BSD license.
|
||||||
USING: kernel accessors namespaces make
|
USING: kernel accessors namespaces make locals
|
||||||
cpu.architecture
|
cpu.architecture
|
||||||
compiler.cfg
|
compiler.cfg
|
||||||
compiler.cfg.rpo
|
compiler.cfg.rpo
|
||||||
|
|
@ -9,7 +9,8 @@ compiler.cfg.linear-scan.numbering
|
||||||
compiler.cfg.linear-scan.live-intervals
|
compiler.cfg.linear-scan.live-intervals
|
||||||
compiler.cfg.linear-scan.allocation
|
compiler.cfg.linear-scan.allocation
|
||||||
compiler.cfg.linear-scan.allocation.state
|
compiler.cfg.linear-scan.allocation.state
|
||||||
compiler.cfg.linear-scan.assignment ;
|
compiler.cfg.linear-scan.assignment
|
||||||
|
compiler.cfg.linear-scan.resolve ;
|
||||||
IN: compiler.cfg.linear-scan
|
IN: compiler.cfg.linear-scan
|
||||||
|
|
||||||
! References:
|
! References:
|
||||||
|
|
@ -26,12 +27,11 @@ IN: compiler.cfg.linear-scan
|
||||||
! by Omri Traub, Glenn Holloway, Michael D. Smith
|
! by Omri Traub, Glenn Holloway, Michael D. Smith
|
||||||
! http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8435
|
! http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8435
|
||||||
|
|
||||||
: (linear-scan) ( rpo machine-registers -- )
|
:: (linear-scan) ( rpo machine-registers -- )
|
||||||
[
|
rpo number-instructions
|
||||||
dup number-instructions
|
rpo compute-live-intervals machine-registers allocate-registers
|
||||||
dup compute-live-intervals
|
rpo assign-registers
|
||||||
] dip
|
rpo resolve-data-flow ;
|
||||||
allocate-registers assign-registers ;
|
|
||||||
|
|
||||||
: linear-scan ( cfg -- cfg' )
|
: linear-scan ( cfg -- cfg' )
|
||||||
[
|
[
|
||||||
|
|
|
||||||
|
|
@ -1,34 +1,108 @@
|
||||||
! Copyright (C) 2009 Slava Pestov
|
! Copyright (C) 2009 Slava Pestov
|
||||||
! See http://factorcode.org/license.txt for BSD license.
|
! See http://factorcode.org/license.txt for BSD license.
|
||||||
USING: accessors assocs kernel math namespaces sequences
|
USING: accessors assocs kernel math namespaces sequences
|
||||||
compiler.cfg.linear-scan.live-intervals compiler.cfg.liveness ;
|
classes.tuple classes.parser parser fry words make arrays
|
||||||
|
combinators compiler.cfg.linear-scan.live-intervals
|
||||||
|
compiler.cfg.liveness compiler.cfg.instructions ;
|
||||||
IN: compiler.cfg.linear-scan.resolve
|
IN: compiler.cfg.linear-scan.resolve
|
||||||
|
|
||||||
|
<<
|
||||||
|
|
||||||
|
TUPLE: operation from to reg-class ;
|
||||||
|
|
||||||
|
SYNTAX: OPERATION:
|
||||||
|
CREATE-CLASS dup save-location
|
||||||
|
[ operation { } define-tuple-class ]
|
||||||
|
[
|
||||||
|
[ scan-word scan-word ] keep
|
||||||
|
'[
|
||||||
|
[ [ _ execute ] [ _ execute ] bi* ]
|
||||||
|
[ vreg>> reg-class>> ]
|
||||||
|
bi _ boa ,
|
||||||
|
] (( from to -- )) define-declared
|
||||||
|
] bi ;
|
||||||
|
|
||||||
|
>>
|
||||||
|
|
||||||
|
OPERATION: memory->memory spill-to>> reload-from>>
|
||||||
|
OPERATION: register->memory reg>> reload-from>>
|
||||||
|
OPERATION: memory->register spill-to>> reg>>
|
||||||
|
OPERATION: register->register reg>> reg>>
|
||||||
|
|
||||||
: add-mapping ( from to -- )
|
: add-mapping ( from to -- )
|
||||||
2drop
|
dup reload-from>> [
|
||||||
;
|
over spill-to>> [ memory->memory ] [ register->memory ] if
|
||||||
|
] [
|
||||||
|
over spill-to>> [ memory->register ] [ register->register ] if
|
||||||
|
] if ;
|
||||||
|
|
||||||
: resolve-value-data-flow ( bb to vreg -- )
|
: resolve-value-data-flow ( bb to vreg -- )
|
||||||
live-intervals get at
|
live-intervals get at
|
||||||
[ [ block-to ] dip child-interval-at ]
|
[ [ block-to ] dip child-interval-at ]
|
||||||
[ [ block-from ] dip child-interval-at ]
|
[ [ block-from ] dip child-interval-at ]
|
||||||
bi-curry bi* 2dup = [ 2drop ] [
|
bi-curry bi* 2dup eq? [ 2drop ] [ add-mapping ] if ;
|
||||||
add-mapping
|
|
||||||
|
: compute-mappings ( bb to -- mappings )
|
||||||
|
[
|
||||||
|
dup live-in keys
|
||||||
|
[ resolve-value-data-flow ] with with each
|
||||||
|
] { } make ;
|
||||||
|
|
||||||
|
GENERIC: >insn ( operation -- )
|
||||||
|
|
||||||
|
: >operation< ( operation -- from to reg-class )
|
||||||
|
[ from>> ] [ to>> ] [ reg-class>> ] tri ; inline
|
||||||
|
|
||||||
|
M: memory->memory >insn
|
||||||
|
[ from>> ] [ to>> ] bi = [ "Not allowed" throw ] unless ;
|
||||||
|
|
||||||
|
M: register->memory >insn
|
||||||
|
[ from>> ] [ reg-class>> ] [ to>> ] tri _spill ;
|
||||||
|
|
||||||
|
M: memory->register >insn
|
||||||
|
[ to>> ] [ reg-class>> ] [ from>> ] tri _reload ;
|
||||||
|
|
||||||
|
M: register->register >insn
|
||||||
|
[ to>> ] [ from>> ] [ reg-class>> ] tri _copy ;
|
||||||
|
|
||||||
|
: mapping-instructions ( mappings -- insns )
|
||||||
|
[ [ >insn ] each ] { } make ;
|
||||||
|
|
||||||
|
: fork? ( from to -- ? )
|
||||||
|
[ successors>> length 1 >= ]
|
||||||
|
[ predecessors>> length 1 = ] bi* and ; inline
|
||||||
|
|
||||||
|
: insert-position/fork ( from to -- before after )
|
||||||
|
nip instructions>> [ >array ] [ dup delete-all ] bi swap ;
|
||||||
|
|
||||||
|
: join? ( from to -- ? )
|
||||||
|
[ successors>> length 1 = ]
|
||||||
|
[ predecessors>> length 1 >= ] bi* and ; inline
|
||||||
|
|
||||||
|
: insert-position/join ( from to -- before after )
|
||||||
|
drop instructions>> { } ;
|
||||||
|
|
||||||
|
: insert-position ( bb to -- before after )
|
||||||
|
{
|
||||||
|
{ [ 2dup fork? ] [ insert-position/fork ] }
|
||||||
|
{ [ 2dup join? ] [ insert-position/join ] }
|
||||||
|
} cond ;
|
||||||
|
|
||||||
|
: 3append-here ( seq2 seq1 seq3 -- )
|
||||||
|
#! Mutate seq1
|
||||||
|
swap '[ _ push-all ] bi@ ;
|
||||||
|
|
||||||
|
: perform-mappings ( mappings bb to -- )
|
||||||
|
pick empty? [ 3drop ] [
|
||||||
|
[ mapping-instructions ] 2dip
|
||||||
|
insert-position 3append-here
|
||||||
] if ;
|
] if ;
|
||||||
|
|
||||||
: resolve-mappings ( bb to -- )
|
|
||||||
2drop
|
|
||||||
;
|
|
||||||
|
|
||||||
: resolve-edge-data-flow ( bb to -- )
|
: resolve-edge-data-flow ( bb to -- )
|
||||||
[ dup live-in [ resolve-value-data-flow ] with with each ]
|
[ compute-mappings ] [ perform-mappings ] 2bi ;
|
||||||
[ resolve-mappings ]
|
|
||||||
2bi ;
|
|
||||||
|
|
||||||
: resolve-block-data-flow ( bb -- )
|
: resolve-block-data-flow ( bb -- )
|
||||||
dup successors>> [
|
dup successors>> [ resolve-edge-data-flow ] with each ;
|
||||||
resolve-edge-data-flow
|
|
||||||
] with each ;
|
|
||||||
|
|
||||||
: resolve-data-flow ( rpo -- )
|
: resolve-data-flow ( rpo -- )
|
||||||
[ resolve-block-data-flow ] each ;
|
[ resolve-block-data-flow ] each ;
|
||||||
Loading…
Reference in New Issue