blob: 8d3fd6f83ae2b5d7abfd46212d86855ec69e14bc [file] [log] [blame]
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: vfmadd132pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x98,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132pd 485498096, %xmm15, %xmm15
// CHECK: vfmadd132pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132pd 485498096, %xmm6, %xmm6
// CHECK: vfmadd132pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132pd 485498096, %ymm7, %ymm7
// CHECK: vfmadd132pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x98,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132pd 485498096, %ymm9, %ymm9
// CHECK: vfmadd132pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x98,0x7c,0x82,0xc0]
vfmadd132pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x98,0x7c,0x82,0x40]
vfmadd132pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0x74,0x82,0xc0]
vfmadd132pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0x74,0x82,0x40]
vfmadd132pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0x7c,0x82,0xc0]
vfmadd132pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd132pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0x7c,0x82,0x40]
vfmadd132pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd132pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x98,0x4c,0x82,0xc0]
vfmadd132pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd132pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x98,0x4c,0x82,0x40]
vfmadd132pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd132pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x98,0x7c,0x02,0x40]
vfmadd132pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd132pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0x74,0x02,0x40]
vfmadd132pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd132pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0x7c,0x02,0x40]
vfmadd132pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmadd132pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x98,0x4c,0x02,0x40]
vfmadd132pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmadd132pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x98,0x7a,0x40]
vfmadd132pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd132pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0x72,0x40]
vfmadd132pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd132pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0x7a,0x40]
vfmadd132pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmadd132pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x98,0x4a,0x40]
vfmadd132pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmadd132pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x98,0x3a]
vfmadd132pd (%rdx), %xmm15, %xmm15
// CHECK: vfmadd132pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0x32]
vfmadd132pd (%rdx), %xmm6, %xmm6
// CHECK: vfmadd132pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0x3a]
vfmadd132pd (%rdx), %ymm7, %ymm7
// CHECK: vfmadd132pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x98,0x0a]
vfmadd132pd (%rdx), %ymm9, %ymm9
// CHECK: vfmadd132pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0x98,0xff]
vfmadd132pd %xmm15, %xmm15, %xmm15
// CHECK: vfmadd132pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x98,0xf6]
vfmadd132pd %xmm6, %xmm6, %xmm6
// CHECK: vfmadd132pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x98,0xff]
vfmadd132pd %ymm7, %ymm7, %ymm7
// CHECK: vfmadd132pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0x98,0xc9]
vfmadd132pd %ymm9, %ymm9, %ymm9
// CHECK: vfmadd132ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x98,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132ps 485498096, %xmm15, %xmm15
// CHECK: vfmadd132ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132ps 485498096, %xmm6, %xmm6
// CHECK: vfmadd132ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132ps 485498096, %ymm7, %ymm7
// CHECK: vfmadd132ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x98,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132ps 485498096, %ymm9, %ymm9
// CHECK: vfmadd132ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x98,0x7c,0x82,0xc0]
vfmadd132ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x98,0x7c,0x82,0x40]
vfmadd132ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0x74,0x82,0xc0]
vfmadd132ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0x74,0x82,0x40]
vfmadd132ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0x7c,0x82,0xc0]
vfmadd132ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd132ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0x7c,0x82,0x40]
vfmadd132ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd132ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x98,0x4c,0x82,0xc0]
vfmadd132ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd132ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x98,0x4c,0x82,0x40]
vfmadd132ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd132ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x98,0x7c,0x02,0x40]
vfmadd132ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd132ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0x74,0x02,0x40]
vfmadd132ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd132ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0x7c,0x02,0x40]
vfmadd132ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmadd132ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x98,0x4c,0x02,0x40]
vfmadd132ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmadd132ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x98,0x7a,0x40]
vfmadd132ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd132ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0x72,0x40]
vfmadd132ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd132ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0x7a,0x40]
vfmadd132ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmadd132ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x98,0x4a,0x40]
vfmadd132ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmadd132ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x98,0x3a]
vfmadd132ps (%rdx), %xmm15, %xmm15
// CHECK: vfmadd132ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0x32]
vfmadd132ps (%rdx), %xmm6, %xmm6
// CHECK: vfmadd132ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0x3a]
vfmadd132ps (%rdx), %ymm7, %ymm7
// CHECK: vfmadd132ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x98,0x0a]
vfmadd132ps (%rdx), %ymm9, %ymm9
// CHECK: vfmadd132ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0x98,0xff]
vfmadd132ps %xmm15, %xmm15, %xmm15
// CHECK: vfmadd132ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x98,0xf6]
vfmadd132ps %xmm6, %xmm6, %xmm6
// CHECK: vfmadd132ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x98,0xff]
vfmadd132ps %ymm7, %ymm7, %ymm7
// CHECK: vfmadd132ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0x98,0xc9]
vfmadd132ps %ymm9, %ymm9, %ymm9
// CHECK: vfmadd132sd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x99,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132sd 485498096, %xmm15, %xmm15
// CHECK: vfmadd132sd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132sd 485498096, %xmm6, %xmm6
// CHECK: vfmadd132sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x99,0x7c,0x82,0xc0]
vfmadd132sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x99,0x7c,0x82,0x40]
vfmadd132sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0x74,0x82,0xc0]
vfmadd132sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0x74,0x82,0x40]
vfmadd132sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x99,0x7c,0x02,0x40]
vfmadd132sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd132sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0x74,0x02,0x40]
vfmadd132sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd132sd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x99,0x7a,0x40]
vfmadd132sd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd132sd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0x72,0x40]
vfmadd132sd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd132sd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x99,0x3a]
vfmadd132sd (%rdx), %xmm15, %xmm15
// CHECK: vfmadd132sd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0x32]
vfmadd132sd (%rdx), %xmm6, %xmm6
// CHECK: vfmadd132sd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0x99,0xff]
vfmadd132sd %xmm15, %xmm15, %xmm15
// CHECK: vfmadd132sd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x99,0xf6]
vfmadd132sd %xmm6, %xmm6, %xmm6
// CHECK: vfmadd132ss 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x99,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132ss 485498096, %xmm15, %xmm15
// CHECK: vfmadd132ss 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd132ss 485498096, %xmm6, %xmm6
// CHECK: vfmadd132ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x99,0x7c,0x82,0xc0]
vfmadd132ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x99,0x7c,0x82,0x40]
vfmadd132ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd132ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0x74,0x82,0xc0]
vfmadd132ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0x74,0x82,0x40]
vfmadd132ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd132ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x99,0x7c,0x02,0x40]
vfmadd132ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd132ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0x74,0x02,0x40]
vfmadd132ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd132ss 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x99,0x7a,0x40]
vfmadd132ss 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd132ss 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0x72,0x40]
vfmadd132ss 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd132ss (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x99,0x3a]
vfmadd132ss (%rdx), %xmm15, %xmm15
// CHECK: vfmadd132ss (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0x32]
vfmadd132ss (%rdx), %xmm6, %xmm6
// CHECK: vfmadd132ss %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0x99,0xff]
vfmadd132ss %xmm15, %xmm15, %xmm15
// CHECK: vfmadd132ss %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x99,0xf6]
vfmadd132ss %xmm6, %xmm6, %xmm6
// CHECK: vfmadd213pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213pd 485498096, %xmm15, %xmm15
// CHECK: vfmadd213pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213pd 485498096, %xmm6, %xmm6
// CHECK: vfmadd213pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213pd 485498096, %ymm7, %ymm7
// CHECK: vfmadd213pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa8,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213pd 485498096, %ymm9, %ymm9
// CHECK: vfmadd213pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa8,0x7c,0x82,0xc0]
vfmadd213pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa8,0x7c,0x82,0x40]
vfmadd213pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0x74,0x82,0xc0]
vfmadd213pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0x74,0x82,0x40]
vfmadd213pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0x7c,0x82,0xc0]
vfmadd213pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd213pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0x7c,0x82,0x40]
vfmadd213pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd213pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa8,0x4c,0x82,0xc0]
vfmadd213pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd213pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa8,0x4c,0x82,0x40]
vfmadd213pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd213pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa8,0x7c,0x02,0x40]
vfmadd213pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd213pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0x74,0x02,0x40]
vfmadd213pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd213pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0x7c,0x02,0x40]
vfmadd213pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmadd213pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa8,0x4c,0x02,0x40]
vfmadd213pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmadd213pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa8,0x7a,0x40]
vfmadd213pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd213pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0x72,0x40]
vfmadd213pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd213pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0x7a,0x40]
vfmadd213pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmadd213pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa8,0x4a,0x40]
vfmadd213pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmadd213pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa8,0x3a]
vfmadd213pd (%rdx), %xmm15, %xmm15
// CHECK: vfmadd213pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0x32]
vfmadd213pd (%rdx), %xmm6, %xmm6
// CHECK: vfmadd213pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0x3a]
vfmadd213pd (%rdx), %ymm7, %ymm7
// CHECK: vfmadd213pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa8,0x0a]
vfmadd213pd (%rdx), %ymm9, %ymm9
// CHECK: vfmadd213pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0xa8,0xff]
vfmadd213pd %xmm15, %xmm15, %xmm15
// CHECK: vfmadd213pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa8,0xf6]
vfmadd213pd %xmm6, %xmm6, %xmm6
// CHECK: vfmadd213pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa8,0xff]
vfmadd213pd %ymm7, %ymm7, %ymm7
// CHECK: vfmadd213pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0xa8,0xc9]
vfmadd213pd %ymm9, %ymm9, %ymm9
// CHECK: vfmadd213ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213ps 485498096, %xmm15, %xmm15
// CHECK: vfmadd213ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213ps 485498096, %xmm6, %xmm6
// CHECK: vfmadd213ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213ps 485498096, %ymm7, %ymm7
// CHECK: vfmadd213ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa8,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213ps 485498096, %ymm9, %ymm9
// CHECK: vfmadd213ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa8,0x7c,0x82,0xc0]
vfmadd213ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa8,0x7c,0x82,0x40]
vfmadd213ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0x74,0x82,0xc0]
vfmadd213ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0x74,0x82,0x40]
vfmadd213ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0x7c,0x82,0xc0]
vfmadd213ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd213ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0x7c,0x82,0x40]
vfmadd213ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd213ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa8,0x4c,0x82,0xc0]
vfmadd213ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd213ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa8,0x4c,0x82,0x40]
vfmadd213ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd213ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa8,0x7c,0x02,0x40]
vfmadd213ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd213ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0x74,0x02,0x40]
vfmadd213ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd213ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0x7c,0x02,0x40]
vfmadd213ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmadd213ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa8,0x4c,0x02,0x40]
vfmadd213ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmadd213ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa8,0x7a,0x40]
vfmadd213ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd213ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0x72,0x40]
vfmadd213ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd213ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0x7a,0x40]
vfmadd213ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmadd213ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa8,0x4a,0x40]
vfmadd213ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmadd213ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa8,0x3a]
vfmadd213ps (%rdx), %xmm15, %xmm15
// CHECK: vfmadd213ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0x32]
vfmadd213ps (%rdx), %xmm6, %xmm6
// CHECK: vfmadd213ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0x3a]
vfmadd213ps (%rdx), %ymm7, %ymm7
// CHECK: vfmadd213ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa8,0x0a]
vfmadd213ps (%rdx), %ymm9, %ymm9
// CHECK: vfmadd213ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0xa8,0xff]
vfmadd213ps %xmm15, %xmm15, %xmm15
// CHECK: vfmadd213ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa8,0xf6]
vfmadd213ps %xmm6, %xmm6, %xmm6
// CHECK: vfmadd213ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa8,0xff]
vfmadd213ps %ymm7, %ymm7, %ymm7
// CHECK: vfmadd213ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0xa8,0xc9]
vfmadd213ps %ymm9, %ymm9, %ymm9
// CHECK: vfmadd213sd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa9,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213sd 485498096, %xmm15, %xmm15
// CHECK: vfmadd213sd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213sd 485498096, %xmm6, %xmm6
// CHECK: vfmadd213sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa9,0x7c,0x82,0xc0]
vfmadd213sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa9,0x7c,0x82,0x40]
vfmadd213sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0x74,0x82,0xc0]
vfmadd213sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0x74,0x82,0x40]
vfmadd213sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa9,0x7c,0x02,0x40]
vfmadd213sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd213sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0x74,0x02,0x40]
vfmadd213sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd213sd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa9,0x7a,0x40]
vfmadd213sd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd213sd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0x72,0x40]
vfmadd213sd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd213sd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa9,0x3a]
vfmadd213sd (%rdx), %xmm15, %xmm15
// CHECK: vfmadd213sd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0x32]
vfmadd213sd (%rdx), %xmm6, %xmm6
// CHECK: vfmadd213sd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0xa9,0xff]
vfmadd213sd %xmm15, %xmm15, %xmm15
// CHECK: vfmadd213sd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa9,0xf6]
vfmadd213sd %xmm6, %xmm6, %xmm6
// CHECK: vfmadd213ss 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa9,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213ss 485498096, %xmm15, %xmm15
// CHECK: vfmadd213ss 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd213ss 485498096, %xmm6, %xmm6
// CHECK: vfmadd213ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa9,0x7c,0x82,0xc0]
vfmadd213ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa9,0x7c,0x82,0x40]
vfmadd213ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd213ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0x74,0x82,0xc0]
vfmadd213ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0x74,0x82,0x40]
vfmadd213ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd213ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa9,0x7c,0x02,0x40]
vfmadd213ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd213ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0x74,0x02,0x40]
vfmadd213ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd213ss 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa9,0x7a,0x40]
vfmadd213ss 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd213ss 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0x72,0x40]
vfmadd213ss 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd213ss (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa9,0x3a]
vfmadd213ss (%rdx), %xmm15, %xmm15
// CHECK: vfmadd213ss (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0x32]
vfmadd213ss (%rdx), %xmm6, %xmm6
// CHECK: vfmadd213ss %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0xa9,0xff]
vfmadd213ss %xmm15, %xmm15, %xmm15
// CHECK: vfmadd213ss %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa9,0xf6]
vfmadd213ss %xmm6, %xmm6, %xmm6
// CHECK: vfmadd231pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231pd 485498096, %xmm15, %xmm15
// CHECK: vfmadd231pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231pd 485498096, %xmm6, %xmm6
// CHECK: vfmadd231pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231pd 485498096, %ymm7, %ymm7
// CHECK: vfmadd231pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb8,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231pd 485498096, %ymm9, %ymm9
// CHECK: vfmadd231pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb8,0x7c,0x82,0xc0]
vfmadd231pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb8,0x7c,0x82,0x40]
vfmadd231pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0x74,0x82,0xc0]
vfmadd231pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0x74,0x82,0x40]
vfmadd231pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0x7c,0x82,0xc0]
vfmadd231pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd231pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0x7c,0x82,0x40]
vfmadd231pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd231pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb8,0x4c,0x82,0xc0]
vfmadd231pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd231pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb8,0x4c,0x82,0x40]
vfmadd231pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd231pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb8,0x7c,0x02,0x40]
vfmadd231pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd231pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0x74,0x02,0x40]
vfmadd231pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd231pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0x7c,0x02,0x40]
vfmadd231pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmadd231pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb8,0x4c,0x02,0x40]
vfmadd231pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmadd231pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb8,0x7a,0x40]
vfmadd231pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd231pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0x72,0x40]
vfmadd231pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd231pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0x7a,0x40]
vfmadd231pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmadd231pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb8,0x4a,0x40]
vfmadd231pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmadd231pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb8,0x3a]
vfmadd231pd (%rdx), %xmm15, %xmm15
// CHECK: vfmadd231pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0x32]
vfmadd231pd (%rdx), %xmm6, %xmm6
// CHECK: vfmadd231pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0x3a]
vfmadd231pd (%rdx), %ymm7, %ymm7
// CHECK: vfmadd231pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb8,0x0a]
vfmadd231pd (%rdx), %ymm9, %ymm9
// CHECK: vfmadd231pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0xb8,0xff]
vfmadd231pd %xmm15, %xmm15, %xmm15
// CHECK: vfmadd231pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb8,0xf6]
vfmadd231pd %xmm6, %xmm6, %xmm6
// CHECK: vfmadd231pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb8,0xff]
vfmadd231pd %ymm7, %ymm7, %ymm7
// CHECK: vfmadd231pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0xb8,0xc9]
vfmadd231pd %ymm9, %ymm9, %ymm9
// CHECK: vfmadd231ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231ps 485498096, %xmm15, %xmm15
// CHECK: vfmadd231ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231ps 485498096, %xmm6, %xmm6
// CHECK: vfmadd231ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231ps 485498096, %ymm7, %ymm7
// CHECK: vfmadd231ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb8,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231ps 485498096, %ymm9, %ymm9
// CHECK: vfmadd231ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb8,0x7c,0x82,0xc0]
vfmadd231ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb8,0x7c,0x82,0x40]
vfmadd231ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0x74,0x82,0xc0]
vfmadd231ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0x74,0x82,0x40]
vfmadd231ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0x7c,0x82,0xc0]
vfmadd231ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd231ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0x7c,0x82,0x40]
vfmadd231ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmadd231ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb8,0x4c,0x82,0xc0]
vfmadd231ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd231ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb8,0x4c,0x82,0x40]
vfmadd231ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmadd231ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb8,0x7c,0x02,0x40]
vfmadd231ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd231ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0x74,0x02,0x40]
vfmadd231ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd231ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0x7c,0x02,0x40]
vfmadd231ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmadd231ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb8,0x4c,0x02,0x40]
vfmadd231ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmadd231ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb8,0x7a,0x40]
vfmadd231ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd231ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0x72,0x40]
vfmadd231ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd231ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0x7a,0x40]
vfmadd231ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmadd231ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb8,0x4a,0x40]
vfmadd231ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmadd231ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb8,0x3a]
vfmadd231ps (%rdx), %xmm15, %xmm15
// CHECK: vfmadd231ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0x32]
vfmadd231ps (%rdx), %xmm6, %xmm6
// CHECK: vfmadd231ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0x3a]
vfmadd231ps (%rdx), %ymm7, %ymm7
// CHECK: vfmadd231ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb8,0x0a]
vfmadd231ps (%rdx), %ymm9, %ymm9
// CHECK: vfmadd231ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0xb8,0xff]
vfmadd231ps %xmm15, %xmm15, %xmm15
// CHECK: vfmadd231ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb8,0xf6]
vfmadd231ps %xmm6, %xmm6, %xmm6
// CHECK: vfmadd231ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb8,0xff]
vfmadd231ps %ymm7, %ymm7, %ymm7
// CHECK: vfmadd231ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0xb8,0xc9]
vfmadd231ps %ymm9, %ymm9, %ymm9
// CHECK: vfmadd231sd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb9,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231sd 485498096, %xmm15, %xmm15
// CHECK: vfmadd231sd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231sd 485498096, %xmm6, %xmm6
// CHECK: vfmadd231sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb9,0x7c,0x82,0xc0]
vfmadd231sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb9,0x7c,0x82,0x40]
vfmadd231sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0x74,0x82,0xc0]
vfmadd231sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0x74,0x82,0x40]
vfmadd231sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb9,0x7c,0x02,0x40]
vfmadd231sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd231sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0x74,0x02,0x40]
vfmadd231sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd231sd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb9,0x7a,0x40]
vfmadd231sd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd231sd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0x72,0x40]
vfmadd231sd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd231sd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb9,0x3a]
vfmadd231sd (%rdx), %xmm15, %xmm15
// CHECK: vfmadd231sd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0x32]
vfmadd231sd (%rdx), %xmm6, %xmm6
// CHECK: vfmadd231sd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0xb9,0xff]
vfmadd231sd %xmm15, %xmm15, %xmm15
// CHECK: vfmadd231sd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb9,0xf6]
vfmadd231sd %xmm6, %xmm6, %xmm6
// CHECK: vfmadd231ss 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb9,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231ss 485498096, %xmm15, %xmm15
// CHECK: vfmadd231ss 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmadd231ss 485498096, %xmm6, %xmm6
// CHECK: vfmadd231ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb9,0x7c,0x82,0xc0]
vfmadd231ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb9,0x7c,0x82,0x40]
vfmadd231ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmadd231ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0x74,0x82,0xc0]
vfmadd231ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0x74,0x82,0x40]
vfmadd231ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmadd231ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb9,0x7c,0x02,0x40]
vfmadd231ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmadd231ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0x74,0x02,0x40]
vfmadd231ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmadd231ss 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb9,0x7a,0x40]
vfmadd231ss 64(%rdx), %xmm15, %xmm15
// CHECK: vfmadd231ss 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0x72,0x40]
vfmadd231ss 64(%rdx), %xmm6, %xmm6
// CHECK: vfmadd231ss (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb9,0x3a]
vfmadd231ss (%rdx), %xmm15, %xmm15
// CHECK: vfmadd231ss (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0x32]
vfmadd231ss (%rdx), %xmm6, %xmm6
// CHECK: vfmadd231ss %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0xb9,0xff]
vfmadd231ss %xmm15, %xmm15, %xmm15
// CHECK: vfmadd231ss %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb9,0xf6]
vfmadd231ss %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub132pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x96,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132pd 485498096, %xmm15, %xmm15
// CHECK: vfmaddsub132pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132pd 485498096, %xmm6, %xmm6
// CHECK: vfmaddsub132pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132pd 485498096, %ymm7, %ymm7
// CHECK: vfmaddsub132pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x96,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132pd 485498096, %ymm9, %ymm9
// CHECK: vfmaddsub132pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x96,0x7c,0x82,0xc0]
vfmaddsub132pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub132pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x96,0x7c,0x82,0x40]
vfmaddsub132pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub132pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0x74,0x82,0xc0]
vfmaddsub132pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub132pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0x74,0x82,0x40]
vfmaddsub132pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub132pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0x7c,0x82,0xc0]
vfmaddsub132pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub132pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0x7c,0x82,0x40]
vfmaddsub132pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub132pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x96,0x4c,0x82,0xc0]
vfmaddsub132pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub132pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x96,0x4c,0x82,0x40]
vfmaddsub132pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub132pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x96,0x7c,0x02,0x40]
vfmaddsub132pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmaddsub132pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0x74,0x02,0x40]
vfmaddsub132pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmaddsub132pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0x7c,0x02,0x40]
vfmaddsub132pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmaddsub132pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x96,0x4c,0x02,0x40]
vfmaddsub132pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmaddsub132pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x96,0x7a,0x40]
vfmaddsub132pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub132pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0x72,0x40]
vfmaddsub132pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub132pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0x7a,0x40]
vfmaddsub132pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub132pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x96,0x4a,0x40]
vfmaddsub132pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub132pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x96,0x3a]
vfmaddsub132pd (%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub132pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0x32]
vfmaddsub132pd (%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub132pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0x3a]
vfmaddsub132pd (%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub132pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x96,0x0a]
vfmaddsub132pd (%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub132pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0x96,0xff]
vfmaddsub132pd %xmm15, %xmm15, %xmm15
// CHECK: vfmaddsub132pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x96,0xf6]
vfmaddsub132pd %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub132pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x96,0xff]
vfmaddsub132pd %ymm7, %ymm7, %ymm7
// CHECK: vfmaddsub132pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0x96,0xc9]
vfmaddsub132pd %ymm9, %ymm9, %ymm9
// CHECK: vfmaddsub132ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x96,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132ps 485498096, %xmm15, %xmm15
// CHECK: vfmaddsub132ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132ps 485498096, %xmm6, %xmm6
// CHECK: vfmaddsub132ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132ps 485498096, %ymm7, %ymm7
// CHECK: vfmaddsub132ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x96,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub132ps 485498096, %ymm9, %ymm9
// CHECK: vfmaddsub132ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x96,0x7c,0x82,0xc0]
vfmaddsub132ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub132ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x96,0x7c,0x82,0x40]
vfmaddsub132ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub132ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0x74,0x82,0xc0]
vfmaddsub132ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub132ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0x74,0x82,0x40]
vfmaddsub132ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub132ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0x7c,0x82,0xc0]
vfmaddsub132ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub132ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0x7c,0x82,0x40]
vfmaddsub132ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub132ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x96,0x4c,0x82,0xc0]
vfmaddsub132ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub132ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x96,0x4c,0x82,0x40]
vfmaddsub132ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub132ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x96,0x7c,0x02,0x40]
vfmaddsub132ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmaddsub132ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0x74,0x02,0x40]
vfmaddsub132ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmaddsub132ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0x7c,0x02,0x40]
vfmaddsub132ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmaddsub132ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x96,0x4c,0x02,0x40]
vfmaddsub132ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmaddsub132ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x96,0x7a,0x40]
vfmaddsub132ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub132ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0x72,0x40]
vfmaddsub132ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub132ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0x7a,0x40]
vfmaddsub132ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub132ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x96,0x4a,0x40]
vfmaddsub132ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub132ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x96,0x3a]
vfmaddsub132ps (%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub132ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0x32]
vfmaddsub132ps (%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub132ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0x3a]
vfmaddsub132ps (%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub132ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x96,0x0a]
vfmaddsub132ps (%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub132ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0x96,0xff]
vfmaddsub132ps %xmm15, %xmm15, %xmm15
// CHECK: vfmaddsub132ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x96,0xf6]
vfmaddsub132ps %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub132ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x96,0xff]
vfmaddsub132ps %ymm7, %ymm7, %ymm7
// CHECK: vfmaddsub132ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0x96,0xc9]
vfmaddsub132ps %ymm9, %ymm9, %ymm9
// CHECK: vfmaddsub213pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213pd 485498096, %xmm15, %xmm15
// CHECK: vfmaddsub213pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213pd 485498096, %xmm6, %xmm6
// CHECK: vfmaddsub213pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213pd 485498096, %ymm7, %ymm7
// CHECK: vfmaddsub213pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa6,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213pd 485498096, %ymm9, %ymm9
// CHECK: vfmaddsub213pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa6,0x7c,0x82,0xc0]
vfmaddsub213pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub213pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa6,0x7c,0x82,0x40]
vfmaddsub213pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub213pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0x74,0x82,0xc0]
vfmaddsub213pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub213pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0x74,0x82,0x40]
vfmaddsub213pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub213pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0x7c,0x82,0xc0]
vfmaddsub213pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub213pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0x7c,0x82,0x40]
vfmaddsub213pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub213pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa6,0x4c,0x82,0xc0]
vfmaddsub213pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub213pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa6,0x4c,0x82,0x40]
vfmaddsub213pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub213pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa6,0x7c,0x02,0x40]
vfmaddsub213pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmaddsub213pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0x74,0x02,0x40]
vfmaddsub213pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmaddsub213pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0x7c,0x02,0x40]
vfmaddsub213pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmaddsub213pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa6,0x4c,0x02,0x40]
vfmaddsub213pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmaddsub213pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa6,0x7a,0x40]
vfmaddsub213pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub213pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0x72,0x40]
vfmaddsub213pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub213pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0x7a,0x40]
vfmaddsub213pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub213pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa6,0x4a,0x40]
vfmaddsub213pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub213pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xa6,0x3a]
vfmaddsub213pd (%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub213pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0x32]
vfmaddsub213pd (%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub213pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0x3a]
vfmaddsub213pd (%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub213pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xa6,0x0a]
vfmaddsub213pd (%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub213pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0xa6,0xff]
vfmaddsub213pd %xmm15, %xmm15, %xmm15
// CHECK: vfmaddsub213pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xa6,0xf6]
vfmaddsub213pd %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub213pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xa6,0xff]
vfmaddsub213pd %ymm7, %ymm7, %ymm7
// CHECK: vfmaddsub213pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0xa6,0xc9]
vfmaddsub213pd %ymm9, %ymm9, %ymm9
// CHECK: vfmaddsub213ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213ps 485498096, %xmm15, %xmm15
// CHECK: vfmaddsub213ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213ps 485498096, %xmm6, %xmm6
// CHECK: vfmaddsub213ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213ps 485498096, %ymm7, %ymm7
// CHECK: vfmaddsub213ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa6,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub213ps 485498096, %ymm9, %ymm9
// CHECK: vfmaddsub213ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa6,0x7c,0x82,0xc0]
vfmaddsub213ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub213ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa6,0x7c,0x82,0x40]
vfmaddsub213ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub213ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0x74,0x82,0xc0]
vfmaddsub213ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub213ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0x74,0x82,0x40]
vfmaddsub213ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub213ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0x7c,0x82,0xc0]
vfmaddsub213ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub213ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0x7c,0x82,0x40]
vfmaddsub213ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub213ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa6,0x4c,0x82,0xc0]
vfmaddsub213ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub213ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa6,0x4c,0x82,0x40]
vfmaddsub213ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub213ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa6,0x7c,0x02,0x40]
vfmaddsub213ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmaddsub213ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0x74,0x02,0x40]
vfmaddsub213ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmaddsub213ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0x7c,0x02,0x40]
vfmaddsub213ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmaddsub213ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa6,0x4c,0x02,0x40]
vfmaddsub213ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmaddsub213ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa6,0x7a,0x40]
vfmaddsub213ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub213ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0x72,0x40]
vfmaddsub213ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub213ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0x7a,0x40]
vfmaddsub213ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub213ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa6,0x4a,0x40]
vfmaddsub213ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub213ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xa6,0x3a]
vfmaddsub213ps (%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub213ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0x32]
vfmaddsub213ps (%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub213ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0x3a]
vfmaddsub213ps (%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub213ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xa6,0x0a]
vfmaddsub213ps (%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub213ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0xa6,0xff]
vfmaddsub213ps %xmm15, %xmm15, %xmm15
// CHECK: vfmaddsub213ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xa6,0xf6]
vfmaddsub213ps %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub213ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xa6,0xff]
vfmaddsub213ps %ymm7, %ymm7, %ymm7
// CHECK: vfmaddsub213ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0xa6,0xc9]
vfmaddsub213ps %ymm9, %ymm9, %ymm9
// CHECK: vfmaddsub231pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231pd 485498096, %xmm15, %xmm15
// CHECK: vfmaddsub231pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231pd 485498096, %xmm6, %xmm6
// CHECK: vfmaddsub231pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231pd 485498096, %ymm7, %ymm7
// CHECK: vfmaddsub231pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb6,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231pd 485498096, %ymm9, %ymm9
// CHECK: vfmaddsub231pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb6,0x7c,0x82,0xc0]
vfmaddsub231pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub231pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb6,0x7c,0x82,0x40]
vfmaddsub231pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub231pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0x74,0x82,0xc0]
vfmaddsub231pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub231pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0x74,0x82,0x40]
vfmaddsub231pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub231pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0x7c,0x82,0xc0]
vfmaddsub231pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub231pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0x7c,0x82,0x40]
vfmaddsub231pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub231pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb6,0x4c,0x82,0xc0]
vfmaddsub231pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub231pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb6,0x4c,0x82,0x40]
vfmaddsub231pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub231pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb6,0x7c,0x02,0x40]
vfmaddsub231pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmaddsub231pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0x74,0x02,0x40]
vfmaddsub231pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmaddsub231pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0x7c,0x02,0x40]
vfmaddsub231pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmaddsub231pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb6,0x4c,0x02,0x40]
vfmaddsub231pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmaddsub231pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb6,0x7a,0x40]
vfmaddsub231pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub231pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0x72,0x40]
vfmaddsub231pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub231pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0x7a,0x40]
vfmaddsub231pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub231pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb6,0x4a,0x40]
vfmaddsub231pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub231pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xb6,0x3a]
vfmaddsub231pd (%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub231pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0x32]
vfmaddsub231pd (%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub231pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0x3a]
vfmaddsub231pd (%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub231pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xb6,0x0a]
vfmaddsub231pd (%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub231pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0xb6,0xff]
vfmaddsub231pd %xmm15, %xmm15, %xmm15
// CHECK: vfmaddsub231pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xb6,0xf6]
vfmaddsub231pd %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub231pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xb6,0xff]
vfmaddsub231pd %ymm7, %ymm7, %ymm7
// CHECK: vfmaddsub231pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0xb6,0xc9]
vfmaddsub231pd %ymm9, %ymm9, %ymm9
// CHECK: vfmaddsub231ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231ps 485498096, %xmm15, %xmm15
// CHECK: vfmaddsub231ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231ps 485498096, %xmm6, %xmm6
// CHECK: vfmaddsub231ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231ps 485498096, %ymm7, %ymm7
// CHECK: vfmaddsub231ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb6,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmaddsub231ps 485498096, %ymm9, %ymm9
// CHECK: vfmaddsub231ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb6,0x7c,0x82,0xc0]
vfmaddsub231ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub231ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb6,0x7c,0x82,0x40]
vfmaddsub231ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmaddsub231ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0x74,0x82,0xc0]
vfmaddsub231ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub231ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0x74,0x82,0x40]
vfmaddsub231ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmaddsub231ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0x7c,0x82,0xc0]
vfmaddsub231ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub231ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0x7c,0x82,0x40]
vfmaddsub231ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmaddsub231ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb6,0x4c,0x82,0xc0]
vfmaddsub231ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub231ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb6,0x4c,0x82,0x40]
vfmaddsub231ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmaddsub231ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb6,0x7c,0x02,0x40]
vfmaddsub231ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmaddsub231ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0x74,0x02,0x40]
vfmaddsub231ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmaddsub231ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0x7c,0x02,0x40]
vfmaddsub231ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmaddsub231ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb6,0x4c,0x02,0x40]
vfmaddsub231ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmaddsub231ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb6,0x7a,0x40]
vfmaddsub231ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub231ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0x72,0x40]
vfmaddsub231ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub231ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0x7a,0x40]
vfmaddsub231ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub231ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb6,0x4a,0x40]
vfmaddsub231ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub231ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0xb6,0x3a]
vfmaddsub231ps (%rdx), %xmm15, %xmm15
// CHECK: vfmaddsub231ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0x32]
vfmaddsub231ps (%rdx), %xmm6, %xmm6
// CHECK: vfmaddsub231ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0x3a]
vfmaddsub231ps (%rdx), %ymm7, %ymm7
// CHECK: vfmaddsub231ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0xb6,0x0a]
vfmaddsub231ps (%rdx), %ymm9, %ymm9
// CHECK: vfmaddsub231ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0xb6,0xff]
vfmaddsub231ps %xmm15, %xmm15, %xmm15
// CHECK: vfmaddsub231ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0xb6,0xf6]
vfmaddsub231ps %xmm6, %xmm6, %xmm6
// CHECK: vfmaddsub231ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0xb6,0xff]
vfmaddsub231ps %ymm7, %ymm7, %ymm7
// CHECK: vfmaddsub231ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0xb6,0xc9]
vfmaddsub231ps %ymm9, %ymm9, %ymm9
// CHECK: vfmsub132pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132pd 485498096, %xmm15, %xmm15
// CHECK: vfmsub132pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132pd 485498096, %xmm6, %xmm6
// CHECK: vfmsub132pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132pd 485498096, %ymm7, %ymm7
// CHECK: vfmsub132pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x9a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132pd 485498096, %ymm9, %ymm9
// CHECK: vfmsub132pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9a,0x7c,0x82,0xc0]
vfmsub132pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9a,0x7c,0x82,0x40]
vfmsub132pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0x74,0x82,0xc0]
vfmsub132pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0x74,0x82,0x40]
vfmsub132pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0x7c,0x82,0xc0]
vfmsub132pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmsub132pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0x7c,0x82,0x40]
vfmsub132pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmsub132pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x9a,0x4c,0x82,0xc0]
vfmsub132pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmsub132pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x9a,0x4c,0x82,0x40]
vfmsub132pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmsub132pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9a,0x7c,0x02,0x40]
vfmsub132pd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmsub132pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0x74,0x02,0x40]
vfmsub132pd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmsub132pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0x7c,0x02,0x40]
vfmsub132pd 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmsub132pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x9a,0x4c,0x02,0x40]
vfmsub132pd 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmsub132pd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9a,0x7a,0x40]
vfmsub132pd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmsub132pd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0x72,0x40]
vfmsub132pd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmsub132pd 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0x7a,0x40]
vfmsub132pd 64(%rdx), %ymm7, %ymm7
// CHECK: vfmsub132pd 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x9a,0x4a,0x40]
vfmsub132pd 64(%rdx), %ymm9, %ymm9
// CHECK: vfmsub132pd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9a,0x3a]
vfmsub132pd (%rdx), %xmm15, %xmm15
// CHECK: vfmsub132pd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0x32]
vfmsub132pd (%rdx), %xmm6, %xmm6
// CHECK: vfmsub132pd (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0x3a]
vfmsub132pd (%rdx), %ymm7, %ymm7
// CHECK: vfmsub132pd (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0x9a,0x0a]
vfmsub132pd (%rdx), %ymm9, %ymm9
// CHECK: vfmsub132pd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0x9a,0xff]
vfmsub132pd %xmm15, %xmm15, %xmm15
// CHECK: vfmsub132pd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9a,0xf6]
vfmsub132pd %xmm6, %xmm6, %xmm6
// CHECK: vfmsub132pd %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0x9a,0xff]
vfmsub132pd %ymm7, %ymm7, %ymm7
// CHECK: vfmsub132pd %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0xb5,0x9a,0xc9]
vfmsub132pd %ymm9, %ymm9, %ymm9
// CHECK: vfmsub132ps 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132ps 485498096, %xmm15, %xmm15
// CHECK: vfmsub132ps 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132ps 485498096, %xmm6, %xmm6
// CHECK: vfmsub132ps 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132ps 485498096, %ymm7, %ymm7
// CHECK: vfmsub132ps 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x9a,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132ps 485498096, %ymm9, %ymm9
// CHECK: vfmsub132ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9a,0x7c,0x82,0xc0]
vfmsub132ps -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9a,0x7c,0x82,0x40]
vfmsub132ps 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0x74,0x82,0xc0]
vfmsub132ps -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0x74,0x82,0x40]
vfmsub132ps 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0x7c,0x82,0xc0]
vfmsub132ps -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmsub132ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0x7c,0x82,0x40]
vfmsub132ps 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmsub132ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x9a,0x4c,0x82,0xc0]
vfmsub132ps -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmsub132ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x9a,0x4c,0x82,0x40]
vfmsub132ps 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmsub132ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9a,0x7c,0x02,0x40]
vfmsub132ps 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmsub132ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0x74,0x02,0x40]
vfmsub132ps 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmsub132ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0x7c,0x02,0x40]
vfmsub132ps 64(%rdx,%rax), %ymm7, %ymm7
// CHECK: vfmsub132ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x9a,0x4c,0x02,0x40]
vfmsub132ps 64(%rdx,%rax), %ymm9, %ymm9
// CHECK: vfmsub132ps 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9a,0x7a,0x40]
vfmsub132ps 64(%rdx), %xmm15, %xmm15
// CHECK: vfmsub132ps 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0x72,0x40]
vfmsub132ps 64(%rdx), %xmm6, %xmm6
// CHECK: vfmsub132ps 64(%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0x7a,0x40]
vfmsub132ps 64(%rdx), %ymm7, %ymm7
// CHECK: vfmsub132ps 64(%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x9a,0x4a,0x40]
vfmsub132ps 64(%rdx), %ymm9, %ymm9
// CHECK: vfmsub132ps (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9a,0x3a]
vfmsub132ps (%rdx), %xmm15, %xmm15
// CHECK: vfmsub132ps (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0x32]
vfmsub132ps (%rdx), %xmm6, %xmm6
// CHECK: vfmsub132ps (%rdx), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0x3a]
vfmsub132ps (%rdx), %ymm7, %ymm7
// CHECK: vfmsub132ps (%rdx), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0x35,0x9a,0x0a]
vfmsub132ps (%rdx), %ymm9, %ymm9
// CHECK: vfmsub132ps %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0x9a,0xff]
vfmsub132ps %xmm15, %xmm15, %xmm15
// CHECK: vfmsub132ps %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9a,0xf6]
vfmsub132ps %xmm6, %xmm6, %xmm6
// CHECK: vfmsub132ps %ymm7, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0x45,0x9a,0xff]
vfmsub132ps %ymm7, %ymm7, %ymm7
// CHECK: vfmsub132ps %ymm9, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x42,0x35,0x9a,0xc9]
vfmsub132ps %ymm9, %ymm9, %ymm9
// CHECK: vfmsub132sd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9b,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132sd 485498096, %xmm15, %xmm15
// CHECK: vfmsub132sd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132sd 485498096, %xmm6, %xmm6
// CHECK: vfmsub132sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9b,0x7c,0x82,0xc0]
vfmsub132sd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9b,0x7c,0x82,0x40]
vfmsub132sd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0x74,0x82,0xc0]
vfmsub132sd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0x74,0x82,0x40]
vfmsub132sd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9b,0x7c,0x02,0x40]
vfmsub132sd 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmsub132sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0x74,0x02,0x40]
vfmsub132sd 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmsub132sd 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9b,0x7a,0x40]
vfmsub132sd 64(%rdx), %xmm15, %xmm15
// CHECK: vfmsub132sd 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0x72,0x40]
vfmsub132sd 64(%rdx), %xmm6, %xmm6
// CHECK: vfmsub132sd (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0x9b,0x3a]
vfmsub132sd (%rdx), %xmm15, %xmm15
// CHECK: vfmsub132sd (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0x32]
vfmsub132sd (%rdx), %xmm6, %xmm6
// CHECK: vfmsub132sd %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x81,0x9b,0xff]
vfmsub132sd %xmm15, %xmm15, %xmm15
// CHECK: vfmsub132sd %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0x9b,0xf6]
vfmsub132sd %xmm6, %xmm6, %xmm6
// CHECK: vfmsub132ss 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9b,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132ss 485498096, %xmm15, %xmm15
// CHECK: vfmsub132ss 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub132ss 485498096, %xmm6, %xmm6
// CHECK: vfmsub132ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9b,0x7c,0x82,0xc0]
vfmsub132ss -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9b,0x7c,0x82,0x40]
vfmsub132ss 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub132ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0x74,0x82,0xc0]
vfmsub132ss -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0x74,0x82,0x40]
vfmsub132ss 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub132ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9b,0x7c,0x02,0x40]
vfmsub132ss 64(%rdx,%rax), %xmm15, %xmm15
// CHECK: vfmsub132ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0x74,0x02,0x40]
vfmsub132ss 64(%rdx,%rax), %xmm6, %xmm6
// CHECK: vfmsub132ss 64(%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9b,0x7a,0x40]
vfmsub132ss 64(%rdx), %xmm15, %xmm15
// CHECK: vfmsub132ss 64(%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0x72,0x40]
vfmsub132ss 64(%rdx), %xmm6, %xmm6
// CHECK: vfmsub132ss (%rdx), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x01,0x9b,0x3a]
vfmsub132ss (%rdx), %xmm15, %xmm15
// CHECK: vfmsub132ss (%rdx), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0x32]
vfmsub132ss (%rdx), %xmm6, %xmm6
// CHECK: vfmsub132ss %xmm15, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x42,0x01,0x9b,0xff]
vfmsub132ss %xmm15, %xmm15, %xmm15
// CHECK: vfmsub132ss %xmm6, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0x49,0x9b,0xf6]
vfmsub132ss %xmm6, %xmm6, %xmm6
// CHECK: vfmsub213pd 485498096, %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xaa,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub213pd 485498096, %xmm15, %xmm15
// CHECK: vfmsub213pd 485498096, %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xaa,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub213pd 485498096, %xmm6, %xmm6
// CHECK: vfmsub213pd 485498096, %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xaa,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub213pd 485498096, %ymm7, %ymm7
// CHECK: vfmsub213pd 485498096, %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xaa,0x0c,0x25,0xf0,0x1c,0xf0,0x1c]
vfmsub213pd 485498096, %ymm9, %ymm9
// CHECK: vfmsub213pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xaa,0x7c,0x82,0xc0]
vfmsub213pd -64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub213pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: encoding: [0xc4,0x62,0x81,0xaa,0x7c,0x82,0x40]
vfmsub213pd 64(%rdx,%rax,4), %xmm15, %xmm15
// CHECK: vfmsub213pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xaa,0x74,0x82,0xc0]
vfmsub213pd -64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub213pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: encoding: [0xc4,0xe2,0xc9,0xaa,0x74,0x82,0x40]
vfmsub213pd 64(%rdx,%rax,4), %xmm6, %xmm6
// CHECK: vfmsub213pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xaa,0x7c,0x82,0xc0]
vfmsub213pd -64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmsub213pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: encoding: [0xc4,0xe2,0xc5,0xaa,0x7c,0x82,0x40]
vfmsub213pd 64(%rdx,%rax,4), %ymm7, %ymm7
// CHECK: vfmsub213pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xaa,0x4c,0x82,0xc0]
vfmsub213pd -64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmsub213pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: encoding: [0xc4,0x62,0xb5,0xaa,0x4c,0x82,0x40]
vfmsub213pd 64(%rdx,%rax,4), %ymm9, %ymm9
// CHECK: vfmsub213pd 64(%rdx,%rax