kuhar wrote: I thought that this is what the old code used to do, no? Now `lookupOrCreateSPIRVFn` marks any function as convergent -- I'd expect some code comments that say why this is. https://github.com/llvm/llvm-project/pull/122131