Loading...
Searching...
No Matches
AddAtomicMutex.h
Go to the documentation of this file.
#ifndef HALIDE_ADD_ATOMIC_MUTEX_H
#define HALIDE_ADD_ATOMIC_MUTEX_H
#include "Expr.h"
#include <map>
/** \file
* Defines the lowering pass that insert mutex allocation code & locks
* for the atomic nodes that require mutex locks. It also checks whether
* the atomic operation is valid. It rejects algorithms that have indexing
* on left-hand-side which references the buffer itself, e.g.
* f(clamp(f(r), 0, 100)) = f(r) + 1
* If the SplitTuple pass does not lift out the Provide value as a let
* expression. This is confirmed by checking whether the Provide nodes
* inside an Atomic node have let binding values accessing the buffers
* inside the atomic node.
* Finally, it lifts the store indexing expressions inside the atomic node
* outside of the atomic to avoid side-effects inside those expressions
* being evaluated twice. */
namespace Halide {
namespace Internal {
class Function;
Stmt add_atomic_mutex(Stmt s, const std::vector<Function> &outputs);
} // namespace Internal
} // namespace Halide
#endif
Expr.h
Base classes for Halide expressions (Halide::Expr) and statements (Halide::Internal::Stmt).
Halide::Internal::Function
A reference-counted handle to Halide's internal representation of a function.
Definition Function.h:39
Halide::Internal
Definition AbstractGenerator.h:24
Halide::Internal::add_atomic_mutex
Stmt add_atomic_mutex(Stmt s, const std::vector< Function > &outputs)
Halide
This file defines the class FunctionDAG, which is our representation of a Halide pipeline,...
Definition AbstractGenerator.h:19
Halide::Internal::Stmt
A reference-counted handle to a statement node.
Definition Expr.h:427