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" } } */