From 25371c91ad8d8b669b1fe65234c19672d4ac4dda Mon Sep 17 00:00:00 2001 From: jakub Date: Thu, 31 Dec 2015 23:51:50 +0000 Subject: [PATCH] PR target/69015 * ifcvt.c (find_cond_trap): Give up if returnjump_p (jump). * gcc.dg/pr69015.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@232020 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 4 ++++ gcc/ifcvt.c | 7 +++++-- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/pr69015.c | 10 ++++++++++ 4 files changed, 23 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr69015.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 941f981..32d3ecf 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2016-01-01 Jakub Jelinek + + PR target/69015 + * ifcvt.c (find_cond_trap): Give up if returnjump_p (jump). Copyright (C) 2016 Free Software Foundation, Inc. diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index 6164232..1112ad0 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -4526,8 +4526,11 @@ find_cond_trap (basic_block test_bb, edge then_edge, edge else_edge) return FALSE; /* If the conditional jump is more than just a conditional jump, then - we can not do if-conversion on this block. */ - if (! onlyjump_p (jump)) + we can not do if-conversion on this block. Give up for returnjump_p, + changing a conditional return followed by unconditional trap for + conditional trap followed by unconditional return is likely not + beneficial and harder to handle. */ + if (! onlyjump_p (jump) || returnjump_p (jump)) return FALSE; /* We must be comparing objects whose modes imply the size. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 941f981..178c13e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2016-01-01 Jakub Jelinek + + PR target/69015 + * gcc.dg/pr69015.c: New test. Copyright (C) 2016 Free Software Foundation, Inc. diff --git a/gcc/testsuite/gcc.dg/pr69015.c b/gcc/testsuite/gcc.dg/pr69015.c new file mode 100644 index 0000000..9e75db9 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr69015.c @@ -0,0 +1,10 @@ +/* PR target/69015 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fno-if-conversion" } */ + +void +foo (int c) +{ + if (c) + __builtin_trap (); +} -- 2.7.4