grypp wrote: Looks good to me. I will wait others to review. If there is no objection, I'll approve it. I wonder, though, was the bug always there? I vaguely remember that `mma.sync bf16` was working before. https://github.com/llvm/llvm-project/pull/122664