Add prove::{lessThan,lessEqual,greaterThan,greaterEqual}

csarofeen / pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

http://pytorch.org

Other

26 stars 7 forks source link

Add prove::{lessThan,lessEqual,greaterThan,greaterEqual} #2541

Closed zasdfgbnm closed 1 year ago

zasdfgbnm commented 1 year ago

Simplify away some trivial predicates. See test_loop_rotation.cpp for examples of what is removed. In the future, as the expr simplifier continues to improve, we should be able to remove functions like canOmitStopPredicate, or even remove the predicate elimination pass completely.

~This PR is stacked on https://github.com/csarofeen/pytorch/pull/2533, please read that first.~

zasdfgbnm commented 1 year ago

superseded by https://github.com/NVIDIA/Fuser/pull/33