Subversion Repositories openrisc

/* Verify that IPA-CP can clone mark_cell without miscompiling it despite its
   type_attributes.  */
/* { dg-do run } */
/* { dg-options "-O3 -fdump-ipa-cp" } */
 
 
struct PMC {
    unsigned flags;
};
 
typedef struct Pcc_cell
{
    struct PMC *p;
    long bla;
    long type;
} Pcc_cell;
 
int gi;
 
extern void abort ();
extern void never_ever(int * interp, struct PMC *pmc)
     __attribute__((noinline));
 
void never_ever (int * interp, struct PMC *pmc)
{
  abort ();
}
 
static void mark_cell(int * interp, Pcc_cell *c)
        __attribute__((__nonnull__(1)))
        __attribute__((noinline));
 
static void
mark_cell(int * interp, Pcc_cell *c)
{
  if (c && c->type == 4 && c->p
      && !(c->p->flags & (1<<14)))
    never_ever(interp, c->p);
}
 
static void foo(int * interp, Pcc_cell *c)
  __attribute__((noinline));
 
static void
foo(int * interp, Pcc_cell *c)
{
  mark_cell(interp, c);
}
 
static struct Pcc_cell *
__attribute__((noinline,noclone))
getnull(void)
{
  return (struct Pcc_cell *) 0;
}
 
 
int main()
{
  int i;
 
  for (i = 0; i < 100; i++)
    foo (&gi, getnull ());
  return 0;
}
 
 
/* { dg-final { scan-ipa-dump "Creating a specialized node of mark_cell" "cp" } } */
/* { dg-final { cleanup-ipa-dump "cp" } } */