diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2009-07-07 14:18:38 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2009-07-07 14:18:38 +0200 |
| commit | 535536b45a85eca6749f813b75d46a9788e0781b (patch) | |
| tree | c0b534b32dc3bd0d1d076a32a3e3b7e55e52912e /gcc | |
| parent | d79e621af27fbd5306aea9d5ce8d1c2f95b55db5 (diff) | |
| download | gcc-535536b45a85eca6749f813b75d46a9788e0781b.tar.gz | |
re PR middle-end/40669 (ICE in gimple_assign_set_rhs1 from eliminate_tail_call)
PR middle-end/40669
* tree-tailcall.c (adjust_return_value_with_ops,
create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary
if it has complex or vector type.
* gcc.dg/pr40669.c: New test.
From-SVN: r149319
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr40669.c | 26 | ||||
| -rw-r--r-- | gcc/tree-tailcall.c | 6 |
4 files changed, 44 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 46d51451fc9..d659986b848 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2009-07-07 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/40669 + * tree-tailcall.c (adjust_return_value_with_ops, + create_tailcall_accumulator): Set DECL_GIMPLE_REG_P on the temporary + if it has complex or vector type. + 2009-07-07 Olivier Hainque <hainque@adacore.com> * config/alpha/t-osf4 (SHLIB_LINK): Do not hide the dummy weak diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0b889ae3e11..2f8b25f66f0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-07-07 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/40669 + * gcc.dg/pr40669.c: New test. + 2009-07-07 Manuel López-Ibáñez <manu@gcc.gnu.org> * gcc.dg/plugin/selfassign.c: Replace %H by an explicit diff --git a/gcc/testsuite/gcc.dg/pr40669.c b/gcc/testsuite/gcc.dg/pr40669.c new file mode 100644 index 00000000000..cc6bbc9e08a --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr40669.c @@ -0,0 +1,26 @@ +/* PR middle-end/40669 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -ffast-math" } */ + +double _Complex +test (int d, int t, double *x, double *y, double *z, int n, + double _Complex (*fnp) (double)) +{ + int m = n / 2; + double min = y[t], max = z[t], med = x[m * d + t]; + double _Complex result = 0.0; + + if (n == 0) + return 0.0; + + if (min > med) + result += test (d, (t + 1) % d, x + (m + 1) * d, y, z, n - m - 1, fnp); + else if (max < med) + result += test (d, (t + 1) % d, x, y, z, m, fnp); + else + { + result += fnp (y[0] + x[m]); + result += test (d, (t + 1) % d, x + (m + 1) * d, y, z, n - m - 1, fnp); + } + return result; +} diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index 23d849f268e..f2d58dd6e4a 100644 --- a/gcc/tree-tailcall.c +++ b/gcc/tree-tailcall.c @@ -567,6 +567,9 @@ adjust_return_value_with_ops (enum tree_code code, const char *label, gimple stmt = gimple_build_assign_with_ops (code, tmp, op0, op1); tree result; + if (TREE_CODE (ret_type) == COMPLEX_TYPE + || TREE_CODE (ret_type) == VECTOR_TYPE) + DECL_GIMPLE_REG_P (tmp) = 1; add_referenced_var (tmp); result = make_ssa_name (tmp, stmt); gimple_assign_set_lhs (stmt, result); @@ -861,6 +864,9 @@ create_tailcall_accumulator (const char *label, basic_block bb, tree init) tree tmp = create_tmp_var (ret_type, label); gimple phi; + if (TREE_CODE (ret_type) == COMPLEX_TYPE + || TREE_CODE (ret_type) == VECTOR_TYPE) + DECL_GIMPLE_REG_P (tmp) = 1; add_referenced_var (tmp); phi = create_phi_node (tmp, bb); /* RET_TYPE can be a float when -ffast-maths is enabled. */ |