tvm_tirx.tirx.transform.StmtSimplify

Contents

tvm_tirx.tirx.transform.StmtSimplify#

tvm_tirx.tirx.transform.StmtSimplify()#

Run statement-level arithmetic simplifications on the TIR Function.

Returns:

fpass (tvm_tirx.ir.transform.Pass) – The result pass

Examples

import tvm_tirx as tvm
from tvm_tirx.script import ir as I, tirx as T
from tvm_tirx.tirx import transform as tr

@I.ir_module
class Before:
    @T.function(private=True)
    def main(A: T.Tensor((4,), T.int32)):
        for i in range(4):
            A[i] = i // 4

@I.ir_module
class Expected:
    @T.function(private=True)
    def main(A: T.Tensor((4,), T.int32)):
        for i in range(4):
            A[i] = 0

def run_pass():
    return tr.StmtSimplify()(Before)

tvm.ir.assert_structural_equal(run_pass(), Expected)
Contents