// CHECK: encoding: [0x62,0x61,0x7e,0x28,0x12,0x82,0xe0,0xef,0xff,0xff]
vmovsldup -4128(%rdx), %ymm24
+// CHECK: vmovddup %xmm23, %xmm17
+// CHECK: encoding: [0x62,0xa1,0xff,0x08,0x12,0xcf]
+ vmovddup %xmm23, %xmm17
+
+// CHECK: vmovddup %xmm23, %xmm17 {%k6}
+// CHECK: encoding: [0x62,0xa1,0xff,0x0e,0x12,0xcf]
+ vmovddup %xmm23, %xmm17 {%k6}
+
+// CHECK: vmovddup %xmm23, %xmm17 {%k6} {z}
+// CHECK: encoding: [0x62,0xa1,0xff,0x8e,0x12,0xcf]
+ vmovddup %xmm23, %xmm17 {%k6} {z}
+
+// CHECK: vmovddup (%rcx), %xmm17
+// CHECK: encoding: [0x62,0xe1,0xff,0x08,0x12,0x09]
+ vmovddup (%rcx), %xmm17
+
+// CHECK: vmovddup 291(%rax,%r14,8), %xmm17
+// CHECK: encoding: [0x62,0xa1,0xff,0x08,0x12,0x8c,0xf0,0x23,0x01,0x00,0x00]
+ vmovddup 291(%rax,%r14,8), %xmm17
+
+// CHECK: vmovddup 1016(%rdx), %xmm17
+// CHECK: encoding: [0x62,0xe1,0xff,0x08,0x12,0x4a,0x7f]
+ vmovddup 1016(%rdx), %xmm17
+
+// CHECK: vmovddup 1024(%rdx), %xmm17
+// CHECK: encoding: [0x62,0xe1,0xff,0x08,0x12,0x8a,0x00,0x04,0x00,0x00]
+ vmovddup 1024(%rdx), %xmm17
+
+// CHECK: vmovddup -1024(%rdx), %xmm17
+// CHECK: encoding: [0x62,0xe1,0xff,0x08,0x12,0x4a,0x80]
+ vmovddup -1024(%rdx), %xmm17
+
+// CHECK: vmovddup -1032(%rdx), %xmm17
+// CHECK: encoding: [0x62,0xe1,0xff,0x08,0x12,0x8a,0xf8,0xfb,0xff,0xff]
+ vmovddup -1032(%rdx), %xmm17
+
+// CHECK: vmovddup %ymm25, %ymm18
+// CHECK: encoding: [0x62,0x81,0xff,0x28,0x12,0xd1]
+ vmovddup %ymm25, %ymm18
+
+// CHECK: vmovddup %ymm25, %ymm18 {%k4}
+// CHECK: encoding: [0x62,0x81,0xff,0x2c,0x12,0xd1]
+ vmovddup %ymm25, %ymm18 {%k4}
+
+// CHECK: vmovddup %ymm25, %ymm18 {%k4} {z}
+// CHECK: encoding: [0x62,0x81,0xff,0xac,0x12,0xd1]
+ vmovddup %ymm25, %ymm18 {%k4} {z}
+
+// CHECK: vmovddup (%rcx), %ymm18
+// CHECK: encoding: [0x62,0xe1,0xff,0x28,0x12,0x11]
+ vmovddup (%rcx), %ymm18
+
+// CHECK: vmovddup 291(%rax,%r14,8), %ymm18
+// CHECK: encoding: [0x62,0xa1,0xff,0x28,0x12,0x94,0xf0,0x23,0x01,0x00,0x00]
+ vmovddup 291(%rax,%r14,8), %ymm18
+
+// CHECK: vmovddup 4064(%rdx), %ymm18
+// CHECK: encoding: [0x62,0xe1,0xff,0x28,0x12,0x52,0x7f]
+ vmovddup 4064(%rdx), %ymm18
+
+// CHECK: vmovddup 4096(%rdx), %ymm18
+// CHECK: encoding: [0x62,0xe1,0xff,0x28,0x12,0x92,0x00,0x10,0x00,0x00]
+ vmovddup 4096(%rdx), %ymm18
+
+// CHECK: vmovddup -4096(%rdx), %ymm18
+// CHECK: encoding: [0x62,0xe1,0xff,0x28,0x12,0x52,0x80]
+ vmovddup -4096(%rdx), %ymm18
+
+// CHECK: vmovddup -4128(%rdx), %ymm18
+// CHECK: encoding: [0x62,0xe1,0xff,0x28,0x12,0x92,0xe0,0xef,0xff,0xff]
+ vmovddup -4128(%rdx), %ymm18
+
// CHECK: vmovapd.s %xmm27, %xmm26
// CHECK: encoding: [0x62,0x01,0xfd,0x08,0x29,0xda]
vmovapd.s %xmm27, %xmm26