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