Mogball wrote: Awesome! Please clarity in the motivation that the LLVM dialect allows DI expression to be valid that may not be valid in LLVM, hence why we need the legalization pass https://github.com/llvm/llvm-project/pull/77541