kuhar wrote: > Maybe worth mentioning that both implementations are equivalent. I don't think either is wrong. I don't know which one is the way to go tbh. Can we check with something like alive2? https://github.com/llvm/llvm-project/pull/175012