www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Is SIMD template

reply Manu <turkeyman gmail.com> writes:
So I've been fiddling, but I can't work it out.
Trying to make something like isStaticArray to match a vector...

template isVector(T : __vector(U[N]), U, size_t N) { enum bool isVector =
true; }
template isVector(T) { enum bool isVector = false; }

Complains:
test.d:122: Error: Integer constant expression expected instead of N
test.d:122: Error: size of type U is not known
test.d:122: Error: base type of __vector must be a 16 byte static array,
not U[N]

A size_t template arg should be an integer constant expression, and
consequently, the size of U should be known... Bug?
Jan 23 2012
parent reply Walter Bright <newshound2 digitalmars.com> writes:
On 1/23/2012 10:58 AM, Manu wrote:
 So I've been fiddling, but I can't work it out.
 Trying to make something like isStaticArray to match a vector...

 template isVector(T : __vector(U[N]), U, size_t N) { enum bool isVector =
true; }
 template isVector(T) { enum bool isVector = false; }

 Complains:
 test.d:122: Error: Integer constant expression expected instead of N
 test.d:122: Error: size of type U is not known
 test.d:122: Error: base type of __vector must be a 16 byte static array, not
U[N]

 A size_t template arg should be an integer constant expression, and
 consequently, the size of U should be known... Bug?

Code would have to be added to the compiler to make that work. In the meantime, you can simply enumerate the supported aliases for vector types.
Jan 23 2012
next sibling parent Manu <turkeyman gmail.com> writes:
On 23 January 2012 21:31, Walter Bright <newshound2 digitalmars.com> wrote:

 On 1/23/2012 10:58 AM, Manu wrote:

 So I've been fiddling, but I can't work it out.
 Trying to make something like isStaticArray to match a vector...

 template isVector(T : __vector(U[N]), U, size_t N) { enum bool isVector =
 true; }
 template isVector(T) { enum bool isVector = false; }

 Complains:
 test.d:122: Error: Integer constant expression expected instead of N
 test.d:122: Error: size of type U is not known
 test.d:122: Error: base type of __vector must be a 16 byte static array,
 not U[N]

 A size_t template arg should be an integer constant expression, and
 consequently, the size of U should be known... Bug?

Code would have to be added to the compiler to make that work. In the meantime, you can simply enumerate the supported aliases for vector types.

Ah, of course! Deeer, I didn't think of that! :P
Jan 23 2012
prev sibling parent Manu <turkeyman gmail.com> writes:
On 23 January 2012 21:55, Manu <turkeyman gmail.com> wrote:

 On 23 January 2012 21:31, Walter Bright <newshound2 digitalmars.com>wrote:

 On 1/23/2012 10:58 AM, Manu wrote:

 So I've been fiddling, but I can't work it out.
 Trying to make something like isStaticArray to match a vector...

 template isVector(T : __vector(U[N]), U, size_t N) { enum bool isVector
 = true; }
 template isVector(T) { enum bool isVector = false; }

 Complains:
 test.d:122: Error: Integer constant expression expected instead of N
 test.d:122: Error: size of type U is not known
 test.d:122: Error: base type of __vector must be a 16 byte static array,
 not U[N]

 A size_t template arg should be an integer constant expression, and
 consequently, the size of U should be known... Bug?

Code would have to be added to the compiler to make that work. In the meantime, you can simply enumerate the supported aliases for vector types.

Ah, of course! Deeer, I didn't think of that! :P

... I guess I'll need to do this one the same way: template VectorType(T : __vector(T[N]), size_t N) { alias T VectorType; }
Jan 23 2012