xref: /llvm-project/llvm/test/MC/X86/apx/user-msr-att.s (revision 6d0080b5de26d8a8682ec6169851af3d04e30ccb)
1*6d0080b5SXinWang10# RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s
2*6d0080b5SXinWang10# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR
3*6d0080b5SXinWang10
4*6d0080b5SXinWang10# ERROR-COUNT-8: error:
5*6d0080b5SXinWang10# ERROR-NOT: error:
6*6d0080b5SXinWang10
7*6d0080b5SXinWang10## urdmsr
8*6d0080b5SXinWang10
9*6d0080b5SXinWang10# CHECK: {evex}	urdmsr	$123, %r9
10*6d0080b5SXinWang10# CHECK: encoding: [0x62,0xd7,0x7f,0x08,0xf8,0xc1,0x7b,0x00,0x00,0x00]
11*6d0080b5SXinWang10         {evex}	urdmsr	$123, %r9
12*6d0080b5SXinWang10
13*6d0080b5SXinWang10# CHECK: {evex}	urdmsr	%r9, %r15
14*6d0080b5SXinWang10# CHECK: encoding: [0x62,0x54,0x7f,0x08,0xf8,0xf9]
15*6d0080b5SXinWang10         {evex}	urdmsr	%r9, %r15
16*6d0080b5SXinWang10
17*6d0080b5SXinWang10# CHECK: urdmsr	$123, %r19
18*6d0080b5SXinWang10# CHECK: encoding: [0x62,0xff,0x7f,0x08,0xf8,0xc3,0x7b,0x00,0x00,0x00]
19*6d0080b5SXinWang10         urdmsr	$123, %r19
20*6d0080b5SXinWang10
21*6d0080b5SXinWang10# CHECK: urdmsr	%r19, %r23
22*6d0080b5SXinWang10# CHECK: encoding: [0x62,0xec,0x7f,0x08,0xf8,0xfb]
23*6d0080b5SXinWang10         urdmsr	%r19, %r23
24*6d0080b5SXinWang10
25*6d0080b5SXinWang10## uwrmsr
26*6d0080b5SXinWang10
27*6d0080b5SXinWang10# CHECK: {evex}	uwrmsr	%r9, $123
28*6d0080b5SXinWang10# CHECK: encoding: [0x62,0xd7,0x7e,0x08,0xf8,0xc1,0x7b,0x00,0x00,0x00]
29*6d0080b5SXinWang10         {evex}	uwrmsr	%r9, $123
30*6d0080b5SXinWang10
31*6d0080b5SXinWang10# CHECK: {evex}	uwrmsr	%r9, %r15
32*6d0080b5SXinWang10# CHECK: encoding: [0x62,0x54,0x7e,0x08,0xf8,0xf9]
33*6d0080b5SXinWang10         {evex}	uwrmsr	%r9, %r15
34*6d0080b5SXinWang10
35*6d0080b5SXinWang10# CHECK: uwrmsr	%r19, $123
36*6d0080b5SXinWang10# CHECK: encoding: [0x62,0xff,0x7e,0x08,0xf8,0xc3,0x7b,0x00,0x00,0x00]
37*6d0080b5SXinWang10         uwrmsr	%r19, $123
38*6d0080b5SXinWang10
39*6d0080b5SXinWang10# CHECK: uwrmsr	%r19, %r23
40*6d0080b5SXinWang10# CHECK: encoding: [0x62,0xec,0x7e,0x08,0xf8,0xfb]
41*6d0080b5SXinWang10         uwrmsr	%r19, %r23
42