diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr53409.c | 19 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.c | 4 |
4 files changed, 29 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 82d93b34826..51669754712 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2012-05-21 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/53409 + * tree-vect-loop.c (vect_analyze_loop_operations): Don't check + vinfo_for_stmt (op_def_stmt) if op_def_stmt isn't inside loop. + PR tree-optimization/53410 * fold-const.c (fold_binary_loc): Use build_zero_cst (type) instead of build_int_cst (type, 0) where vector types might be diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 25809564728..1d3f4816cce 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2012-05-21 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/53409 + * gcc.c-torture/compile/pr53409.c: New test. + PR tree-optimization/53410 * gcc.c-torture/compile/pr53410-1.c: New test. * gcc.c-torture/compile/pr53410-2.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr53409.c b/gcc/testsuite/gcc.c-torture/compile/pr53409.c new file mode 100644 index 00000000000..1bf478ee549 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr53409.c @@ -0,0 +1,19 @@ +/* PR tree-optimization/53409 */ + +int a, c, d, e, f; +int b[0]; + +int +main () +{ + if (f) + e = 0; + int g = d; + for (c = 0; c <= 1; c++) + { + for (a = 0; a <= 1; a = (char) a + 1) + b[c] = g; + a = 0; + } + return 0; +} diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 1d0818c7ced..65dec8922dc 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -1326,7 +1326,9 @@ vect_analyze_loop_operations (loop_vec_info loop_vinfo, bool slp) return false; op_def_stmt = SSA_NAME_DEF_STMT (phi_op); - if (!op_def_stmt || !vinfo_for_stmt (op_def_stmt)) + if (!op_def_stmt + || !flow_bb_inside_loop_p (loop, gimple_bb (op_def_stmt)) + || !vinfo_for_stmt (op_def_stmt)) return false; if (STMT_VINFO_RELEVANT (vinfo_for_stmt (op_def_stmt)) |