binutils-gdb/gas
Tamar Christina f9830ec165 Implement Read/Write constraints on system registers on AArch64
This patch adds constraints for read and write only system registers with the
msr and mrs instructions.  The code will treat having both flags set and none
set as the same.  These flags add constraints that must be matched up. e.g. a
system register with a READ only flag set, can only be used with mrs.  If The
constraint fails a warning is emitted.

Examples of the warnings generated:

test.s: Assembler messages:
test.s:5: Warning: specified register cannot be written to at operand 1 -- `msr dbgdtrrx_el0,x3'
test.s:7: Warning: specified register cannot be read from at operand 2 -- `mrs x3,dbgdtrtx_el0'
test.s:8: Warning: specified register cannot be written to at operand 1 -- `msr midr_el1,x3'

and disassembly notes:

0000000000000000 <main>:
   0:	d5130503 	msr	dbgdtrtx_el0, x3
   4:	d5130503 	msr	dbgdtrtx_el0, x3
   8:	d5330503 	mrs	x3, dbgdtrrx_el0
   c:	d5330503 	mrs	x3, dbgdtrrx_el0
  10:	d5180003 	msr	midr_el1, x3	; note: writing to a read-only register.

Note that because dbgdtrrx_el0 and dbgdtrtx_el0 have the same encoding, during
disassembly the constraints are use to disambiguate between the two.  An exact
constraint match is always prefered over partial ones if available.

As always the warnings can be suppressed with -w and also be made errors using
warnings as errors.

binutils/

	PR binutils/21446
	* doc/binutils.texi (-M): Document AArch64 options.

gas/

	PR binutils/21446
	* testsuite/gas/aarch64/illegal-sysreg-2.s: Fix pmbidr_el1 test.
	* testsuite/gas/aarch64/illegal-sysreg-2.l: Likewise.
	* testsuite/gas/aarch64/illegal-sysreg-2.d: Likewise.
	* testsuite/gas/aarch64/sysreg-diagnostic.s: New.
	* testsuite/gas/aarch64/sysreg-diagnostic.l: New.
	* testsuite/gas/aarch64/sysreg-diagnostic.d: New.

include/

	PR binutils/21446
	* opcode/aarch64.h (F_SYS_READ, F_SYS_WRITE): New.

opcodes/

	PR binutils/21446
	* aarch64-asm.c (opintl.h): Include.
	(aarch64_ins_sysreg): Enforce read/write constraints.
	* aarch64-dis.c (aarch64_ext_sysreg): Likewise.
	* aarch64-opc.h (F_DEPRECATED, F_ARCHEXT, F_HASXT): Moved here.
	(F_REG_READ, F_REG_WRITE): New.
	* aarch64-opc.c (aarch64_print_operand): Generate notes for
	AARCH64_OPND_SYSREG.
	(F_DEPRECATED, F_ARCHEXT, F_HASXT): Move to aarch64-opc.h.
	(aarch64_sys_regs): Add constraints to currentel, midr_el1, ctr_el0,
	mpidr_el1, revidr_el1, aidr_el1, dczid_el0, id_dfr0_el1, id_pfr0_el1,
	id_pfr1_el1, id_afr0_el1, id_mmfr0_el1, id_mmfr1_el1, id_mmfr2_el1,
	id_mmfr3_el1, id_mmfr4_el1, id_isar0_el1, id_isar1_el1, id_isar2_el1,
	id_isar3_el1, id_isar4_el1, id_isar5_el1, mvfr0_el1, mvfr1_el1,
	mvfr2_el1, ccsidr_el1, id_aa64pfr0_el1, id_aa64pfr1_el1,
	id_aa64dfr0_el1, id_aa64dfr1_el1, id_aa64isar0_el1, id_aa64isar1_el1,
	id_aa64mmfr0_el1, id_aa64mmfr1_el1, id_aa64mmfr2_el1, id_aa64afr0_el1,
	id_aa64afr0_el1, id_aa64afr1_el1, id_aa64zfr0_el1, clidr_el1,
	csselr_el1, vsesr_el2, erridr_el1, erxfr_el1, rvbar_el1, rvbar_el2,
	rvbar_el3, isr_el1, tpidrro_el0, cntfrq_el0, cntpct_el0, cntvct_el0,
	mdccsr_el0, dbgdtrrx_el0, dbgdtrtx_el0, osdtrrx_el1, osdtrtx_el1,
	mdrar_el1, oslar_el1, oslsr_el1, dbgauthstatus_el1, pmbidr_el1,
	pmsidr_el1, pmswinc_el0, pmceid0_el0, pmceid1_el0.
	* aarch64-tbl.h (aarch64_opcode_table): Add constraints to
	msr (F_SYS_WRITE), mrs (F_SYS_READ).
2018-05-15 17:17:36 +01:00
..
config Allow non-fatal errors to be emitted and for disassembly notes be placed on AArch64 2018-05-15 17:17:36 +01:00
doc Enable Intel MOVDIRI, MOVDIR64B instructions 2018-05-07 16:57:48 -07:00
po Updated Spanish translation for the gas sub-directory. 2018-05-01 16:42:41 +01:00
testsuite Implement Read/Write constraints on system registers on AArch64 2018-05-15 17:17:36 +01:00
.gitignore
acinclude.m4
aclocal.m4
app.c Remove i370 support 2018-04-16 15:21:56 +09:30
as.c Fix a problem in the assembler when checking for overlapping input and output files on non-POSIX compliant systems. 2018-05-14 13:05:02 +01:00
as.h Extend the assembler so that it can automatically generate GNU Build attribute notes if none are present in the input files. 2018-04-26 15:12:42 +01:00
asintl.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
atof-generic.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
bignum.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
bit_fix.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
cgen.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
cgen.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
ChangeLog Implement Read/Write constraints on system registers on AArch64 2018-05-15 17:17:36 +01:00
ChangeLog-0001
ChangeLog-0203
ChangeLog-2004
ChangeLog-2005
ChangeLog-2006
ChangeLog-2007
ChangeLog-2008
ChangeLog-2009
ChangeLog-2010
ChangeLog-2011
ChangeLog-2012
ChangeLog-2013
ChangeLog-2014
ChangeLog-2015
ChangeLog-2016
ChangeLog-2017
ChangeLog-9295
ChangeLog-9697
ChangeLog-9899
compress-debug.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
compress-debug.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
cond.c Fix illegal memory accesses in the assembler when attempting to parse corrup tinput files. 2018-04-16 16:39:15 +01:00
config.in Extend the assembler so that it can automatically generate GNU Build attribute notes if none are present in the input files. 2018-04-26 15:12:42 +01:00
configure Extend the assembler so that it can automatically generate GNU Build attribute notes if none are present in the input files. 2018-04-26 15:12:42 +01:00
configure.ac Extend the assembler so that it can automatically generate GNU Build attribute notes if none are present in the input files. 2018-04-26 15:12:42 +01:00
configure.com Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
configure.tgt Remove arm-aout and arm-coff support 2018-04-25 09:38:17 +09:30
CONTRIBUTORS Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
COPYING
debug.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
dep-in.sed
depend.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
dw2gencfi.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
dw2gencfi.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
dwarf2dbg.c Fix compile time warning messages from gcc version 8 about cast between incompatible function types. 2018-02-13 13:14:47 +00:00
dwarf2dbg.h Fix compile time warning messages from gcc version 8 about cast between incompatible function types. 2018-02-13 13:14:47 +00:00
ecoff.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
ecoff.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
ehopt.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
emul-target.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
emul.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
expr.c Remove i860, i960, bout and aout-adobe targets 2018-04-11 21:49:30 +09:30
expr.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
flonum-copy.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
flonum-konst.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
flonum-mult.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
flonum.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
frags.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
frags.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
gdbinit.in
hash.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
hash.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
input-file.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
input-file.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
input-scrub.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
itbl-lex-wrapper.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
itbl-lex.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
itbl-lex.l Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
itbl-ops.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
itbl-ops.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
itbl-parse.y Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
listing.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
listing.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
literal.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
macro.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
macro.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
MAINTAINERS Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
Makefile.am Remove arm-aout and arm-coff support 2018-04-25 09:38:17 +09:30
Makefile.in Remove arm-aout and arm-coff support 2018-04-25 09:38:17 +09:30
makefile.vms Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
messages.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
NEWS Extend the assembler so that it can automatically generate GNU Build attribute notes if none are present in the input files. 2018-04-26 15:12:42 +01:00
obj.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
output-file.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
output-file.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
read.c Remove i860, i960, bout and aout-adobe targets 2018-04-11 21:49:30 +09:30
read.h gas: Rename .nop directive to .nops 2018-02-27 14:46:03 -08:00
README Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
remap.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
sb.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
sb.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
stabs.c Silence gcc-8 warnings 2018-04-23 18:10:41 +09:30
stamp-h.in
struc-symbol.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
subsegs.c Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
subsegs.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
symbols.c Extend the assembler so that it can automatically generate GNU Build attribute notes if none are present in the input files. 2018-04-26 15:12:42 +01:00
symbols.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
tc.h Update year range in copyright notice of binutils files 2018-01-03 17:49:56 +10:30
write.c Stop generating GNU build notes for linkonce sections. 2018-05-14 15:32:43 +01:00
write.h Remove i860, i960, bout and aout-adobe targets 2018-04-11 21:49:30 +09:30

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

		README for GAS

A number of things have changed since version 1 and the wonderful
world of gas looks very different.  There's still a lot of irrelevant
garbage lying around that will be cleaned up in time.  Documentation
is scarce, as are logs of the changes made since the last gas release.
My apologies, and I'll try to get something useful.

Unpacking and Installation - Summary
====================================

See ../binutils/README.

To build just the assembler, make the target all-gas.

Documentation
=============

The GAS release includes texinfo source for its manual, which can be processed
into `info' or `dvi' forms.

The DVI form is suitable for printing or displaying; the commands for doing
this vary from system to system.  On many systems, `lpr -d' will print a DVI
file.  On others, you may need to run a program such as `dvips' to convert the
DVI file into a form your system can print.

If you wish to build the DVI file, you will need to have TeX installed on your
system.  You can rebuild it by typing:

	cd gas/doc
	make as.dvi

The Info form is viewable with the GNU Emacs `info' subsystem, or the
stand-alone `info' program, available as part of the GNU Texinfo distribution.
To build the info files, you will need the `makeinfo' program.  Type:

	cd gas/doc
	make info

Specifying names for hosts and targets
======================================

   The specifications used for hosts and targets in the `configure'
script are based on a three-part naming scheme, but some short
predefined aliases are also supported.  The full naming scheme encodes
three pieces of information in the following pattern:

     ARCHITECTURE-VENDOR-OS

   For example, you can use the alias `sun4' as a HOST argument or in a
`--target=TARGET' option.  The equivalent full name is
`sparc-sun-sunos4'.

   The `configure' script accompanying GAS does not provide any query
facility to list all supported host and target names or aliases.
`configure' calls the Bourne shell script `config.sub' to map
abbreviations to full names; you can read the script, if you wish, or
you can use it to test your guesses on abbreviations--for example:

     % sh config.sub i386v
     i386-unknown-sysv
     % sh config.sub i786v
     Invalid configuration `i786v': machine `i786v' not recognized


`configure' options
===================

   Here is a summary of the `configure' options and arguments that are
most often useful for building GAS.  `configure' also has several other
options not listed here.

     configure [--help]
               [--prefix=DIR]
               [--srcdir=PATH]
               [--host=HOST]
               [--target=TARGET]
               [--with-OPTION]
               [--enable-OPTION]

You may introduce options with a single `-' rather than `--' if you
prefer; but you may abbreviate option names if you use `--'.

`--help'
     Print a summary of the options to `configure', and exit.

`-prefix=DIR'
     Configure the source to install programs and files under directory
     `DIR'.

`--srcdir=PATH'
     Look for the package's source code in directory DIR.  Usually
     `configure' can determine that directory automatically.

`--host=HOST'
     Configure GAS to run on the specified HOST.  Normally the
     configure script can figure this out automatically.

     There is no convenient way to generate a list of all available
     hosts.

`--target=TARGET'
     Configure GAS for cross-assembling programs for the specified
     TARGET.  Without this option, GAS is configured to assemble .o files
     that run on the same machine (HOST) as GAS itself.

     There is no convenient way to generate a list of all available
     targets.

`--enable-OPTION'
     These flags tell the program or library being configured to
     configure itself differently from the default for the specified
     host/target combination.  See below for a list of `--enable'
     options recognized in the gas distribution.

`configure' accepts other options, for compatibility with configuring
other GNU tools recursively; but these are the only options that affect
GAS or its supporting libraries.

The `--enable' options recognized by software in the gas distribution are:

`--enable-targets=...'
     This causes one or more specified configurations to be added to those for
     which BFD support is compiled.  Currently gas cannot use any format other
     than its compiled-in default, so this option is not very useful.

`--enable-bfd-assembler'
     This causes the assembler to use the new code being merged into it to use
     BFD data structures internally, and use BFD for writing object files.
     For most targets, this isn't supported yet.  For most targets where it has
     been done, it's already the default.  So generally you won't need to use
     this option.

Compiler Support Hacks
======================

On a few targets, the assembler has been modified to support a feature
that is potentially useful when assembling compiler output, but which
may confuse assembly language programmers.  If assembler encounters a
.word pseudo-op of the form symbol1-symbol2 (the difference of two
symbols), and the difference of those two symbols will not fit in 16
bits, the assembler will create a branch around a long jump to
symbol1, and insert this into the output directly before the next
label: The .word will (instead of containing garbage, or giving an
error message) contain (the address of the long jump)-symbol2.  This
allows the assembler to assemble jump tables that jump to locations
very far away into code that works properly.  If the next label is
more than 32K away from the .word, you lose (silently); RMS claims
this will never happen.  If the -K option is given, you will get a
warning message when this happens.


REPORTING BUGS IN GAS
=====================

Bugs in gas should be reported to:

   bug-binutils@gnu.org.

They may be cross-posted to gcc-bugs@gnu.org if they affect the use of
gas with gcc.  They should not be reported just to gcc-bugs, since not
all of the maintainers read that list.

See ../binutils/README for what we need in a bug report.

Copyright (C) 2012-2018 Free Software Foundation, Inc.

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.