AlexIndustrial/mesa
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

glsl2: Perform algebraic simplifications on logical binary operators

Browse Source 
Reduces glsl-vs-all-01 from 42 Mesa IR instructions (including the
END) to 17.
This commit is contained in:
Ian Romanick
2010-09-01 10:13:21 -07:00
parent a4262874f8
commit a35faa6a41
1 changed files with 52 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/glsl/ir_algebraic.cpp
+52
View File
@@ -366,6 +366,58 @@ ir_algebraic_visitor::handle_expression(ir_expression *ir)
}
break;
case ir_binop_logic_and:
/* FINISHME: Also simplify (a && a) to (a). */
if (is_vec_one(op_const[0])) {
this->progress = true;
return ir->operands[1];
} else if (is_vec_one(op_const[1])) {
this->progress = true;
return ir->operands[0];
} else if (is_vec_zero(op_const[0]) || is_vec_zero(op_const[1])) {
this->progress = true;
return ir_constant::zero(mem_ctx, ir->type);
}
break;
case ir_binop_logic_xor:
/* FINISHME: Also simplify (a ^^ a) to (false). */
if (is_vec_zero(op_const[0])) {
this->progress = true;
return ir->operands[1];
} else if (is_vec_zero(op_const[1])) {
this->progress = true;
return ir->operands[0];
} else if (is_vec_one(op_const[0])) {
this->progress = true;
return new(mem_ctx) ir_expression(ir_unop_logic_not, ir->type,
ir->operands[1], NULL);
} else if (is_vec_one(op_const[1])) {
this->progress = true;
return new(mem_ctx) ir_expression(ir_unop_logic_not, ir->type,
ir->operands[0], NULL);
}
break;
case ir_binop_logic_or:
/* FINISHME: Also simplify (a || a) to (a). */
if (is_vec_zero(op_const[0])) {
this->progress = true;
return ir->operands[1];
} else if (is_vec_zero(op_const[1])) {
this->progress = true;
return ir->operands[0];
} else if (is_vec_one(op_const[0]) || is_vec_one(op_const[1])) {
ir_constant_data data;
for (unsigned i = 0; i < 16; i++)
data.b[i] = true;
this->progress = true;
return new(mem_ctx) ir_constant(ir->type, &data);
}
break;
case ir_unop_rcp:
if (op_expr[0] && op_expr[0]->operation == ir_unop_rcp) {
this->progress = true;