From _kfj@yahoo.com  Fri Sep 29 08:25:23 2017
From: _kfj@yahoo.com (Kay F. Jahnke)
Date: Fri, 29 Sep 2017 08:25:23 +0200
Subject: test if a type can be vectorized
Message-ID: <d63395a4-5187-5ded-d74a-7a0b0f2beaa7@yahoo.com>

Dear group!

I'd like to perform a test on some type T which tells me whether Vc can 
form a Vc::Vector from it. I'd like something like

is_simdizable<T>::value

to yield true if Vc::Vector<T> can be formed, false otherwise, so that I 
can use the result to dispatch to fall-back code if there is no 
Vc:Vector<T>.

Help appreciated.

With regards

Kay F. Jahnke


.


From m.kretz@gsi.de  Fri Sep 29 14:37:46 2017
From: m.kretz@gsi.de (Matthias Kretz)
Date: Fri, 29 Sep 2017 14:37:46 +0200
Subject: test if a type can be vectorized
In-Reply-To: <d63395a4-5187-5ded-d74a-7a0b0f2beaa7@yahoo.com>
References: <d63395a4-5187-5ded-d74a-7a0b0f2beaa7@yahoo.com>
Message-ID: <948BE773-BD68-4326-BB5C-0E9525662ABB@gsi.de>

Hi Kay,

AFAIK, there is no way to do it with Vc 1.3. I'm pretty certain because I implemented the ability to query for is_destructible/constructible in current master (to become Vc 2.0).
There's probably one workaround, and that's too enumerate all types that are valid, returning true. Return false otherwise. That's not really what you've asked for, though.

Cheers,
Matthias

Am 29. September 2017 08:25:23 MESZ schrieb "Kay F. Jahnke" <_kfj@yahoo.com>:
>Dear group!
>
>I'd like to perform a test on some type T which tells me whether Vc can
>
>form a Vc::Vector from it. I'd like something like
>
>is_simdizable<T>::value
>
>to yield true if Vc::Vector<T> can be formed, false otherwise, so that
>I 
>can use the result to dispatch to fall-back code if there is no 
>Vc:Vector<T>.
>
>Help appreciated.
>
>With regards
>
>Kay F. Jahnke
>
>
>.
>
>_______________________________________________
>Vc mailing list
>Vc@compeng.uni-frankfurt.de
>https://compeng.uni-frankfurt.de/mailman/listinfo/vc

-- 
Dr. Matthias Kretz
Senior Software Engineer
Experiment Systems

phone: +49 6159 713084
e-mail: m.kretz@gsi.de

GSI Helmholtzzentrum f?r Schwerionenforschung GmbH 
Planckstra?e 1 
64291 Darmstadt 
www.gsi.de 

Gesellschaft mit beschr?nkter Haftung 
Sitz der Gesellschaft: Darmstadt 
Handelsregister: Amtsgericht Darmstadt, HRB 1528 

Gesch?ftsf?hrung: 
Ursula Weyrich 
Professor Dr. Karlheinz Langanke 

Vorsitzender des Aufsichtsrates: St Dr. Georg Sch?tte 
Stellvertreter: Ministerialdirigent Dr. Rolf Bernhardt 


From nicholasferguson@wingarch.com  Fri Sep 29 14:49:19 2017
From: nicholasferguson@wingarch.com (nicholas ferguson)
Date: Fri, 29 Sep 2017 08:49:19 -0400
Subject: test if a type can be vectorized
In-Reply-To: <d63395a4-5187-5ded-d74a-7a0b0f2beaa7@yahoo.com>
References: <d63395a4-5187-5ded-d74a-7a0b0f2beaa7@yahoo.com>
Message-ID: <000901d33921$5ef3b410$1cdb1c30$@com>

It would say it's easier to answer if you stated your algorithm. Since SIMD
is single instruction multiple data.... what algorithm requires that?


-----Original Message-----
From: vc-bounces@compeng.uni-frankfurt.de
[mailto:vc-bounces@compeng.uni-frankfurt.de] On Behalf Of Kay F. Jahnke
Sent: Friday, September 29, 2017 2:25 AM
To: vc@compeng.uni-frankfurt.de
Subject: test if a type can be vectorized

Dear group!

I'd like to perform a test on some type T which tells me whether Vc can form
a Vc::Vector from it. I'd like something like

is_simdizable<T>::value

to yield true if Vc::Vector<T> can be formed, false otherwise, so that I can
use the result to dispatch to fall-back code if there is no Vc:Vector<T>.

Help appreciated.

With regards

Kay F. Jahnke


.

_______________________________________________
Vc mailing list
Vc@compeng.uni-frankfurt.de
https://compeng.uni-frankfurt.de/mailman/listinfo/vc