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
