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

refactor math.vectors.conversion

db4
Joe Groff 2009-10-08 11:35:40 -05:00
parent 5a2a99128b
commit 531cfa1c33
1 changed files with 22 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
basis/math/vectors/conversion/conversion.factor
View File

@ -39,32 +39,45 @@ ERROR: bad-vconvert-input value expected-type ;
} cond } cond
[ from-type check-vconvert-type ] prepose ; [ from-type check-vconvert-type ] prepose ;
:: [vpack] ( from-element to-element from-size to-size from-type to-type -- quot ) :: check-vpack ( from-element to-element from-type to-type steps -- )
from-size to-size /i log2 :> steps
{ {
[ steps 1 = not ] [ steps 1 = not ]
[ from-element to-element [ float-type? ] bi@ xor ] [ from-element to-element [ float-type? ] bi@ xor ]
[ from-element unsigned-type? to-element unsigned-type? not and ] [ from-element unsigned-type? to-element unsigned-type? not and ]
} 0|| [ from-type to-type bad-vconvert ] when } 0|| [ from-type to-type bad-vconvert ] when ;
to-element unsigned-type? [ to-type (vpack-unsigned) ] [ to-type (vpack-signed) ] ? :: [[vpack-unsigned]] ( from-type to-type -- quot )
[ [ from-type check-vconvert-type ] bi@ ] prepose ; [ [ from-type check-vconvert-type ] bi@ to-type (vpack-unsigned) ] ;
:: [vunpack] ( from-element to-element from-size to-size from-type to-type -- quot ) :: [[vpack-signed]] ( from-type to-type -- quot )
to-size from-size /i log2 :> steps [ [ from-type check-vconvert-type ] bi@ to-type (vpack-signed) ] ;
:: [vpack] ( from-element to-element from-size to-size from-type to-type -- quot )
from-size to-size /i log2 :> steps
from-element to-element from-type to-type steps check-vpack
from-type to-type to-element unsigned-type?
[ [[vpack-unsigned]] ] [ [[vpack-signed]] ] if ;
:: check-vunpack ( from-element to-element from-type to-type steps -- )
{ {
[ steps 1 = not ] [ steps 1 = not ]
[ from-element to-element [ float-type? ] bi@ xor ] [ from-element to-element [ float-type? ] bi@ xor ]
[ from-element unsigned-type? not to-element unsigned-type? and ] [ from-element unsigned-type? not to-element unsigned-type? and ]
} 0|| [ from-type to-type bad-vconvert ] when } 0|| [ from-type to-type bad-vconvert ] when ;
:: [[vunpack]] ( from-type to-type -- quot )
[ [
from-type check-vconvert-type from-type check-vconvert-type
[ to-type (vunpack-head) ] [ to-type (vunpack-tail) ] bi [ to-type (vunpack-head) ] [ to-type (vunpack-tail) ] bi
] ; ] ;
:: [vunpack] ( from-element to-element from-size to-size from-type to-type -- quot )
to-size from-size /i log2 :> steps
from-element to-element from-type to-type steps check-vunpack
from-type to-type [[vunpack]] ;
PRIVATE> PRIVATE>
MACRO:: vconvert ( from-type to-type -- ) MACRO:: vconvert ( from-type to-type -- )