[Mlir-commits] [mlir] [mlir][Transforms] Dialect conversion: Context-aware type conversions (PR #140434)

[Jeremy Kun]

j2kun wrote:

> @j2kun @ZenithalHourlyRate I rebased this PR on top of the new dialect conversion driver. This PR now supports context-aware type conversion during block signature conversions. I added an example for `scf.for`.
> 
> This PR does not yet have support for `FunctionOpInterface`. It is unclear to me whether there is a contract in the `FunctionOpInterface` that the entry bbarg types must match the input types of the function type. If that's the case, `FunctionOpInterfaceSignatureConversion` could be updated quite easily. Otherwise, a new conversion pattern for `func.func` (where the above contract is guaranteed) must be added.
> 

😍😍😍 It will take me a few days to have the time to dig in here, but I am very excited to check it out.

https://github.com/llvm/llvm-project/pull/140434