Function tvm::right_shift(int, const PrimExpr&, Location)