diff --git a/gcc/ChangeLog b/gcc/ChangeLog index caf5cfdc1ab..35ca169bce1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-10-22 Michael Matz + + PR tree-optimization/33855 + * tree-ssa-phiopt.c (cond_store_replacement): Handle COMPLEX_TYPE + and VECTOR_TYPE. + 2007-10-22 Ira Rosen PR tree-optimization/33854 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7374719e204..c49cd312383 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-10-22 Michael Matz + + PR tree-optimization/33855 + * gcc.c-torture/compile/pr33855.c: New testcase. + 2007-10-22 Ira Rosen PR tree-optimization/33854 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr33855.c b/gcc/testsuite/gcc.c-torture/compile/pr33855.c new file mode 100644 index 00000000000..e678cb34105 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr33855.c @@ -0,0 +1,27 @@ +/* Testcase by Martin Michlmayr */ +/* Used to segfault due to cselim not marking the complex temp var + as GIMPLE reg. */ + +typedef struct { + int nsant, nvqd; + _Complex long double *vqd; +} vsorc_t; +vsorc_t vsorc; + +void foo(int next_job, int ain_num, int iped, long t) { + long double zpnorm; + + while (!next_job) + if (ain_num) + { + if (iped == 1) + zpnorm = 0.0; + int indx = vsorc.nvqd-1; + vsorc.vqd[indx] = t*1.0fj; + if (cabsl(vsorc.vqd[indx]) < 1.e-20) + vsorc.vqd[indx] = 0.0fj; + zpnorm = t; + if (zpnorm > 0.0) + iped = vsorc.nsant; + } +} diff --git a/gcc/tree-ssa-phiopt.c b/gcc/tree-ssa-phiopt.c index a8376cf5885..6df8420c22f 100644 --- a/gcc/tree-ssa-phiopt.c +++ b/gcc/tree-ssa-phiopt.c @@ -1287,6 +1287,9 @@ cond_store_replacement (basic_block middle_bb, basic_block join_bb, { condstoretemp = create_tmp_var (TREE_TYPE (lhs), "cstore"); get_var_ann (condstoretemp); + if (TREE_CODE (TREE_TYPE (lhs)) == COMPLEX_TYPE + || TREE_CODE (TREE_TYPE (lhs)) == VECTOR_TYPE) + DECL_GIMPLE_REG_P (condstoretemp) = 1; } add_referenced_var (condstoretemp);