glsl: Recognize mul(b2f(a), b2f(b)) as a logical AND.

Transform this into b2f(and(a, b)).

total instructions in shared programs: 6190291 -> 6189225 (-0.02%)
instructions in affected programs:     267247 -> 266181 (-0.40%)
helped:                                866

Reviewed-by: Ian Romanick <ian.d.romanick@intel.com>
This commit is contained in:
Matt Turner 2015-03-17 23:28:27 -07:00
parent 95729d2458
commit c8e8f66036
1 changed files with 4 additions and 0 deletions

View File

@ -518,6 +518,10 @@ ir_algebraic_visitor::handle_expression(ir_expression *ir)
if (is_vec_negative_one(op_const[1]))
return neg(ir->operands[0]);
if (op_expr[0] && op_expr[0]->operation == ir_unop_b2f &&
op_expr[1] && op_expr[1]->operation == ir_unop_b2f) {
return b2f(logic_and(op_expr[0]->operands[0], op_expr[1]->operands[0]));
}
/* Reassociate multiplication of constants so that we can do
* constant folding.