Halide
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  */
27 Stmt bounds_inference(Stmt,
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
Halide::Internal::ArgInfoKind::Function
@ Function
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.
Expr.h
Halide::Internal::realization_order
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.
Interval.h
Halide::Internal::bounds_inference
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...