eric-k256 wrote: A verifier would be nice to have to check attribute/in/out alignment. I believe that the issue with adding all float types is that bfloat16 doesn't show as a normal float type. Maybe all float + bf16 would work. https://github.com/llvm/llvm-project/pull/69192