[IR&PASS] part 3-1: Add PatternMatch base class.

paddle/ir/CMakeLists.txt

@@ -4,3 +4,4 @@ endif()
 
 add_subdirectory(core)
 add_subdirectory(pass)
+add_subdirectory(pattern_rewrite)

paddle/ir/pattern_rewrite/CMakeLists.txt

@@ -0,0 +1,6 @@
+file(GLOB PATTERN_SRCS "*.cc")
+
+cc_library(
+  pattern_rewrite
+  SRCS ${PATTERN_SRCS}
+  DEPS new_ir)

paddle/ir/pattern_rewrite/pattern_match.cc

@@ -0,0 +1,144 @@
+// Copyright (c) 2023 PaddlePaddle Authors. All Rights Reserved.
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+#include "paddle/ir/pattern_rewrite/pattern_match.h"
+#include <cassert>
+#include <cstdint>
+#include "paddle/ir/core/operation.h"
+
+namespace ir {
+
+//===----------------------------------------------------------------------===//
+// Pattern
+//===----------------------------------------------------------------------===//
+
+// Pattern::Pattern(const void* root_val,
+//                  RootKind root_kind,
+//                  const std::vector<std::string>& generated_names,
+//                  PatternBenefit benefit,
+//                  ir::IrContext* context)
+//     : benefit_(benefit), context_(context), generated_names_(generated_names)
+//     {}
+
+Pattern::Pattern(const std::string& root_name,
+                 PatternBenefit benefit,
+                 IrContext* context,
+                 const std::vector<std::string>& generated_names)
+    : op_name_(root_name),
+      root_kind_(RootKind::OperationName),
+      benefit_(benefit),
+      context_(context),
+      generated_names_(generated_names) {}
+
+Pattern::Pattern(MatchAnyOpTypeTag tag,
+                 PatternBenefit benefit,
+                 ir::IrContext* context,
+                 const std::vector<std::string>& generated_names)
+    : root_kind_(RootKind::Any),
+      benefit_(benefit),
+      context_(context),
+      generated_names_(generated_names) {}
+
+Pattern::Pattern(MatchInterfaceOpTypeTag tag,
+                 ir::TypeId interface_id,
+                 PatternBenefit benefit,
+                 ir::IrContext* context,
+                 const std::vector<std::string>& generated_names)
+    : interface_id_(interface_id),
+      root_kind_(RootKind::InterfaceId),
+      benefit_(benefit),
+      context_(context),
+      generated_names_(generated_names) {}
+
+Pattern::Pattern(MatchTraitOpTypeTag tag,
+                 ir::TypeId trait_id,
+                 PatternBenefit benefit,
+                 ir::IrContext* context,
+                 const std::vector<std::string>& generated_names)
+    : trait_id_(trait_id),
+      root_kind_(RootKind::TraitId),
+      benefit_(benefit),
+      context_(context),
+      generated_names_(generated_names) {}
+
+RewritePattern::~RewritePattern() = default;
+
+//===----------------------------------------------------------------------===//
+// RewriterBase
+//===----------------------------------------------------------------------===//
+
+RewriterBase::~RewriterBase() = default;
+
+// TODO(wilber): value support replace method.
+// void RewriterBase::ReplaceOpWithIf(Operation* op,
+//                                    ValueRange new_values,
+//                                    bool* all_uses_replaced,
+//                                    std::function<bool(OpOperand&)> functor) {
+//   // assert(op->num_results() == new_values.size() && "incorrect number of
+//   values to replace operation"); NotifyRootReplaced(op, new_values); bool
+//   replace_all_uses = true; for (uint32_t i = 0; i < op->num_results(); ++i) {
+//     // op->GetResultByIndex(0)
+//   }
+// }
+// void RewriterBase::ReplaceOpWithIf(Operation* op,
+//                        ValueRange new_values,
+//                        std::function<bool(OpOperand&)> functor) {
+//   ReplaceOpWithIf(op, new_values, nullptr, functor);
+// }
+
+// TODO(wilber): support erase.
+// void ReplaceOp(Operation* op, ValueRange new_values) {
+//   NotifyRootReplaced(op, new_values);
+//   assert(op->num_results() == new_values.size() && "incorrect # of
+//   replacement values"); op->ReplaceAllUsesWith(new_values);
+//   NotifyOperationRemoved(op);
+//   op->erase();
+// }
+void RewriterBase::EraseOp(Operation* op) {
+  //   assert(op->use_empty() && "expected 'op' to have no uses");
+  //   NotifyOperationRemoved(op);
+  //   op->erase();
+}
+
+void RewriterBase::ReplaceAllUsesWith(Value from, Value to) {
+  // from.
+  // for (mlir::OpOperand& operand : llvm::make_early_inc_range(from.getUses()))
+  // {
+  //   mlir::Operation* op = operand.getOwner();
+  //   UpdateRootInPlace(op, [&]() { operand.set(to); });
+  // }
+}
+
+// TODO(wilber): iterator maybe should support modify inplace.
+void RewriterBase::ReplaceUseIf(Value from,
+                                Value to,
+                                std::function<bool(OpOperand&)> functor) {
+  // for (auto it = from.begin(); it != from.end(); ++it) {
+  //   // TODO: need a lvalue.
+  //   if (functor(it.get())) {
+  //     UpdateRootInplace(it.owner(), [&](){it.get().set(to)});
+  //   }
+  // }
+}
+
+void RewriterBase::ReplaceOpWithResultsOfAnotherOp(Operation* op,
+                                                   Operation* new_op) {
+  assert(op->num_results() == new_op->num_results() &&
+         "replacement op doesn't match results of original op");
+  // TODO(wilber): Op support results method.
+  // if (op->num_results() == 1) return ReplaceOp(op,
+  // new_op->GetResultByIndex(0)); return ReplaceOp(op, new_op->GetResults());
+}
+
+}  // namespace ir