diff options
| author | Feng Xue <fxue@os.amperecomputing.com> | 2019-06-13 04:17:42 +0000 |
|---|---|---|
| committer | Feng Xue <fxue@gcc.gnu.org> | 2019-06-13 04:17:42 +0000 |
| commit | c29c92c789d93848cc1c929838771bfc68cb272c (patch) | |
| tree | 10a08875fb9bec9119ac6c0fa419923b9ac48654 /libgomp | |
| parent | 9b884225bfc609606f9b169b021c4da93feba48e (diff) | |
| download | gcc-c29c92c789d93848cc1c929838771bfc68cb272c.zip gcc-c29c92c789d93848cc1c929838771bfc68cb272c.tar.gz gcc-c29c92c789d93848cc1c929838771bfc68cb272c.tar.bz2 | |
PR tree-optimization/89713 - Assume loop with an exit is finite
gcc/ChangeLog:
* doc/invoke.texi (-ffinite-loops): Document new option.
* common.opt (-ffinite-loops): New option.
* tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Mark
IFN_GOACC_LOOP calls as necessary.
* tree-ssa-loop-niter.c (finite_loop_p): Assume loop with an exit
is finite.
* omp-offload.c (oacc_xform_loop): Skip lowering if return value of
IFN_GOACC_LOOP call is not used.
* opts.c (default_options_table): Enable -ffinite-loops at -O2+.
gcc/testsuite/ChangeLog:
* g++.dg/tree-ssa/empty-loop.C: New test.
* gcc.dg/tree-ssa/dce-2.c: New test.
* gcc.dg/const-1.c: Add -fno-finite-loops option.
* gcc.dg/graphite/graphite.exp: Likewise.
* gcc.dg/loop-unswitch-1.c: Likewise.
* gcc.dg/predict-9.c: Likewise.
* gcc.dg/pure-2.c: Likewise.
* gcc.dg/tree-ssa/20040211-1.c: Likewise.
* gcc.dg/tree-ssa/loop-10.c: Likewise.
* gcc.dg/tree-ssa/split-path-6.c: Likewise.
* gcc.dg/tree-ssa/ssa-thread-12.c: Likewise.
libgomp/ChangeLog:
* testsuite/libgomp.oacc-c-c++-common/pr84955-1.c: New test.
From-SVN: r272234
Diffstat (limited to 'libgomp')
| -rw-r--r-- | libgomp/ChangeLog | 5 | ||||
| -rw-r--r-- | libgomp/testsuite/libgomp.oacc-c-c++-common/pr84955-1.c | 31 |
2 files changed, 36 insertions, 0 deletions
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 3487880..35fe548 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,8 @@ +2019-06-13 Feng Xue <fxue@os.amperecomputing.com> + + PR tree-optimization/89713 + * testsuite/libgomp.oacc-c-c++-common/pr84955-1.c: New test. + 2019-06-11 Jakub Jelinek <jakub@redhat.com> PR target/90811 diff --git a/libgomp/testsuite/libgomp.oacc-c-c++-common/pr84955-1.c b/libgomp/testsuite/libgomp.oacc-c-c++-common/pr84955-1.c new file mode 100644 index 0000000..44767cd --- /dev/null +++ b/libgomp/testsuite/libgomp.oacc-c-c++-common/pr84955-1.c @@ -0,0 +1,31 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-cddce2 -ffinite-loops" } */ + +int +f1 (void) +{ + int i, j; + +#pragma acc parallel loop tile(2,3) + for (i = 1; i < 10; i++) + for (j = 1; j < 10; j++) + for (;;) + ; + + return i + j; +} + +int +f2 (void) +{ + int i, j, k; + +#pragma acc parallel loop tile(2,3) + for (i = 1; i < 10; i++) + for (j = 1; j < 10; j++) + for (k = 1; k < 10; k++) + ; + + return i + j; +} +/* { dg-final { scan-tree-dump-not "if" "cddce2"} } */ |