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 223
