glsl: In ir_validate, check that ir_loop::counter always refers to a new var.
authorPaul Berry <stereotype441@gmail.com>
Wed, 27 Nov 2013 18:12:53 +0000 (10:12 -0800)
committerPaul Berry <stereotype441@gmail.com>
Sat, 30 Nov 2013 05:46:20 +0000 (21:46 -0800)
commita810db7b84b00763ce9ccbf40baee3f534057a80
tree7b8ff168a6503376fc482622e7bbe5d210afaada
parentd6eb4321d0e62b6b391ad88ce390bd6e23d79747
glsl: In ir_validate, check that ir_loop::counter always refers to a new var.

The compiler back-ends (i965's fs_visitor and brw_visitor,
ir_to_mesa_visitor, and glsl_to_tgsi_visitor) have been assuming this
for some time.  Thanks to the preceding patch, the compiler front-end
no longer breaks this assumption.

This patch adds code to validate the assumption so that if we have
future bugs, we'll be able to catch them earlier.

Reviewed-by: Eric Anholt <eric@anholt.net>
Reviewed-by: Kenneth Graunke <kenneth@whitecape.org>
src/glsl/ir_validate.cpp