nir/search: Don't match inexact expressions with exact subexpressions
authorJason Ekstrand <jason.ekstrand@intel.com>
Mon, 28 Mar 2016 18:12:33 +0000 (11:12 -0700)
committerJason Ekstrand <jason.ekstrand@intel.com>
Mon, 28 Mar 2016 20:07:39 +0000 (13:07 -0700)
commit035f66025b4d82ce40573da86bde6afda4a05ec7
treee937de2d88ccb2edcfad015b062c8be31f88d0e1
parent6d658e9bd546581a0841e7acb8915dc05d44c628
nir/search: Don't match inexact expressions with exact subexpressions

In the first pass of implementing exact handling, I made a mistake with
search-and-replace.  In particular, we only reallly handled exact/inexact
on the root of the tree.  Instead, we need to check every node in the tree
for an exact/inexact match.  As an example of this, consider the following
GLSL code

precise float a = b + c;
if (a < 0) {
   do_stuff();
}

In that case, only the add will be declared "exact" and an expression that
looks for "b + c < 0" will still match and replace it with "b < -c" which
may yield different results.  The solution is to simply bail if any of the
values are exact when matching an inexact expression.
src/compiler/nir/nir_search.c