From: Jan Hubicka Date: Wed, 30 Jun 2010 16:51:36 +0000 (+0200) Subject: PR middle-end/PR44706 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8a9c1ae6bfcdfa9a589c6f8f98b6a9b8f495d9e5;p=gcc.git PR middle-end/PR44706 PR middle-end/PR44706 * ipa-split (split_function): Refine conditions when to use DECL_RESULT to return the value. * gcc.dg/tree-ssa/ipa-split-4.c: New testcase. From-SVN: r161615 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ff37f0cbcb4..b19c28998ae 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-06-30 Jan Hubicka + + PR middle-end/PR44706 + * ipa-split (split_function): Refine conditions when to use DECL_RESULT + to return the value. + 2010-06-30 Michael Matz PR bootstrap/44699 diff --git a/gcc/ipa-split.c b/gcc/ipa-split.c index ae784b6dd77..289a7b38beb 100644 --- a/gcc/ipa-split.c +++ b/gcc/ipa-split.c @@ -931,6 +931,13 @@ split_function (struct split_point *split_point) if (!VOID_TYPE_P (TREE_TYPE (TREE_TYPE (current_function_decl)))) { retval = DECL_RESULT (current_function_decl); + + /* We use temporary register to hold value when aggregate_value_p + is false. Similarly for DECL_BY_REFERENCE we must avoid extra + copy. */ + if (!aggregate_value_p (retval, TREE_TYPE (current_function_decl)) + && !DECL_BY_REFERENCE (retval)) + retval = create_tmp_reg (TREE_TYPE (retval), NULL); if (is_gimple_reg (retval)) retval = make_ssa_name (retval, call); gimple_call_set_lhs (call, retval); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 136c37b57a9..d9e9a4025f9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-06-30 Jan Hubicka + + * gcc.dg/tree-ssa/ipa-split-4.c: New testcase. + 2010-06-30 Michael Matz PR bootstrap/44699 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ipa-split-4.c b/gcc/testsuite/gcc.dg/tree-ssa/ipa-split-4.c new file mode 100644 index 00000000000..c2c39602499 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ipa-split-4.c @@ -0,0 +1,27 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -fdump-tree-fnsplit" } */ +int make_me_big (void); + +int +split_me (int a) +{ + if (__builtin_expect(a<10, 1)) + { + abort (); + } + else + { + make_me_big (); + make_me_big (); + make_me_big (); + make_me_big (); + return a+1; + } +} + +main() +{ + return split_me (0)+split_me(1)+split_me(2); +} +/* { dg-final { scan-tree-dump-times "Splitting function" 1 "fnsplit"} } */ +/* { dg-final { cleanup-tree-dump "fnsplit" } } */