@@ -21,26 +21,31 @@ msr HFGRTR_EL2, x0
21
21
// CHECK - ENCODING: encoding: [ 0x80 , 0x11 , 0x1c , 0xd5 ]
22
22
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
23
23
// CHECK - UNKNOWN: d51c1180 msr S3_4_C1_C1_4 , x0
24
+
24
25
msr HFGWTR_EL2 , x5
25
26
// CHECK - INST: msr HFGWTR_EL2 , x5
26
27
// CHECK - ENCODING: encoding: [ 0xa5 , 0x11 , 0x1c , 0xd5 ]
27
28
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
28
29
// CHECK - UNKNOWN: d51c11a5 msr S3_4_C1_C1_5 , x5
30
+
29
31
msr HFGITR_EL2 , x10
30
32
// CHECK - INST: msr HFGITR_EL2 , x10
31
33
// CHECK - ENCODING: encoding: [ 0xca , 0x11 , 0x1c , 0xd5 ]
32
34
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
33
35
// CHECK - UNKNOWN: d51c11ca msr S3_4_C1_C1_6 , x10
36
+
34
37
msr HDFGRTR_EL2 , x15
35
38
// CHECK - INST: msr HDFGRTR_EL2 , x15
36
39
// CHECK - ENCODING: encoding: [ 0x8f , 0x31 , 0x1c , 0xd5 ]
37
40
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
38
41
// CHECK - UNKNOWN: d51c318f msr S3_4_C3_C1_4 , x15
42
+
39
43
msr HDFGWTR_EL2 , x20
40
44
// CHECK - INST: msr HDFGWTR_EL2 , x20
41
45
// CHECK - ENCODING: encoding: [ 0xb4 , 0x31 , 0x1c , 0xd5 ]
42
46
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
43
47
// CHECK - UNKNOWN: d51c31b4 msr S3_4_C3_C1_5 , x20
48
+
44
49
msr HAFGRTR_EL2 , x25
45
50
// CHECK - INST: msr HAFGRTR_EL2 , x25
46
51
// CHECK - ENCODING: encoding: [ 0xd9 , 0x31 , 0x1c , 0xd5 ]
@@ -52,80 +57,91 @@ mrs x30, HFGRTR_EL2
52
57
// CHECK - ENCODING: encoding: [ 0x9e , 0x11 , 0x3c , 0xd5 ]
53
58
// CHECK - ERROR: : [[ @LINE - 3 ]] : 11 : error: expected readable system register
54
59
// CHECK - UNKNOWN: d53c119e mrs x30 , S3_4_C1_C1_4
60
+
55
61
mrs x25 , HFGWTR_EL2
56
62
// CHECK - INST: mrs x25 , HFGWTR_EL2
57
63
// CHECK - ENCODING: encoding: [ 0xb9 , 0x11 , 0x3c , 0xd5 ]
58
64
// CHECK - ERROR: : [[ @LINE - 3 ]] : 11 : error: expected readable system register
59
65
// CHECK - UNKNOWN: d53c11b9 mrs x25 , S3_4_C1_C1_5
66
+
60
67
mrs x20 , HFGITR_EL2
61
68
// CHECK - INST: mrs x20 , HFGITR_EL2
62
69
// CHECK - ENCODING: encoding: [ 0xd4 , 0x11 , 0x3c , 0xd5 ]
63
70
// CHECK - ERROR: : [[ @LINE - 3 ]] : 11 : error: expected readable system register
64
71
// CHECK - UNKNOWN: d53c11d4 mrs x20 , S3_4_C1_C1_6
72
+
65
73
mrs x15 , HDFGRTR_EL2
66
74
// CHECK - INST: mrs x15 , HDFGRTR_EL2
67
75
// CHECK - ENCODING: encoding: [ 0x8f , 0x31 , 0x3c , 0xd5 ]
68
76
// CHECK - ERROR: : [[ @LINE - 3 ]] : 11 : error: expected readable system register
69
77
// CHECK - UNKNOWN: d53c318f mrs x15 , S3_4_C3_C1_4
78
+
70
79
mrs x10 , HDFGWTR_EL2
71
80
// CHECK - INST: mrs x10 , HDFGWTR_EL2
72
81
// CHECK - ENCODING: encoding: [ 0xaa , 0x31 , 0x3c , 0xd5 ]
73
82
// CHECK - ERROR: : [[ @LINE - 3 ]] : 11 : error: expected readable system register
74
83
// CHECK - UNKNOWN: d53c31aa mrs x10 , S3_4_C3_C1_5
84
+
75
85
mrs x5 , HAFGRTR_EL2
76
86
// CHECK - INST: mrs x5 , HAFGRTR_EL2
77
87
// CHECK - ENCODING: encoding: [ 0xc5 , 0x31 , 0x3c , 0xd5 ]
78
88
// CHECK - ERROR: : [[ @LINE - 3 ]] : 11 : error: expected readable system register
79
89
// CHECK - UNKNOWN: d53c31c5 mrs x5 , S3_4_C3_C1_6
80
90
81
-
82
91
mrs x3 , HDFGRTR2_EL2
83
92
// CHECK - INST: mrs x3 , HDFGRTR2_EL2
84
93
// CHECK - ENCODING: encoding: [ 0x03 , 0x31 , 0x3c , 0xd5 ]
85
94
// CHECK - ERROR: : [[ @LINE - 3 ]] : 9 : error: expected readable system register
86
95
// CHECK - UNKNOWN: d53c3103 mrs x3 , S3_4_C3_C1_0
96
+
87
97
mrs x3 , HDFGWTR2_EL2
88
98
// CHECK - INST: mrs x3 , HDFGWTR2_EL2
89
99
// CHECK - ENCODING: encoding: [ 0x23 , 0x31 , 0x3c , 0xd5 ]
90
100
// CHECK - ERROR: : [[ @LINE - 3 ]] : 9 : error: expected readable system register
91
101
// CHECK - UNKNOWN: d53c3123 mrs x3 , S3_4_C3_C1_1
102
+
92
103
mrs x3 , HFGRTR2_EL2
93
104
// CHECK - INST: mrs x3 , HFGRTR2_EL2
94
105
// CHECK - ENCODING: encoding: [ 0x43 , 0x31 , 0x3c , 0xd5 ]
95
106
// CHECK - ERROR: : [[ @LINE - 3 ]] : 9 : error: expected readable system register
96
107
// CHECK - UNKNOWN: d53c3143 mrs x3 , S3_4_C3_C1_2
108
+
97
109
mrs x3 , HFGWTR2_EL2
98
110
// CHECK - INST: mrs x3 , HFGWTR2_EL2
99
111
// CHECK - ENCODING: encoding: [ 0x63 , 0x31 , 0x3c , 0xd5 ]
100
112
// CHECK - ERROR: : [[ @LINE - 3 ]] : 9 : error: expected readable system register
101
113
// CHECK - UNKNOWN: d53c3163 mrs x3 , S3_4_C3_C1_3
114
+
102
115
mrs x3 , HFGITR2_EL2
103
116
// CHECK - INST: mrs x3 , HFGITR2_EL2
104
117
// CHECK - ENCODING: encoding: [ 0xe3 , 0x31 , 0x3c , 0xd5 ]
105
118
// CHECK - ERROR: : [[ @LINE - 3 ]] : 9 : error: expected readable system register
106
119
// CHECK - UNKNOWN: d53c31e3 mrs x3 , S3_4_C3_C1_7
107
120
108
-
109
121
msr HDFGRTR2_EL2 , x3
110
122
// CHECK - INST: msr HDFGRTR2_EL2 , x3
111
123
// CHECK - ENCODING: encoding: [ 0x03 , 0x31 , 0x1c , 0xd5 ]
112
124
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
113
125
// CHECK - UNKNOWN: d51c3103 msr S3_4_C3_C1_0 , x3
126
+
114
127
msr HDFGWTR2_EL2 , x3
115
128
// CHECK - INST: msr HDFGWTR2_EL2 , x3
116
129
// CHECK - ENCODING: encoding: [ 0x23 , 0x31 , 0x1c , 0xd5 ]
117
130
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
118
131
// CHECK - UNKNOWN: d51c3123 msr S3_4_C3_C1_1 , x3
132
+
119
133
msr HFGRTR2_EL2 , x3
120
134
// CHECK - INST: msr HFGRTR2_EL2 , x3
121
135
// CHECK - ENCODING: encoding: [ 0x43 , 0x31 , 0x1c , 0xd5 ]
122
136
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
123
137
// CHECK - UNKNOWN: d51c3143 msr S3_4_C3_C1_2 , x3
138
+
124
139
msr HFGWTR2_EL2 , x3
125
140
// CHECK - INST: msr HFGWTR2_EL2 , x3
126
141
// CHECK - ENCODING: encoding: [ 0x63 , 0x31 , 0x1c , 0xd5 ]
127
142
// CHECK - ERROR: : [[ @LINE - 3 ]] : 5 : error: expected writable system register or pstate
128
143
// CHECK - UNKNOWN: d51c3163 msr S3_4_C3_C1_3 , x3
144
+
129
145
msr HFGITR2_EL2 , x3
130
146
// CHECK - INST: msr HFGITR2_EL2 , x3
131
147
// CHECK - ENCODING: encoding: [ 0xe3 , 0x31 , 0x1c , 0xd5 ]
0 commit comments