diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/passes.c | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/gimplefe-19.c | 7 |
4 files changed, 23 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0ad59ba..6d22e94 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-12-20 Richard Biener <rguenther@suse.de> + + * passes.c (execute_one_pass): Handle going out of SSA w/o + hitting pass_startwith. Handle skipping property providers. + 2016-12-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com> PR target/78694 diff --git a/gcc/passes.c b/gcc/passes.c index 51d0d84..d11b712 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -2321,7 +2321,10 @@ execute_one_pass (opt_pass *pass) && (cfun->curr_properties & PROP_ssa)) { size_t namelen = strlen (pass->name); - if (! strncmp (pass->name, cfun->pass_startwith, namelen)) + /* We have to at least start when we leave SSA. */ + if (pass->properties_destroyed & PROP_ssa) + cfun->pass_startwith = NULL; + else if (! strncmp (pass->name, cfun->pass_startwith, namelen)) { /* The following supports starting with the Nth invocation of a pass (where N does not necessarily is equal to the @@ -2338,6 +2341,9 @@ execute_one_pass (opt_pass *pass) return true; } } + /* And also run any property provider. */ + else if (pass->properties_provided != 0) + ; else return true; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index eab8cd8..a84304a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2016-12-20 Richard Biener <rguenther@suse.de> + + * gcc.dg/gimplefe-19.c: New testcase. + 2016-12-20 Kyrylo Tkachov <kyrylo.tkachov@arm.com> PR target/78694 diff --git a/gcc/testsuite/gcc.dg/gimplefe-19.c b/gcc/testsuite/gcc.dg/gimplefe-19.c new file mode 100644 index 0000000..5ce1cec --- /dev/null +++ b/gcc/testsuite/gcc.dg/gimplefe-19.c @@ -0,0 +1,7 @@ +/* { dg-do compile } */ +/* { dg-options "-fgimple" } */ + +void __GIMPLE (startwith ("ccp1")) foo () +{ + return; +} |