glsl: Handle empty if statement encountered during loop analysis.
authorPaul Berry <stereotype441@gmail.com>
Wed, 24 Jul 2013 15:04:44 +0000 (08:04 -0700)
committerPaul Berry <stereotype441@gmail.com>
Thu, 25 Jul 2013 16:37:02 +0000 (09:37 -0700)
commita5eecb246d66fd8f27eca3c4f6f83bf2641b9403
tree3ef9909d31010c81139eb35ab54548736002fc46
parentb8f13fbb856534cbc1345325b74ec47711493dd6
glsl: Handle empty if statement encountered during loop analysis.

The is_loop_terminator() function was asserting that the following
kind of if statement could never occur:

    if (...) { } else { }

(presumably based on the assumption that such an if statement would be
eliminated by previous optimization stages).  But that isn't the
case--it's possible that previous optimization stages might simplify
more complex code down to this empty if statement, in which case it
won't be eliminated until the next time through the optimization loop.

So is_loop_terminator() needs to handle it.  Fortunately it's easy to
handle--it's not a loop terminator because it does nothing.

Bugzilla: https://bugs.freedesktop.org/show_bug.cgi?id=64330
CC: mesa-stable@lists.freedesktop.org
Reviewed-by: Kenneth Graunke <kenneth@whitecape.org>
src/glsl/loop_analysis.cpp