From 0ff2061223a79ab60894db8561021f2eea33e8ed Mon Sep 17 00:00:00 2001 From: bonzini Date: Wed, 19 Oct 2005 10:37:31 +0000 Subject: 2005-10-18 Paolo Bonzini PR #19672 * dojump.c (do_jump): Handle TRUTH_AND_EXPR and TRUTH_OR_EXPR here. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@105606 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/dojump.c | 38 +++++++++++++++++++++++++++++++++++++- 1 file changed, 37 insertions(+), 1 deletion(-) (limited to 'gcc/dojump.c') 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); -- cgit v1.2.1