[Bug objc/28062] New: [4.0/4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[Bug objc/28062] New: [4.0/4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[tbm at cyrius dot com]

[ forwarded from http://bugs.debian.org/373820 ]

We're seeing the following ICE, both with gcc 4.1 and latest 4.2 (but 4.0
works).  Apparently it only happens on x86_64.  It works when you drop the
optimization flag.

(sid)75:tbm@usurper: ~/delta/bin] /usr/lib/gcc-snapshot/bin/gcc -c -O2 mini.m
mini.m: In function '-[CynthiuneHeaderCell
_drawArrowOfSize:atReferencePoint:]':
mini.m:75: internal compiler error: in simplify_subreg, at simplify-rtx.c:4466
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-4.1/README.Bugs>.
zsh: exit 1     /usr/lib/gcc-snapshot/bin/gcc -c -O2 mini.m
(sid)76:tbm@usurper: ~/delta/bin]


-- 
           Summary: [4.0/4.1 regression] ICE in simplify_subreg, at
                    simplify-rtx.c:4466
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: objc
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
 GCC build triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug objc/28062] [4.1/4.2 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2006-06-16 15:51 -------
Created an attachment (id=11681)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11681&action=view)
test case


-- 


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

[Bug rtl-optimization/28062] [4.1/4.2 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[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|objc                        |rtl-optimization
   Target Milestone|---                         |4.1.2


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

[Bug rtl-optimization/28062] [4.1/4.2 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-06-17 01:35 -------
This worked with "4.2.0 20060507".


-- 


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-06-17 01:50 -------
It works in 4.2.0 for sure.  It does fail in "4.1.2 20060608" though.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.1 4.2.0                 |4.1.1
      Known to work|4.0.4                       |4.0.4 4.2.0
            Summary|[4.1/4.2 regression] ICE in |[4.1 regression] ICE in
                   |simplify_subreg, at         |simplify_subreg, at
                   |simplify-rtx.c:4466         |simplify-rtx.c:4466


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-06-17 02:21 -------
Here is a C testcase (so that it does not get marked as P5):
typedef struct _NSPoint NSPoint;
struct _NSPoint
{
  float x;
  float y;
};
static inline NSPoint
NSMakePoint (float x, float y)
{
  NSPoint point;
  point.x = x;
  point.y = y;
  return point;
}
static inline NSPoint
RelativePoint (NSPoint point, NSPoint refPoint)
{
  return NSMakePoint (refPoint.x + point.x, refPoint.y + point.y);
}
NSPoint g(NSPoint refPoint)
{
  float pointA, pointB;
  return RelativePoint (NSMakePoint (0, pointA), refPoint);
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-17 02:21:14
               date|                            |


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-06-17 02:07 -------
The backtrace:
#0  fancy_abort (file=0xa6b580
"/home/pinskia/src/gcc-4.1/gcc/gcc/simplify-rtx.c", line=3807,
function=0xa6c3f0 "simplify_subreg")
    at /home/pinskia/src/gcc-4.1/gcc/gcc/diagnostic.c:602
#1  0x00000000007fa7e6 in simplify_subreg (outermode=SFmode, op=0x2aaaaae02400,
innermode=VOIDmode, byte=0)
    at /home/pinskia/src/gcc-4.1/gcc/gcc/simplify-rtx.c:3807
#2  0x00000000008ec95a in make_compound_operation (x=0x2aaaaaf80640,
in_code=MEM) at /home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:6886
#3  0x00000000008eca86 in make_compound_operation (x=0x2aaaaaf80660,
in_code=SET) at /home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:6927
#4  0x00000000008e9138 in simplify_set (x=0x2aaaaaf80680) at
/home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:5430
#5  0x00000000008e7146 in combine_simplify_rtx (x=0x2aaaaaf80680,
op0_mode=VOIDmode, in_dest=0)
    at /home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:4792
#6  0x00000000008e465d in subst (x=0x2aaaaaf80680, from=0x2aaaaaf803c0,
to=0x2aaaaaf85140, in_dest=0, unique_copy=0)
    at /home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:3870
#7  0x00000000008df927 in try_combine (i3=0x2aaaaaf811e0, i2=0x2aaaaaf81190,
i1=0x2aaaaaf81050, new_direct_jump_p=0x7fffff89812c)
    at /home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:2216
#8  0x00000000008dc164 in combine_instructions (f=0x2aaaaaf59800, nregs=101) at
/home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:784
#9  0x00000000008faec0 in rest_of_handle_combine () at
/home/pinskia/src/gcc-4.1/gcc/gcc/combine.c:12708


-- 


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[tbm at cyrius dot com]

------- Comment #6 from tbm at cyrius dot com  2006-06-17 14:56 -------
(In reply to comment #3)
> It works in 4.2.0 for sure.

I don't think that's correct.  I can confirm that gcc 4.2 20060508 works, but
20060530 and 20060613 definitely fail here (both the C and Objective-C test
cases).


-- 


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-06-17 15:00 -------
(In reply to comment #6)
> (In reply to comment #3)
> > It works in 4.2.0 for sure.
> 
> I don't think that's correct.  I can confirm that gcc 4.2 20060508 works, but
> 20060530 and 20060613 definitely fail here (both the C and Objective-C test
> cases).

I works with "4.2.0 20060617".


-- 


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[tbm at cyrius dot com]

------- Comment #8 from tbm at cyrius dot com  2006-06-17 16:26 -------
This ICE got introduced with:

r113775 | sayle | 2006-05-15 06:43:05 +0200 (Mon, 15 May 2006) | 13 lines


        PR rtl-optimization/22563
        Backports from mainline
        * expmed.c (store_fixed_bit_field): When using AND and IOR to store
        a fixed width bitfield, always force the intermediates into pseudos.
        Also check whether the bitsize is valid for the machine's "insv"
        instruction before moving the target into a pseudo for use with
        the insv.


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |roger at eyesopen dot com


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

[Bug rtl-optimization/28062] [4.1 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[tbm at cyrius dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 960 bytes --]



------- Comment #9 from tbm at cyrius dot com  2006-06-18 01:09 -------
(In reply to comment #7)
> It works with "4.2.0 20060617".

Hmm.

(sid)46:tbm@usurper: ~/tmp/gcc/4.2/gcc] ./cc1 -O2 ~/m.c
 NSMakePoint RelativePoint g
Analyzing compilation unitPerforming intraprocedural optimizations
Assembling functions:
 g
/home/tbm/m.c: In function ‘g’:
/home/tbm/m.c:24: internal compiler error: in simplify_subreg, at
simplify-rtx.c:4466
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
zsh: exit 4     ./cc1 -O2 ~/m.c
(sid)47:tbm@usurper: ~/tmp/gcc/4.2/gcc] ./xgcc -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /home/tbm/scratch/gcc-4.2/configure --disable-bootstrap
--enable-languages=c
Thread model: posix
gcc version 4.2.0 20060617 (experimental)
(sid)48:tbm@usurper: ~/tmp/gcc/4.2/gcc]


-- 


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

[Bug rtl-optimization/28062] [4.1/4.2 regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2006-06-18 02:58 -------
You know what I have a fix for an inliner bug in my tree which also fixes this
bug.  I am going to test that patch fully and submit it for both 4.1.x and
4.2.x.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |28075
      Known to fail|4.1.1                       |4.1.1 4.2.0
      Known to work|4.0.4 4.2.0                 |4.0.4
            Summary|[4.1 regression] ICE in     |[4.1/4.2 regression] ICE in
                   |simplify_subreg, at         |simplify_subreg, at
                   |simplify-rtx.c:4466         |simplify-rtx.c:4466


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

[Bug rtl-optimization/28062] [4.1regression] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2006-06-30 05:55 -------
This is hidden on the mainline now by my patch for PR 28075.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] ICE in |[4.1regression] ICE in
                   |simplify_subreg, at         |simplify_subreg, at
                   |simplify-rtx.c:4466         |simplify-rtx.c:4466


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

[Bug rtl-optimization/28062] [latent] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #12 from pinskia at gcc dot gnu dot org  2006-08-14 14:17 -------
This is now a latent bug on the both 4.1 branch and mainline.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
      Known to fail|4.1.1 4.2.0                 |
      Known to work|4.0.4                       |
            Summary|[4.1 regression] ICE in     |[latent] ICE in
                   |simplify_subreg, at         |simplify_subreg, at
                   |simplify-rtx.c:4466         |simplify-rtx.c:4466
   Target Milestone|4.1.2                       |---


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #13 from ebotcazou at gcc dot gnu dot org  2006-09-13 08:37 -------
If the ICE has disappeared on both branches, the testcase should be added to
the testsuite and the PR closed.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
            Summary|[latent] ICE in             |ICE in simplify_subreg, at
                   |simplify_subreg, at         |simplify-rtx.c:4466
                   |simplify-rtx.c:4466         |


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

[Bug rtl-optimization/28062] [latent] ICE in simplify_subreg, at simplify-rtx.c:4466

[pinskia at gcc dot gnu dot org]

------- Comment #14 from pinskia at gcc dot gnu dot org  2006-09-13 16:20 -------
(In reply to comment #13)
> If the ICE has disappeared on both branches, the testcase should be added to
> the testsuite and the PR closed.
But the bug still exists, just was covered up by my tree-inline patches for PR
28075.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE in simplify_subreg, at  |[latent] ICE in
                   |simplify-rtx.c:4466         |simplify_subreg, at
                   |                            |simplify-rtx.c:4466


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

[Bug rtl-optimization/28062] [latent] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #15 from ebotcazou at gcc dot gnu dot org  2006-09-13 17:37 -------
> But the bug still exists, just was covered up by my tree-inline patches for PR
> 28075.

Your patch may simply be the fix.  If we have no testcase, we have no bug.


-- 


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #16 from ebotcazou at gcc dot gnu dot org  2007-11-02 07:59 -------
Reopen if it starts to fail again.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WORKSFORME
            Summary|[latent] ICE in             |ICE in simplify_subreg, at
                   |simplify_subreg, at         |simplify-rtx.c:4466
                   |simplify-rtx.c:4466         |


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[tbm at cyrius dot com]

------- Comment #17 from tbm at cyrius dot com  2007-11-02 08:02 -------
(In reply to comment #16)
> Reopen if it starts to fail again.

Okay, but you said in comment #13 that the testcase should be added and that
was never done.  Maybe you could do that?


-- 


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #18 from ebotcazou at gcc dot gnu dot org  2007-11-02 08:08 -------
> Okay, but you said in comment #13 that the testcase should be added and that
> was never done.  Maybe you could do that?

Sure, that's what I'm doing...


-- 


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #19 from ebotcazou at gcc dot gnu dot org  2007-11-02 11:57 -------
Subject: Bug 28062

Author: ebotcazou
Date: Fri Nov  2 11:57:05 2007
New Revision: 129846

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129846
Log:
        PR rtl-optimization/28062
        * gcc.c-torture/compile/20071102-1.c: New test.


Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/20071102-1.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #20 from ebotcazou at gcc dot gnu dot org  2007-11-02 11:57 -------
Subject: Bug 28062

Author: ebotcazou
Date: Fri Nov  2 11:57:28 2007
New Revision: 129847

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129847
Log:
        PR rtl-optimization/28062
        * gcc.c-torture/compile/20071102-1.c: New test.


Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/compile/20071102-1.c
Modified:
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/28062] ICE in simplify_subreg, at simplify-rtx.c:4466

[ebotcazou at gcc dot gnu dot org]

------- Comment #21 from ebotcazou at gcc dot gnu dot org  2007-11-02 11:58 -------
Subject: Bug 28062

Author: ebotcazou
Date: Fri Nov  2 11:57:51 2007
New Revision: 129848

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129848
Log:
        PR rtl-optimization/28062
        * gcc.c-torture/compile/20071102-1.c: New test.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.c-torture/compile/20071102-1.c
Modified:
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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