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

convert all-ones vector ##load-reference/##load-constant to a ##fill-vector insn

db4
Joe Groff 2009-10-07 12:35:21 -05:00
parent 4d5f727a63
commit ea051063a4
1 changed files with 26 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
basis/compiler/cfg/representations/representations.factor
View File

@ -226,24 +226,40 @@ SYMBOL: phi-mappings
M: ##phi conversions-for-insn M: ##phi conversions-for-insn
[ , ] [ [ inputs>> values ] [ dst>> ] bi phi-mappings get set-at ] bi ; [ , ] [ [ inputs>> values ] [ dst>> ] bi phi-mappings get set-at ] bi ;
! When a literal zero vector is unboxed, we replace the ##load-reference ! When a literal zeroes/ones vector is unboxed, we replace the ##load-reference
! with a ##zero-vector instruction since this is more efficient. ! with a ##zero-vector or ##fill-vector instruction since this is more efficient.
: convert-to-zero-vector? ( insn -- ? ) : convert-to-zero-vector? ( insn -- ? )
{ {
[ dst>> rep-of vector-rep? ] [ dst>> rep-of vector-rep? ]
[ obj>> B{ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 } = ] [ obj>> B{ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 } = ]
} 1&& ; } 1&& ;
: convert-to-fill-vector? ( insn -- ? )
{
[ dst>> rep-of vector-rep? ]
[ obj>> B{ 255 255 255 255 255 255 255 255 255 255 255 255 255 255 255 } = ]
} 1&& ;
: convert-to-zero-vector ( insn -- ) : (convert-to-zero/fill-vector) ( insn -- dst rep )
dst>> dup rep-of ##zero-vector ; dst>> dup rep-of ; inline
: conversions-for-load-insn ( insn -- ?insn )
{
{
[ dup convert-to-zero-vector? ]
[ (convert-to-zero/fill-vector) ##zero-vector f ]
}
{
[ dup convert-to-fill-vector? ]
[ (convert-to-zero/fill-vector) ##fill-vector f ]
}
[ ]
} cond ;
M: ##load-reference conversions-for-insn M: ##load-reference conversions-for-insn
dup convert-to-zero-vector? conversions-for-load-insn [ call-next-method ] when* ;
[ convert-to-zero-vector ] [ call-next-method ] if ;
M: ##load-constant conversions-for-insn M: ##load-constant conversions-for-insn
dup convert-to-zero-vector? conversions-for-load-insn [ call-next-method ] when* ;
[ convert-to-zero-vector ] [ call-next-method ] if ;
M: vreg-insn conversions-for-insn M: vreg-insn conversions-for-insn
[ compute-renaming-set ] [ perform-renaming ] bi ; [ compute-renaming-set ] [ perform-renaming ] bi ;