1// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s 2 3// CHECK: vsha512msg1 %xmm3, %ymm12 4// CHECK: encoding: [0xc4,0x62,0x7f,0xcc,0xe3] 5 vsha512msg1 %xmm3, %ymm12 6 7// CHECK: vsha512msg2 %ymm3, %ymm12 8// CHECK: encoding: [0xc4,0x62,0x7f,0xcd,0xe3] 9 vsha512msg2 %ymm3, %ymm12 10 11// CHECK: vsha512rnds2 %xmm4, %ymm3, %ymm12 12// CHECK: encoding: [0xc4,0x62,0x67,0xcb,0xe4] 13 vsha512rnds2 %xmm4, %ymm3, %ymm12 14 15