+/**
+ * create a short-circuit expression evaluation that tries to construct
+ * efficient control flow structures for &&, || and ! expressions
+ */
+static void create_condition_evaluation(const expression_t *expression,
+ ir_node *true_block,
+ ir_node *false_block)
+{
+ switch(expression->type) {
+ case EXPR_UNARY: {
+ unary_expression_t *unary_expression = (unary_expression_t*) expression;
+ if(unary_expression->type == UNEXPR_NOT) {
+ create_condition_evaluation(unary_expression->value, false_block,
+ true_block);
+ return;
+ }
+ break;
+ }
+ case EXPR_BINARY: {
+ binary_expression_t *binary_expression
+ = (binary_expression_t*) expression;
+ if(binary_expression->type == BINEXPR_LOGICAL_AND) {
+ ir_node *cur_block = get_cur_block();
+ ir_node *extra_block = new_immBlock();
+ set_cur_block(cur_block);
+ create_condition_evaluation(binary_expression->left, extra_block,
+ false_block);
+ mature_immBlock(extra_block);
+ set_cur_block(extra_block);
+ create_condition_evaluation(binary_expression->right, true_block,
+ false_block);
+ return;
+ }
+ if(binary_expression->type == BINEXPR_LOGICAL_OR) {
+ ir_node *cur_block = get_cur_block();
+ ir_node *extra_block = new_immBlock();
+ set_cur_block(cur_block);
+ create_condition_evaluation(binary_expression->left, true_block,
+ extra_block);
+ mature_immBlock(extra_block);
+ set_cur_block(extra_block);
+ create_condition_evaluation(binary_expression->right, true_block,
+ false_block);
+ return;
+ }
+ break;
+ }
+ default:
+ break;
+ }
+
+ dbg_info *dbgi = get_dbg_info(&expression->source_position);
+ ir_node *condition = expression_to_modeb(expression);
+ ir_node *cond = new_d_Cond(dbgi, condition);
+ ir_node *true_proj = new_d_Proj(dbgi, cond, mode_X, pn_Cond_true);
+ ir_node *false_proj = new_d_Proj(dbgi, cond, mode_X, pn_Cond_false);
+
+ add_immBlock_pred(true_block, true_proj);
+ add_immBlock_pred(false_block, false_proj);
+
+ set_cur_block(NULL);
+}
+