Content - 573eafa7401eba88c2e5e464f5dd29d319fdb0da - 4440376/src/Simplify_And.inc

visit type:

Tip revision: 8d844f297b9b25b719774342aa213b7102593725 authored by Andrew Adams on 28 April 2020, 20:04:24 UTC
Fix simplify test

Tip revision: 8d844f2

Simplify_And.inc

((a.node_type() == IRNodeType::And) && (
((b.node_type() == IRNodeType::LT) && (
 rewrite(((x && (y < z)) && (y < (w + u))), (x && (y < min(z, (w + u))))) ||
 rewrite(((x && (y < (z + w))) && (y < u)), (x && (y < min((z + w), u)))) ||
 rewrite((((x < y) && z) && (x < (w + u))), (z && (x < min(y, (w + u))))) ||
 rewrite((((x < (y + z)) && w) && (x < u)), ((x < min(u, (y + z))) && w))))))

Browse the archive

https://github.com/halide/Halide