test/MC/X86/cet-encoding.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: incsspd %r13d
   4 // CHECK: # encoding: [0xf3,0x41,0x0f,0xae,0xed]
   5           incsspd %r13d
   6
   7 // CHECK: incsspq %r15
   8 // CHECK: # encoding: [0xf3,0x49,0x0f,0xae,0xef]
   9           incsspq %r15
  10
  11 // CHECK: rdsspq %r15
  12 // CHECK: # encoding: [0xf3,0x49,0x0f,0x1e,0xcf]
  13           rdsspq %r15
  14
  15 // CHECK: rdsspd %r13d
  16 // CHECK: # encoding: [0xf3,0x41,0x0f,0x1e,0xcd]
  17           rdsspd %r13d
  18
  19 // CHECK: saveprevssp
  20 // CHECK: # encoding: [0xf3,0x0f,0x01,0xea]
  21           saveprevssp
  22
  23 // CHECK: rstorssp 485498096
  24 // CHECK: # encoding: [0xf3,0x0f,0x01,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
  25           rstorssp 485498096
  26
  27 // CHECK: rstorssp (%rdx)
  28 // CHECK: # encoding: [0xf3,0x0f,0x01,0x2a]
  29           rstorssp (%rdx)
  30
  31 // CHECK: rstorssp 64(%rdx)
  32 // CHECK: # encoding: [0xf3,0x0f,0x01,0x6a,0x40]
  33           rstorssp 64(%rdx)
  34
  35 // CHECK: rstorssp 64(%rdx,%rax)
  36 // CHECK: # encoding: [0xf3,0x0f,0x01,0x6c,0x02,0x40]
  37           rstorssp 64(%rdx,%rax)
  38
  39 // CHECK: rstorssp 64(%rdx,%rax,4)
  40 // CHECK: # encoding: [0xf3,0x0f,0x01,0x6c,0x82,0x40]
  41           rstorssp 64(%rdx,%rax,4)
  42
  43 // CHECK: rstorssp -64(%rdx,%rax,4)
  44 // CHECK: # encoding: [0xf3,0x0f,0x01,0x6c,0x82,0xc0]
  45           rstorssp -64(%rdx,%rax,4)
  46
  47 // CHECK: wrssq %r15, 485498096
  48 // CHECK: # encoding: [0x4c,0x0f,0x38,0xf6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
  49           wrssq %r15, 485498096
  50
  51 // CHECK: wrssq %r15, (%rdx)
  52 // CHECK: # encoding: [0x4c,0x0f,0x38,0xf6,0x3a]
  53           wrssq %r15, (%rdx)
  54
  55 // CHECK: wrssq %r15, 64(%rdx)
  56 // CHECK: # encoding: [0x4c,0x0f,0x38,0xf6,0x7a,0x40]
  57           wrssq %r15, 64(%rdx)
  58
  59 // CHECK: wrssq %r15, 64(%rdx,%rax)
  60 // CHECK: # encoding: [0x4c,0x0f,0x38,0xf6,0x7c,0x02,0x40]
  61           wrssq %r15, 64(%rdx,%rax)
  62
  63 // CHECK: wrssq %r15, 64(%rdx,%rax,4)
  64 // CHECK: # encoding: [0x4c,0x0f,0x38,0xf6,0x7c,0x82,0x40]
  65           wrssq %r15, 64(%rdx,%rax,4)
  66
  67 // CHECK: wrssq %r15, -64(%rdx,%rax,4)
  68 // CHECK: # encoding: [0x4c,0x0f,0x38,0xf6,0x7c,0x82,0xc0]
  69           wrssq %r15, -64(%rdx,%rax,4)
  70
  71 // CHECK: wrssd %r13d, 485498096
  72 // CHECK: # encoding: [0x44,0x0f,0x38,0xf6,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
  73           wrssd %r13d, 485498096
  74
  75 // CHECK: wrssd %r13d, (%rdx)
  76 // CHECK: # encoding: [0x44,0x0f,0x38,0xf6,0x2a]
  77           wrssd %r13d, (%rdx)
  78
  79 // CHECK: wrssd %r13d, 64(%rdx)
  80 // CHECK: # encoding: [0x44,0x0f,0x38,0xf6,0x6a,0x40]
  81           wrssd %r13d, 64(%rdx)
  82
  83 // CHECK: wrssd %r13d, 64(%rdx,%rax)
  84 // CHECK: # encoding: [0x44,0x0f,0x38,0xf6,0x6c,0x02,0x40]
  85           wrssd %r13d, 64(%rdx,%rax)
  86
  87 // CHECK: wrssd %r13d, 64(%rdx,%rax,4)
  88 // CHECK: # encoding: [0x44,0x0f,0x38,0xf6,0x6c,0x82,0x40]
  89           wrssd %r13d, 64(%rdx,%rax,4)
  90
  91 // CHECK: wrssd %r13d, -64(%rdx,%rax,4)
  92 // CHECK: # encoding: [0x44,0x0f,0x38,0xf6,0x6c,0x82,0xc0]
  93           wrssd %r13d, -64(%rdx,%rax,4)
  94
  95 // CHECK: wrussd %r13d, 485498096
  96 // CHECK: # encoding: [0x66,0x44,0x0f,0x38,0xf5,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
  97           wrussd %r13d, 485498096
  98
  99 // CHECK: wrussd %r13d, (%rdx)
 100 // CHECK: # encoding: [0x66,0x44,0x0f,0x38,0xf5,0x2a]
 101           wrussd %r13d, (%rdx)
 102
 103 // CHECK: wrussd %r13d, 64(%rdx)
 104 // CHECK: # encoding: [0x66,0x44,0x0f,0x38,0xf5,0x6a,0x40]
 105           wrussd %r13d, 64(%rdx)
 106
 107 // CHECK: wrussd %r13d, 64(%rdx,%rax)
 108 // CHECK: # encoding: [0x66,0x44,0x0f,0x38,0xf5,0x6c,0x02,0x40]
 109           wrussd %r13d, 64(%rdx,%rax)
 110
 111 // CHECK: wrussd %r13d, 64(%rdx,%rax,4)
 112 // CHECK: # encoding: [0x66,0x44,0x0f,0x38,0xf5,0x6c,0x82,0x40]
 113           wrussd %r13d, 64(%rdx,%rax,4)
 114
 115 // CHECK: wrussd %r13d, -64(%rdx,%rax,4)
 116 // CHECK: # encoding: [0x66,0x44,0x0f,0x38,0xf5,0x6c,0x82,0xc0]
 117           wrussd %r13d, -64(%rdx,%rax,4)
 118
 119 // CHECK: wrussq %r15, 485498096
 120 // CHECK: # encoding: [0x66,0x4c,0x0f,0x38,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
 121           wrussq %r15, 485498096
 122
 123 // CHECK: wrussq %r15, (%rdx)
 124 // CHECK: # encoding: [0x66,0x4c,0x0f,0x38,0xf5,0x3a]
 125           wrussq %r15, (%rdx)
 126
 127 // CHECK: wrussq %r15, 64(%rdx)
 128 // CHECK: # encoding: [0x66,0x4c,0x0f,0x38,0xf5,0x7a,0x40]
 129           wrussq %r15, 64(%rdx)
 130
 131 // CHECK: wrussq %r15, 64(%rdx,%rax)
 132 // CHECK: # encoding: [0x66,0x4c,0x0f,0x38,0xf5,0x7c,0x02,0x40]
 133           wrussq %r15, 64(%rdx,%rax)
 134
 135 // CHECK: wrussq %r15, 64(%rdx,%rax,4)
 136 // CHECK: # encoding: [0x66,0x4c,0x0f,0x38,0xf5,0x7c,0x82,0x40]
 137           wrussq %r15, 64(%rdx,%rax,4)
 138
 139 // CHECK: wrussq %r15, -64(%rdx,%rax,4)
 140 // CHECK: # encoding: [0x66,0x4c,0x0f,0x38,0xf5,0x7c,0x82,0xc0]
 141           wrussq %r15, -64(%rdx,%rax,4)
 142
 143 // CHECK: clrssbsy 485498096
 144 // CHECK: # encoding: [0xf3,0x0f,0xae,0x34,0x25,0xf0,0x1c,0xf0,0x1c]
 145           clrssbsy 485498096
 146
 147 // CHECK: clrssbsy (%rdx)
 148 // CHECK: # encoding: [0xf3,0x0f,0xae,0x32]
 149           clrssbsy (%rdx)
 150
 151 // CHECK: clrssbsy 64(%rdx)
 152 // CHECK: # encoding: [0xf3,0x0f,0xae,0x72,0x40]
 153           clrssbsy 64(%rdx)
 154
 155 // CHECK: clrssbsy 64(%rdx,%rax)
 156 // CHECK: # encoding: [0xf3,0x0f,0xae,0x74,0x02,0x40]
 157           clrssbsy 64(%rdx,%rax)
 158
 159 // CHECK: clrssbsy 64(%rdx,%rax,4)
 160 // CHECK: # encoding: [0xf3,0x0f,0xae,0x74,0x82,0x40]
 161           clrssbsy 64(%rdx,%rax,4)
 162
 163 // CHECK: clrssbsy -64(%rdx,%rax,4)
 164 // CHECK: # encoding: [0xf3,0x0f,0xae,0x74,0x82,0xc0]
 165           clrssbsy -64(%rdx,%rax,4)
 166
 167 // CHECK: setssbsy
 168 // CHECK: # encoding: [0xf3,0x0f,0x01,0xe8]
 169           setssbsy
 170
 171 // CHECK: endbr64
 172 // CHECK: # encoding: [0xf3,0x0f,0x1e,0xfa]
 173           endbr64
 174
 175 // CHECK: endbr32
 176 // CHECK: # encoding: [0xf3,0x0f,0x1e,0xfb]
 177           endbr32