// CHECK: encoding: [0x62,0x62,0x7d,0xc9,0x7b,0xc0]
vpbroadcastw %eax, %zmm24 {%k1} {z}
+// CHECK: vpextrw.s $171, %xmm28, %eax
+// CHECK: encoding: [0x62,0x63,0x7d,0x08,0x15,0xe0,0xab]
+ vpextrw.s $0xab, %xmm28, %eax
+
+// CHECK: vpextrw.s $123, %xmm28, %eax
+// CHECK: encoding: [0x62,0x63,0x7d,0x08,0x15,0xe0,0x7b]
+ vpextrw.s $0x7b, %xmm28, %eax
+
+// CHECK: vpextrw.s $123, %xmm28, %r8d
+// CHECK: encoding: [0x62,0x43,0x7d,0x08,0x15,0xe0,0x7b]
+ vpextrw.s $0x7b, %xmm28, %r8d
+
+// CHECK: vpextrw.s $171, %xmm28, %eax
+// CHECK: encoding: [0x62,0x63,0x7d,0x08,0x15,0xe0,0xab]
+ vpextrw.s $0xab, %xmm28, %eax
+
+// CHECK: vpextrw.s $123, %xmm28, %eax
+// CHECK: encoding: [0x62,0x63,0x7d,0x08,0x15,0xe0,0x7b]
+ vpextrw.s $0x7b, %xmm28, %eax
+
+// CHECK: vpextrw.s $123, %xmm28, %r8d
+// CHECK: encoding: [0x62,0x43,0x7d,0x08,0x15,0xe0,0x7b]
+ vpextrw.s $0x7b, %xmm28, %r8d
+
+// CHECK: vpextrw.s $171, %xmm20, %eax
+// CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x15,0xe0,0xab]
+ vpextrw.s $0xab, %xmm20, %eax
+
+// CHECK: vpextrw.s $123, %xmm20, %eax
+// CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x15,0xe0,0x7b]
+ vpextrw.s $0x7b, %xmm20, %eax
+
+// CHECK: vpextrw.s $123, %xmm20, %r8d
+// CHECK: encoding: [0x62,0xc3,0x7d,0x08,0x15,0xe0,0x7b]
+ vpextrw.s $0x7b, %xmm20, %r8d
+
+// CHECK: vpextrw.s $171, %xmm19, %eax
+// CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x15,0xd8,0xab]
+ vpextrw.s $0xab, %xmm19, %eax
+
+// CHECK: vpextrw.s $123, %xmm19, %eax
+// CHECK: encoding: [0x62,0xe3,0x7d,0x08,0x15,0xd8,0x7b]
+ vpextrw.s $0x7b, %xmm19, %eax
+
+// CHECK: vpextrw.s $123, %xmm19, %r8d
+// CHECK: encoding: [0x62,0xc3,0x7d,0x08,0x15,0xd8,0x7b]
+ vpextrw.s $0x7b, %xmm19, %r8d
+