diff options
| author | Marek Polacek <polacek@redhat.com> | 2016-04-20 09:32:45 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2016-04-20 09:32:45 +0000 |
| commit | 2697b189020b174f822a756914af6a04c905b435 (patch) | |
| tree | 3b40c48a012b1dabf014a48b312fe99ac30a3f9a /gcc | |
| parent | d566e90a165b8d8aeb74765fc1d845047200cf45 (diff) | |
| download | gcc-2697b189020b174f822a756914af6a04c905b435.zip gcc-2697b189020b174f822a756914af6a04c905b435.tar.gz gcc-2697b189020b174f822a756914af6a04c905b435.tar.bz2 | |
re PR tree-optimization/70725 (Internal compiler error (ICE) on valid code)
PR tree-optimization/70725
* tree-if-conv.c (is_false_predicate): New function.
(predicate_mem_writes): Use it.
* gcc.dg/pr70725.c: New test.
From-SVN: r235250
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr70725.c | 22 | ||||
| -rw-r--r-- | gcc/tree-if-conv.c | 12 |
4 files changed, 44 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6e92dde..576560a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-04-20 Marek Polacek <polacek@redhat.com> + + PR tree-optimization/70725 + * tree-if-conv.c (is_false_predicate): New function. + (predicate_mem_writes): Use it. + 2016-04-20 Richard Biener <rguenther@suse.de> PR tree-optimization/70726 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index db98dd3..b73790e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-04-20 Marek Polacek <polacek@redhat.com> + + PR tree-optimization/70725 + * gcc.dg/pr70725.c: New test. + 2016-04-20 Richard Biener <rguenther@suse.de> PR tree-optimization/70726 diff --git a/gcc/testsuite/gcc.dg/pr70725.c b/gcc/testsuite/gcc.dg/pr70725.c new file mode 100644 index 0000000..fc7b674 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr70725.c @@ -0,0 +1,22 @@ +/* PR tree-optimization/70725 */ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ +/* { dg-additional-options "-march=skylake-avx512" { target { i?86-*-* x86_64-*-* } } } */ + +extern short a; +extern int b, d; +extern int c[100]; +extern int e; +extern int f; + +void +fn1 () +{ + for (; e < 2; e = e + 1) + d = a; + for (;;) + for (int g = 0; g < 5; g = g + 1) + for (int h = 0; h < 2; h = h + 1) + for (int i = 0; i < 3; i = i + 1) + c[f + i] = a && b; +} diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c index 9e305c7..a9fbab9 100644 --- a/gcc/tree-if-conv.c +++ b/gcc/tree-if-conv.c @@ -262,6 +262,16 @@ ifc_temp_var (tree type, tree expr, gimple_stmt_iterator *gsi) return new_name; } +/* Return true when COND is a false predicate. */ + +static inline bool +is_false_predicate (tree cond) +{ + return (cond == NULL_TREE + || cond == boolean_false_node + || integer_zerop (cond)); +} + /* Return true when COND is a true predicate. */ static inline bool @@ -1988,7 +1998,7 @@ predicate_mem_writes (loop_p loop) gimple *stmt; int index; - if (is_true_predicate (cond)) + if (is_true_predicate (cond) || is_false_predicate (cond)) continue; swap = false; |