| /* Verify that analysis of function parameters works as expected. */ |
| /* { dg-do compile } */ |
| /* { dg-options "-O3 -c -fdump-ipa-inline" } */ |
| struct bah {int a,b,c,d,e;}; |
| static struct bah bah3={2,3,4,5,6}; |
| const static struct bah bah4={2,3,4,5,6}; |
| void test (int, struct bah *, struct bah, struct bah, int, struct bah, struct bah, struct bah); |
| void foo (int invariant, struct bah invariant2) |
| { |
| int i; |
| struct bah bah2={1,2,3,4,5}; |
| struct bah bah5={1,2,3,4,5}; |
| for (i = 0; i<10; i++) |
| { |
| bah5.a=i; |
| test (i, &bah2, bah2, bah3, invariant, invariant2, bah4, bah5); |
| } |
| } |
| /* op0 change on every invocation. */ |
| /* op1 is function invariant. */ |
| /* { dg-final { scan-ipa-dump-not "op0 is compile time invariant" "inline" } } */ |
| /* { dg-final { scan-ipa-dump-not "op0 change" "inline" } } */ |
| /* { dg-final { scan-ipa-dump "op1 is compile time invariant" "inline" } } */ |
| /* op2 is invariant within loop (we make assumption that function call does not afect it.). */ |
| /* { dg-final { scan-ipa-dump "op2 change 9.990000. of time" "inline" } } */ |
| /* op3 is invariant within loop (we make assumption that function call does not afect it.). */ |
| /* { dg-final { scan-ipa-dump "op3 change 9.990000. of time" "inline" } } */ |
| /* op4 is invariant within loop. */ |
| /* { dg-final { scan-ipa-dump "op4 change 9.990000. of time" "inline" } } */ |
| /* op5 is invariant within loop. */ |
| /* { dg-final { scan-ipa-dump "op5 change 9.990000. of time" "inline" } } */ |
| /* op6 is compile time invariant. */ |
| /* { dg-final { scan-ipa-dump "op6 is compile time invariant" "inline" } } */ |
| /* op7 change. */ |
| /* { dg-final { scan-ipa-dump-not "op7 is compile time invariant" "inline" } } */ |
| /* { dg-final { scan-ipa-dump-not "op7 change" "inline" } } */ |