공재호 / JJS_Project1

Go to a project
Toggle navigation Toggle navigation pinning
Switch branch/tag
INVPCID-64.s 894 Bytes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 
// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s

// CHECK: invpcid 485498096, %r15 
// CHECK: encoding: [0x66,0x44,0x0f,0x38,0x82,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]        
invpcid 485498096, %r15 

// CHECK: invpcid 64(%rdx), %r15 
// CHECK: encoding: [0x66,0x44,0x0f,0x38,0x82,0x7a,0x40]        
invpcid 64(%rdx), %r15 

// CHECK: invpcid 64(%rdx,%rax,4), %r15 
// CHECK: encoding: [0x66,0x44,0x0f,0x38,0x82,0x7c,0x82,0x40]        
invpcid 64(%rdx,%rax,4), %r15 

// CHECK: invpcid -64(%rdx,%rax,4), %r15 
// CHECK: encoding: [0x66,0x44,0x0f,0x38,0x82,0x7c,0x82,0xc0]        
invpcid -64(%rdx,%rax,4), %r15 

// CHECK: invpcid 64(%rdx,%rax), %r15 
// CHECK: encoding: [0x66,0x44,0x0f,0x38,0x82,0x7c,0x02,0x40]        
invpcid 64(%rdx,%rax), %r15 

// CHECK: invpcid (%rdx), %r15 
// CHECK: encoding: [0x66,0x44,0x0f,0x38,0x82,0x3a]        
invpcid (%rdx), %r15