diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 61d1567fa6d..9369e6da4db 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-02-12 Richard Guenther + + PR tree-optimization/35171 + * tree-vect-patterns.c (vect_recog_dot_prod_pattern): Deal with + default defs. + 2008-02-12 Richard Guenther PR middle-end/35163 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 00a713e9941..cf0c85455f6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-02-12 Richard Guenther + + PR tree-optimization/35171 + * gcc.c-torture/compile/pr35171.c: New testcase. + 2008-02-12 Richard Guenther PR middle-end/35163 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr35171.c b/gcc/testsuite/gcc.c-torture/compile/pr35171.c new file mode 100644 index 00000000000..3f7ef2ccacb --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr35171.c @@ -0,0 +1,10 @@ +int f(int a, int b, short c, int d, short e) +{ + int i; + for (i = 1; i <= 2 ; i++) { + c -= 4; + a = c; + d = d + (b?b:e); + } + return a + d; +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index 24a0e5de5ac..c1ce14c4bbb 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -246,15 +246,14 @@ vect_recog_dot_prod_pattern (tree last_stmt, tree *type_in, tree *type_out) prod_type = half_type; stmt = SSA_NAME_DEF_STMT (oprnd0); - gcc_assert (stmt); + /* FORNOW. Can continue analyzing the def-use chain when this stmt in a phi + inside the loop (in case we are analyzing an outer-loop). */ + if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT) + return NULL; stmt_vinfo = vinfo_for_stmt (stmt); gcc_assert (stmt_vinfo); if (STMT_VINFO_DEF_TYPE (stmt_vinfo) != vect_loop_def) return NULL; - /* FORNOW. Can continue analyzing the def-use chain when this stmt in a phi - inside the loop (in case we are analyzing an outer-loop). */ - if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT) - return NULL; expr = GIMPLE_STMT_OPERAND (stmt, 1); if (TREE_CODE (expr) != MULT_EXPR) return NULL;