[Bug target/21721] New: [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[Bug target/21721] New: [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[doko at debian dot org]

4.0 CVS 20050522 on ia64-linux, binutils-2.15, glibc-2.3.5,
works with 3.3.6 and 3.4.4 releases

$ gcc -O2 -g -c writet1.i
writet1.c: In function 'load_enc':
writet1.c:348: warning: pointer targets in assignment differ in signedness
writet1.c: In function 't1_open_fontfile':
writet1.c:1000: warning: pointer targets in assignment differ in signedness
writet1.c:1012: warning: pointer targets in assignment differ in signedness
writet1.c: In function 't1_read_enc':
writet1.c:1033: warning: pointer targets in assignment differ in signedness
/tmp/cctsWODh.s: Assembler messages:
/tmp/cctsWODh.s:15316: Error: Use of p0 is not valid in this context

-- 
           Summary: [4.0 regression] fails to assemble, Use of p0 is not
                    valid in this context
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: doko at debian dot org
                CC: debian-gcc at lists dot debian dot org,gcc-bugs at gcc
                    dot gnu dot org
 GCC build triplet: ia64-linux
  GCC host triplet: ia64-linux
GCC target triplet: ia64-linux


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[doko at debian dot org]

------- Additional Comments From doko at debian dot org  2005-05-23 16:49 -------
Created an attachment (id=8952)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8952&action=view)
assembler file


-- 


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[doko at debian dot org]

------- Additional Comments From doko at debian dot org  2005-05-23 16:48 -------
Created an attachment (id=8951)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8951&action=view)
preprocessed source


-- 


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[doko at debian dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |3.3.6 3.4.4
      Known to work|                            |4.0.1


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[schwab at suse dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schwab at suse dot de
      Known to fail|3.3.6 3.4.4                 |4.0.1
      Known to work|4.0.1                       |3.3.6 3.4.4


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[schwab at suse dot de]

------- Additional Comments From schwab at suse dot de  2005-05-23 17:21 -------
Seems to be fixed in 4.1. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|3.3.6 3.4.4                 |3.3.6 3.4.4 4.1.0


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[sje at cup dot hp dot com]

------- Additional Comments From sje at cup dot hp dot com  2005-05-27 18:23 -------
I am not sure the underlying problem is fixed.  The assembly language error
seems to come from the line:

.pred.rel.mutex p0, p1

p0 is a fixed predicate register and should never show up here.  p1 is not used
in this program and due to the way GCC allocates predicate registers on IA64 I
don't think GCC can ever use p1.

The routine emit_predicate_relation_info in config/ia64/ia64.c looks at all
predicate registers to see if it should put out a pred.rel.mutex for them.  I
wonder if it should even look at p0.  We could have it start at p2 instead.  But
maybe it would be better to understand why it thinks it needs a mutex for p0
in this case.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sje at cup dot hp dot com


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[schwab at suse dot de]

------- Additional Comments From schwab at suse dot de  2005-05-31 10:57 -------
Almost the complete set of predicate registers is live throughout most of  
function writet1, this looks bogus.  

-- 


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[sje at cup dot hp dot com]

------- Additional Comments From sje at cup dot hp dot com  2005-05-31 21:10 -------
It looks like this is due to code in ia64/ia64.c (ia64_compute_frame_size).
If we need to store any predicate register (before a call I presume), the code
stores them all and sets regs_ever_live[regno] to 1 for all predicate registers.

There are question marks in the comment for this code.  It looks like it was
added in version 1.40 of ia64.c by rth.

-- 


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-06-08 07:27 -------
Subject: Bug 21721

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rth@gcc.gnu.org	2005-06-08 07:27:01

Modified files:
	gcc            : ChangeLog 
	gcc/config/ia64: ia64.c 

Log message:
	PR target/21721
	* config/ia64/ia64.c (emit_predicate_relation_info): Skip p0.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9085&r2=2.9086
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/ia64/ia64.c.diff?cvsroot=gcc&r1=1.371&r2=1.372



-- 


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[matz at suse dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |matz at suse dot de


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-19 20:55 -------
Subject: Bug 21721

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	sje@gcc.gnu.org	2005-07-19 20:55:20

Modified files:
	gcc            : ChangeLog 
	gcc/config/ia64: ia64.c 

Log message:
	Backport from mainline.
	PR target/21721
	* config/ia64/ia64.c (emit_predicate_relation_info): Skip p0.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.319&r2=2.7592.2.320
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/ia64/ia64.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.347.2.8&r2=1.347.2.9



-- 


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

[Bug target/21721] [4.0 regression] fails to assemble, Use of p0 is not valid in this context

[sje at cup dot hp dot com]

------- Additional Comments From sje at cup dot hp dot com  2005-07-19 20:58 -------
Fixed on mainline for 4.1 and on 4.0.X branch for 4.0.2.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.0.2


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