nir: Recognize mul(b2f(a), b2f(b)) as a logical AND.
authorMatt Turner <mattst88@gmail.com>
Wed, 18 Mar 2015 06:30:32 +0000 (23:30 -0700)
committerMatt Turner <mattst88@gmail.com>
Tue, 24 Mar 2015 21:43:37 +0000 (14:43 -0700)
Transform this into b2f(and(a, b)).

total instructions in shared programs: 6205448 -> 6204391 (-0.02%)
instructions in affected programs:     284030 -> 282973 (-0.37%)
helped:                                903
HURT:                                  6

Acked-by: Ian Romanick <ian.d.romanick@intel.com>
Reviewed-by: Connor Abbott <cwabbott0@gmail.com>
src/glsl/nir/nir_opt_algebraic.py

index ef855aa774e002df17037022b2fa6e47b2b72c38..f956edff3c3e10eafcdc580e9c29fd55190ce4a0 100644 (file)
@@ -95,6 +95,8 @@ optimizations = [
    (('fsat', a), ('fmin', ('fmax', a, 0.0), 1.0), 'options->lower_fsat'),
    (('fsat', ('fsat', a)), ('fsat', a)),
    (('fmin', ('fmax', ('fmin', ('fmax', a, 0.0), 1.0), 0.0), 1.0), ('fmin', ('fmax', a, 0.0), 1.0)),
+   # Emulating booleans
+   (('fmul', ('b2f', a), ('b2f', b)), ('b2f', ('iand', a, b))),
    # Comparison with the same args.  Note that these are not done for
    # the float versions because NaN always returns false on float
    # inequalities.