tvm_tirx.tirx.transform.RenormalizeSplitPattern

tvm_tirx.tirx.transform.RenormalizeSplitPattern()

Renormalize the split pattern from floordiv(floormod()) to floormod(floordiv())

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((1,), T.int32), i: T.int32):
        A[0] = i % 128 // 32

@I.ir_module
class Expected:
    @T.function(private=True)
    def main(A: T.Tensor((1,), T.int32), i: T.int32):
        A[0] = i // 32 % 4

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

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