glsl: Check TCS barrier restrictions at ast_to_hir time, not link time.
authorKenneth Graunke <kenneth@whitecape.org>
Wed, 21 Sep 2016 09:03:10 +0000 (02:03 -0700)
committerKenneth Graunke <kenneth@whitecape.org>
Fri, 23 Sep 2016 23:40:40 +0000 (16:40 -0700)
commit1617f59bc675d6e44d16ab56d95e910d2e2c8f4e
tree800a06d79988045ea7d94076bf240c3e56db70f5
parentf5a6aab4031bc4754756c1773411728ad9a73381
glsl: Check TCS barrier restrictions at ast_to_hir time, not link time.

We want to check prior to optimization - otherwise we might fail to
detect cases where barrier() is in control flow which is always taken
(and therefore gets optimized away).

We don't currently loop unroll if there are function calls inside;
otherwise we might have a problem detecting barrier() in loops that
get unrolled as well.

Tapani's switch handling code adds a loop around switch statements, so
even with the mess of if ladders, we'll properly reject it.

Enforcing these rules at compile time makes more sense more sense than
link time.  Doing it at ast-to-hir time (rather than as an IR pass)
allows us to emit an error message with proper line numbers.
(Otherwise, I would have preferred the IR pass...)

Fixes spec/arb_tessellation_shader/compiler/barrier-switch-always.tesc.

Signed-off-by: Kenneth Graunke <kenneth@whitecape.org>
Reviewed-by; Ian Romanick <ian.d.romanick@intel.com>
src/compiler/glsl/ast_function.cpp
src/compiler/glsl/linker.cpp