From 23ba9627f42b41b4431d63d55431d01fd5af9bf4 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Thu, 4 May 2006 07:44:37 +0000 Subject: re PR tree-optimization/26447 (verify_flow_info failed, load PRE with java program) 2006-05-04 Richard Guenther PR tree-optimization/26447 * tree-ssa-pre.c (realify_fake_stores): For necessary loads produce SSA_NAME copies before the store stmt to avoid breaking exception handling. From-SVN: r113517 --- gcc/tree-ssa-pre.c | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) (limited to 'gcc/tree-ssa-pre.c') diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index fc0dff5a2b8..38f020f30f2 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -3290,16 +3290,19 @@ realify_fake_stores (void) /* Mark the temp variable as referenced */ add_referenced_tmp_var (SSA_NAME_VAR (TREE_OPERAND (stmt, 0))); - /* Put the new statement in GC memory, fix up the annotation - and SSA_NAME_DEF_STMT on it, and then put it in place of - the old statement in the IR stream. */ - newstmt = unshare_expr (stmt); + /* Put the new statement in GC memory, fix up the + SSA_NAME_DEF_STMT on it, and then put it in place of + the old statement before the store in the IR stream + as a plain ssa name copy. */ + bsi = bsi_for_stmt (stmt); + bsi_prev (&bsi); + newstmt = build2 (MODIFY_EXPR, void_type_node, + TREE_OPERAND (stmt, 0), + TREE_OPERAND (bsi_stmt (bsi), 1)); SSA_NAME_DEF_STMT (TREE_OPERAND (newstmt, 0)) = newstmt; - - newstmt->common.ann = stmt->common.ann; - + bsi_insert_before (&bsi, newstmt, BSI_SAME_STMT); bsi = bsi_for_stmt (stmt); - bsi_replace (&bsi, newstmt, true); + bsi_remove (&bsi, true); } else release_defs (stmt); -- cgit v1.2.1