| /* 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 .0 a with const 7" 2 "cp" } } */ |
| /* { dg-final { scan-ipa-dump "replacing param .0 a with const 11" "cp" } } */ |
| |
| |