| // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s |
| |
| // CHECK: invept 485498096, %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x80,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] |
| invept 485498096, %r15 |
| |
| // CHECK: invept 64(%rdx), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x80,0x7a,0x40] |
| invept 64(%rdx), %r15 |
| |
| // CHECK: invept 64(%rdx,%rax,4), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x80,0x7c,0x82,0x40] |
| invept 64(%rdx,%rax,4), %r15 |
| |
| // CHECK: invept -64(%rdx,%rax,4), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x80,0x7c,0x82,0xc0] |
| invept -64(%rdx,%rax,4), %r15 |
| |
| // CHECK: invept 64(%rdx,%rax), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x80,0x7c,0x02,0x40] |
| invept 64(%rdx,%rax), %r15 |
| |
| // CHECK: invept (%rdx), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x80,0x3a] |
| invept (%rdx), %r15 |
| |
| // CHECK: invvpid 485498096, %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x81,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] |
| invvpid 485498096, %r15 |
| |
| // CHECK: invvpid 64(%rdx), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x81,0x7a,0x40] |
| invvpid 64(%rdx), %r15 |
| |
| // CHECK: invvpid 64(%rdx,%rax,4), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x81,0x7c,0x82,0x40] |
| invvpid 64(%rdx,%rax,4), %r15 |
| |
| // CHECK: invvpid -64(%rdx,%rax,4), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x81,0x7c,0x82,0xc0] |
| invvpid -64(%rdx,%rax,4), %r15 |
| |
| // CHECK: invvpid 64(%rdx,%rax), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x81,0x7c,0x02,0x40] |
| invvpid 64(%rdx,%rax), %r15 |
| |
| // CHECK: invvpid (%rdx), %r15 |
| // CHECK: encoding: [0x66,0x44,0x0f,0x38,0x81,0x3a] |
| invvpid (%rdx), %r15 |
| |
| // CHECK: vmcall |
| // CHECK: encoding: [0x0f,0x01,0xc1] |
| vmcall |
| |
| // CHECK: vmclear 485498096 |
| // CHECK: encoding: [0x66,0x0f,0xc7,0x34,0x25,0xf0,0x1c,0xf0,0x1c] |
| vmclear 485498096 |
| |
| // CHECK: vmclear 64(%rdx) |
| // CHECK: encoding: [0x66,0x0f,0xc7,0x72,0x40] |
| vmclear 64(%rdx) |
| |
| // CHECK: vmclear 64(%rdx,%rax,4) |
| // CHECK: encoding: [0x66,0x0f,0xc7,0x74,0x82,0x40] |
| vmclear 64(%rdx,%rax,4) |
| |
| // CHECK: vmclear -64(%rdx,%rax,4) |
| // CHECK: encoding: [0x66,0x0f,0xc7,0x74,0x82,0xc0] |
| vmclear -64(%rdx,%rax,4) |
| |
| // CHECK: vmclear 64(%rdx,%rax) |
| // CHECK: encoding: [0x66,0x0f,0xc7,0x74,0x02,0x40] |
| vmclear 64(%rdx,%rax) |
| |
| // CHECK: vmclear (%rdx) |
| // CHECK: encoding: [0x66,0x0f,0xc7,0x32] |
| vmclear (%rdx) |
| |
| // CHECK: vmlaunch |
| // CHECK: encoding: [0x0f,0x01,0xc2] |
| vmlaunch |
| |
| // CHECK: vmptrld 485498096 |
| // CHECK: encoding: [0x0f,0xc7,0x34,0x25,0xf0,0x1c,0xf0,0x1c] |
| vmptrld 485498096 |
| |
| // CHECK: vmptrld 64(%rdx) |
| // CHECK: encoding: [0x0f,0xc7,0x72,0x40] |
| vmptrld 64(%rdx) |
| |
| // CHECK: vmptrld 64(%rdx,%rax,4) |
| // CHECK: encoding: [0x0f,0xc7,0x74,0x82,0x40] |
| vmptrld 64(%rdx,%rax,4) |
| |
| // CHECK: vmptrld -64(%rdx,%rax,4) |
| // CHECK: encoding: [0x0f,0xc7,0x74,0x82,0xc0] |
| vmptrld -64(%rdx,%rax,4) |
| |
| // CHECK: vmptrld 64(%rdx,%rax) |
| // CHECK: encoding: [0x0f,0xc7,0x74,0x02,0x40] |
| vmptrld 64(%rdx,%rax) |
| |
| // CHECK: vmptrld (%rdx) |
| // CHECK: encoding: [0x0f,0xc7,0x32] |
| vmptrld (%rdx) |
| |
| // CHECK: vmptrst 485498096 |
| // CHECK: encoding: [0x0f,0xc7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] |
| vmptrst 485498096 |
| |
| // CHECK: vmptrst 64(%rdx) |
| // CHECK: encoding: [0x0f,0xc7,0x7a,0x40] |
| vmptrst 64(%rdx) |
| |
| // CHECK: vmptrst 64(%rdx,%rax,4) |
| // CHECK: encoding: [0x0f,0xc7,0x7c,0x82,0x40] |
| vmptrst 64(%rdx,%rax,4) |
| |
| // CHECK: vmptrst -64(%rdx,%rax,4) |
| // CHECK: encoding: [0x0f,0xc7,0x7c,0x82,0xc0] |
| vmptrst -64(%rdx,%rax,4) |
| |
| // CHECK: vmptrst 64(%rdx,%rax) |
| // CHECK: encoding: [0x0f,0xc7,0x7c,0x02,0x40] |
| vmptrst 64(%rdx,%rax) |
| |
| // CHECK: vmptrst (%rdx) |
| // CHECK: encoding: [0x0f,0xc7,0x3a] |
| vmptrst (%rdx) |
| |
| // CHECK: vmreadq %r15, 485498096 |
| // CHECK: encoding: [0x44,0x0f,0x78,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] |
| vmreadq %r15, 485498096 |
| |
| // CHECK: vmreadq %r15, 64(%rdx) |
| // CHECK: encoding: [0x44,0x0f,0x78,0x7a,0x40] |
| vmreadq %r15, 64(%rdx) |
| |
| // CHECK: vmreadq %r15, 64(%rdx,%rax,4) |
| // CHECK: encoding: [0x44,0x0f,0x78,0x7c,0x82,0x40] |
| vmreadq %r15, 64(%rdx,%rax,4) |
| |
| // CHECK: vmreadq %r15, -64(%rdx,%rax,4) |
| // CHECK: encoding: [0x44,0x0f,0x78,0x7c,0x82,0xc0] |
| vmreadq %r15, -64(%rdx,%rax,4) |
| |
| // CHECK: vmreadq %r15, 64(%rdx,%rax) |
| // CHECK: encoding: [0x44,0x0f,0x78,0x7c,0x02,0x40] |
| vmreadq %r15, 64(%rdx,%rax) |
| |
| // CHECK: vmreadq %r15, %r15 |
| // CHECK: encoding: [0x45,0x0f,0x78,0xff] |
| vmreadq %r15, %r15 |
| |
| // CHECK: vmreadq %r15, (%rdx) |
| // CHECK: encoding: [0x44,0x0f,0x78,0x3a] |
| vmreadq %r15, (%rdx) |
| |
| // CHECK: vmresume |
| // CHECK: encoding: [0x0f,0x01,0xc3] |
| vmresume |
| |
| // CHECK: vmwriteq 485498096, %r15 |
| // CHECK: encoding: [0x44,0x0f,0x79,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] |
| vmwriteq 485498096, %r15 |
| |
| // CHECK: vmwriteq 64(%rdx), %r15 |
| // CHECK: encoding: [0x44,0x0f,0x79,0x7a,0x40] |
| vmwriteq 64(%rdx), %r15 |
| |
| // CHECK: vmwriteq 64(%rdx,%rax,4), %r15 |
| // CHECK: encoding: [0x44,0x0f,0x79,0x7c,0x82,0x40] |
| vmwriteq 64(%rdx,%rax,4), %r15 |
| |
| // CHECK: vmwriteq -64(%rdx,%rax,4), %r15 |
| // CHECK: encoding: [0x44,0x0f,0x79,0x7c,0x82,0xc0] |
| vmwriteq -64(%rdx,%rax,4), %r15 |
| |
| // CHECK: vmwriteq 64(%rdx,%rax), %r15 |
| // CHECK: encoding: [0x44,0x0f,0x79,0x7c,0x02,0x40] |
| vmwriteq 64(%rdx,%rax), %r15 |
| |
| // CHECK: vmwriteq %r15, %r15 |
| // CHECK: encoding: [0x45,0x0f,0x79,0xff] |
| vmwriteq %r15, %r15 |
| |
| // CHECK: vmwriteq (%rdx), %r15 |
| // CHECK: encoding: [0x44,0x0f,0x79,0x3a] |
| vmwriteq (%rdx), %r15 |
| |
| // CHECK: vmxoff |
| // CHECK: encoding: [0x0f,0x01,0xc4] |
| vmxoff |
| |
| // CHECK: vmxon 485498096 |
| // CHECK: encoding: [0xf3,0x0f,0xc7,0x34,0x25,0xf0,0x1c,0xf0,0x1c] |
| vmxon 485498096 |
| |
| // CHECK: vmxon 64(%rdx) |
| // CHECK: encoding: [0xf3,0x0f,0xc7,0x72,0x40] |
| vmxon 64(%rdx) |
| |
| // CHECK: vmxon 64(%rdx,%rax,4) |
| // CHECK: encoding: [0xf3,0x0f,0xc7,0x74,0x82,0x40] |
| vmxon 64(%rdx,%rax,4) |
| |
| // CHECK: vmxon -64(%rdx,%rax,4) |
| // CHECK: encoding: [0xf3,0x0f,0xc7,0x74,0x82,0xc0] |
| vmxon -64(%rdx,%rax,4) |
| |
| // CHECK: vmxon 64(%rdx,%rax) |
| // CHECK: encoding: [0xf3,0x0f,0xc7,0x74,0x02,0x40] |
| vmxon 64(%rdx,%rax) |
| |
| // CHECK: vmxon (%rdx) |
| // CHECK: encoding: [0xf3,0x0f,0xc7,0x32] |
| vmxon (%rdx) |
| |
