glsl/lower_output_reads: fix geometry shader output handling with conditional emit
authorNicolai Hähnle <nicolai.haehnle@amd.com>
Thu, 17 Nov 2016 20:55:38 +0000 (21:55 +0100)
committerNicolai Hähnle <nicolai.haehnle@amd.com>
Mon, 21 Nov 2016 07:21:31 +0000 (08:21 +0100)
commit0d383a79a8f13bb00ed5e5d84f41071b43c7e92d
treefc5e6b1edaa0b45acafb3296cafc4e366b8f05cc
parent42d5e91a2ae235c007c5d17935be9bb1c4ff388e
glsl/lower_output_reads: fix geometry shader output handling with conditional emit

Consider a geometry shader that contains code like this:

   some_out = expr;

   if (cond) {
      ...
      EmitVertex();
   } else {
      ...
      EmitVertex();
   }

Both branches should see the correct value of some_out.

Since this is a rather subtle and rare case, I'm submitting a piglit test
for this as well.

GLSL says that the values of output variables are undefined after
EmitVertex(). With this change, the values will now be defined and
unmodified. This may reduce optimization opportunities in the probably
quite rare case where subsequent compiler passes cannot prove that the
value of the output variable is overwritten.

Cc: 13.0 <mesa-stable@lists.freedesktop.org>
Reviewed-by: Edward O'Callaghan <funfunctor@folklore1984.net>
Reviewed-by: Marek Olšák <marek.olsak@amd.com>
src/compiler/glsl/lower_output_reads.cpp