Halide  12.0.1
Halide compiler and libraries
BoundsInference.h
Go to the documentation of this file.
1 #ifndef HALIDE_BOUNDS_INFERENCE_H
2 #define HALIDE_BOUNDS_INFERENCE_H
3 
4 /** \file
5  * Defines the bounds_inference lowering pass.
6  */
7 
8 #include <map>
9 #include <string>
10 #include <vector>
11 
12 #include "Expr.h"
13 #include "Interval.h"
14 
15 namespace Halide {
16 
17 struct Target;
18 
19 namespace Internal {
20 
21 class Function;
22 
23 /** Take a partially lowered statement that includes symbolic
24  * representations of the bounds over which things should be realized,
25  * and inject expressions defining those bounds.
26  */
28  const std::vector<Function> &outputs,
29  const std::vector<std::string> &realization_order,
30  const std::vector<std::vector<std::string>> &fused_groups,
31  const std::map<std::string, Function> &environment,
32  const std::map<std::pair<std::string, int>, Interval> &func_bounds,
33  const Target &target);
34 
35 } // namespace Internal
36 } // namespace Halide
37 
38 #endif
Base classes for Halide expressions (Halide::Expr) and statements (Halide::Internal::Stmt)
Defines the Interval class.
std::pair< std::vector< std::string >, std::vector< std::vector< std::string > > > realization_order(const std::vector< Function > &outputs, std::map< std::string, Function > &env)
Given a bunch of functions that call each other, determine an order in which to do the scheduling.
Stmt bounds_inference(Stmt, const std::vector< Function > &outputs, const std::vector< std::string > &realization_order, const std::vector< std::vector< std::string >> &fused_groups, const std::map< std::string, Function > &environment, const std::map< std::pair< std::string, int >, Interval > &func_bounds, const Target &target)
Take a partially lowered statement that includes symbolic representations of the bounds over which th...
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 class to represent ranges of Exprs.
Definition: Interval.h:14
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