[Bug c/81467] New: AVX-512 support for inline assembly

["alekshs at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 81467
           Summary: AVX-512 support for inline assembly
           Product: gcc
           Version: 6.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: alekshs at hotmail dot com
  Target Milestone: ---

I'm trying some avx-512 code with the inline assembly.

1) Clobbering xmm16-31 and k-type registers won't work. I guess it won't work
in ymm16-31 or zmm16-31 either: 

error: unknown register name ‘%xmm16’ in ‘asm’
error: unknown register name ‘%k1’ in ‘asm’

2) I'm having a problem trying to issue a

"VMOVDQU32 0(%0), %%ZMM0 {k1}{z}\n"

I also tried it with 

 "VMOVDQU32 0(%0), %%ZMM0 {%k1}{z}\n"

and

 "VMOVDQU32 0(%0), %%ZMM0 {%%k1}{z}\n"

and I also added % and %% in front of the z flag to see if it'll work. It's
possible I'm doing something wrong in the syntax although I tried several
permutations. Googling for examples didn't get me any meaningful results.