X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=blobdiff_plain;f=test%2FMC%2FX86%2Favx512-encodings.s;h=b60b72fd6bb1907c4e69506b264a4781736596f8;hp=6b2acf6d40d675c8118ce9677fe692c5d29290cd;hb=6bc8d95153d1f311a02cf48ca0e5735c80a531a3;hpb=5c76721372f42222c7b108a6e7b5913ba4e36406

diff --git a/test/MC/X86/avx512-encodings.s b/test/MC/X86/avx512-encodings.s
index 6b2acf6d40d..b60b72fd6bb 100644
--- a/test/MC/X86/avx512-encodings.s
+++ b/test/MC/X86/avx512-encodings.s
@@ -4375,3 +4375,19 @@ vfnmadd231ps %zmm5, %zmm6, %zmm7
 // CHECK: vfnmsub231pd
 // CHECK: encoding: [0x62,0xf2,0xcd,0x48,0xbe,0xfd]
 vfnmsub231pd %zmm5, %zmm6, %zmm7
+
+// CHECK: vpermilps
+// CHECK: encoding: [0x62,0xf2,0x6d,0x48,0x0c,0xd9]
+vpermilps %zmm1, %zmm2, %zmm3
+
+// CHECK: vpermilpd
+// CHECK: encoding: [0x62,0xf2,0xed,0x48,0x0d,0x5b,0x10]
+vpermilpd 0x400(%rbx), %zmm2, %zmm3
+
+// CHECK: vpermilps
+// CHECK: encoding: [0x62,0xf2,0x6d,0x48,0x0c,0x5b,0x10]
+vpermilps 0x400(%rbx), %zmm2, %zmm3
+
+// CHECK: vpermilpd
+// CHECK: encoding: [0x62,0xf3,0xfd,0x48,0x05,0x53,0x10,0x23]
+vpermilpd $0x23, 0x400(%rbx), %zmm2