swh:1:snp:2c68c8bd649bf1bd2cf3bf7bd4f98d247b82b5dc
Raw File
Tip revision: 337140001a31240994a05b8008b6c0dc92485b3c authored by Steven Johnson on 23 August 2022, 23:21:24 UTC
Merge remote-tracking branch 'origin/rootjalex/fix-sat-overflow2' into srj/sat-fixes-exp-2
Tip revision: 3371400
UniquifyVariableNames.h
#ifndef HALIDE_UNIQUIFY_VARIABLE_NAMES
#define HALIDE_UNIQUIFY_VARIABLE_NAMES

/** \file
 * Defines the lowering pass that renames all variables to have unique names.
 */

#include "Expr.h"

namespace Halide {
namespace Internal {

/** Modify a statement so that every internally-defined variable name
 * is unique. This lets later passes assume syntactic equivalence is
 * semantic equivalence. */
Stmt uniquify_variable_names(const Stmt &s);

void uniquify_variable_names_test();

}  // namespace Internal
}  // namespace Halide

#endif
back to top