Subversion Repositories openrisc

/* Test that IPA-CP is able to produce a pass-through jump function for the
   call of g1 and g2 even though a is addressable.  Also test that h is not
   cloned.  */
 
/* { dg-do compile } */
/* { dg-options "-O3 -fipa-cp -fipa-cp-clone -fdump-ipa-cp -fno-early-inlining"  } */
/* { dg-add-options bind_pic_locally } */
 
extern void use_stuff (int);
extern void use_pointer (int *);
 
static int
h (int a, int b)
{
  int i;
 
  for (i = 8; i <= b; i++)
    use_stuff (a+8);
}
 
static int
g1 (int a, int b)
{
  int i;
 
  for (i = 0; i <= b; i++)
    use_pointer (&a);
  h (a, b);
}
 
static int
g2 (int a, int b)
{
  int i;
 
  for (i = 4; i <= b; i += 2)
    use_stuff (a);
}
 
 
static void
f (int a, int z)
{
  if (z > 1)
    g1 (a, z);
  else
    g2 (a + 4, z);
  use_pointer (&a);
}
 
int
main (int argc, char *argv[])
{
  int i;
  for (i = 0; i < 100; i++)
    f (7, argc);
  return 0;
}
 
 
/* { dg-final { scan-ipa-dump "Creating a specialized node of g1.*for all known contexts" "cp" } } */
/* { dg-final { scan-ipa-dump "Creating a specialized node of g2.*for all known contexts" "cp" } } */
/* { dg-final { scan-ipa-dump-not "Creating a specialized node of h.*for all known contexts" "cp" } } */
/* { dg-final { scan-ipa-dump-times "replacing param a with const 7" 2 "cp"  } } */
/* { dg-final { scan-ipa-dump "replacing param a with const 11" "cp"  } } */
/* { dg-final { cleanup-ipa-dump "cp" } } */