From 48feba283c479e010fb6e719b8cf25ac80b1c3e0 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Tue, 15 Feb 2011 13:04:47 +0000 Subject: [PATCH] re PR middle-end/47743 (PRE ICE in fold_convert_loc) 2011-02-15 Richard Guenther PR tree-optimization/47743 * tree-ssa-pre.c (phi_translate_1): If we didn't get a value-number for a non-type-compatible VN lookup bail out. * gcc.dg/torture/pr47743.c: New testcase. From-SVN: r170173 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr47743.c | 22 ++++++++++++++++++++++ gcc/tree-ssa-pre.c | 6 ++++++ 4 files changed, 39 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr47743.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 600f6802171..c360d46c60f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-02-15 Richard Guenther + + PR tree-optimization/47743 + * tree-ssa-pre.c (phi_translate_1): If we didn't get a value-number + for a non-type-compatible VN lookup bail out. + 2011-02-15 Nathan Froyd * config/fr30/constraints.md: New file. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1c15f633825..e60f6db4ccf 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-02-15 Richard Guenther + + PR tree-optimization/47743 + * gcc.dg/torture/pr47743.c: New testcase. + 2011-02-15 Jakub Jelinek PR middle-end/47581 diff --git a/gcc/testsuite/gcc.dg/torture/pr47743.c b/gcc/testsuite/gcc.dg/torture/pr47743.c new file mode 100644 index 00000000000..1930e94d2ca --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr47743.c @@ -0,0 +1,22 @@ +/* { dg-do compile } */ + +int +foo (void *x, int y) +{ + long long a = 1, *b; + double *c; + if (y) + { + b = (long long *) x; + while (b) + a *= *b++; + } + else + { + c = (double *) x; + while (c) + a *= *c++; + } + return a; +} + diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 3056723e2ec..f2466432f89 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -1691,6 +1691,12 @@ phi_translate_1 (pre_expr expr, bitmap_set_t set1, bitmap_set_t set2, result = fold_build1 (VIEW_CONVERT_EXPR, ref->type, result); converted = true; } + else if (!result && newref + && !useless_type_conversion_p (ref->type, newref->type)) + { + VEC_free (vn_reference_op_s, heap, newoperands); + return NULL; + } if (result && is_gimple_min_invariant (result)) { -- 2.30.2