[Bug inline-asm/66274] New: gcc6: x86 -m32 emits 64bit register in inline asm

["adam at os dot inf.tu-dresden.de" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66274

            Bug ID: 66274
           Summary: gcc6: x86 -m32 emits 64bit register in inline asm
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: inline-asm
          Assignee: unassigned at gcc dot gnu.org
          Reporter: adam at os dot inf.tu-dresden.de
  Target Milestone: ---

The following reduced test-case:

void f()
{
  asm ("push %0" : : "r" ((unsigned long long)456 >> 32));
}

produces:

$ gcc -c -m32 t.i
t.i: Assembler messages:
t.i:3: Error: bad register name `%rax'
$ gcc --version
gcc (GCC) 6.0.0 20150524 (experimental)

Works with gcc-5 and previous versions.