type_of -> Type::uint_from_ty/Type::int_from_ty converts to LLVM types which have no sign. This is then passed to the architecture specific code in compute_abi_info().

PowerPC needs to know whether to sign or zero extend function call parameters, but it doesn't have enough information in the LLVM types.