[Bug tree-optimization/26345] New: -fmove-loop-invariants loses POINTER attribute

[Bug tree-optimization/26345] New: -fmove-loop-invariants loses POINTER attribute

[sje at cup dot hp dot com]

As of SVN version 110852, I cannot bootstrap IA64 HP-UX compiler.  The compiler
dies while compiling tree-into-ssa.c.  I have a preprocessed cut-down version
of this file that I will attach to this defect.  I proposed a workaround/patch
earlier, it is at http://gcc.gnu.org/ml/gcc-patches/2006-02/msg01288.html.  But
that patch is a workaround for the real bug, loosing the POINTER attribute on
the register.  The attached program compiles with -O2 -fno-move-loop-invariants
but dies with an unrecognized instruction with -O2.  The failure is I get is
below, the instruction is not regognized because reg 385 is not marked as a
ponter.

x.c:122: error: unrecognizable insn:
(insn 76 68 135 3 (set (reg:DI 387)
        (unspec:DI [
                (plus:SI (subreg/s/v:SI (reg:DI 385) 4)
                    (const_int 4 [0x4]))
            ] 24)) -1 (insn_list:REG_DEP_TRUE 142 (nil))
    (expr_list:REG_DEAD (reg:DI 385)
        (expr_list:REG_EQUAL (unspec:DI [
                    (plus:SI (subreg/s/v:SI (reg:DI 385) 4)
                        (const_int 4 [0x4]))
                ] 24)
            (nil))))
x.c:122: internal compiler error: in extract_insn, at recog.c:2075


-- 
           Summary: -fmove-loop-invariants loses POINTER attribute
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sje at cup dot hp dot com
 GCC build triplet: ia64-hp-hpux11.23
  GCC host triplet: ia64-hp-hpux11.23
GCC target triplet: ia64-hp-hpux11.23


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

[Bug tree-optimization/26345] -fmove-loop-invariants loses POINTER attribute

[sje at cup dot hp dot com]

------- Comment #1 from sje at cup dot hp dot com  2006-02-17 18:38 -------
Created an attachment (id=10868)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10868&action=view)
Test Case


-- 


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|tree-optimization           |rtl-optimization
           Keywords|                            |build, ice-on-valid-code
            Summary|-fmove-loop-invariants loses|[4.2 Regression] -fmove-
                   |POINTER attribute           |loop-invariants loses
                   |                            |POINTER attribute
   Target Milestone|---                         |4.2.0


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[ebotcazou at gcc dot gnu dot org]

------- Comment #2 from ebotcazou at gcc dot gnu dot org  2006-02-17 18:44 -------
Did you try my fix for PR target/19061?


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[sje at cup dot hp dot com]

------- Comment #3 from sje at cup dot hp dot com  2006-02-17 19:18 -------
I don't know how I missed your proposed patch for PR 19061.  I tested it on the
test case in that bug and on my bootstrap bug that I reported here and both
look good.  I used ToT sources for both tests and had to put your change in
predicates.md instead of ia64.c but it looks good to me.  I can do a full
bootstrap if you want me to, I think we should try and get this into 4.1 as
well as ToT if possible.


-- 


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2006-02-17 20:40 -------
> I don't know how I missed your proposed patch for PR 19061.  I tested it on
> the test case in that bug and on my bootstrap bug that I reported here and
> both look good.

Great!  My (limited) understanding is that it will pessimize the code a little,
but that was deemed acceptable by the PA back-end so...

> I used ToT sources for both tests and had to put your change in predicates.md
> instead of ia64.c but it looks good to me.  I can do a full bootstrap if you
> want me to, I think we should try and get this into 4.1 as well as ToT if
> possible.

I'm not really in position to do any testing for 4.x on IA-64/HP-UX at the
moment, so it's up to you.


-- 


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-02-18 04:55 -------
Confirmed, patch posted:
http://gcc.gnu.org/ml/gcc-patches/2006-02/msg01489.html


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |02/msg01489.html
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |patch
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-18 04:55:17
               date|                            |


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[sje at gcc dot gnu dot org]

------- Comment #6 from sje at gcc dot gnu dot org  2006-03-03 16:43 -------
Subject: Bug 26345

Author: sje
Date: Fri Mar  3 16:43:43 2006
New Revision: 111678

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111678
Log:
        PR rtl-optimization/26345
        PR target/19061
        * config/ia64/predicates.md (basereg_operand): Don't look in subregs.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/ia64/predicates.md


-- 


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[sje at gcc dot gnu dot org]

------- Comment #7 from sje at gcc dot gnu dot org  2006-03-03 16:45 -------
Subject: Bug 26345

Author: sje
Date: Fri Mar  3 16:45:47 2006
New Revision: 111679

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111679
Log:
        PR rtl-optimization/26345
        PR target/19061
        * config/ia64/predicates.md (basereg_operand): Don't look in subregs.

Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/config/ia64/predicates.md


-- 


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

[Bug rtl-optimization/26345] [4.2 Regression] -fmove-loop-invariants loses POINTER attribute

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2006-03-03 17:33 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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