1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#pragma once
#include <unordered_map>
#include <utility>
#include <vector>
#include <torch/csrc/jit/tensorexpr/analysis.h>
#include <torch/csrc/jit/tensorexpr/ir.h>
#include <torch/csrc/jit/tensorexpr/ir_mutator.h>
#include <torch/csrc/jit/tensorexpr/ir_visitor.h>
#include <torch/csrc/jit/tensorexpr/reduction.h>
namespace torch::jit::tensorexpr {
using VarMapping = std::vector<std::pair<VarPtr, ExprPtr>>;
class VarSubMutator : public IRMutator {
public:
VarSubMutator(const VarMapping& var_mapping) {
for (auto& entry : var_mapping) {
VarPtr key_var = entry.first;
ExprPtr value = entry.second;
if (!key_var) {
throw malformed_input("missing key in VarSubMutator");
}
var_mapping_[std::move(key_var)] = std::move(value);
}
}
ExprPtr mutate(const VarPtr& var) override {
auto iter = var_mapping_.find(var);
if (iter == var_mapping_.end()) {
return var;
}
return iter->second;
}
ExprPtr mutate(const ReduceOpPtr& var) override {
auto body = var->body()->accept_mutator(this);
std::vector<VarPtr> new_inner;
for (const auto& v : var->reduce_args()) {
ExprPtr e = v->accept_mutator(this);
if (VarPtr new_var = to<Var>(e)) {
new_inner.push_back(std::move(new_var));
} else {
VarFinder varFinder;
e->accept(&varFinder);
auto varlist = varFinder.vars();
new_inner.insert(new_inner.end(), varlist.begin(), varlist.end());
}
}
return alloc<ReduceOp>(body, new_inner, var->reducer());
}
private:
std::unordered_map<VarPtr, ExprPtr> var_mapping_;
};
} // namespace torch::jit::tensorexpr
|
