joker-eph wrote: Isn't there a problem with the way `llvm.byval` seems modeled here: why is this something that annotating before the lowering instead of a property of the type you lower? https://github.com/llvm/llvm-project/pull/100028