nir/algebraic: Add some logical OR and AND patterns
authorJason Ekstrand <jason@jlekstrand.net>
Fri, 29 Mar 2019 22:12:47 +0000 (17:12 -0500)
committerJason Ekstrand <jason@jlekstrand.net>
Fri, 5 Apr 2019 23:39:06 +0000 (18:39 -0500)
commitad8c145658e1f3d84874393763ba7410d8a648e1
tree8a6269efdf0f5b9a1e2016ef2d0f69c8651e4f02
parent03a72d96d8dacc32e817089b94bec08ac70b898b
nir/algebraic: Add some logical OR and AND patterns

The new OR pattern has been seen in the wild and can end up being
generated by GLSLang.  Not sure about the other two new patterns but we
may as well throw them in for completeness.  While we're here, we can
drop the '@bool' specifier from the one pattern because specifying True
already implies 1-bit which basically implies boolean.

Shader-db results on Kaby Lake:

    total instructions in shared programs: 15321227 -> 15321129 (<.01%)
    instructions in affected programs: 3594 -> 3496 (-2.73%)
    helped: 6
    HURT: 0

    total cycles in shared programs: 357481321 -> 357479725 (<.01%)
    cycles in affected programs: 44109 -> 42513 (-3.62%)
    helped: 6
    HURT: 0

VkPipeline-DB results on Kaby Lake:

    total instructions in shared programs: 3770504 -> 3769734 (-0.02%)
    instructions in affected programs: 19058 -> 18288 (-4.04%)
    helped: 163
    HURT: 0

    total cycles in shared programs: 1417583701 -> 1417569727 (<.01%)
    cycles in affected programs: 750958 -> 736984 (-1.86%)
    helped: 158
    HURT: 1

Reviewed-by: Timothy Arceri <tarceri@itsqueeze.com>
src/compiler/nir/nir_opt_algebraic.py