[Bug rtl-optimization/15681] New: -Os -frename-registers ICE on ia64

["jakub at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

/* { dg-do compile } */
/* { dg-options "-Os -frename-registers" } */
/* { dg-options "-mconstant-gp -Os -frename-registers" { target ia64-*-* } } */

struct S { struct S *a, *b; };
struct T { struct S e; unsigned long a; int b, c; void *d; } f;

unsigned long f1 (unsigned long);
void f2 (int, struct T *);
void *f3 (void *);
unsigned long volatile g;

static void
f4 (struct T *p)
{
  f1 (f1 (((unsigned long) g - p->a) >> 20));
}

static struct T *
f5 (void)
{
  struct T *g, *p;
  struct T *q = 0;
  for (g = p = &f; (g = p = (struct T *) (g->e.a)) != &f;)
    if (p->b)
      {
        f4 (p);
        if (p->c & 0x80000)
          return p;
      }
  return q;
}

static void
f6 (struct T *p)
{
  f2 (9, p);
}

static inline void *
f7 (struct T *t)
{
  void *d;
  d = t->d;
  if (d)
    d = f3 (d);
  return d;
}

static void *
f8 (struct T *p)
{
  void *d = f7 (p);
  if (!d)
    return 0;
  f6 (p);
  return d;
}

static void
f9 (void)
{
  struct T *p;
  p = f5 ();
  f8 (p);
}

void
test (void)
{
  f9 ();
}

causes ICE:
test.c: In function `test':
test.c:72: internal compiler error: in verify_local_live_at_start, at flow.c:546
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://bugzilla.redhat.com/bugzilla> for instructions.

-- 
           Summary: -Os -frename-registers ICE on ia64
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jakub at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: ia64-redhat-linux


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