nir: Mark bcsel-to-fmin (or fmax) transformations as inexact
authorIan Romanick <ian.d.romanick@intel.com>
Mon, 26 Feb 2018 22:49:47 +0000 (14:49 -0800)
committerIan Romanick <ian.d.romanick@intel.com>
Tue, 6 Mar 2018 19:17:14 +0000 (11:17 -0800)
commit380136e998f8d89380adba7d071249d6469339db
tree724746fc978e81f94be3ee9f4f8c1f1c7fcfa24a
parent4addd34b0477cf87787afbcea989b3391a81d0a1
nir: Mark bcsel-to-fmin (or fmax) transformations as inexact

These transformations are inexact because section 4.7.1 (Range and
Precision) says:

    Operations and built-in functions that operate on a NaN are not
    required to return a NaN as the result.

The fmin or fmax might not return NaN in cases where the original
expression would be required to return NaN.

Signed-off-by: Ian Romanick <ian.d.romanick@intel.com>
Reviewed-by: Jason Ekstrand <jason@jlekstrand.net>
src/compiler/nir/nir_opt_algebraic.py