diff options
author | Lorry Tar Creator <lorry-tar-importer@lorry> | 2018-01-25 08:49:33 +0000 |
---|---|---|
committer | Lorry Tar Creator <lorry-tar-importer@lorry> | 2018-01-25 08:49:33 +0000 |
commit | 8bbc33baa40010c8f5ca1af9b8bfffd67ae654ad (patch) | |
tree | c5e2748190eff9453ae08b9117c4c546c48cc539 /gcc/testsuite/gcc.dg/ipa/pure-const-1.c | |
parent | 03ac50856c9fc8c96b7a17239ee40a10397750a7 (diff) | |
download | gcc-tarball-8bbc33baa40010c8f5ca1af9b8bfffd67ae654ad.tar.gz |
Diffstat (limited to 'gcc/testsuite/gcc.dg/ipa/pure-const-1.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/ipa/pure-const-1.c | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/ipa/pure-const-1.c b/gcc/testsuite/gcc.dg/ipa/pure-const-1.c new file mode 100644 index 0000000000..06b415e0c3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pure-const-1.c @@ -0,0 +1,78 @@ +/* { dg-do compile { target nonpic } } */ +/* { dg-options "-O3 -fdump-tree-local-pure-const1 -fdump-ipa-pure-const -fdump-tree-optimized -fno-early-inlining -fgnu89-inline" } */ +void abort (void); +int error_code; +static int val; +__attribute__ ((noinline, noclone)) +static int +i_am_pure1 (int a) +{ + if (a > 50) + abort (); + return a; +} + +__attribute__ ((noinline, noclone)) +static int +i_am_const2 (int a) +{ + return a+val; +} + +__attribute__ ((noinline, noclone)) +int +call_me(int a) +{ + return a; +} + +inline int +call_callback(int (*fn)(int), int a) +{ + return fn(a); +} + +__attribute__ ((noinline, noclone)) int +i_am_const3(int a) +{ + return call_callback (call_me, a); +} + +__attribute__ ((noinline)) int +explode_badly() +{ + error_code = 0xbad; + abort (); +} + +__attribute__ ((noinline, noclone)) int +i_am_pure4(int a) +{ + if (a > 50) + explode_badly (); + return a; +} + +int +test() +{ + int s; + s = i_am_pure1(5); + s += i_am_pure1(5); + s += i_am_const2(5); + s += i_am_const2(5); + s += i_am_const3(5); + s += i_am_const3(5); + s += i_am_pure4(5); + s += i_am_pure4(5); + return s; +} +/* { dg-final { scan-tree-dump-times "i_am_pure1 .5" 1 "optimized"} } */ +/* { dg-final { scan-tree-dump-times "i_am_const2 .5" 1 "optimized"} } */ +/* { dg-final { scan-tree-dump-times "i_am_const3 .5" 1 "optimized"} } */ +/* { dg-final { scan-tree-dump-times "i_am_pure4 .5" 1 "optimized"} } */ +/* { dg-final { scan-tree-dump "found to be looping pure: i_am_pure1" "local-pure-const1"} } */ +/* { dg-final { scan-tree-dump "found to be looping pure: i_am_pure4" "local-pure-const1"} } */ +/* { dg-final { scan-ipa-dump "found to be const: i_am_const2" "pure-const"} } */ +/* { dg-final { scan-ipa-dump "found to be const: i_am_const3" "pure-const"} } */ + |