vc4: Add some optimization of FADD(FSUB(0, x)).

This is a common production of st_glsl_to_tgsi, which uses negate flags on
source arguments to handle subtraction.
This commit is contained in:
Eric Anholt 2014-10-09 09:32:10 +02:00
parent 67aea92964
commit 00a9aebfe0

View file

@ -128,6 +128,37 @@ qir_opt_algebraic(struct vc4_compile *c)
}
break;
case QOP_FADD:
/* FADD(a, FSUB(0, b)) -> FSUB(a, b) */
if (inst->src[1].file == QFILE_TEMP &&
defs[inst->src[1].index]->op == QOP_FSUB) {
struct qinst *fsub = defs[inst->src[1].index];
if (is_zero(c, defs, fsub->src[0])) {
dump_from(c, inst);
inst->op = QOP_FSUB;
inst->src[1] = fsub->src[1];
progress = true;
dump_to(c, inst);
break;
}
}
/* FADD(FSUB(0, b), a) -> FSUB(a, b) */
if (inst->src[0].file == QFILE_TEMP &&
defs[inst->src[0].index]->op == QOP_FSUB) {
struct qinst *fsub = defs[inst->src[0].index];
if (is_zero(c, defs, fsub->src[0])) {
dump_from(c, inst);
inst->op = QOP_FSUB;
inst->src[0] = inst->src[1];
inst->src[1] = fsub->src[1];
dump_to(c, inst);
progress = true;
break;
}
}
break;
default:
break;
}