Compile fixes for the optional mlir presburger module using latest LLVM 19.x branch.
tvm-0.18-build/tvm/src/arith/presburger_set.cc:219:33: error: no member named 'MPInt' in namespace 'mlir::presburger'
219 | SmallVector<mlir::presburger::MPInt> coeffs;
| ~~~~~~~~~~~~~~~~~~^
tvm-0.18-build/tvm/src/arith/presburger_set.cc:227:40: error: no member named 'MPInt' in namespace 'mlir::presburger'
227 | coeffs.push_back(mlir::presburger::MPInt(*as_const_int(it)));
| ~~~~~~~~~~~~~~~~~~^
[ 18%] Building CXX object CMakeFiles/tvm_objs.dir/src/auto_scheduler/feature.cc.o
2 errors generated.
Compile fixes for the optional mlir presburger module using latest LLVM 19.x branch.