1 // RUN
: not llvm-mc
-triple aarch64-none-linux-gnu
-show-encoding
-mattr
=+v8.4
a < %s
2> %t | FileCheck
%s
--check-prefix
=CHECK
2 // RUN
: FileCheck
--check-prefix
=CHECK-RO
< %t %s
4 // RUN
: not llvm-mc
-triple aarch64-none-linux-gnu
-show-encoding
-mattr
=-v8.4
a < %s
2>&1 | FileCheck
%s
--check-prefix
=CHECK-ERROR
6 //------------------------------------------------------------------------------
7 // ARMV8.4
-A RAS Extensions
8 //------------------------------------------------------------------------------
10 // Read
/Write registers
:
15 //CHECK
: msr ERXPFGCTL_EL1
, x0
// encoding
: [0xa0,0x54,0x18,0xd5]
16 //CHECK
: mrs x0
, ERXPFGCTL_EL1
// encoding
: [0xa0,0x54,0x38,0xd5]
17 //CHECK-ERROR
: error
: expected writable system register
or pstate
18 //CHECK-ERROR
: error
: expected readable system register
23 //CHECK
: msr ERXPFGCDN_EL1
, x0
// encoding
: [0xc0,0x54,0x18,0xd5]
24 //CHECK
: mrs x0
, ERXPFGCDN_EL1
// encoding
: [0xc0,0x54,0x38,0xd5]
25 //CHECK-ERROR
: error
: expected writable system register
or pstate
26 //CHECK-ERROR
: error
: expected readable system register
31 //CHECK
: msr ERXTS_EL1
, x0
// encoding
: [0xe0,0x55,0x18,0xd5]
32 //CHECK
: mrs x0
, ERXTS_EL1
// encoding
: [0xe0,0x55,0x38,0xd5]
33 //CHECK-ERROR
: error
: expected writable system register
or pstate
34 //CHECK-ERROR
: error
: expected readable system register
39 //CHECK
: msr ERXMISC2_EL1
, x0
// encoding
: [0x40,0x55,0x18,0xd5]
40 //CHECK
: mrs x0
, ERXMISC2_EL1
// encoding
: [0x40,0x55,0x38,0xd5]
41 //CHECK-ERROR
: error
: expected writable system register
or pstate
42 //CHECK-ERROR
: error
: expected readable system register
47 //CHECK
: msr ERXMISC3_EL1
, x0
// encoding
: [0x60,0x55,0x18,0xd5]
48 //CHECK
: mrs x0
, ERXMISC3_EL1
// encoding
: [0x60,0x55,0x38,0xd5]
49 //CHECK-ERROR
: error
: expected writable system register
or pstate
50 //CHECK-ERROR
: error
: expected readable system register
52 // Read-only registers
:
57 //CHECK
: mrs x0
, ERXPFGF_EL1
// encoding
: [0x80,0x54,0x38,0xd5]
58 //CHECK-RO
: error
: expected writable system register
or pstate
59 //CHECK-ERROR
: error
: expected readable system register
60 //CHECK-ERROR
: error
: expected writable system register
or pstate