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

compiler.cfg.alias-analysis: ##peek needs to set alias class of output value

db4
Slava Pestov 2009-05-28 18:19:01 -05:00
parent dbf18927b9
commit ceb332f596
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
basis/compiler/cfg/alias-analysis/alias-analysis.factor
View File

@ -63,15 +63,14 @@ IN: compiler.cfg.alias-analysis
! Map vregs -> alias classes
SYMBOL: vregs>acs
: check ( obj -- obj )
[ "BUG: static type error detected" throw ] unless* ; inline
ERROR: vreg-ac-not-set vreg ;
: vreg>ac ( vreg -- ac )
#! Only vregs produced by ##allot, ##peek and ##slot can
#! ever be used as valid inputs to ##slot and ##set-slot,
#! so we assert this fact by not giving alias classes to
#! other vregs.
vregs>acs get at check ;
vregs>acs get ?at [ vreg-ac-not-set ] unless ;
! Map alias classes -> sequence of vregs
SYMBOL: acs>vregs
@ -117,8 +116,10 @@ SYMBOL: histories
#! value.
over [ live-slots get at at ] [ 2drop f ] if ;
ERROR: vreg-has-no-slots vreg ;
: load-constant-slot ( value slot# vreg -- )
live-slots get at check set-at ;
live-slots get ?at [ vreg-has-no-slots ] unless set-at ;
: load-slot ( value slot#/f vreg -- )
over [ load-constant-slot ] [ 3drop ] if ;
@ -214,6 +215,9 @@ GENERIC: analyze-aliases* ( insn -- insn' )
M: ##load-immediate analyze-aliases*
dup [ val>> ] [ dst>> ] bi constants get set-at ;
M: ##peek analyze-aliases*
dup dst>> set-heap-ac ;
M: ##load-reference analyze-aliases*
dup dst>> set-heap-ac ;