Revert "AVX512: Implemented encoding and intrinsics for vextracti64x4 ,vextracti64x...

[oota-llvm.git] / test / MC / X86 / x86-64-avx512f_vl.s

diff --git a/test/MC/X86/x86-64-avx512f_vl.s b/test/MC/X86/x86-64-avx512f_vl.s
index 93ff5adb77a77eaf56a80b01b2f7931849ba2ceb..15b06290e2282bf85f01cf43712b6649b5c024ae 100644 (file)
--- a/test/MC/X86/x86-64-avx512f_vl.s
+++ b/test/MC/X86/x86-64-avx512f_vl.s
@@ -19739,102 +19739,6 @@ vaddpd  {rz-sae}, %zmm2, %zmm1, %zmm1
 // CHECK:  encoding: [0x62,0xe1,0xe5,0x30,0x6d,0xa2,0xf8,0xfb,0xff,0xff]
           vpunpckhqdq -1032(%rdx){1to4}, %ymm19, %ymm20
 
-// CHECK: vextractf32x4 $171, %ymm17, %xmm28
-// CHECK:  encoding: [0x62,0x83,0x7d,0x28,0x19,0xcc,0xab]
-          vextractf32x4 $0xab, %ymm17, %xmm28
-
-// CHECK: vextractf32x4 $171, %ymm17, %xmm28 {%k6}
-// CHECK:  encoding: [0x62,0x83,0x7d,0x2e,0x19,0xcc,0xab]
-          vextractf32x4 $0xab, %ymm17, %xmm28 {%k6}
-
-// CHECK: vextractf32x4 $171, %ymm17, %xmm28 {%k6} {z}
-// CHECK:  encoding: [0x62,0x83,0x7d,0xae,0x19,0xcc,0xab]
-          vextractf32x4 $0xab, %ymm17, %xmm28 {%k6} {z}
-
-// CHECK: vextractf32x4 $123, %ymm17, %xmm28
-// CHECK:  encoding: [0x62,0x83,0x7d,0x28,0x19,0xcc,0x7b]
-          vextractf32x4 $0x7b, %ymm17, %xmm28
-
-// CHECK: vextractf32x4 $171, %ymm20, (%rcx)
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x28,0x19,0x21,0xab]
-          vextractf32x4 $0xab, %ymm20, (%rcx)
-
-// CHECK: vextractf32x4 $171, %ymm20, (%rcx) {%k2}
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x2a,0x19,0x21,0xab]
-          vextractf32x4 $0xab, %ymm20, (%rcx) {%k2}
-
-// CHECK: vextractf32x4 $123, %ymm20, (%rcx)
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x28,0x19,0x21,0x7b]
-          vextractf32x4 $0x7b, %ymm20, (%rcx)
-
-// CHECK: vextractf32x4 $123, %ymm20, 291(%rax,%r14,8)
-// CHECK:  encoding: [0x62,0xa3,0x7d,0x28,0x19,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
-          vextractf32x4 $0x7b, %ymm20, 291(%rax,%r14,8)
-
-// CHECK: vextractf32x4 $123, %ymm20, 2032(%rdx)
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x28,0x19,0x62,0x7f,0x7b]
-          vextractf32x4 $0x7b, %ymm20, 2032(%rdx)
-
-// CHECK: vextractf32x4 $123, %ymm20, 2048(%rdx)
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x28,0x19,0xa2,0x00,0x08,0x00,0x00,0x7b]
-          vextractf32x4 $0x7b, %ymm20, 2048(%rdx)
-
-// CHECK: vextractf32x4 $123, %ymm20, -2048(%rdx)
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x28,0x19,0x62,0x80,0x7b]
-          vextractf32x4 $0x7b, %ymm20, -2048(%rdx)
-
-// CHECK: vextractf32x4 $123, %ymm20, -2064(%rdx)
-// CHECK:  encoding: [0x62,0xe3,0x7d,0x28,0x19,0xa2,0xf0,0xf7,0xff,0xff,0x7b]
-          vextractf32x4 $0x7b, %ymm20, -2064(%rdx)
-
-// CHECK: vextracti32x4 $171, %ymm21, %xmm20
-// CHECK:  encoding: [0x62,0xa3,0x7d,0x28,0x39,0xec,0xab]
-          vextracti32x4 $0xab, %ymm21, %xmm20
-
-// CHECK: vextracti32x4 $171, %ymm21, %xmm20 {%k4}
-// CHECK:  encoding: [0x62,0xa3,0x7d,0x2c,0x39,0xec,0xab]
-          vextracti32x4 $0xab, %ymm21, %xmm20 {%k4}
-
-// CHECK: vextracti32x4 $171, %ymm21, %xmm20 {%k4} {z}
-// CHECK:  encoding: [0x62,0xa3,0x7d,0xac,0x39,0xec,0xab]
-          vextracti32x4 $0xab, %ymm21, %xmm20 {%k4} {z}
-
-// CHECK: vextracti32x4 $123, %ymm21, %xmm20
-// CHECK:  encoding: [0x62,0xa3,0x7d,0x28,0x39,0xec,0x7b]
-          vextracti32x4 $0x7b, %ymm21, %xmm20
-
-// CHECK: vextracti32x4 $171, %ymm28, (%rcx)
-// CHECK:  encoding: [0x62,0x63,0x7d,0x28,0x39,0x21,0xab]
-          vextracti32x4 $0xab, %ymm28, (%rcx)
-
-// CHECK: vextracti32x4 $171, %ymm28, (%rcx) {%k6}
-// CHECK:  encoding: [0x62,0x63,0x7d,0x2e,0x39,0x21,0xab]
-          vextracti32x4 $0xab, %ymm28, (%rcx) {%k6}
-
-// CHECK: vextracti32x4 $123, %ymm28, (%rcx)
-// CHECK:  encoding: [0x62,0x63,0x7d,0x28,0x39,0x21,0x7b]
-          vextracti32x4 $0x7b, %ymm28, (%rcx)
-
-// CHECK: vextracti32x4 $123, %ymm28, 291(%rax,%r14,8)
-// CHECK:  encoding: [0x62,0x23,0x7d,0x28,0x39,0xa4,0xf0,0x23,0x01,0x00,0x00,0x7b]
-          vextracti32x4 $0x7b, %ymm28, 291(%rax,%r14,8)
-
-// CHECK: vextracti32x4 $123, %ymm28, 2032(%rdx)
-// CHECK:  encoding: [0x62,0x63,0x7d,0x28,0x39,0x62,0x7f,0x7b]
-          vextracti32x4 $0x7b, %ymm28, 2032(%rdx)
-
-// CHECK: vextracti32x4 $123, %ymm28, 2048(%rdx)
-// CHECK:  encoding: [0x62,0x63,0x7d,0x28,0x39,0xa2,0x00,0x08,0x00,0x00,0x7b]
-          vextracti32x4 $0x7b, %ymm28, 2048(%rdx)
-
-// CHECK: vextracti32x4 $123, %ymm28, -2048(%rdx)
-// CHECK:  encoding: [0x62,0x63,0x7d,0x28,0x39,0x62,0x80,0x7b]
-          vextracti32x4 $0x7b, %ymm28, -2048(%rdx)
-
-// CHECK: vextracti32x4 $123, %ymm28, -2064(%rdx)
-// CHECK:  encoding: [0x62,0x63,0x7d,0x28,0x39,0xa2,0xf0,0xf7,0xff,0xff,0x7b]
-          vextracti32x4 $0x7b, %ymm28, -2064(%rdx)
-
 // CHECK: vgetmantps $171, %xmm23, %xmm29
 // CHECK:  encoding: [0x62,0x23,0x7d,0x08,0x26,0xef,0xab]
           vgetmantps $0xab, %xmm23, %xmm29