steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.cfg.linear-scan.assignment: get check-assignment? to work with coalescing

db4
Slava Pestov 2009-06-30 18:10:53 -05:00
parent fc6c9e2dfd
commit 54876d0cba
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
basis/compiler/cfg/linear-scan/assignment/assignment.factor
View File

@ -108,11 +108,14 @@ SYMBOL: check-assignment?
ERROR: overlapping-registers intervals ; ERROR: overlapping-registers intervals ;
: check-assignment ( intervals -- )
dup [ copy-from>> ] map sift '[ vreg>> _ member? not ] filter
dup [ reg>> ] map all-unique? [ drop ] [ overlapping-registers ] if ;
: active-intervals ( insn -- intervals ) : active-intervals ( insn -- intervals )
insn#>> pending-intervals get [ covers? ] with filter insn#>> pending-intervals get [ covers? ] with filter
check-assignment? get [ check-assignment? get [
dup [ reg>> ] map all-unique? dup check-assignment
[ overlapping-registers ] unless
] when ; ] when ;
M: vreg-insn assign-registers-in-insn M: vreg-insn assign-registers-in-insn