tvm
Loading...
Searching...
No Matches
sblock_dependence_info.h
Go to the documentation of this file.
1/*
2 * Licensed to the Apache Software Foundation (ASF) under one
3 * or more contributor license agreements. See the NOTICE file
4 * distributed with this work for additional information
5 * regarding copyright ownership. The ASF licenses this file
6 * to you under the Apache License, Version 2.0 (the
7 * "License"); you may not use this file except in compliance
8 * with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing,
13 * software distributed under the License is distributed on an
14 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15 * KIND, either express or implied. See the License for the
16 * specific language governing permissions and limitations
17 * under the License.
18 */
31#ifndef TVM_S_TIR_SBLOCK_DEPENDENCE_INFO_H_
32#define TVM_S_TIR_SBLOCK_DEPENDENCE_INFO_H_
33
34#include <tvm/ffi/reflection/registry.h>
36
37#include <unordered_map>
38
39namespace tvm {
40namespace tirx {
41
54class SBlockDependenceInfoNode : public ffi::Object {
55 public:
60 std::unordered_map<StmtSRef, SBlockScope, ffi::ObjectPtrHash, ffi::ObjectPtrEqual> sref2scope;
62 std::unordered_map<const StmtNode*, StmtSRef> stmt2ref;
63
64 static void RegisterReflection() {
65 namespace refl = tvm::ffi::reflection;
66 refl::ObjectDef<SBlockDependenceInfoNode>();
67 }
69 ffi::Object);
70
77 auto it = sref2scope.find(scope_root);
79 << "Cannot find the corresponding SBlockScope to the block sref:\n"
80 << ffi::GetRef<Stmt>(scope_root->stmt);
81 return it->second;
82 }
83};
84
102
103} // namespace tirx
104} // namespace tvm
105#endif // TVM_S_TIR_SBLOCK_DEPENDENCE_INFO_H_
Managed reference class to IRModuleNode.
Definition module.h:255
RAII wrapper function to enter and exit a context object similar to python's with syntax.
Definition with_context.h:59
An object that helps build and query block level dependences using the 2 core objects SBlockScope and...
Definition sblock_dependence_info.h:54
std::unordered_map< const StmtNode *, StmtSRef > stmt2ref
The reverse mapping from block/for-loop to their corresponding srefs.
Definition sblock_dependence_info.h:62
TVM_FFI_DECLARE_OBJECT_INFO_FINAL("s_tir.SBlockDependenceInfo", SBlockDependenceInfoNode, ffi::Object)
std::unordered_map< StmtSRef, SBlockScope, ffi::ObjectPtrHash, ffi::ObjectPtrEqual > sref2scope
Mapping from a block sref to its corresponding SBlockScope, tracking the dependency inside the block ...
Definition sblock_dependence_info.h:60
static void RegisterReflection()
Definition sblock_dependence_info.h:64
SBlockScope GetSBlockScope(const StmtSRef &scope_root) const
Get the SBlockScope corresponding to the sref of scope root block.
Definition sblock_dependence_info.h:76
Managed reference to SBlockDependenceInfoNode.
Definition sblock_dependence_info.h:89
SBlockDependenceInfo(IRModule mod)
Construct a SBlockDependenceInfo from IRModule.
TVM_FFI_DEFINE_OBJECT_REF_METHODS_NOTNULLABLE(SBlockDependenceInfo, ffi::ObjectRef, SBlockDependenceInfoNode)
Managed reference to SBlockScopeNode.
Definition sblock_scope.h:296
Managed reference to StmtSRefNode.
Definition sblock_scope.h:107
An object that builds and maintains block scope and StmtSref mapping for Dependence analysis.
Definition analyzer.h:40
Definition of two pillar data structure for TensorIR scheduling: StmtSRef, SBlockScope.