Dinistro wrote: I'm somewhat certsin that LLVM specifies this is illegal, but the verifier doesn't trigger. I'm currently at EuroLLVM, so I can only give more context tomorrow. https://github.com/llvm/llvm-project/pull/135895