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