Halide 22.0.0 Halide compiler and libraries

Loading...
Searching...
No Matches
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
Expr.h
Base classes for Halide expressions (Halide::Expr) and statements (Halide::Internal::Stmt)
Halide::Internal::ArgInfoKind::Function
@ Function
Halide::Internal::add_split_factor_checks
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.
Halide
This file defines the class FunctionDAG, which is our representation of a Halide pipeline,...
Definition AbstractGenerator.h:19
Halide::LinkageType::Internal
@ Internal
Not visible externally, similar to 'static' linkage in C.
Halide::cast
Internal::ConstantInterval cast(Type t, const Internal::ConstantInterval &a)
Cast operators for ConstantIntervals.
Halide::Internal::Stmt
A reference-counted handle to a statement node.
Definition Expr.h:427