1/* Verify that analysis of function parameters works as expected.  */
2/* { dg-do compile } */
3/* { dg-options "-O3 -c -fdump-ipa-inline"  } */
4struct bah {int a,b,c,d,e;};
5static struct bah bah3={2,3,4,5,6};
6const static struct bah bah4={2,3,4,5,6};
7void test (int, struct bah *, struct bah, struct bah, int, struct bah, struct bah, struct bah);
8void foo (int invariant, struct bah invariant2)
9{
10  int i;
11  struct bah bah2={1,2,3,4,5};
12  struct bah bah5={1,2,3,4,5};
13  for (i = 0; i<10; i++)
14    {
15      bah5.a=i;
16      test (i, &bah2, bah2, bah3, invariant, invariant2, bah4, bah5);
17    }
18}
19/* op0 change on every invocation.  */
20/* op1 is function invariant.  */
21/* { dg-final { scan-ipa-dump-not "op0 is compile time invariant"  "inline"  } } */
22/* { dg-final { scan-ipa-dump-not "op0 change"  "inline"  } } */
23/* { dg-final { scan-ipa-dump "op1 is compile time invariant"  "inline"  } } */
24/* op2 is invariant within loop (we make assumption that function call does not afect it.). */
25/* { dg-final { scan-ipa-dump "op2 change 10.000000. of time"  "inline"  } } */
26/* op3 is invariant within loop (we make assumption that function call does not afect it.). */
27/* { dg-final { scan-ipa-dump "op3 change 10.000000. of time"  "inline"  } } */
28/* op4 is invariant within loop.  */
29/* { dg-final { scan-ipa-dump "op4 change 10.000000. of time"  "inline"  } } */
30/* op5 is invariant within loop.  */
31/* { dg-final { scan-ipa-dump "op5 change 10.000000. of time"  "inline"  } } */
32/* op6 is compile time invariant.  */
33/* { dg-final { scan-ipa-dump "op6 is compile time invariant"  "inline"  } } */
34/* op7 change.  */
35/* { dg-final { scan-ipa-dump-not "op7 is compile time invariant"  "inline"  } } */
36/* { dg-final { scan-ipa-dump-not "op7 change"  "inline"  } } */
37/* { dg-final { cleanup-ipa-dump "inline" } } */
38