steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/basis/math/vectors/simd/alien/alien-tests.factor

57 lines
1.6 KiB
Factor
Raw Normal View History

Initial implementation of SSE vector intrinsics: - cpu.architecture: add SSE vector representations - compiler.cfg.intrinsics.alien: remove an attempt at optimization that value numbering handles now - compiler.cfg.representations: support instructions where the representation is set in the 'rep' slot, and support conversions between single and double floats - alien-float, set-alien-float now use the single float representation, and the conversion is implicit; this fixes a long-standing bug where a register could get clobbered because of how %set-alien-float was defined on x86 - math.vectors.specialization: add support for SIMD specialization (where the vector word's body is replaced by another quotation), also specialize the 'sum' word - math.vectors.simd: 4float-array, 2double-array, 4double-array types, and specializers for the math.vectors words
2009-09-03 03:33:07 -04:00
IN: math.vectors.simd.alien.tests
math.vectors.simd: split off intrinsics into a sub-vocabulary, to avoid loading most of the SIMD code on bootstrap
2009-09-03 04:43:43 -04:00
USING: cpu.architecture math.vectors.simd
math.vectors.simd.intrinsics accessors math.vectors.simd.alien
kernel classes.struct tools.test compiler sequences byte-arrays
alien math kernel.private specialized-arrays.float ;
Initial implementation of SSE vector intrinsics: - cpu.architecture: add SSE vector representations - compiler.cfg.intrinsics.alien: remove an attempt at optimization that value numbering handles now - compiler.cfg.representations: support instructions where the representation is set in the 'rep' slot, and support conversions between single and double floats - alien-float, set-alien-float now use the single float representation, and the conversion is implicit; this fixes a long-standing bug where a register could get clobbered because of how %set-alien-float was defined on x86 - math.vectors.specialization: add support for SIMD specialization (where the vector word's body is replaced by another quotation), also specialize the 'sum' word - math.vectors.simd: 4float-array, 2double-array, 4double-array types, and specializers for the math.vectors words
2009-09-03 03:33:07 -04:00
! Vector alien intrinsics
[ 4float-array{ 1 2 3 4 } ] [
[
4float-array{ 1 2 3 4 }
underlying>> 0 4float-array-rep alien-vector
] compile-call 4float-array boa
] unit-test
[ B{ 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 } ] [
16 [ 1 ] B{ } replicate-as 16 <byte-array>
[
0 [
{ byte-array c-ptr fixnum } declare
4float-array-rep set-alien-vector
] compile-call
] keep
] unit-test
[ float-array{ 1 2 3 4 } ] [
[
float-array{ 1 2 3 4 } underlying>>
float-array{ 4 3 2 1 } clone
[ underlying>> 0 4float-array-rep set-alien-vector ] keep
] compile-call
] unit-test
STRUCT: simd-struct
{ x 4float-array }
{ y 2double-array }
{ z 4double-array } ;
[ t ] [ [ simd-struct <struct> ] compile-call >c-ptr [ 0 = ] all? ] unit-test
[ 4float-array{ 1 2 3 4 } 2double-array{ 2 1 } 4double-array{ 4 3 2 1 } ] [
simd-struct <struct>
4float-array{ 1 2 3 4 } >>x
2double-array{ 2 1 } >>y
4double-array{ 4 3 2 1 } >>z
[ x>> ] [ y>> ] [ z>> ] tri
] unit-test
[ 4float-array{ 1 2 3 4 } 2double-array{ 2 1 } 4double-array{ 4 3 2 1 } ] [
[
simd-struct <struct>
4float-array{ 1 2 3 4 } >>x
2double-array{ 2 1 } >>y
4double-array{ 4 3 2 1 } >>z
[ x>> ] [ y>> ] [ z>> ] tri
] compile-call
] unit-test