diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-05-08 13:12:56 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-05-08 13:12:56 +0000 |
| commit | ca100953ebba1afb0db79bf2ba4125ae78afdbf4 (patch) | |
| tree | 88174d0fb4861e8b266c6b7788ef7dced0efef72 | |
| parent | c9d19f43d70873e74aa3b03270d6b5c06256b68a (diff) | |
| download | gcc-ca100953ebba1afb0db79bf2ba4125ae78afdbf4.tar.gz | |
2010-05-08 Richard Guenther <rguenther@suse.de>
PR tree-optimization/44030
* tree-ssa-pre.c (eliminate): Copy NECESSARY flag. Set
NECESSARY flag if we propagate from a inserted expression.
* gcc.c-torture/compile/pr44030.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@159186 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr44030.c | 28 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 6 |
4 files changed, 44 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 735c120b2e7..cb1661cab2f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-05-08 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/44030 + * tree-ssa-pre.c (eliminate): Copy NECESSARY flag. Set + NECESSARY flag if we propagate from a inserted expression. + 2010-05-08 Eric Botcazou <ebotcazou@adacore.com> * gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b0d26f113db..66630e8006d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-05-08 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/44030 + * gcc.c-torture/compile/pr44030.c: New testcase. + 2010-05-08 Eric Botcazou <ebotcazou@adacore.com> * gnat.dg/lto6.adb: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr44030.c b/gcc/testsuite/gcc.c-torture/compile/pr44030.c new file mode 100644 index 00000000000..cd5d5f616c9 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr44030.c @@ -0,0 +1,28 @@ +typedef int int32_t; +typedef unsigned int uint32_t; +static uint32_t +safe_sub_func_uint32_t_u_u (uint32_t ui1, uint32_t ui2) +{ + return ui1 - ui2; +} + +int32_t l_105[7]; + +int32_t g_4; +int32_t *g_54 = &g_4; +int32_t * +func (int32_t p_73, int32_t * p_74, int32_t p_75, int32_t * *p_76, + int32_t * *p_77) +{ +lbl_110:for (g_4 = 0; g_4; g_4 = 1) + { + } + for (p_75 = -28; p_75; p_75 = safe_sub_func_uint32_t_u_u (p_75, 1)) + { + if (g_4) + goto lbl_110; + *g_54 = 0; + } + return &l_105[5]; +} + diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 514383d7773..ac676cd4150 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -4351,6 +4351,7 @@ eliminate (void) sprime = fold_convert (TREE_TYPE (res), sprime); stmt = gimple_build_assign (res, sprime); SSA_NAME_DEF_STMT (res) = stmt; + gimple_set_plf (stmt, NECESSARY, gimple_plf (phi, NECESSARY)); gsi2 = gsi_after_labels (b); gsi_insert_before (&gsi2, stmt, GSI_NEW_STMT); @@ -4381,8 +4382,11 @@ eliminate (void) && single_imm_use (lhs, &use_p, &use_stmt) && may_propagate_copy (USE_FROM_PTR (use_p), rhs)) { - SET_USE (use_p, gimple_assign_rhs1 (stmt)); + SET_USE (use_p, rhs); update_stmt (use_stmt); + if (bitmap_bit_p (inserted_exprs, SSA_NAME_VERSION (lhs)) + && TREE_CODE (rhs) == SSA_NAME) + gimple_set_plf (SSA_NAME_DEF_STMT (rhs), NECESSARY, true); } /* If this is a store or a now unused copy, remove it. */ |