test/MC/X86/VTX-32.s

   1 // RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: invept 3809469200(%edx,%eax,4), %eax
   4 // CHECK: encoding: [0x66,0x0f,0x38,0x80,0x84,0x82,0x10,0xe3,0x0f,0xe3]
   5 invept 3809469200(%edx,%eax,4), %eax
   6
   7 // CHECK: invept 485498096, %eax
   8 // CHECK: encoding: [0x66,0x0f,0x38,0x80,0x05,0xf0,0x1c,0xf0,0x1c]
   9 invept 485498096, %eax
  10
  11 // CHECK: invept 485498096(%edx,%eax,4), %eax
  12 // CHECK: encoding: [0x66,0x0f,0x38,0x80,0x84,0x82,0xf0,0x1c,0xf0,0x1c]
  13 invept 485498096(%edx,%eax,4), %eax
  14
  15 // CHECK: invept 485498096(%edx), %eax
  16 // CHECK: encoding: [0x66,0x0f,0x38,0x80,0x82,0xf0,0x1c,0xf0,0x1c]
  17 invept 485498096(%edx), %eax
  18
  19 // CHECK: invept 64(%edx,%eax), %eax
  20 // CHECK: encoding: [0x66,0x0f,0x38,0x80,0x44,0x02,0x40]
  21 invept 64(%edx,%eax), %eax
  22
  23 // CHECK: invept (%edx), %eax
  24 // CHECK: encoding: [0x66,0x0f,0x38,0x80,0x02]
  25 invept (%edx), %eax
  26
  27 // CHECK: invvpid 3809469200(%edx,%eax,4), %eax
  28 // CHECK: encoding: [0x66,0x0f,0x38,0x81,0x84,0x82,0x10,0xe3,0x0f,0xe3]
  29 invvpid 3809469200(%edx,%eax,4), %eax
  30
  31 // CHECK: invvpid 485498096, %eax
  32 // CHECK: encoding: [0x66,0x0f,0x38,0x81,0x05,0xf0,0x1c,0xf0,0x1c]
  33 invvpid 485498096, %eax
  34
  35 // CHECK: invvpid 485498096(%edx,%eax,4), %eax
  36 // CHECK: encoding: [0x66,0x0f,0x38,0x81,0x84,0x82,0xf0,0x1c,0xf0,0x1c]
  37 invvpid 485498096(%edx,%eax,4), %eax
  38
  39 // CHECK: invvpid 485498096(%edx), %eax
  40 // CHECK: encoding: [0x66,0x0f,0x38,0x81,0x82,0xf0,0x1c,0xf0,0x1c]
  41 invvpid 485498096(%edx), %eax
  42
  43 // CHECK: invvpid 64(%edx,%eax), %eax
  44 // CHECK: encoding: [0x66,0x0f,0x38,0x81,0x44,0x02,0x40]
  45 invvpid 64(%edx,%eax), %eax
  46
  47 // CHECK: invvpid (%edx), %eax
  48 // CHECK: encoding: [0x66,0x0f,0x38,0x81,0x02]
  49 invvpid (%edx), %eax
  50
  51 // CHECK: vmcall
  52 // CHECK: encoding: [0x0f,0x01,0xc1]
  53 vmcall
  54
  55 // CHECK: vmclear -485498096(%edx,%eax,4)
  56 // CHECK: encoding: [0x66,0x0f,0xc7,0xb4,0x82,0x10,0xe3,0x0f,0xe3]
  57 vmclear -485498096(%edx,%eax,4)
  58
  59 // CHECK: vmclear 485498096(%edx,%eax,4)
  60 // CHECK: encoding: [0x66,0x0f,0xc7,0xb4,0x82,0xf0,0x1c,0xf0,0x1c]
  61 vmclear 485498096(%edx,%eax,4)
  62
  63 // CHECK: vmclear 485498096(%edx)
  64 // CHECK: encoding: [0x66,0x0f,0xc7,0xb2,0xf0,0x1c,0xf0,0x1c]
  65 vmclear 485498096(%edx)
  66
  67 // CHECK: vmclear 485498096
  68 // CHECK: encoding: [0x66,0x0f,0xc7,0x35,0xf0,0x1c,0xf0,0x1c]
  69 vmclear 485498096
  70
  71 // CHECK: vmclear 64(%edx,%eax)
  72 // CHECK: encoding: [0x66,0x0f,0xc7,0x74,0x02,0x40]
  73 vmclear 64(%edx,%eax)
  74
  75 // CHECK: vmclear (%edx)
  76 // CHECK: encoding: [0x66,0x0f,0xc7,0x32]
  77 vmclear (%edx)
  78
  79 // CHECK: vmlaunch
  80 // CHECK: encoding: [0x0f,0x01,0xc2]
  81 vmlaunch
  82
  83 // CHECK: vmptrld -485498096(%edx,%eax,4)
  84 // CHECK: encoding: [0x0f,0xc7,0xb4,0x82,0x10,0xe3,0x0f,0xe3]
  85 vmptrld -485498096(%edx,%eax,4)
  86
  87 // CHECK: vmptrld 485498096(%edx,%eax,4)
  88 // CHECK: encoding: [0x0f,0xc7,0xb4,0x82,0xf0,0x1c,0xf0,0x1c]
  89 vmptrld 485498096(%edx,%eax,4)
  90
  91 // CHECK: vmptrld 485498096(%edx)
  92 // CHECK: encoding: [0x0f,0xc7,0xb2,0xf0,0x1c,0xf0,0x1c]
  93 vmptrld 485498096(%edx)
  94
  95 // CHECK: vmptrld 485498096
  96 // CHECK: encoding: [0x0f,0xc7,0x35,0xf0,0x1c,0xf0,0x1c]
  97 vmptrld 485498096
  98
  99 // CHECK: vmptrld 64(%edx,%eax)
 100 // CHECK: encoding: [0x0f,0xc7,0x74,0x02,0x40]
 101 vmptrld 64(%edx,%eax)
 102
 103 // CHECK: vmptrld (%edx)
 104 // CHECK: encoding: [0x0f,0xc7,0x32]
 105 vmptrld (%edx)
 106
 107 // CHECK: vmptrst -485498096(%edx,%eax,4)
 108 // CHECK: encoding: [0x0f,0xc7,0xbc,0x82,0x10,0xe3,0x0f,0xe3]
 109 vmptrst -485498096(%edx,%eax,4)
 110
 111 // CHECK: vmptrst 485498096(%edx,%eax,4)
 112 // CHECK: encoding: [0x0f,0xc7,0xbc,0x82,0xf0,0x1c,0xf0,0x1c]
 113 vmptrst 485498096(%edx,%eax,4)
 114
 115 // CHECK: vmptrst 485498096(%edx)
 116 // CHECK: encoding: [0x0f,0xc7,0xba,0xf0,0x1c,0xf0,0x1c]
 117 vmptrst 485498096(%edx)
 118
 119 // CHECK: vmptrst 485498096
 120 // CHECK: encoding: [0x0f,0xc7,0x3d,0xf0,0x1c,0xf0,0x1c]
 121 vmptrst 485498096
 122
 123 // CHECK: vmptrst 64(%edx,%eax)
 124 // CHECK: encoding: [0x0f,0xc7,0x7c,0x02,0x40]
 125 vmptrst 64(%edx,%eax)
 126
 127 // CHECK: vmptrst (%edx)
 128 // CHECK: encoding: [0x0f,0xc7,0x3a]
 129 vmptrst (%edx)
 130
 131 // CHECK: vmreadl %eax, 3809469200(%edx,%eax,4)
 132 // CHECK: encoding: [0x0f,0x78,0x84,0x82,0x10,0xe3,0x0f,0xe3]
 133 vmreadl %eax, 3809469200(%edx,%eax,4)
 134
 135 // CHECK: vmreadl %eax, 485498096(%edx,%eax,4)
 136 // CHECK: encoding: [0x0f,0x78,0x84,0x82,0xf0,0x1c,0xf0,0x1c]
 137 vmreadl %eax, 485498096(%edx,%eax,4)
 138
 139 // CHECK: vmreadl %eax, 485498096(%edx)
 140 // CHECK: encoding: [0x0f,0x78,0x82,0xf0,0x1c,0xf0,0x1c]
 141 vmreadl %eax, 485498096(%edx)
 142
 143 // CHECK: vmreadl %eax, 485498096
 144 // CHECK: encoding: [0x0f,0x78,0x05,0xf0,0x1c,0xf0,0x1c]
 145 vmreadl %eax, 485498096
 146
 147 // CHECK: vmreadl %eax, 64(%edx,%eax)
 148 // CHECK: encoding: [0x0f,0x78,0x44,0x02,0x40]
 149 vmreadl %eax, 64(%edx,%eax)
 150
 151 // CHECK: vmreadl %eax, %eax
 152 // CHECK: encoding: [0x0f,0x78,0xc0]
 153 vmreadl %eax, %eax
 154
 155 // CHECK: vmreadl %eax, (%edx)
 156 // CHECK: encoding: [0x0f,0x78,0x02]
 157 vmreadl %eax, (%edx)
 158
 159 // CHECK: vmresume
 160 // CHECK: encoding: [0x0f,0x01,0xc3]
 161 vmresume
 162
 163 // CHECK: vmwritel 3809469200(%edx,%eax,4), %eax
 164 // CHECK: encoding: [0x0f,0x79,0x84,0x82,0x10,0xe3,0x0f,0xe3]
 165 vmwritel 3809469200(%edx,%eax,4), %eax
 166
 167 // CHECK: vmwritel 485498096, %eax
 168 // CHECK: encoding: [0x0f,0x79,0x05,0xf0,0x1c,0xf0,0x1c]
 169 vmwritel 485498096, %eax
 170
 171 // CHECK: vmwritel 485498096(%edx,%eax,4), %eax
 172 // CHECK: encoding: [0x0f,0x79,0x84,0x82,0xf0,0x1c,0xf0,0x1c]
 173 vmwritel 485498096(%edx,%eax,4), %eax
 174
 175 // CHECK: vmwritel 485498096(%edx), %eax
 176 // CHECK: encoding: [0x0f,0x79,0x82,0xf0,0x1c,0xf0,0x1c]
 177 vmwritel 485498096(%edx), %eax
 178
 179 // CHECK: vmwritel 64(%edx,%eax), %eax
 180 // CHECK: encoding: [0x0f,0x79,0x44,0x02,0x40]
 181 vmwritel 64(%edx,%eax), %eax
 182
 183 // CHECK: vmwritel %eax, %eax
 184 // CHECK: encoding: [0x0f,0x79,0xc0]
 185 vmwritel %eax, %eax
 186
 187 // CHECK: vmwritel (%edx), %eax
 188 // CHECK: encoding: [0x0f,0x79,0x02]
 189 vmwritel (%edx), %eax
 190
 191 // CHECK: vmxoff
 192 // CHECK: encoding: [0x0f,0x01,0xc4]
 193 vmxoff
 194
 195 // CHECK: vmxon -485498096(%edx,%eax,4)
 196 // CHECK: encoding: [0xf3,0x0f,0xc7,0xb4,0x82,0x10,0xe3,0x0f,0xe3]
 197 vmxon -485498096(%edx,%eax,4)
 198
 199 // CHECK: vmxon 485498096(%edx,%eax,4)
 200 // CHECK: encoding: [0xf3,0x0f,0xc7,0xb4,0x82,0xf0,0x1c,0xf0,0x1c]
 201 vmxon 485498096(%edx,%eax,4)
 202
 203 // CHECK: vmxon 485498096(%edx)
 204 // CHECK: encoding: [0xf3,0x0f,0xc7,0xb2,0xf0,0x1c,0xf0,0x1c]
 205 vmxon 485498096(%edx)
 206
 207 // CHECK: vmxon 485498096
 208 // CHECK: encoding: [0xf3,0x0f,0xc7,0x35,0xf0,0x1c,0xf0,0
 209 vmxon 485498096
 210
 211 // CHECK: vmxon 485498096
 212 // CHECK: encoding: [0xf3,0x0f,0xc7,0x35,0xf0,0x1c,0xf0,0x1c]
 213 vmxon 485498096
 214
 215 // CHECK: vmxon 64(%edx,%eax)
 216 // CHECK: encoding: [0xf3,0x0f,0xc7,0x74,0x02,0x40]
 217 vmxon 64(%edx,%eax)
 218
 219 // CHECK: vmxon (%edx)
 220 // CHECK: encoding: [0xf3,0x0f,0xc7,0x32]
 221 vmxon (%edx)
 222