https://github.com/AlexMaclean commented: Nice. I think this is a good direction to go. We have had to add a lot of hacks to keep things working with generic allocas in the IR. https://github.com/llvm/llvm-project/pull/154814