From 0eef3769e9d1877c1ed71984224ec48b763ed1d0 Mon Sep 17 00:00:00 2001 From: Marisa Kirisame Date: Mon, 25 Feb 2019 13:49:53 -0800 Subject: [PATCH] fix --- src/relay/ir/alpha_equal.cc | 90 ++++++++++++++++++------------------- 1 file changed, 45 insertions(+), 45 deletions(-) diff --git a/src/relay/ir/alpha_equal.cc b/src/relay/ir/alpha_equal.cc index 96517f8dd445..aa9336b29153 100644 --- a/src/relay/ir/alpha_equal.cc +++ b/src/relay/ir/alpha_equal.cc @@ -217,20 +217,20 @@ class AlphaEqualHandler: return false; } - bool VisitType_(const GlobalTypeVarNode* op, const Type& t2) final { - return GetRef(op) == t2; + bool VisitType_(const GlobalTypeVarNode* lhs, const Type& other) final { + return GetRef(lhs) == other; } - bool VisitType_(const TypeCallNode* op, const Type& t2) final { - const TypeCallNode* pt = t2.as(); - if (pt == nullptr - || op->args.size() != pt->args.size() - || !TypeEqual(op->func, pt->func)) { + bool VisitType_(const TypeCallNode* lhs, const Type& other) final { + const TypeCallNode* rhs = other.as(); + if (rhs == nullptr + || lhs->args.size() != rhs->args.size() + || !TypeEqual(lhs->func, rhs->func)) { return false; } - for (size_t i = 0; i < op->args.size(); ++i) { - if (!TypeEqual(op->args[i], pt->args[i])) { + for (size_t i = 0; i < lhs->args.size(); ++i) { + if (!TypeEqual(lhs->args[i], rhs->args[i])) { return false; } } @@ -369,8 +369,8 @@ class AlphaEqualHandler: } } - bool VisitExpr_(const OpNode* op, const Expr& other) final { - return op == other.get(); + bool VisitExpr_(const OpNode* lhs, const Expr& other) final { + return lhs == other.get(); } bool VisitExpr_(const ConstantNode* lhs, const Expr& other) final { @@ -389,80 +389,80 @@ class AlphaEqualHandler: } } - bool VisitExpr_(const RefCreateNode* op, const Expr& e2) final { - if (const RefCreateNode* nr = e2.as()) { - return ExprEqual(op->value, nr->value); + bool VisitExpr_(const RefCreateNode* lhs, const Expr& other) final { + if (const RefCreateNode* rhs = other.as()) { + return ExprEqual(lhs->value, rhs->value); } else { return false; } } - bool VisitExpr_(const RefReadNode* op, const Expr& e2) final { - if (const RefReadNode* r = e2.as()) { - return ExprEqual(op->ref, r->ref); + bool VisitExpr_(const RefReadNode* lhs, const Expr& other) final { + if (const RefReadNode* rhs = other.as()) { + return ExprEqual(lhs->ref, rhs->ref); } else { return false; } } - bool VisitExpr_(const RefWriteNode* op, const Expr& e2) final { - if (const RefWriteNode* r = e2.as()) { - return ExprEqual(op->ref, r->ref) && ExprEqual(op->value, r->value); + bool VisitExpr_(const RefWriteNode* lhs, const Expr& other) final { + if (const RefWriteNode* rhs = other.as()) { + return ExprEqual(lhs->ref, rhs->ref) && ExprEqual(lhs->value, rhs->value); } else { return false; } } - bool VisitExpr_(const ConstructorNode* op, const Expr& e2) final { - return GetRef(op) == e2; + bool VisitExpr_(const ConstructorNode* lhs, const Expr& other) final { + return GetRef(lhs) == other; } - bool ClauseEqual(const Clause& l, const Clause& r) { - return PatternEqual(l->lhs, r->lhs) && ExprEqual(l->rhs, r->rhs); + bool ClauseEqual(const Clause& lhs, const Clause& rhs) { + return PatternEqual(lhs->lhs, rhs->lhs) && ExprEqual(lhs->rhs, rhs->rhs); } - bool PatternEqual(const Pattern& l, const Pattern& r) { - return VisitPattern(l, r); + bool PatternEqual(const Pattern& lhs, const Pattern& rhs) { + return VisitPattern(lhs, rhs); } - bool VisitPattern_(const PatternWildcardNode* op, const Pattern& r) final { - return r.as(); + bool VisitPattern_(const PatternWildcardNode* lhs, const Pattern& other) final { + return other.as(); } - bool VisitPattern_(const PatternVarNode* op, const Pattern& e2) final { - if (const auto* r = e2.as()) { - return MergeVarDecl(op->var, r->var); + bool VisitPattern_(const PatternVarNode* lhs, const Pattern& other) final { + if (const auto* rhs = other.as()) { + return MergeVarDecl(lhs->var, rhs->var); } return false; } - bool VisitPattern_(const PatternConstructorNode* op, const Pattern& e2) final { - const auto* r = e2.as(); - if (r == nullptr - || !ExprEqual(op->constructor, r->constructor) - || op->patterns.size() != r->patterns.size()) { + bool VisitPattern_(const PatternConstructorNode* lhs, const Pattern& other) final { + const auto* rhs = other.as(); + if (rhs == nullptr + || !ExprEqual(lhs->constructor, rhs->constructor) + || lhs->patterns.size() != rhs->patterns.size()) { return false; } - for (size_t i = 0; i < op->patterns.size(); i++) { - if (!PatternEqual(op->patterns[i], r->patterns[i])) { + for (size_t i = 0; i < lhs->patterns.size(); i++) { + if (!PatternEqual(lhs->patterns[i], rhs->patterns[i])) { return false; } } return true; } - bool VisitExpr_(const MatchNode* op, const Expr& e2) final { - const MatchNode* r = e2.as(); + bool VisitExpr_(const MatchNode* lhs, const Expr& other) final { + const MatchNode* rhs = other.as(); - if (r == nullptr - || !ExprEqual(op->data, r->data) - || op->clauses.size() != r->clauses.size()) { + if (rhs == nullptr + || !ExprEqual(lhs->data, rhs->data) + || lhs->clauses.size() != rhs->clauses.size()) { return false; } - for (size_t i = 0; i < op->clauses.size(); ++i) { - if (!ClauseEqual(op->clauses[i], r->clauses[i])) { + for (size_t i = 0; i < lhs->clauses.size(); ++i) { + if (!ClauseEqual(lhs->clauses[i], rhs->clauses[i])) { return false; } }