Halide
|
Go to the source code of this file.
Namespaces | |
Halide | |
This file defines the class FunctionDAG, which is our representation of a Halide pipeline, and contains methods to using Halide's bounds tools to query properties of it. | |
Halide::Internal | |
Functions | |
Stmt | Halide::Internal::simplify (const Stmt &, bool remove_dead_code=true, const Scope< Interval > &bounds=Scope< Interval >::empty_scope(), const Scope< ModulusRemainder > &alignment=Scope< ModulusRemainder >::empty_scope()) |
Perform a a wide range of simplifications to expressions and statements, including constant folding, substituting in trivial values, arithmetic rearranging, etc. More... | |
Expr | Halide::Internal::simplify (const Expr &, bool remove_dead_code=true, const Scope< Interval > &bounds=Scope< Interval >::empty_scope(), const Scope< ModulusRemainder > &alignment=Scope< ModulusRemainder >::empty_scope()) |
bool | Halide::Internal::can_prove (Expr e, const Scope< Interval > &bounds=Scope< Interval >::empty_scope()) |
Attempt to statically prove an expression is true using the simplifier. More... | |
Stmt | Halide::Internal::simplify_exprs (const Stmt &) |
Simplify expressions found in a statement, but don't simplify across different statements. More... | |
Methods for simplifying halide statements and expressions
Definition in file Simplify.h.