Revision b65ea624e86be87e4c883224a8710f95d4995193 authored by Steven Johnson on 15 February 2023, 18:25:04 UTC, committed by GitHub on 15 February 2023, 18:25:04 UTC
1 parent 18eb7d8
UnifyDuplicateLets.cpp
#include "UnifyDuplicateLets.h"
#include "IREquality.h"
#include "IRMutator.h"
#include <map>
namespace Halide {
namespace Internal {
using std::map;
using std::string;
namespace {
class UnifyDuplicateLets : public IRMutator {
using IRMutator::visit;
map<Expr, string, IRDeepCompare> scope;
map<string, string> rewrites;
string producing;
public:
using IRMutator::mutate;
Expr mutate(const Expr &e) override {
if (e.defined()) {
map<Expr, string, IRDeepCompare>::iterator iter = scope.find(e);
if (iter != scope.end()) {
return Variable::make(e.type(), iter->second);
} else {
return IRMutator::mutate(e);
}
} else {
return Expr();
}
}
protected:
Expr visit(const Variable *op) override {
map<string, string>::iterator iter = rewrites.find(op->name);
if (iter != rewrites.end()) {
return Variable::make(op->type, iter->second);
} else {
return op;
}
}
// Can't unify lets where the RHS might be not be pure
bool is_impure;
Expr visit(const Call *op) override {
is_impure |= !op->is_pure();
return IRMutator::visit(op);
}
Expr visit(const Load *op) override {
is_impure = true;
return IRMutator::visit(op);
}
Stmt visit(const ProducerConsumer *op) override {
if (op->is_producer) {
string old_producing = producing;
producing = op->name;
Stmt stmt = IRMutator::visit(op);
producing = old_producing;
return stmt;
} else {
return IRMutator::visit(op);
}
}
template<typename LetStmtOrLet>
auto visit_let(const LetStmtOrLet *op) -> decltype(op->body) {
is_impure = false;
Expr value = mutate(op->value);
auto body = op->body;
bool should_pop = false;
bool should_erase = false;
if (!is_impure) {
map<Expr, string, IRDeepCompare>::iterator iter = scope.find(value);
if (iter == scope.end()) {
scope[value] = op->name;
should_pop = true;
} else {
value = Variable::make(value.type(), iter->second);
rewrites[op->name] = iter->second;
should_erase = true;
}
}
body = mutate(op->body);
if (should_pop) {
scope.erase(value);
}
if (should_erase) {
rewrites.erase(op->name);
}
if (value.same_as(op->value) && body.same_as(op->body)) {
return op;
} else {
return LetStmtOrLet::make(op->name, value, body);
}
}
Expr visit(const Let *op) override {
return visit_let(op);
}
Stmt visit(const LetStmt *op) override {
return visit_let(op);
}
};
} // namespace
Stmt unify_duplicate_lets(const Stmt &s) {
return UnifyDuplicateLets().mutate(s);
}
} // namespace Internal
} // namespace Halide
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...