From 89c3cbc686697a14bfb603da5e187331464e696b Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Sat, 1 Mar 2008 18:22:52 +0000 Subject: [PATCH] ifcvt.c (noce_process_if_block): Try to handle only the then block if the else block exists but isn't suitable. * ifcvt.c (noce_process_if_block): Try to handle only the then block if the else block exists but isn't suitable. From-SVN: r132803 --- gcc/ChangeLog | 5 +++++ gcc/ifcvt.c | 9 +++++++++ 2 files changed, 14 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ff83b9cbff7..216d321498b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-03-01 Alexandre Oliva + + * ifcvt.c (noce_process_if_block): Try to handle only the then + block if the else block exists but isn't suitable. + 2008-03-01 Janne Blomqvist PR gcc/35063 diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index 1bb67321d2b..4fd98d010d3 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -2245,6 +2245,7 @@ noce_process_if_block (struct noce_if_info *if_info) || !NONJUMP_INSN_P (insn_b) || (set_b = single_set (insn_b)) == NULL_RTX || ! rtx_equal_p (x, SET_DEST (set_b)) + || ! noce_operand_ok (SET_SRC (set_b)) || reg_overlap_mentioned_p (x, SET_SRC (set_b)) || modified_between_p (SET_SRC (set_b), PREV_INSN (if_info->cond_earliest), jump) @@ -2290,6 +2291,7 @@ noce_process_if_block (struct noce_if_info *if_info) if (! noce_operand_ok (a) || ! noce_operand_ok (b)) return FALSE; + retry: /* Set up the info block for our subroutines. */ if_info->insn_a = insn_a; if_info->insn_b = insn_b; @@ -2387,6 +2389,13 @@ noce_process_if_block (struct noce_if_info *if_info) goto success; } + if (!else_bb && set_b) + { + insn_b = set_b = NULL_RTX; + b = orig_x; + goto retry; + } + return FALSE; success: