diff options
| author | Richard Biener <rguenther@suse.de> | 2020-08-07 10:16:05 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-08-07 12:21:36 +0200 |
| commit | c3f94f5786a014515c09c7852db228c74adf51e5 (patch) | |
| tree | 1d201656f41289ed50030c457548b50f2d94449a | |
| parent | e87c540fe43e29663140ed67b98ee437c25696bb (diff) | |
| download | gcc-c3f94f5786a014515c09c7852db228c74adf51e5.zip gcc-c3f94f5786a014515c09c7852db228c74adf51e5.tar.gz gcc-c3f94f5786a014515c09c7852db228c74adf51e5.tar.bz2 | |
tree-optimization/96514 - avoid if-converting control-altering calls
This avoids if-converting when encountering control-altering calls.
2020-08-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/96514
* tree-if-conv.c (if_convertible_bb_p): If the last stmt
is a call that is control-altering, fail.
* gcc.dg/pr96514.c: New testcase.
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr96514.c | 27 | ||||
| -rw-r--r-- | gcc/tree-if-conv.c | 5 |
2 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr96514.c b/gcc/testsuite/gcc.dg/pr96514.c new file mode 100644 index 0000000..891b4da --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr96514.c @@ -0,0 +1,27 @@ +/* { dg-do compile } */ + +int __attribute__ ((pure, returns_twice)) +r0 (void); + +void +vy (int t7) +{ + while (t7 == 0) + r0 (); +} + +void +qw (int t7) +{ + vy (t7); + + if (0) + r0 (); +} + +void __attribute__ ((simd)) +un (int t7) +{ + qw (t7); + qw (t7); +} diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c index fc894eb..257759d 100644 --- a/gcc/tree-if-conv.c +++ b/gcc/tree-if-conv.c @@ -1139,6 +1139,11 @@ if_convertible_bb_p (class loop *loop, basic_block bb, basic_block exit_bb) if (EDGE_COUNT (bb->succs) > 2) return false; + gimple *last = last_stmt (bb); + if (gcall *call = safe_dyn_cast <gcall *> (last)) + if (gimple_call_ctrl_altering_p (call)) + return false; + if (exit_bb) { if (bb != loop->latch) |