[QUESTION] Convolution Dynamic Shape Support

After reading the code in `compiler/lib/Dialect/mhlo/DynamicShapeRegister/Convolution.cpp`, I find there is no `ReifyReturnTyeShapes` function for convolution op. Does convolution op not support symbol relation computing between input and output, or we do it in other pass?

Start by reading compiler/lib/Dialect/mhlo/DynamicShapeRegister/Convolution.cpp and locating the convolution handling around ReifyReturnTyeShapes. Trace whether symbol relations between convolution inputs and outputs are computed in another pass. Done means documenting where this support exists or confirming the missing implementation and its required scope.

Written by the indexing model from the issue text.