utils.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_S_TIR_UTILS_H_
#define TVM_S_TIR_UTILS_H_
 
#include <tvm/s_tir/sblock_scope.h>
#include <tvm/s_tir/stmt.h>
#include <tvm/tirx/stmt.h>
 
#include <unordered_map>
 
namespace tvm {
namespace tirx {
 
#define TVM_SREF_AS_OR_ERR(Result, SRef, Type) \
  SRef->StmtAs<Type>();                        \
  TVM_FFI_CHECK(Result, TypeError)
 
#define TVM_SREF_TO_SBLOCK(SRef)                                                        \
  [&]() {                                                                               \
    auto result = TVM_SREF_AS_OR_ERR(result, (SRef), ::tvm::s_tir::SBlockNode)          \
                  << "Expects StmtSRef `" << #SRef << "` points to `Block`, but gets: " \
                  << ((SRef)->stmt ? (SRef)->stmt->GetTypeKey() : "None");              \
    return result;                                                                      \
  }()
 
#define TVM_SREF_TO_FOR(SRef)                                                          \
  [&]() {                                                                              \
    auto result = TVM_SREF_AS_OR_ERR(result, (SRef), ::tvm::ForNode)                   \
                  << "Expects StmtSRef `" << #SRef << "` points to `Loop`, but gets: " \
                  << ((SRef)->stmt ? (SRef)->stmt->GetTypeKey() : "None");             \
    return result;                                                                     \
  }()
 
#define TVM_TYPE_AS_OR_ERR(Result, From, Type) \
  From.as<Type>();                             \
  TVM_FFI_CHECK(Result, TypeError)
 
#define TVM_TYPE_AS(From, Type)                                                    \
  [&]() {                                                                          \
    auto result = TVM_TYPE_AS_OR_ERR(result, (From), Type)                         \
                  << "Expects `" << #From << "` to have type `" << Type::_type_key \
                  << "`, but gets: " << ((From).GetTypeKey());                     \
    return result;                                                                 \
  }()
 
inline void SetSeqIndex(std::unordered_map<const StmtNode*, StmtSRef>& stmt2ref,  // NOLINT(*)
                        const Stmt& stmt, int seq_index, bool include_loops = true) {
  if (const auto* realize = stmt.as<s_tir::SBlockRealizeNode>()) {
    const s_tir::SBlockNode* block = realize->block.get();
    TVM_FFI_ICHECK(stmt2ref.count(block));
    stmt2ref.at(block)->seq_index = seq_index;
  } else if (const auto* block = stmt.as<s_tir::SBlockNode>()) {
    TVM_FFI_ICHECK(stmt2ref.count(block));
    stmt2ref.at(block)->seq_index = seq_index;
  } else if (const auto* loop = stmt.as<ForNode>()) {
    if (!include_loops) return;
    TVM_FFI_ICHECK(stmt2ref.count(loop));
    stmt2ref.at(loop)->seq_index = seq_index;
  }
}
 
inline void SetSeqIndexInChildren(
    std::unordered_map<const StmtNode*, StmtSRef>& stmt2ref,  // NOLINT(*)
    const SeqStmtNode* seq_stmt, bool include_loops = true) {
  int i = 0;
  for (const Stmt& stmt : seq_stmt->seq) {
    SetSeqIndex(stmt2ref, stmt, i, include_loops);
    ++i;
  }
}
 
}  // namespace tirx
}  // namespace tvm
 
#endif  // TVM_S_TIR_UTILS_H_