junrushao1994 commented on a change in pull request #7765: URL: https://github.com/apache/tvm/pull/7765#discussion_r608138217
########## File path: include/tvm/tir/schedule/state.h ########## @@ -0,0 +1,216 @@ +/* + * 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 tvm/tir/schedule/state.h + * \brief This file defines ScheduleState, the core data structure of TensorIR scheduling. + */ +#ifndef TVM_TIR_SCHEDULE_STATE_H_ +#define TVM_TIR_SCHEDULE_STATE_H_ + +#include <tvm/ir/module.h> +#include <tvm/tir/function.h> +#include <tvm/tir/schedule/block_scope.h> + +#include <unordered_map> +#include <utility> + +namespace tvm { +namespace tir { + +/*! + * \brief The information about a TensorIR block, it contains two categories of information + * 1) Info on the block scope rooted at a specific block, including dependency tracking, + * flags indicating if the scope is a stage pipeline, etc. + * 2) Info on the block itself, including if the block has a quasi-affine binding, if the regions it + * reads are completely covered by their producers, etc. + */ +struct BlockInfo { + /*! \brief Property of a block scope rooted at the block, storing dependencies in the scope */ + BlockScope scope{nullptr}; + // The properties below are information about the current block realization under its parent scope + /*! \brief Property of a block, indicating the block realization binding is quasi-affine */ + bool affine_binding{false}; + /*! + * \brief Property of a block, indicating each of the block's read regions is fully + * produced by its producers + */ + bool region_cover{false}; + + BlockInfo() = default; + + explicit BlockInfo(BlockScope scope, bool affine_binding = false, bool region_cover = false) + : scope(std::move(scope)), // + affine_binding(affine_binding), // + region_cover(region_cover) {} +}; + +/*! + * \brief The bitmask of the debug flag in the ScheduleStateNode. + * \sa ScheduleStateNode + */ +enum class ScheduleDebugMask : int32_t { + /*! \brief Verify the correctness of the sref tree */ + kVerifySRefTree = 1, + /*! \brief Verify the correctness of affine_binding */ + kVerifyAffineBinding = 2, + /*! \brief Verify the correctness of region_cover */ + kVerifyRegionCover = 4, + /*! \brief Verify the correctness of stage_pipeline */ + kVerifyStagePipeline = 8, +}; + +/*! + * \brief The state of scheduling, which exposes a `Replace` method as + * the primary resort for all the scheduling primitives to manipulate the TensorIR. Review comment: `interface` is definitely a better word -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
