blob: 40f45e6e389455c1c7eb6c30d52b0b4235c44e29 [file] [log] [blame]
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: vaesenc %ymm3, %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0xcb]
vaesenc %ymm3, %ymm2, %ymm1
// CHECK: vaesenclast %ymm3, %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0xcb]
vaesenclast %ymm3, %ymm2, %ymm1
// CHECK: vaesdec %ymm3, %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0xcb]
vaesdec %ymm3, %ymm2, %ymm1
// CHECK: vaesdeclast %ymm3, %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0xcb]
vaesdeclast %ymm3, %ymm2, %ymm1
// CHECK: vaesenc (%rcx), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0x09]
vaesenc (%rcx), %ymm2, %ymm1
// CHECK: vaesenc -4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0x4c,0x24,0xfc]
vaesenc -4(%rsp), %ymm2, %ymm1
// CHECK: vaesenc 4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0x4c,0x24,0x04]
vaesenc 4(%rsp), %ymm2, %ymm1
// CHECK: vaesenc 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdc,0x8c,0xf1,0x00,0x00,0x00,0x10]
vaesenc 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesenc -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdc,0x8c,0xf1,0x00,0x00,0x00,0xe0]
vaesenc -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesenc -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdc,0x8c,0xf1,0x02,0x00,0x00,0xe0]
vaesenc -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesenclast (%rcx), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0x09]
vaesenclast (%rcx), %ymm2, %ymm1
// CHECK: vaesenclast -4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0x4c,0x24,0xfc]
vaesenclast -4(%rsp), %ymm2, %ymm1
// CHECK: vaesenclast 4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0x4c,0x24,0x04]
vaesenclast 4(%rsp), %ymm2, %ymm1
// CHECK: vaesenclast 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdd,0x8c,0xf1,0x00,0x00,0x00,0x10]
vaesenclast 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesenclast -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdd,0x8c,0xf1,0x00,0x00,0x00,0xe0]
vaesenclast -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesenclast -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdd,0x8c,0xf1,0x02,0x00,0x00,0xe0]
vaesenclast -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesdec (%rcx), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0x09]
vaesdec (%rcx), %ymm2, %ymm1
// CHECK: vaesdec -4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0x4c,0x24,0xfc]
vaesdec -4(%rsp), %ymm2, %ymm1
// CHECK: vaesdec 4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0x4c,0x24,0x04]
vaesdec 4(%rsp), %ymm2, %ymm1
// CHECK: vaesdec 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xde,0x8c,0xf1,0x00,0x00,0x00,0x10]
vaesdec 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesdec -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xde,0x8c,0xf1,0x00,0x00,0x00,0xe0]
vaesdec -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesdec -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xde,0x8c,0xf1,0x02,0x00,0x00,0xe0]
vaesdec -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesdeclast (%rcx), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0x09]
vaesdeclast (%rcx), %ymm2, %ymm1
// CHECK: vaesdeclast -4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0x4c,0x24,0xfc]
vaesdeclast -4(%rsp), %ymm2, %ymm1
// CHECK: vaesdeclast 4(%rsp), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0x4c,0x24,0x04]
vaesdeclast 4(%rsp), %ymm2, %ymm1
// CHECK: vaesdeclast 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdf,0x8c,0xf1,0x00,0x00,0x00,0x10]
vaesdeclast 268435456(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesdeclast -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdf,0x8c,0xf1,0x00,0x00,0x00,0xe0]
vaesdeclast -536870912(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: vaesdeclast -536870910(%rcx,%r14,8), %ymm2, %ymm1
// CHECK: encoding: [0xc4,0xa2,0x6d,0xdf,0x8c,0xf1,0x02,0x00,0x00,0xe0]
vaesdeclast -536870910(%rcx,%r14,8), %ymm2, %ymm1