diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/ipa')
-rw-r--r-- | gcc/testsuite/gcc.dg/ipa/ipa-access-counter-02-pointer-read-0.c | 19 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/ipa/ipa-access-counter-03-pointer-write-0.c | 19 |
2 files changed, 38 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-access-counter-02-pointer-read-0.c b/gcc/testsuite/gcc.dg/ipa/ipa-access-counter-02-pointer-read-0.c new file mode 100644 index 00000000000..1b6755565ff --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/ipa-access-counter-02-pointer-read-0.c @@ -0,0 +1,19 @@ +/* { dg-do link } */ +/* { dg-options "-flto -fipa-hello-world -fdump-ipa-hello-world" } */ + +#include <stdio.h> + +struct astruct_s { _Bool a; _Bool b; _Bool c;}; +struct astruct_s *astruct = NULL; + + +int +main () +{ + printf("%d\n", astruct->a); + printf("%d\n", astruct->a); +} + +/* { dg-final { scan-wpa-ipa-dump "collected,astruct_s" "hello-world" } } */ +/* { dg-final { scan-wpa-ipa-dump "astruct_s.a read 1" "hello-world" } } */ +/* { dg-final { scan-wpa-ipa-dump "astruct_s.a read 2" "hello-world" } } */ diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-access-counter-03-pointer-write-0.c b/gcc/testsuite/gcc.dg/ipa/ipa-access-counter-03-pointer-write-0.c new file mode 100644 index 00000000000..68e2f40a12a --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/ipa-access-counter-03-pointer-write-0.c @@ -0,0 +1,19 @@ +/* { dg-do link } */ +/* { dg-options "-flto -fipa-hello-world -fdump-ipa-hello-world" } */ + +#include <stdio.h> + +struct astruct_s { _Bool a; _Bool b; _Bool c;}; +struct astruct_s *astruct; + + +int +main () +{ + astruct->a++; + astruct->a = 3; +} + +/* { dg-final { scan-wpa-ipa-dump "collected,astruct_s" "hello-world" } } */ +/* { dg-final { scan-wpa-ipa-dump "astruct_s.a write 1" "hello-world" } } */ +/* { dg-final { scan-wpa-ipa-dump "astruct_s.a write 2" "hello-world" } } */ |