efriedma added a comment. Probably the simplest way to verify return types would be using decltype. (`static_assert(std::is_same_v<uint32_t, decltype(vqmovund_s64(0))>);`.)
For arguments, maybe more complicated. I guess you could write a C++ class with conversion operators for every integer type, mark all of them except one "= delete", and pass it as an argument. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D85118/new/ https://reviews.llvm.org/D85118 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits