From 9edb6bb8d37985e92be466ca9d3418034e00fd7b Mon Sep 17 00:00:00 2001 From: Jeff Law Date: Tue, 22 Dec 2015 14:49:12 -0700 Subject: [PATCH] [PATCH] Avoid unnecessary block copying in path splitting * gimple-ssa-split-paths.c (split_paths): Avoid unnecessary block copying. From-SVN: r231915 --- gcc/ChangeLog | 5 +++++ gcc/gimple-ssa-split-paths.c | 9 ++++----- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 73ab7d40818..5e1e8192949 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-12-22 Jeff Law + + * gimple-ssa-split-paths.c (split_paths): Avoid unnecessary block + copying. + 2015-12-22 Jakub Jelinek PR c++/67376 diff --git a/gcc/gimple-ssa-split-paths.c b/gcc/gimple-ssa-split-paths.c index 540fdf3c33a..294a1afb3fc 100644 --- a/gcc/gimple-ssa-split-paths.c +++ b/gcc/gimple-ssa-split-paths.c @@ -192,9 +192,10 @@ split_paths () /* BB is the merge point for an IF-THEN-ELSE we want to transform. - Essentially we want to create two duplicates of BB and append - a duplicate to the THEN and ELSE clauses. This will split the - path leading to the latch. BB will be unreachable and removed. */ + Essentially we want to create a duplicate of bb and redirect the + first predecessor of BB to the duplicate (leaving the second + predecessor as is. This will split the path leading to the latch + re-using BB to avoid useless copying. */ if (bb && is_feasible_trace (bb)) { if (dump_file && (dump_flags & TDF_DETAILS)) @@ -202,9 +203,7 @@ split_paths () "Duplicating join block %d into predecessor paths\n", bb->index); basic_block pred0 = EDGE_PRED (bb, 0)->src; - basic_block pred1 = EDGE_PRED (bb, 1)->src; transform_duplicate (pred0, bb); - transform_duplicate (pred1, bb); changed = true; } } -- 2.30.2