tir_pattern.h

Go to the documentation of this file.

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you 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.
 */
 
#ifndef TVM_RELAX_TIR_PATTERN_H_
#define TVM_RELAX_TIR_PATTERN_H_
 
#include <tvm/ffi/reflection/registry.h>
#include <tvm/tir/function.h>
 
namespace tvm {
namespace relax {
 
using TIRPattern = tir::PrimFunc;
 
/*
 * \brief The match result of a TIR pattern.
 */
class MatchResultNode : public Object {
 public:
  TIRPattern pattern;
  ffi::Array<PrimExpr> symbol_values;
  ffi::Array<tir::Buffer> matched_buffers;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<MatchResultNode>()
        .def_ro("pattern", &MatchResultNode::pattern)
        .def_ro("symbol_values", &MatchResultNode::symbol_values)
        .def_ro("matched_buffers", &MatchResultNode::matched_buffers);
  }
  TVM_FFI_DECLARE_OBJECT_INFO_FINAL("relax.MatchResult", MatchResultNode, Object);
};
 
class MatchResult : public ObjectRef {
 public:
  TVM_DLL explicit MatchResult(TIRPattern pattern, ffi::Array<PrimExpr> symbol_values,
                               ffi::Array<tir::Buffer> matched_buffers);
 
  TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(MatchResult, ObjectRef, MatchResultNode);
};
 
using FCodegen = ffi::TypedFunction<ffi::Array<ffi::Any>(ffi::Array<MatchResult> match_results)>;
}  // namespace relax
}  // namespace tvm
#endif  // TVM_RELAX_TIR_PATTERN_H_