s-barannikov wrote: Except that the result type / count is incorrect -- none, instruction selector happily accepts it. I'm working on SDNode verification functionality, this is one of the issues it detected. https://github.com/llvm/llvm-project/pull/117455