tvm_tirx.tirx.vector_high# tvm_tirx.tirx.vector_high(vec, *, ty, loc=UNKNOWN_LOC)# Get the high level half of the vector Parameters: ty (str) – The data type of the result. vec (list) – The input vector. loc (Location) Returns: call (Expr) – The call expression.