Hi,
This patch enables in binutils (namely, in asm and objdump) new ADCX,
ADOX, RDSEED and PREFETCHW instructions, introduced here:
http://software.intel.com/en-us/avx/

Is it ok for trunk?

gas/Changelog entry:
2012-07-16  Michael Zolotukhin  <michael.v.zolotukhin@intel.com>

        * config/tc-i386.c: Add ADX, RDSEED and PRFCHW asm directives.
        * doc/c-i386.texi: Document the new directives.

gas/testsuite/Changelog entry:
2012-07-16  Michael Zolotukhin  <michael.v.zolotukhin@intel.com>

        * gas/i386/i386.exp: Run adx, rdseed and prefetchw tests.
        * gas/i386/x86-64-arch-2.s: Use prefetchw as 3dnow and Prfchw tests.
        * gas/i386/arch-10.s: Likewise.
        * gas/i386/arch-10-1.l: Changed correspondingly.
        * gas/i386/arch-10-2.l: Likewise.
        * gas/i386/arch-10-3.l: Likewise.
        * gas/i386/arch-10-4.l: Likewise.
        * gas/i386/arch-10.d: Likewise.
        * gas/i386/arch-10-lzcnt.d: Likewise.
        * gas/i386/x86-64-arch-2.d: Likewise.
        * gas/i386/x86-64-arch-2-lzcnt.d: Likewise.
        * gas/i386/ilp32/x86-64-arch-2.d: Likewise.
        * gas/i386/arch-10-prefetchw.d: New file.
        * gas/i386/x86-64-arch-2-prefetchw.d: Likewise.
        * gas/i386/rdseed.s: Likewise.
        * gas/i386/rdseed.d: Likewise.
        * gas/i386/rdseed-intel.d: Likewise.
        * gas/i386/adx.s: Likewise.
        * gas/i386/adx.d: Likewise.
        * gas/i386/adx-intel.d: Likewise.
        * gas/i386/x86-64-rdseed.s: Likewise.
        * gas/i386/x86-64-rdseed.d: Likewise.
        * gas/i386/x86-64-rdseed-intel.d: Likewise.
        * gas/i386/x86-64-adx.s: Likewise.
        * gas/i386/x86-64-adx.d: Likewise.
        * gas/i386/x86-64-adx-intel.d: Likewise.

opcodes/ChangeLog entry:
2012-07-16  Michael Zolotukhin  <michael.v.zolotukhin@intel.com>

        * i386-dis.c (PREFIX_0F38F6): New.
        (prefix_table): Add adcx, adox instructions.
        (three_byte_table): Use PREFIX_0F38F6.
        (mod_table): Add rdseed instruction.
        * i386-gen.c (cpu_flag_init): Add CpuADX, CpuRDSEED, CpuPRFCHW.
        (cpu_flags): Likewise.
        * i386-opc.h: Add CpuADX, CpuRDSEED, CpuPRFCHW.
        (i386_cpu_flags): Add fields cpurdseed, cpuadx, cpuprfchw.
        * i386-opc.tbl: Add instrcutions adcx, adox, rdseed. Extend prefetchw.
        * i386-tbl.h: Regenerate.
        * i386-init.h: Likewise.


--
---
Best regards,
Michael V. Zolotukhin,
Software Engineer
Intel Corporation.