test/MC/X86/avx_vaes-encoding.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: vaesenc %ymm3, %ymm2, %ymm1
   4 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0xcb]
   5           vaesenc %ymm3, %ymm2, %ymm1
   6
   7 // CHECK: vaesenclast %ymm3, %ymm2, %ymm1
   8 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0xcb]
   9           vaesenclast %ymm3, %ymm2, %ymm1
  10
  11 // CHECK: vaesdec %ymm3, %ymm2, %ymm1
  12 // CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0xcb]
  13           vaesdec %ymm3, %ymm2, %ymm1
  14
  15 // CHECK: vaesdeclast %ymm3, %ymm2, %ymm1
  16 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0xcb]
  17           vaesdeclast %ymm3, %ymm2, %ymm1
  18
  19 // CHECK: vaesenc  (%rcx), %ymm2, %ymm1
  20 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0x09]
  21           vaesenc  (%rcx), %ymm2, %ymm1
  22
  23 // CHECK: vaesenc  -4(%rsp), %ymm2, %ymm1
  24 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0x4c,0x24,0xfc]
  25           vaesenc  -4(%rsp), %ymm2, %ymm1
  26
  27 // CHECK: vaesenc  4(%rsp), %ymm2, %ymm1
  28 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdc,0x4c,0x24,0x04]
  29           vaesenc  4(%rsp), %ymm2, %ymm1
  30
  31 // CHECK: vaesenc  268435456(%rcx,%r14,8), %ymm2, %ymm1
  32 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdc,0x8c,0xf1,0x00,0x00,0x00,0x10]
  33           vaesenc  268435456(%rcx,%r14,8), %ymm2, %ymm1
  34
  35 // CHECK: vaesenc  -536870912(%rcx,%r14,8), %ymm2, %ymm1
  36 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdc,0x8c,0xf1,0x00,0x00,0x00,0xe0]
  37           vaesenc  -536870912(%rcx,%r14,8), %ymm2, %ymm1
  38
  39 // CHECK: vaesenc  -536870910(%rcx,%r14,8), %ymm2, %ymm1
  40 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdc,0x8c,0xf1,0x02,0x00,0x00,0xe0]
  41           vaesenc  -536870910(%rcx,%r14,8), %ymm2, %ymm1
  42
  43 // CHECK: vaesenclast  (%rcx), %ymm2, %ymm1
  44 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0x09]
  45           vaesenclast  (%rcx), %ymm2, %ymm1
  46
  47 // CHECK: vaesenclast  -4(%rsp), %ymm2, %ymm1
  48 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0x4c,0x24,0xfc]
  49           vaesenclast  -4(%rsp), %ymm2, %ymm1
  50
  51 // CHECK: vaesenclast  4(%rsp), %ymm2, %ymm1
  52 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdd,0x4c,0x24,0x04]
  53           vaesenclast  4(%rsp), %ymm2, %ymm1
  54
  55 // CHECK: vaesenclast  268435456(%rcx,%r14,8), %ymm2, %ymm1
  56 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdd,0x8c,0xf1,0x00,0x00,0x00,0x10]
  57           vaesenclast  268435456(%rcx,%r14,8), %ymm2, %ymm1
  58
  59 // CHECK: vaesenclast  -536870912(%rcx,%r14,8), %ymm2, %ymm1
  60 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdd,0x8c,0xf1,0x00,0x00,0x00,0xe0]
  61           vaesenclast  -536870912(%rcx,%r14,8), %ymm2, %ymm1
  62
  63 // CHECK: vaesenclast  -536870910(%rcx,%r14,8), %ymm2, %ymm1
  64 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdd,0x8c,0xf1,0x02,0x00,0x00,0xe0]
  65           vaesenclast  -536870910(%rcx,%r14,8), %ymm2, %ymm1
  66
  67 // CHECK: vaesdec  (%rcx), %ymm2, %ymm1
  68 // CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0x09]
  69           vaesdec  (%rcx), %ymm2, %ymm1
  70
  71 // CHECK: vaesdec  -4(%rsp), %ymm2, %ymm1
  72 // CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0x4c,0x24,0xfc]
  73           vaesdec  -4(%rsp), %ymm2, %ymm1
  74
  75 // CHECK: vaesdec  4(%rsp), %ymm2, %ymm1
  76 // CHECK: encoding: [0xc4,0xe2,0x6d,0xde,0x4c,0x24,0x04]
  77           vaesdec  4(%rsp), %ymm2, %ymm1
  78
  79 // CHECK: vaesdec  268435456(%rcx,%r14,8), %ymm2, %ymm1
  80 // CHECK: encoding: [0xc4,0xa2,0x6d,0xde,0x8c,0xf1,0x00,0x00,0x00,0x10]
  81           vaesdec  268435456(%rcx,%r14,8), %ymm2, %ymm1
  82
  83 // CHECK: vaesdec  -536870912(%rcx,%r14,8), %ymm2, %ymm1
  84 // CHECK: encoding: [0xc4,0xa2,0x6d,0xde,0x8c,0xf1,0x00,0x00,0x00,0xe0]
  85           vaesdec  -536870912(%rcx,%r14,8), %ymm2, %ymm1
  86
  87 // CHECK: vaesdec  -536870910(%rcx,%r14,8), %ymm2, %ymm1
  88 // CHECK: encoding: [0xc4,0xa2,0x6d,0xde,0x8c,0xf1,0x02,0x00,0x00,0xe0]
  89           vaesdec  -536870910(%rcx,%r14,8), %ymm2, %ymm1
  90
  91 // CHECK: vaesdeclast  (%rcx), %ymm2, %ymm1
  92 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0x09]
  93           vaesdeclast  (%rcx), %ymm2, %ymm1
  94
  95 // CHECK: vaesdeclast  -4(%rsp), %ymm2, %ymm1
  96 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0x4c,0x24,0xfc]
  97           vaesdeclast  -4(%rsp), %ymm2, %ymm1
  98
  99 // CHECK: vaesdeclast  4(%rsp), %ymm2, %ymm1
 100 // CHECK: encoding: [0xc4,0xe2,0x6d,0xdf,0x4c,0x24,0x04]
 101           vaesdeclast  4(%rsp), %ymm2, %ymm1
 102
 103 // CHECK: vaesdeclast  268435456(%rcx,%r14,8), %ymm2, %ymm1
 104 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdf,0x8c,0xf1,0x00,0x00,0x00,0x10]
 105           vaesdeclast  268435456(%rcx,%r14,8), %ymm2, %ymm1
 106
 107 // CHECK: vaesdeclast  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 108 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdf,0x8c,0xf1,0x00,0x00,0x00,0xe0]
 109           vaesdeclast  -536870912(%rcx,%r14,8), %ymm2, %ymm1
 110
 111 // CHECK: vaesdeclast  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 112 // CHECK: encoding: [0xc4,0xa2,0x6d,0xdf,0x8c,0xf1,0x02,0x00,0x00,0xe0]
 113           vaesdeclast  -536870910(%rcx,%r14,8), %ymm2, %ymm1
 114