|  | // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s | FileCheck %s | 
|  |  | 
|  | // CHECK: vp4dpwssd (%rax), %zmm20, %zmm17 | 
|  | // CHECK: encoding: [0x62,0xe2,0x5f,0x40,0x52,0x08] | 
|  | vp4dpwssd (%rax), %zmm20, %zmm17 | 
|  | // CHECK: vp4dpwssd (%rax), %zmm8, %zmm3 {%k1} | 
|  | // CHECK: encoding: [0x62,0xf2,0x3f,0x49,0x52,0x18] | 
|  | vp4dpwssd (%rax), %zmm8, %zmm3 {k1} | 
|  | // CHECK: vp4dpwssd (%rax), %zmm4, %zmm5 {%k1} {z} | 
|  | // CHECK: encoding: [0x62,0xf2,0x5f,0xc9,0x52,0x28] | 
|  | vp4dpwssd (%rax), %zmm4, %zmm5 {k1} {z} | 
|  |  | 
|  | // CHECK: vp4dpwssds (%rax), %zmm20, %zmm17 | 
|  | // CHECK: encoding: [0x62,0xe2,0x5f,0x40,0x53,0x08] | 
|  | vp4dpwssds (%rax), %zmm20, %zmm17 | 
|  | // CHECK: vp4dpwssds (%rax), %zmm8, %zmm3 {%k1} | 
|  | // CHECK: encoding: [0x62,0xf2,0x3f,0x49,0x53,0x18] | 
|  | vp4dpwssds (%rax), %zmm8, %zmm3 {k1} | 
|  | // CHECK: vp4dpwssds (%rax), %zmm4, %zmm5 {%k1} {z} | 
|  | // CHECK: encoding: [0x62,0xf2,0x5f,0xc9,0x53,0x28] | 
|  | vp4dpwssds (%rax), %zmm4, %zmm5 {k1} {z} |