Re: [PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-31 Thread Richard Biener
On Wed, Jan 30, 2019 at 3:42 PM Alexander Monakov wrote: > > On Mon, 21 Jan 2019, Alexander Monakov wrote: > > > Ah, I see now. I agree transparent_union ought to work, but today both GCC > > and Clang will reject such attempt; I've filed PR 88955 for the GCC issue. > > > > So unfortunately such

Re: [PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-30 Thread Alexander Monakov
On Mon, 21 Jan 2019, Alexander Monakov wrote: > Ah, I see now. I agree transparent_union ought to work, but today both GCC > and Clang will reject such attempt; I've filed PR 88955 for the GCC issue. > > So unfortunately such code would still need a cast or an unnamed temporary, > which may be r

Re: [PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-21 Thread Alexander Monakov
On Mon, 21 Jan 2019, Richard Biener wrote: > > Sorry, I don't see what you mean here; can you give an example or elaborate? > > when you call a function with v4si signature but want to pass it a result > from a __mm intrinsic you'd need a temporary union to do the marshalling. > I think you can u

Re: [PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-21 Thread Richard Biener
On Mon, Jan 21, 2019 at 10:14 AM Alexander Monakov wrote: > > On Mon, 21 Jan 2019, Richard Biener wrote: > > > I'm not sure whether it's permitted to use this in C++ or not (and whether > > the C usage is now officially sanctioned other than via a non-normative > > footnote) - but at least GCC wil

Re: [PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-21 Thread Alexander Monakov
On Mon, 21 Jan 2019, Richard Biener wrote: > I'm not sure whether it's permitted to use this in C++ or not (and whether > the C usage is now officially sanctioned other than via a non-normative > footnote) - but at least GCC will guarantee that it works. My impression is that, via the "active mem

Re: [PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-21 Thread Richard Biener
On Sun, Jan 20, 2019 at 11:40 AM Alexander Monakov wrote: > > Hi, > > PR 88698 ("Relax generic vector conversions") is asking to be more permissive > about type compatibility for generic vector types. While I don't think that's > a good idea per se, from a "compiler user" point of view I also see

[PATCH] doc: showcase a "union of vectors" pattern (PR 88698)

2019-01-20 Thread Alexander Monakov
Hi, PR 88698 ("Relax generic vector conversions") is asking to be more permissive about type compatibility for generic vector types. While I don't think that's a good idea per se, from a "compiler user" point of view I also see how writing code for SSE/AVX using both generic vectors and x86 intri