# RUN: llvm-mc -triple x86_64 -show-encoding %s | FileCheck %s
# CHECK: push2 %rax, %rdi
# CHECK: encoding: [0x62,0xf4,0x44,0x18,0xff,0xf0]
push2 %rax, %rdi
# CHECK: push2 %rdi, %r8
# CHECK: encoding: [0x62,0xf4,0x3c,0x18,0xff,0xf7]
push2 %rdi, %r8
# CHECK: push2 %r8, %r15
# CHECK: encoding: [0x62,0xd4,0x04,0x18,0xff,0xf0]
push2 %r8, %r15
# CHECK: push2 %r15, %r16
# CHECK: encoding: [0x62,0xd4,0x7c,0x10,0xff,0xf7]
push2 %r15, %r16
# CHECK: push2 %r16, %r23
# CHECK: encoding: [0x62,0xfc,0x44,0x10,0xff,0xf0]
push2 %r16, %r23
# CHECK: push2 %r23, %r24
# CHECK: encoding: [0x62,0xfc,0x3c,0x10,0xff,0xf7]
push2 %r23, %r24
# CHECK: push2 %r24, %r31
# CHECK: encoding: [0x62,0xdc,0x04,0x10,0xff,0xf0]
push2 %r24, %r31
# CHECK: pop2 %rax, %rdi
# CHECK: encoding: [0x62,0xf4,0x44,0x18,0x8f,0xc0]
pop2 %rax, %rdi
# CHECK: pop2 %rdi, %r8
# CHECK: encoding: [0x62,0xf4,0x3c,0x18,0x8f,0xc7]
pop2 %rdi, %r8
# CHECK: pop2 %r8, %r15
# CHECK: encoding: [0x62,0xd4,0x04,0x18,0x8f,0xc0]
pop2 %r8, %r15
# CHECK: pop2 %r15, %r16
# CHECK: encoding: [0x62,0xd4,0x7c,0x10,0x8f,0xc7]
pop2 %r15, %r16
# CHECK: pop2 %r16, %r23
# CHECK: encoding: [0x62,0xfc,0x44,0x10,0x8f,0xc0]
pop2 %r16, %r23
# CHECK: pop2 %r23, %r24
# CHECK: encoding: [0x62,0xfc,0x3c,0x10,0x8f,0xc7]
pop2 %r23, %r24
# CHECK: pop2 %r24, %r31
# CHECK: encoding: [0x62,0xdc,0x04,0x10,0x8f,0xc0]
pop2 %r24, %r31