When you put "any", you probably mean any scalar of int, float, ptr. What happens if somebody specifies vector, i16, double or something else. May be you should put some code in the verifier? http://reviews.llvm.org/D7020 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/