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