[Aarch64] Add support for ARMv8.1 command line option

[Matthew Wahab]

Ping.

I've attached an updated patch and also added to the gas/NEW to mention the ARMv8.1 
support in the Aarch64 port. Updated change-log below.

Tested aarch64-none-linux-gnu with check-binutils and check-gas.

Ok for trunk?
Matthew

include/opcode/
2015-06-03  Matthew Wahab  <matthew.wahab@arm.com>

	* aarch64.h (AARCH64_V8_1): New.

gas/
2015-06-03  Matthew Wahab  <matthew.wahab@arm.com>

	* NEWS: Mention ARMv8.1 support in the Aarch64 port.
	* config/tc-aarch64.c (aarch64_arch_option_table): Add
	"armv8.1-a".
	* doc/c-aarch64.texi (-march): Add "armv8.1-a".

-------------- next part --------------
A non-text attachment was scrubbed...
Name: aarch64_armv8.1-a.patch
Type: text/x-patch
Size: 2299 bytes
Desc: not available
URL: <https://sourceware.org/pipermail/binutils/attachments/20150603/89bb95d2/attachment.bin>