# RUN: llvm-mc -triple x86_64 -show-encoding %s | FileCheck %s
# CHECK: push2p %rax, %rdi
# CHECK: encoding: [0x62,0xf4,0xc4,0x18,0xff,0xf0]
push2p %rax, %rdi
# CHECK: push2p %rdi, %r8
# CHECK: encoding: [0x62,0xf4,0xbc,0x18,0xff,0xf7]
push2p %rdi, %r8
# CHECK: push2p %r8, %r15
# CHECK: encoding: [0x62,0xd4,0x84,0x18,0xff,0xf0]
push2p %r8, %r15
# CHECK: push2p %r15, %r16
# CHECK: encoding: [0x62,0xd4,0xfc,0x10,0xff,0xf7]
push2p %r15, %r16
# CHECK: push2p %r16, %r23
# CHECK: encoding: [0x62,0xfc,0xc4,0x10,0xff,0xf0]
push2p %r16, %r23
# CHECK: push2p %r23, %r24
# CHECK: encoding: [0x62,0xfc,0xbc,0x10,0xff,0xf7]
push2p %r23, %r24
# CHECK: push2p %r24, %r31
# CHECK: encoding: [0x62,0xdc,0x84,0x10,0xff,0xf0]
push2p %r24, %r31
# CHECK: pop2p %rax, %rdi
# CHECK: encoding: [0x62,0xf4,0xc4,0x18,0x8f,0xc0]
pop2p %rax, %rdi
# CHECK: pop2p %rdi, %r8
# CHECK: encoding: [0x62,0xf4,0xbc,0x18,0x8f,0xc7]
pop2p %rdi, %r8
# CHECK: pop2p %r8, %r15
# CHECK: encoding: [0x62,0xd4,0x84,0x18,0x8f,0xc0]
pop2p %r8, %r15
# CHECK: pop2p %r15, %r16
# CHECK: encoding: [0x62,0xd4,0xfc,0x10,0x8f,0xc7]
pop2p %r15, %r16
# CHECK: pop2p %r16, %r23
# CHECK: encoding: [0x62,0xfc,0xc4,0x10,0x8f,0xc0]
pop2p %r16, %r23
# CHECK: pop2p %r23, %r24
# CHECK: encoding: [0x62,0xfc,0xbc,0x10,0x8f,0xc7]
pop2p %r23, %r24
# CHECK: pop2p %r24, %r31
# CHECK: encoding: [0x62,0xdc,0x84,0x10,0x8f,0xc0]
pop2p %r24, %r31