[Bug target/70453] New: gcc generates invalid instruction vextractu64x4 (should be: vextracti64x4)

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 70453
           Summary: gcc generates invalid instruction vextractu64x4
                    (should be: vextracti64x4)
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: assemble-failure
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
            Target: x86_64-pc-linux-gnu

Created attachment 38131
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38131&action=edit
reduced testcase

Compiler output:
$ gcc -Og -fschedule-insns -mavx512vbmi testcase.c 
/tmp/cc6SbWh1.s: Assembler messages:
/tmp/cc6SbWh1.s:80: Error: no such instruction: `vextractu64x4
$0x0,%zmm17,128(%rsp)'

@@ -77,7 +77,7 @@
        vinserti128     $0x1, %xmm4, %ymm0, %ymm0
        vinserti128     $0x1, %xmm3, %ymm1, %ymm1
        vmovdqa64       %zmm17, 256(%rsp)
-       vextractu64x4   $0x0, %zmm17, 128(%rsp)
+       vextracti64x4   $0x0, %zmm17, 128(%rsp)
        vmovdqa64       %zmm18, 64(%rsp)
        vinserti64x4    $0x1, %ymm0, %zmm1, %zmm4
        vmovdqa64       %zmm4, (%rsp)

fixes the assembly.