* [Bug target/60925] [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
@ 2014-04-22 19:38 ` aaro.koskinen at iki dot fi
2014-04-22 19:39 ` aaro.koskinen at iki dot fi
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: aaro.koskinen at iki dot fi @ 2014-04-22 19:38 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
--- Comment #1 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
Created attachment 32655
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32655&action=edit
Pre-processed source.
Steps to reproduce:
hppa-linux-gnu-gcc gethstbyad.i -c -std=gnu99 -fgnu89-inline -O2 -Wall
-Winline -Wwrite-strings -fmerge-all-constants -frounding-math -g
-Wstrict-prototypes -fPIC -fexceptions
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
2014-04-22 19:38 ` [Bug target/60925] " aaro.koskinen at iki dot fi
@ 2014-04-22 19:39 ` aaro.koskinen at iki dot fi
2014-04-23 8:41 ` [Bug target/60925] [4.9/4.10 " rguenth at gcc dot gnu.org
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: aaro.koskinen at iki dot fi @ 2014-04-22 19:39 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
--- Comment #2 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
GLIVC 2.19 compiles fine with GCC 4.8.2.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
2014-04-22 19:38 ` [Bug target/60925] " aaro.koskinen at iki dot fi
2014-04-22 19:39 ` aaro.koskinen at iki dot fi
@ 2014-04-23 8:41 ` rguenth at gcc dot gnu.org
2014-05-22 20:25 ` aaro.koskinen at iki dot fi
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-04-23 8:41 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.9.1
Summary|[4.9 Regression] hppa: |[4.9/4.10 Regression] hppa:
|can't find a register in |can't find a register in
|class 'R1_REGS' while |class 'R1_REGS' while
|reloading 'asm' |reloading 'asm'
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (2 preceding siblings ...)
2014-04-23 8:41 ` [Bug target/60925] [4.9/4.10 " rguenth at gcc dot gnu.org
@ 2014-05-22 20:25 ` aaro.koskinen at iki dot fi
2014-05-23 18:01 ` aaro.koskinen at iki dot fi
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: aaro.koskinen at iki dot fi @ 2014-05-22 20:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Aaro Koskinen <aaro.koskinen at iki dot fi> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |4.8.3
--- Comment #3 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
The same error now also appears with 4.8.3 when compiling GLIBC 2.19.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (3 preceding siblings ...)
2014-05-22 20:25 ` aaro.koskinen at iki dot fi
@ 2014-05-23 18:01 ` aaro.koskinen at iki dot fi
2014-05-25 11:12 ` aaro.koskinen at iki dot fi
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: aaro.koskinen at iki dot fi @ 2014-05-23 18:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Aaro Koskinen <aaro.koskinen at iki dot fi> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |danglin at gcc dot gnu.org
--- Comment #4 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
I bisected this on gcc-4_8_branch to:
e990a321ced7f9b02c4065a2779bbf9eaa6c774f is the first bad commit
commit e990a321ced7f9b02c4065a2779bbf9eaa6c774f
Author: danglin <danglin@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed Jan 8 02:01:50 2014 +0000
PR target/59652
* config/pa/pa.c (pa_legitimate_address_p): Return false before reload
for 14-bit register offsets when INT14_OK_STRICT is false.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_8-branch@206414
138bc75d-0d04-0410-961f-82ee72b054a4
With that commit reverted, GCC 4.8.3 builds latest GLIBC fine. I have not yet
tried if the same works with GCC 4.9.0.
Adding the commit author to CC.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (4 preceding siblings ...)
2014-05-23 18:01 ` aaro.koskinen at iki dot fi
@ 2014-05-25 11:12 ` aaro.koskinen at iki dot fi
2014-05-25 18:31 ` dave.anglin at bell dot net
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: aaro.koskinen at iki dot fi @ 2014-05-25 11:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
--- Comment #6 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
Created attachment 32852
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32852&action=edit
Simplified reproducer.
I tried to make a simpler reproducer.
$ hppa-linux-gnu-gcc pr60925.c -c -O2 -Wall -g -fPIC
pr60925.c: In function 'foo':
pr60925.c:6:9: error: can't find a register in class 'R1_REGS' while reloading
'asm'
asm volatile(
^
pr60925.c:6:9: error: can't find a register in class 'R1_REGS' while reloading
'asm'
asm volatile(
^
pr60925.c:6:9: error: 'asm' operand has impossible constraints
asm volatile(
^
pr60925.c:6:9: error: 'asm' operand has impossible constraints
asm volatile(
^
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (5 preceding siblings ...)
2014-05-25 11:12 ` aaro.koskinen at iki dot fi
@ 2014-05-25 18:31 ` dave.anglin at bell dot net
2014-05-26 11:34 ` carlos at systemhalted dot org
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: dave.anglin at bell dot net @ 2014-05-25 18:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
--- Comment #7 from dave.anglin at bell dot net ---
On 25-May-14, at 7:11 AM, aaro.koskinen at iki dot fi wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
>
> --- Comment #6 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
> Created attachment 32852
> --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32852&action=edit
> Simplified reproducer.
>
> I tried to make a simpler reproducer.
Thanks for simplifying the test case. The problem is now clear.
>
> $ hppa-linux-gnu-gcc pr60925.c -c -O2 -Wall -g -fPIC
> pr60925.c: In function 'foo':
> pr60925.c:6:9: error: can't find a register in class 'R1_REGS' while
> reloading
> 'asm'
> asm volatile(
> ^
The problem is the argument "futex" used in the asm. When generating
PIC code, register
%r1 is needed for position independent loads and stores from memory.
In the test, both statements involving __lll_mutex_lock are needed to
trigger the
error. Essentially, reload fails to handle the reloads needed for
&lock because the
asm clobbers %r1 and %r1 is needed for the reload.
Possibly, reload should be able to do this because the reload insns
should be emitted
before %r1 is clobbered by the asm, but reload is complicated.
A better fix is to ensure that the futex argument is placed in a
general register
that is not clobbered by the asm. This has to happen anyway. For
example,
static inline int __attribute__((always_inline))
__lll_mutex_lock(int *futex, int private)
{
register int *f asm ("r5") = futex;
...
The other fix is to not inline __lll_mutex_lock. Then, one is sure
that futex will be
in %r26 on entry, and it can be copied to another general register
without %r1 being
needed.
Dave
--
John David Anglin dave.anglin@bell.net
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (6 preceding siblings ...)
2014-05-25 18:31 ` dave.anglin at bell dot net
@ 2014-05-26 11:34 ` carlos at systemhalted dot org
2014-07-16 13:28 ` jakub at gcc dot gnu.org
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: carlos at systemhalted dot org @ 2014-05-26 11:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
--- Comment #8 from Carlos O'Donell <carlos at systemhalted dot org> ---
On Sun, May 25, 2014 at 2:30 PM, John David Anglin <dave.anglin@bell.net>
wrote:
> On 25-May-14, at 7:11 AM, aaro.koskinen at iki dot fi wrote:
>
>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
>>
>> --- Comment #6 from Aaro Koskinen <aaro.koskinen at iki dot fi> ---
>> Created attachment 32852
>> --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32852&action=edit
>> Simplified reproducer.
>>
>> I tried to make a simpler reproducer.
>
>
> Thanks for simplifying the test case. The problem is now clear.
>
>>
>> $ hppa-linux-gnu-gcc pr60925.c -c -O2 -Wall -g -fPIC
>> pr60925.c: In function 'foo':
>> pr60925.c:6:9: error: can't find a register in class 'R1_REGS' while
>> reloading
>> 'asm'
>> asm volatile(
>> ^
>
> The problem is the argument "futex" used in the asm. When generating PIC
> code, register
> %r1 is needed for position independent loads and stores from memory.
>
> In the test, both statements involving __lll_mutex_lock are needed to
> trigger the
> error. Essentially, reload fails to handle the reloads needed for &lock
> because the
> asm clobbers %r1 and %r1 is needed for the reload.
>
> Possibly, reload should be able to do this because the reload insns should
> be emitted
> before %r1 is clobbered by the asm, but reload is complicated.
I consider this a defect in reload, but accept that a correct fix might be
hard.
> A better fix is to ensure that the futex argument is placed in a general
> register
> that is not clobbered by the asm. This has to happen anyway. For example,
Better is an adjective applied to a qlualifier.
Better for what?
Better for us because it's a faster fix? :-)
> static inline int __attribute__((always_inline))
> __lll_mutex_lock(int *futex, int private)
> {
> register int *f asm ("r5") = futex;
I'm fine with this as a workaround, but let's call it what it is, a workaround.
> ...
>
> The other fix is to not inline __lll_mutex_lock. Then, one is sure that
No, the locks should absolutely be inlined for performance reasons.
> futex will be
> in %r26 on entry, and it can be copied to another general register without
> %r1 being
> needed.
In summary:
- We need to change all hppa asms that might clobber %r1 to use fixed
registers to avoid reload bugs.
- In this particular case change the futex code to use another random
register for the futex argument.
Is that about right?
Cheers,
Carlos.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/4.10 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (7 preceding siblings ...)
2014-05-26 11:34 ` carlos at systemhalted dot org
@ 2014-07-16 13:28 ` jakub at gcc dot gnu.org
2014-10-30 10:40 ` [Bug target/60925] [4.9/5 " jakub at gcc dot gnu.org
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-07-16 13:28 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.9.1 |4.9.2
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.1 has been released.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/5 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (8 preceding siblings ...)
2014-07-16 13:28 ` jakub at gcc dot gnu.org
@ 2014-10-30 10:40 ` jakub at gcc dot gnu.org
2014-12-01 11:59 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-10-30 10:40 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.9.2 |4.9.3
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.2 has been released.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/5 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (9 preceding siblings ...)
2014-10-30 10:40 ` [Bug target/60925] [4.9/5 " jakub at gcc dot gnu.org
@ 2014-12-01 11:59 ` rguenth at gcc dot gnu.org
2015-01-21 6:03 ` law at redhat dot com
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-12-01 11:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code, ra
Priority|P3 |P4
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/5 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (10 preceding siblings ...)
2014-12-01 11:59 ` rguenth at gcc dot gnu.org
@ 2015-01-21 6:03 ` law at redhat dot com
2015-01-29 14:38 ` law at redhat dot com
2015-05-25 4:59 ` carlos at redhat dot com
13 siblings, 0 replies; 15+ messages in thread
From: law at redhat dot com @ 2015-01-21 6:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-01-21
CC| |law at redhat dot com
Ever confirmed|0 |1
--- Comment #11 from Jeffrey A. Law <law at redhat dot com> ---
Carlos,
In general, you want to avoid using a register that is in a singleton class in
an asm explicitly in an asm. While it works a hell of a lot better now than it
has in the past, there's still cases where you can put the compiler into a
situation where it can't figure out what to do. Typically that happens when
you explicit clobber every register that GCC could potentially use to resolve a
reload. And that's much more likely if you happen to clobber a register that
is a singleton in a class.
For the PA, %r1 is not fixed, but it is in a singleton class because it is the
only register that can be set by addil. And ldil;add is not equivalent to
addil because of some *insanely* gross stuff done by the HP linker where it
will change addil <whatever>,r27 into addil <whatever>,r0, depending on what
subsection <whatever> is in. THe linker isn't smart enough to do the same
transformation on an ldil/add sequence which should otherwise be equivalent.
Thus GCC has to put %r1 into its own class as a singleton.
%r1 will often be needed as a reload scratch register as well as an
intermediate for secondary reloads, most of the time to handle references to
data in static storage, but also to handle constants that may be shoved into
static storage. Registers with this kind of need are handled specially by
reload and their "lifetime" essentially is the entire insn that triggered the
reload. In this particular case, the lifetime is essentially the entire asm
statement.
So in this case, you have &lock being passed to lll_mutex_lock. That's a
reference to static storage and thus *may* %r1 as a reload scratch register.
That use as a reload scratch is seen as interfering with the %r1 in the clobber
list.
>From looking at the ASM you're trying to clobber all the call-clobbered
registers, presumably due to the hidden "call" in the asm (the
branch-and-link-external). Note that you should probably be including %r2 in
that list.
My asm and PA-fu are a bit rusty, so it's not immediately clear how to do what
you want. You could try changing r1 so that you're clobbering a register that
has to go into class "a". At least in that case you might be able to use a
simple clobber ("=a") rather than an earlyclobber ("=&a") for the constraint.
That gives GCC a bit more leeway in building the conflicts, but may still not
be enough.
Or get lock out of static memory or otherwise hide the fact that its in static
memory so that GCC won't try to create a direct reference to it in the asm. I
think that's what David's workaround was in effect suggesting. If by a level
of indirection you can prevent GCC from discovering that futex is in static
memory, then this problem should go away (its address will just be sitting in a
register and can be used directly).
These are just potential workarounds for a reload issue that is highly unlikely
to ever get fixed. If your asm clobber the entire set of call-clobbered
registers, you really don't leave reload enough leeway to handle reloads.
Similarly if it clobbers everything in a particular class, then you run into
the same problem if there's an operand that requires a reload register of that
class.
This is probably a WONTFIX.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/5 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (11 preceding siblings ...)
2015-01-21 6:03 ` law at redhat dot com
@ 2015-01-29 14:38 ` law at redhat dot com
2015-05-25 4:59 ` carlos at redhat dot com
13 siblings, 0 replies; 15+ messages in thread
From: law at redhat dot com @ 2015-01-29 14:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |WONTFIX
--- Comment #12 from Jeffrey A. Law <law at redhat dot com> ---
See c#11.
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug target/60925] [4.9/5 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm'
2014-04-22 19:36 [Bug target/60925] New: [4.9 Regression] hppa: can't find a register in class 'R1_REGS' while reloading 'asm' aaro.koskinen at iki dot fi
` (12 preceding siblings ...)
2015-01-29 14:38 ` law at redhat dot com
@ 2015-05-25 4:59 ` carlos at redhat dot com
13 siblings, 0 replies; 15+ messages in thread
From: carlos at redhat dot com @ 2015-05-25 4:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60925
Carlos O'Donell <carlos at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |carlos at redhat dot com
--- Comment #13 from Carlos O'Donell <carlos at redhat dot com> ---
For the record I made glibc use %r5 and saved/restored %r1 as required around
the syscall. I also added more clobbers in the event of future changes to the
kernel interface. This works around the "can't find a register in class FOO
while reloading 'asm'" error from the compiler.
The real culprit here is atomic.h in glibc and the asm in question is the
atomic compare and exchange that is being done via the light-weight kernel
syscall.
^ permalink raw reply [flat|nested] 15+ messages in thread