Halide  12.0.1
Halide compiler and libraries
AddParameterChecks.h
Go to the documentation of this file.
1 #ifndef HALIDE_INTERNAL_ADD_PARAMETER_CHECKS_H
2 #define HALIDE_INTERNAL_ADD_PARAMETER_CHECKS_H
3 
4 /** \file
5  *
6  * Defines the lowering pass that adds the assertions that validate
7  * scalar parameters.
8  */
9 #include <vector>
10 
11 #include "Expr.h"
12 #include "Target.h"
13 
14 namespace Halide {
15 namespace Internal {
16 
17 /** Insert checks to make sure that all referenced parameters meet
18  * their constraints. Also injects any custom requirements provided
19  * by the user. */
20 Stmt add_parameter_checks(const std::vector<Stmt> &requirements, Stmt s, const Target &t);
21 
22 } // namespace Internal
23 } // namespace Halide
24 
25 #endif
Base classes for Halide expressions (Halide::Expr) and statements (Halide::Internal::Stmt)
Defines the structure that describes a Halide target.
Stmt add_parameter_checks(const std::vector< Stmt > &requirements, Stmt s, const Target &t)
Insert checks to make sure that all referenced parameters meet their constraints.
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:413
A struct representing a target machine and os to generate code for.
Definition: Target.h:19