// CHECK: encoding: [0x62,0xf2,0xc5,0x08,0x43,0x92,0xf8,0xfb,0xff,0xff]
vgetexpsd -1032(%rdx), %xmm7, %xmm2
+// CHECK: kunpckbw %k6, %k5, %k5
+// CHECK: encoding: [0xc5,0xd5,0x4b,0xee]
+ kunpckbw %k6, %k5, %k5
+
// CHECK: vgetmantss $171, %xmm12, %xmm2, %xmm3
// CHECK: encoding: [0x62,0xd3,0x6d,0x08,0x27,0xdc,0xab]
vgetmantss $0xab, %xmm12, %xmm2, %xmm3