https://github.com/halide/Halide
Raw File
Tip revision: 33c0eb0cc579ce429c3a985f88eadc68c1e99fe3 authored by Julie Newcomb on 24 September 2020, 00:29:06 UTC
check in coq proofs from verification
Tip revision: 33c0eb0
InjectOpenGLIntrinsics.h
#ifndef HALIDE_INJECT_OPENGL_INTRINSICS_H
#define HALIDE_INJECT_OPENGL_INTRINSICS_H

/** \file
 * Defines the lowering pass that injects texture loads and texture
 * stores for opengl.
 */

#include "Expr.h"

namespace Halide {
namespace Internal {

/** Take a statement with for kernel for loops and turn loads and
 * stores inside the loops into OpenGL texture load and store
 * intrinsics. Should only be run when the OpenGL target is active. */
Stmt inject_opengl_intrinsics(const Stmt &s);

}  // namespace Internal
}  // namespace Halide

#endif
back to top