Commit a348dc7f by Jakub Jelinek Committed by Jakub Jelinek

re PR tree-optimization/52019 (tree-ssa/ipa-split-5.c fails with -fno-tree-sra because of CLOBBERS)

	PR tree-optimization/52019
	* ipa-split.c (find_return_bb, find_retval, visit_bb): Ignore
	CLOBBER stmts.

	* gcc.dg/tree-ssa/ipa-split-6.c: New test.

From-SVN: r184508
parent 3762c343
2012-02-23 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/52019
* ipa-split.c (find_return_bb, find_retval, visit_bb): Ignore
CLOBBER stmts.
2012-02-23 Ulrich Weigand <Ulrich.Weigand@de.ibm.com> 2012-02-23 Ulrich Weigand <Ulrich.Weigand@de.ibm.com>
* acinclude.m4: Use HAVE_INITFINI_ARRAY_SUPPORT instead of * acinclude.m4: Use HAVE_INITFINI_ARRAY_SUPPORT instead of
......
/* Function splitting pass /* Function splitting pass
Copyright (C) 2010, 2011 Copyright (C) 2010, 2011, 2012
Free Software Foundation, Inc. Free Software Foundation, Inc.
Contributed by Jan Hubicka <jh@suse.cz> Contributed by Jan Hubicka <jh@suse.cz>
...@@ -624,7 +624,9 @@ find_return_bb (void) ...@@ -624,7 +624,9 @@ find_return_bb (void)
for (bsi = gsi_last_bb (e->src); !gsi_end_p (bsi); gsi_prev (&bsi)) for (bsi = gsi_last_bb (e->src); !gsi_end_p (bsi); gsi_prev (&bsi))
{ {
gimple stmt = gsi_stmt (bsi); gimple stmt = gsi_stmt (bsi);
if (gimple_code (stmt) == GIMPLE_LABEL || is_gimple_debug (stmt)) if (gimple_code (stmt) == GIMPLE_LABEL
|| is_gimple_debug (stmt)
|| gimple_clobber_p (stmt))
; ;
else if (gimple_code (stmt) == GIMPLE_ASSIGN else if (gimple_code (stmt) == GIMPLE_ASSIGN
&& found_return && found_return
...@@ -657,7 +659,8 @@ find_retval (basic_block return_bb) ...@@ -657,7 +659,8 @@ find_retval (basic_block return_bb)
for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi); gsi_next (&bsi)) for (bsi = gsi_start_bb (return_bb); !gsi_end_p (bsi); gsi_next (&bsi))
if (gimple_code (gsi_stmt (bsi)) == GIMPLE_RETURN) if (gimple_code (gsi_stmt (bsi)) == GIMPLE_RETURN)
return gimple_return_retval (gsi_stmt (bsi)); return gimple_return_retval (gsi_stmt (bsi));
else if (gimple_code (gsi_stmt (bsi)) == GIMPLE_ASSIGN) else if (gimple_code (gsi_stmt (bsi)) == GIMPLE_ASSIGN
&& !gimple_clobber_p (gsi_stmt (bsi)))
return gimple_assign_rhs1 (gsi_stmt (bsi)); return gimple_assign_rhs1 (gsi_stmt (bsi));
return NULL; return NULL;
} }
...@@ -733,6 +736,9 @@ visit_bb (basic_block bb, basic_block return_bb, ...@@ -733,6 +736,9 @@ visit_bb (basic_block bb, basic_block return_bb,
if (is_gimple_debug (stmt)) if (is_gimple_debug (stmt))
continue; continue;
if (gimple_clobber_p (stmt))
continue;
/* FIXME: We can split regions containing EH. We can not however /* FIXME: We can split regions containing EH. We can not however
split RESX, EH_DISPATCH and EH_POINTER referring to same region split RESX, EH_DISPATCH and EH_POINTER referring to same region
into different partitions. This would require tracking of into different partitions. This would require tracking of
......
2012-02-23 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/52019
* gcc.dg/tree-ssa/ipa-split-6.c: New test.
2012-02-22 Kai Tietz <ktietz@redhat.com> 2012-02-22 Kai Tietz <ktietz@redhat.com>
* g++.dg/opt/devirt2.C: Add rule for *-*-mingw* target. * g++.dg/opt/devirt2.C: Add rule for *-*-mingw* target.
......
/* PR tree-optimization/52019 */
/* { dg-do compile } */
/* { dg-options "-O3 -fno-tree-sra -fdump-tree-fnsplit -fdump-tree-optimized" } */
#include "ipa-split-5.c"
/* { dg-final { scan-tree-dump-times "Splitting function" 1 "fnsplit"} } */
/* { dg-final { cleanup-tree-dump "fnsplit" } } */
/* { dg-final { scan-tree-dump "part" "optimized"} } */
/* { dg-final { cleanup-tree-dump "optimized" } } */
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment