def before(A: T.Buffer[16, "float32"]): for i in T.serial(16): if -64 <= T.shift_left(-i, 4, dtype="int32"): A[i] = 0.0
def before(A: T.Buffer[16, "float32"]): for i in T.serial(16): if T.shift_left(16, -i, dtype="int32") <= 16: A[i] = 0.0
def before(A: T.Buffer[1, "int32"], n: T.int32): A[0] = T.shift_left(n, 1, dtype="int32")