1 #ifndef HALIDE_INTERNAL_ADD_IMAGE_CHECKS_H 2 #define HALIDE_INTERNAL_ADD_IMAGE_CHECKS_H 29 const std::vector<Function> &outputs,
31 const std::vector<std::string> &order,
32 const std::map<std::string, Function> &env,
34 bool will_inject_host_copies);
Stmt add_image_checks(const Stmt &s, const std::vector< Function > &outputs, const Target &t, const std::vector< std::string > &order, const std::map< std::string, Function > &env, const FuncValueBounds &fb, bool will_inject_host_copies)
Insert checks to make sure a statement doesn't read out of bounds on inputs or outputs, and that the inputs and outputs conform to the format required (e.g.
This file defines the class FunctionDAG, which is our representation of a Halide pipeline, and contains methods to using Halide's bounds tools to query properties of it.
Base classes for Halide expressions (Halide::Expr) and statements (Halide::Internal::Stmt) ...
Methods for computing the upper and lower bounds of an expression, and the regions of a function read...
Not visible externally, similar to 'static' linkage in C.
std::map< std::pair< std::string, int >, Interval > FuncValueBounds