def unsupported_function_call(a: ty.handle) -> None: A = tir.match_buffer(a, (16, 16), "float32") tir.attr(A, "realize_scope", "") tir.realize(A[0:16, 0:16]) for i in tir.const_range(16): for j in tir.serial(0, 16): A[i, j] = 0.0
def range_missing_args(a: ty.handle) -> None: A = tir.match_buffer(a, (16, 16), "float32") tir.attr(A, "realize_scope", "") tir.realize(A[0:16, 0:16]) for i in tir.serial(16): for j in tir.serial(0, 16): A[i, j] = 0.0
def undefined_buffer(a: ty.handle) -> None: A = tir.match_buffer(a, (16, 16), "float32") tir.attr(A, "realize_scope", "") tir.realize(C[0:16, 0:16]) for i in tir.serial(16): for j in tir.serial(0, 16): A[i, j] = 0.0
def no_body(a: ty.handle) -> None: A = tir.match_buffer(a, (16, 16), "float32") tir.realize(A, "") # error