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. More...

#include <state.h>

Collaboration diagram for tvm::s_tir::SBlockInfo:

Public Member Functions
	SBlockInfo ()=default

	SBlockInfo (SBlockScope scope, bool affine_binding=false, bool region_cover=false, bool stage_pipeline=false)

Public Attributes
SBlockScope	scope {ffi::UnsafeInit()}
	Property of a block scope rooted at the block, storing dependencies in the scope.

bool	affine_binding {false}
	Property of a block, indicating the block realization binding is quasi-affine.

bool	region_cover {false}
	Property of a block, indicating each of the block's read regions is fully produced by its producers.

bool	stage_pipeline {false}
	This property indicates that the block scope (rooted at its corresponding block) is equivalent to of a stage pipeline. Under the following conditions:

Detailed Description

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.

Constructor & Destructor Documentation

◆ SBlockInfo() [1/2]

tvm::s_tir::SBlockInfo::SBlockInfo ( )

default

◆ SBlockInfo() [2/2]

tvm::s_tir::SBlockInfo::SBlockInfo	(	SBlockScope	scope,
		bool	affine_binding = `false`,
		bool	region_cover = `false`,
		bool	stage_pipeline = `false`
	)

inlineexplicit

Member Data Documentation

◆ affine_binding

bool tvm::s_tir::SBlockInfo::affine_binding {false}

Property of a block, indicating the block realization binding is quasi-affine.

◆ region_cover

bool tvm::s_tir::SBlockInfo::region_cover {false}

Property of a block, indicating each of the block's read regions is fully produced by its producers.

◆ scope

SBlockScope tvm::s_tir::SBlockInfo::scope {ffi::UnsafeInit()}

Property of a block scope rooted at the block, storing dependencies in the scope.

◆ stage_pipeline

bool tvm::s_tir::SBlockInfo::stage_pipeline {false}

This property indicates that the block scope (rooted at its corresponding block) is equivalent to of a stage pipeline. Under the following conditions:

1) The region cover property holds for every of its child blocks 2) No write-after-read dependency or opaque dependency, only read-after-write and write-after-write are allowed 3) All the statements in the scope are schedulable statements, i.e. SBlock and For

The documentation for this struct was generated from the following file:

include/tvm/s_tir/schedule/state.h

Public Member Functions

Public Attributes