[Bug target/70927] New: avx512dq instructions emitted even with -mavx512vl -mno-avx512dq

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70927

            Bug ID: 70927
           Summary: avx512dq instructions emitted even with -mavx512vl
                    -mno-avx512dq
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

#include <x86intrin.h>

void
f1 (__m128 x, __m128 y)
{
  register __m128 a __asm ("xmm16"), b __asm ("xmm17");
  a = x; b = y;
  asm volatile ("" : "+v" (a), "+v" (b));
  a = _mm_and_ps (a, b);
  asm volatile ("" : "+v" (a));
}

void
f2 (__m128d x, __m128d y)
{
  register __m128d a __asm ("xmm16"), b __asm ("xmm17");
  a = x; b = y;
  asm volatile ("" : "+v" (a), "+v" (b));
  a = _mm_and_pd (a, b);
  asm volatile ("" : "+v" (a));
}

void
f3 (__m256 x, __m256 y)
{
  register __m256 a __asm ("xmm16"), b __asm ("xmm17");
  a = x; b = y;
  asm volatile ("" : "+v" (a), "+v" (b));
  a = _mm256_and_ps (a, b);
  asm volatile ("" : "+v" (a));
}

void
f4 (__m256d x, __m256d y)
{
  register __m256d a __asm ("xmm16"), b __asm ("xmm17");
  a = x; b = y;
  asm volatile ("" : "+v" (a), "+v" (b));
  a = _mm256_and_pd (a, b);
  asm volatile ("" : "+v" (a));
}

emits with -O2 -mavx512vl -mno-avx512dq various AVX512DQ instructions.