diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 38edb127c56..c032c98142a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-10-18 Paolo Bonzini + + PR #19672 + * dojump.c (do_jump): Handle TRUTH_AND_EXPR and TRUTH_OR_EXPR here. + 2005-10-18 Daniel Berlin Fix PR tree-optimization/24231 @@ -5,7 +10,7 @@ * tree-ssa-pre.c (try_look_through_load): Skip abnormal phi names (compute_avail): Ditto. -2006-10-18 Richard Henderson +2005-10-18 Richard Henderson PR target/24428 * config/i386/i386.c (legitimate_constant_p): Check diff --git a/gcc/dojump.c b/gcc/dojump.c index 741c30a8dca..6dca9d32b57 100644 --- a/gcc/dojump.c +++ b/gcc/dojump.c @@ -510,6 +510,42 @@ do_jump (tree exp, rtx if_false_label, rtx if_true_label) } break; + case TRUTH_AND_EXPR: + /* High branch cost, expand as the bitwise AND of the conditions. */ + if (BRANCH_COST >= 4) + goto normal; + + if (if_false_label == NULL_RTX) + { + drop_through_label = gen_label_rtx (); + do_jump (TREE_OPERAND (exp, 0), drop_through_label, NULL_RTX); + do_jump (TREE_OPERAND (exp, 1), NULL_RTX, if_true_label); + } + else + { + do_jump (TREE_OPERAND (exp, 0), if_false_label, NULL_RTX); + do_jump (TREE_OPERAND (exp, 1), if_false_label, if_true_label); + } + break; + + case TRUTH_OR_EXPR: + /* High branch cost, expand as the bitwise OR of the conditions. */ + if (BRANCH_COST >= 4) + goto normal; + + if (if_true_label == NULL_RTX) + { + drop_through_label = gen_label_rtx (); + do_jump (TREE_OPERAND (exp, 0), NULL_RTX, drop_through_label); + do_jump (TREE_OPERAND (exp, 1), if_false_label, NULL_RTX); + } + else + { + do_jump (TREE_OPERAND (exp, 0), NULL_RTX, if_true_label); + do_jump (TREE_OPERAND (exp, 1), if_false_label, if_true_label); + } + break; + /* Special case: __builtin_expect (, 0) and __builtin_expect (, 1) @@ -540,8 +576,8 @@ do_jump (tree exp, rtx if_false_label, rtx if_true_label) } } } + /* Fall through and generate the normal code. */ - default: normal: temp = expand_expr (exp, NULL_RTX, VOIDmode, 0);