Re: [PATCH] x86_64: fix 'gather' avx2 builtin names

2016-09-25 Thread Sergei Trofimovich
On Sun, 25 Sep 2016 19:01:14 +0200 Jakub Jelinek wrote: > On Sun, Sep 25, 2016 at 02:48:19PM +0100, Sergei Trofimovich wrote: > > From: Sergei Trofimovich > > > > Today I traced AVX2 optimisation bug in gcc and > > distilled it down to '__builtin_ia32_gatheraltdiv4si256' > > generated by gcc. >

Re: [PATCH] x86_64: fix 'gather' avx2 builtin names

2016-09-25 Thread Jakub Jelinek
On Sun, Sep 25, 2016 at 02:48:19PM +0100, Sergei Trofimovich wrote: > From: Sergei Trofimovich > > Today I traced AVX2 optimisation bug in gcc and > distilled it down to '__builtin_ia32_gatheraltdiv4si256' > generated by gcc. > > When I attempted to use this builtin directly > in a simple progra

[PATCH] x86_64: fix 'gather' avx2 builtin names

2016-09-25 Thread Sergei Trofimovich
From: Sergei Trofimovich Today I traced AVX2 optimisation bug in gcc and distilled it down to '__builtin_ia32_gatheraltdiv4si256' generated by gcc. When I attempted to use this builtin directly in a simple program gcc refused to recognise it as known: #include void a (void) { __builti