diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2014-03-12 10:15:08 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-03-12 10:15:08 +0100 |
| commit | b24ca895d7a5e5d18782a230f133cd8346f00c11 (patch) | |
| tree | 9056a4619bab3ad694d7046b82cc4f590bf3bb48 /gcc/testsuite | |
| parent | 33a9145bb7229ba592e9a4f7ee9c68399ac5d070 (diff) | |
| download | gcc-b24ca895d7a5e5d18782a230f133cd8346f00c11.zip gcc-b24ca895d7a5e5d18782a230f133cd8346f00c11.tar.gz gcc-b24ca895d7a5e5d18782a230f133cd8346f00c11.tar.bz2 | |
re PR middle-end/60482 (Loop optimization regression)
PR middle-end/60482
* tree-vrp.c (register_edge_assert_for_1): Don't add assert
if there are multiple uses, but op doesn't live on E edge.
* tree-cfg.c (assert_unreachable_fallthru_edge_p): Also ignore
clobber stmts before __builtin_unreachable.
* gcc.dg/vect/pr60482.c: New test.
From-SVN: r208506
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr60482.c | 20 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a350342..fe99d64 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-03-12 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/60482 + * gcc.dg/vect/pr60482.c: New test. + 2014-03-11 Paolo Carlini <paolo.carlini@oracle.com> PR c++/60389 diff --git a/gcc/testsuite/gcc.dg/vect/pr60482.c b/gcc/testsuite/gcc.dg/vect/pr60482.c new file mode 100644 index 0000000..7882118 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr60482.c @@ -0,0 +1,20 @@ +/* PR middle-end/60482 */ +/* { dg-do compile } */ +/* { dg-additional-options "-Ofast" } */ +/* { dg-require-effective-target vect_int } */ + +double +foo (double *x, int n) +{ + double p = 0.0; + int i; + x = __builtin_assume_aligned (x, 128); + if (n % 128) + __builtin_unreachable (); + for (i = 0; i < n; i++) + p += x[i]; + return p; +} + +/* { dg-final { scan-tree-dump-not "epilog loop required" "vect" } } */ +/* { dg-final { cleanup-tree-dump "vect" } } */ |