Halide  20.0.0
Halide compiler and libraries
AddSplitFactorChecks.h
Go to the documentation of this file.
1 #ifndef HALIDE_INTERNAL_ADD_SPLIT_FACTOR_CHECKS_H
2 #define HALIDE_INTERNAL_ADD_SPLIT_FACTOR_CHECKS_H
3 
4 /** \file
5  *
6  * Defines the lowering pass that adds the assertions that all split factors are
7  * strictly positive.
8  */
9 #include <map>
10 
11 #include "Expr.h"
12 
13 namespace Halide {
14 namespace Internal {
15 
16 class Function;
17 
18 /** Insert checks that all split factors that depend on scalar parameters are
19  * strictly positive. */
20 Stmt add_split_factor_checks(const Stmt &s, const std::map<std::string, Function> &env);
21 
22 } // namespace Internal
23 } // namespace Halide
24 
25 #endif
Base classes for Halide expressions (Halide::Expr) and statements (Halide::Internal::Stmt)
Stmt add_split_factor_checks(const Stmt &s, const std::map< std::string, Function > &env)
Insert checks that all split factors that depend on scalar parameters are strictly positive.
This file defines the class FunctionDAG, which is our representation of a Halide pipeline,...
@ Internal
Not visible externally, similar to 'static' linkage in C.
A reference-counted handle to a statement node.
Definition: Expr.h:427