From 5de33281664f175e0f19f0e64cba7d25e09c2ef6 Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Fri, 6 Jul 2012 11:22:12 +0000 Subject: [PATCH] re PR tree-optimization/51879 (Missed tail merging with non-const/pure calls) 2012-07-06 Tom de Vries PR tree-optimization/51879 * gcc.dg/pr51879-16.c: New test. * gcc.dg/pr51879-17.c: Same. From-SVN: r189324 --- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gcc.dg/pr51879-16.c | 32 +++++++++++++++++++++++++++++++ gcc/testsuite/gcc.dg/pr51879-17.c | 32 +++++++++++++++++++++++++++++++ 3 files changed, 70 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr51879-16.c create mode 100644 gcc/testsuite/gcc.dg/pr51879-17.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ab552be3bb0..939bea1d9f9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2012-07-06 Tom de Vries + + PR tree-optimization/51879 + * gcc.dg/pr51879-16.c: New test. + * gcc.dg/pr51879-17.c: Same. + 2012-07-06 Tom de Vries PR tree-optimization/52009 diff --git a/gcc/testsuite/gcc.dg/pr51879-16.c b/gcc/testsuite/gcc.dg/pr51879-16.c new file mode 100644 index 00000000000..3a84e974693 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr51879-16.c @@ -0,0 +1,32 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-pre" } */ + +struct S { + int i; +}; + +extern struct S foo (void); +extern int foo2 (void); + +struct S s; + +int bar (int c) { + int r; + + if (c) + { + s = foo (); + r = foo2 (); + } + else + { + s = foo (); + r = foo2 (); + } + + return r; +} + +/* { dg-final { scan-tree-dump-times "foo \\(" 1 "pre"} } */ +/* { dg-final { scan-tree-dump-times "foo2 \\(" 1 "pre"} } */ +/* { dg-final { cleanup-tree-dump "pre" } } */ diff --git a/gcc/testsuite/gcc.dg/pr51879-17.c b/gcc/testsuite/gcc.dg/pr51879-17.c new file mode 100644 index 00000000000..806fe7b0f61 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr51879-17.c @@ -0,0 +1,32 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-pre" } */ + +struct S { + int i; +}; + +extern struct S foo (void); +extern int foo2 (void); + +struct S s, s2; + +int bar (int c) { + int r; + + if (c) + { + s = foo (); + r = foo2 (); + } + else + { + s2 = foo (); + r = foo2 (); + } + + return r; +} + +/* { dg-final { scan-tree-dump-times "foo \\(" 2 "pre"} } */ +/* { dg-final { scan-tree-dump-times "foo2 \\(" 2 "pre"} } */ +/* { dg-final { cleanup-tree-dump "pre" } } */ -- 2.30.2