// 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)