> That shouldn't be too difficult. The compiler is already type-checking the parameters of every call within the function. Remembering the highest count won't take much more work, and it's capped at 8 anyway.
Many of the accounts that I've read indicated the largest issue with Itanium was building effective compilers.