gas/testsuite/gas/aarch64/illegal-sysreg-4.l

   1 [^:]*: Assembler messages:
   2 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rctx'
   3 [^:]*:[0-9]+: Error: selected processor does not support `cfp rctx,x1'
   4 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rctx'
   5 [^:]*:[0-9]+: Error: selected processor does not support `dvp rctx,x2'
   6 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rctx'
   7 [^:]*:[0-9]+: Error: selected processor does not support `cpp rctx,x3'
   8 [^:]*:[0-9]+: Error: selected processor does not support system register name 'cvadp'
   9 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rndr'
  10 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rndrrs'
  11 [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el0'
  12 [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el1'
  13 [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el2'
  14 [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el3'
  15 [^:]*:[0-9]+: Error: selected processor does not support system register name 'scxtnum_el12'
  16 [^:]*:[0-9]+: Error: selected processor does not support system register name 'id_pfr2_el1'
  17 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco'
  18 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco'
  19 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsre0_el1'
  20 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el1'
  21 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el2'
  22 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el3'
  23 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el12'
  24 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rgsr_el1'
  25 [^:]*:[0-9]+: Error: selected processor does not support system register name 'gcr_el1'
  26 [^:]*:[0-9]+: Error: selected processor does not support PSTATE field name 'tco'
  27 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco'
  28 [^:]*:[0-9]+: Error: selected processor does not support PSTATE field name 'tco'
  29 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tco'
  30 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsre0_el1'
  31 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el1'
  32 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el2'
  33 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el3'
  34 [^:]*:[0-9]+: Error: selected processor does not support system register name 'tfsr_el12'
  35 [^:]*:[0-9]+: Error: selected processor does not support system register name 'rgsr_el1'
  36 [^:]*:[0-9]+: Error: selected processor does not support system register name 'gcr_el1'
  37 [^:]*:[0-9]+: Error: selected processor does not support PSTATE field name 'tco'