Halide
Simplify.h File Reference
#include "Expr.h"
#include "Interval.h"
#include "ModulusRemainder.h"
#include "Scope.h"

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_let_stmts=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_let_stmts=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...
 

Detailed Description

Methods for simplifying halide statements and expressions

Definition in file Simplify.h.