fabianmcg wrote: Thank you for this @umangyadav ! I'll take a closer look tomorrow. In the meantime, could you add tests where `convert-gpu-to-rocdl` uses `infer` to verify that it functions as expected. https://github.com/llvm/llvm-project/pull/110735