[2207.04296] TensorIR: An Abstraction for Automatic Tensorized Program Optimization