i965/fs: Let sat-prop ignore live ranges if producer already has sat.
authorMatt Turner <mattst88@gmail.com>
Sun, 29 Jun 2014 01:00:27 +0000 (18:00 -0700)
committerMatt Turner <mattst88@gmail.com>
Tue, 1 Jul 2014 05:31:05 +0000 (22:31 -0700)
commitbcbb7c41b75aa780f93f32937697c2999ff2eb36
treed5794d0bc35cd49fd27fa3a3227591963b05064b
parente58992aedd9693f0356f3691d510a5e976473a0c
i965/fs: Let sat-prop ignore live ranges if producer already has sat.

This sequence (where both x and w are used afterwards) wasn't handled.

   mul.sat x, y, z
   ...
   mov.sat w, x

We assumed that if x was used after the mov.sat, that we couldn't
propagate the saturate modifier, but in fact x was already saturated.

So ignore the live range check if the producing instruction already
saturates its result. Cuts one instruction from hundreds of TF2 shaders.

total instructions in shared programs: 1995631 -> 1994951 (-0.03%)
instructions in affected programs:     155248 -> 154568 (-0.44%)

Reviewed-by: Kenneth Graunke <kenneth@whitecape.org>
src/mesa/drivers/dri/i965/brw_fs_saturate_propagation.cpp