diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 87e02408db2..87498634afa 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-11-02 Richard Guenther + + PR tree-optimization/50902 + * tree-vect-stmts.c (vectorizable_load): Properly convert + an invariant initializer element. + 2010-11-02 Richard Guenther PR tree-optimization/50890 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bf7c36611e9..389dfd4f560 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-11-02 Richard Guenther + + PR tree-optimization/50902 + * gcc.dg/torture/pr50902.c: New testcase. + 2010-11-02 Richard Guenther PR tree-optimization/50890 diff --git a/gcc/testsuite/gcc.dg/torture/pr50902.c b/gcc/testsuite/gcc.dg/torture/pr50902.c new file mode 100644 index 00000000000..5b7275b839d --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr50902.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ + +_Bool data[128]; +void foo (_Bool *init) +{ + int i; + for (i = 0; i < 128; i++) + data[i] = *init; +} diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index c6df30e9310..e91efc96ade 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -4726,11 +4726,20 @@ vectorizable_load (gimple stmt, gimple_stmt_iterator *gsi, gimple *vec_stmt, /* 4. Handle invariant-load. */ if (inv_p && !bb_vinfo) { - tree vec_inv; + tree tem, vec_inv; gimple_stmt_iterator gsi2 = *gsi; gcc_assert (!strided_load); gsi_next (&gsi2); - vec_inv = build_vector_from_val (vectype, scalar_dest); + tem = scalar_dest; + if (!useless_type_conversion_p (TREE_TYPE (vectype), + TREE_TYPE (tem))) + { + tem = fold_convert (TREE_TYPE (vectype), tem); + tem = force_gimple_operand_gsi (&gsi2, tem, true, + NULL_TREE, true, + GSI_SAME_STMT); + } + vec_inv = build_vector_from_val (vectype, tem); new_temp = vect_init_vector (stmt, vec_inv, vectype, &gsi2); new_stmt = SSA_NAME_DEF_STMT (new_temp);