1# RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s --check-prefix=CHECK
2
3llwpcb %rcx
4# CHECK: llwpcb %rcx
5# CHECK: encoding: [0x8f,0xe9,0xf8,0x12,0xc1]
6
7slwpcb %rax
8# CHECK: slwpcb %rax
9# CHECK: encoding: [0x8f,0xe9,0xf8,0x12,0xc8]
10
11lwpins $305419896, %ebx, %rax
12# CHECK: lwpins $305419896, %ebx, %rax
13# CHECK: encoding: [0x8f,0xea,0xf8,0x12,0xc3,0x78,0x56,0x34,0x12]
14
15lwpins $591751049, (%rsp), %rdx
16# CHECK: lwpins $591751049, (%rsp), %rdx
17# CHECK: encoding: [0x8f,0xea,0xe8,0x12,0x04,0x24,0x89,0x67,0x45,0x23]
18
19lwpval $1737075661, %ebx, %rax
20# CHECK: lwpval $1737075661, %ebx, %rax
21# CHECK: encoding: [0x8f,0xea,0xf8,0x12,0xcb,0xcd,0xab,0x89,0x67]
22
23lwpval $2309737967, (%rsp), %rdx
24# CHECK: lwpval $2309737967, (%rsp), %rdx
25# CHECK: encoding: [0x8f,0xea,0xe8,0x12,0x0c,0x24,0xef,0xcd,0xab,0x89]
26