gas: bmi

[nick clifton]

Hi Christopher,

> (I may have sent this to the wrong list... resubmitting...)

You have found the correct list now.


> Hey guys, how do I get gas to output the BEXTR instruction?

Try searching for it in the GAS testsuite.  For example: 
gas/testsuite/gas/i386/x86-64-tbm.s.  So based on that, this should work:

   % cat fred.s

          .allow_index_reg
         .text

   _start:

     BEXTR    $0x0,%eax,%r15d

   % as fred.s -o fred.o
   % objdump -d fred.o
   Disassembly of section .text:

   0000000000000000 <_start>:
      0:   8f 6a 78 10 f8 00 00    bextr  $0x0,%eax,%r15d
      7:   00 00


Cheers
   Nick