wehub-resource-sync
79 lines
2.6 KiB
C++
79 lines
2.6 KiB
C++
/*
|
|
* 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.
|
|
*/
|
|
|
|
/*!
|
|
* \file tir_pattern.h
|
|
* \brief Data Structure of TIR Pattern used for matching.
|
|
*/
|
|
|
|
#ifndef TVM_RELAX_TIR_PATTERN_H_
|
|
#define TVM_RELAX_TIR_PATTERN_H_
|
|
|
|
#include <tvm/ffi/reflection/registry.h>
|
|
#include <tvm/tirx/function.h>
|
|
|
|
namespace tvm {
|
|
namespace relax {
|
|
|
|
using TIRPattern = tirx::PrimFunc;
|
|
|
|
/*
|
|
* \brief The match result of a TIR pattern.
|
|
*/
|
|
class MatchResultNode : public ffi::Object {
|
|
public:
|
|
/*! The matched tirx pattern*/
|
|
TIRPattern pattern;
|
|
/*! \brief The evaluated values of symbolic vars. */
|
|
ffi::Array<PrimExpr> symbol_values;
|
|
/*! \brief The matched buffers of input and output. */
|
|
ffi::Array<tirx::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, ffi::Object);
|
|
};
|
|
|
|
/*!
|
|
* \brief Managed reference to MatchResultNode.
|
|
*/
|
|
class MatchResult : public ffi::ObjectRef {
|
|
public:
|
|
/*!
|
|
* \brief Constructor
|
|
* \param pattern The matched tirx pattern.
|
|
* \param symbol_values The evaluated values of symbolic vars.
|
|
* \param matched_buffers The matched buffers of input and output.
|
|
*/
|
|
TVM_DLL explicit MatchResult(TIRPattern pattern, ffi::Array<PrimExpr> symbol_values,
|
|
ffi::Array<tirx::Buffer> matched_buffers);
|
|
|
|
TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(MatchResult, ffi::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_
|