[Bug target/47502] New: [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[Bug target/47502] New: [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

           Summary: [x32] can’t find a register in class ‘SIREG’ while
                    reloading ‘asm’
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: hjl.tools@gmail.com


On x32 branch, I got

[hjl@gnu-6 ilp32-19]$ cat x.i
int
foo (const void *set, void *oset)
{
  unsigned int resultvar;
  asm volatile ("int $0x80\n\t"
                : "=a" (resultvar)
                : "0" (14), "c" ((set)), "d" ((oset)), "S" (8)
                : "memory", "cc");
  return resultvar;
}
[hjl@gnu-6 ilp32-19]$ make
/export/build/gnu/gcc-x32/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc-x32/build-x86_64-linux/gcc/ -S -o x.s -mx32 -O -dp  
x.i
x.i: In function ‘foo’:
x.i:5:3: error: can’t find a register in class ‘SIREG’ while reloading ‘asm’
x.i:5:3: error: ‘asm’ operand has impossible constraints
make: *** [x.s] Error 1
[hjl@gnu-6 ilp32-19]$

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
          Component|target                      |rtl-optimization

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-28 00:12:14 UTC ---
Combine ignores asm constraints and turns

           (set (reg:SI 64 [ resultvar ])
                (asm_operands/v:SI ("int $0x80
    ") ("=a") 0 [
                        (reg:SI 65)
                        (subreg/s/u:SI (reg/v/f:DI 62 [ xxxxx ]) 0)
                        (subreg/s/u:SI (reg/v/f:DI 63 [ yyyyy ]) 0)
                        (reg:SI 66)
                    ]
                     [
                        (asm_input:SI ("0") (null):0)
                        (asm_input:SI ("c") (null):0)
                        (asm_input:SI ("d") (null):0)
                        (asm_input:SI ("S") (null):0)
                    ]
                     [] x.i:10))
            (clobber (reg:QI 18 fpsr))
            (clobber (reg:QI 17 flags))
            (clobber (mem:BLK (scratch) [0 A8]))
        ]) x.i:5 -1

into

       (set (reg:SI 64 [ resultvar ])
            (asm_operands/v:SI ("int $0x80
    ") ("=a") 0 [
                    (reg:SI 65)
                    (reg:SI 5 di [ xxxxx ])
                    (subreg/s/u:SI (reg/v/f:DI 63 [ yyyyy ]) 0)
                    (reg:SI 66)
                ]
                 [
                    (asm_input:SI ("0") (null):0)
                    (asm_input:SI ("c") (null):0)
                    (asm_input:SI ("d") (null):0)
                    (asm_input:SI ("S") (null):0)
                ]
                 [] x.i:10))
        (clobber (reg:QI 18 fpsr))
        (clobber (reg:QI 17 flags))
        (clobber (mem:BLK (scratch) [0 A8]))
    ])

Things go downhill from here.

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-28 00:16:53 UTC ---
It is a bad idea for combine to replace pseudo registers in
asm statements with hard registers, which is the job of RA.

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ubizjak at gmail dot com

--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-28 00:23:39 UTC ---
It is a 4.6 regression. Combine in 4.4 doesn't do it.

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

--- Comment #4 from hjl at gcc dot gnu.org <hjl at gcc dot gnu.org> 2011-01-28 02:15:25 UTC ---
Author: hjl
Date: Fri Jan 28 02:15:22 2011
New Revision: 169351

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169351
Log:
Never combine asm statement.

gcc/

2011-01-27  H.J. Lu  <hongjiu.lu@intel.com>

    PR rtl-optimization/47502
    * combine.c (cant_combine_insn_p): Never combine asm statement.

gcc/testsuite/

2011-01-27  H.J. Lu  <hongjiu.lu@intel.com>

    PR rtl-optimization/47502
    * gcc.target/i386/pr47502-1.c: New.
    * gcc.target/i386/pr47502-2.c: Likewise.

Added:
    branches/x32/gcc/testsuite/gcc.target/i386/pr47502-1.c
    branches/x32/gcc/testsuite/gcc.target/i386/pr47502-2.c
Modified:
    branches/x32/gcc/ChangeLog.x32
    branches/x32/gcc/combine.c
    branches/x32/gcc/testsuite/ChangeLog.x32

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

--- Comment #5 from hjl at gcc dot gnu.org <hjl at gcc dot gnu.org> 2011-03-21 03:28:45 UTC ---
Author: hjl
Date: Mon Mar 21 03:28:40 2011
New Revision: 171205

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171205
Log:
Add 2 testcases for PR rtl-optimization/47502.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr47502-1.c
    trunk/gcc/testsuite/gcc.target/i386/pr47502-2.c
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

--- Comment #6 from hjl at gcc dot gnu.org <hjl at gcc dot gnu.org> 2011-04-02 05:47:07 UTC ---
Author: hjl
Date: Sat Apr  2 05:47:04 2011
New Revision: 171874

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171874
Log:
Don't check asm statement in cant_combine_insn_p.

2011-03-28  H.J. Lu  <hongjiu.lu@intel.com>

    PR rtl-optimization/47502
    * combine.c (cant_combine_insn_p): Don't check asm statement.

Modified:
    branches/x32/gcc/ChangeLog.x32
    branches/x32/gcc/combine.c

[Bug rtl-optimization/47502] [x32] can’t find a register in class ‘SIREG’ while reloading ‘asm’

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47502

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

--- Comment #7 from H.J. Lu <hjl.tools at gmail dot com> 2011-07-28 14:00:41 UTC ---
It is fixed by function pointer argument promotion.