Fix call instructions to check parameter types for consistency.

src/IceTypes.h

 //===- subzero/src/IceTypes.h - Primitive ICE types -------------*- C++ -*-===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
@@ skipping 63 matching lines @@
 bool isVectorIntegerType(Type Ty);
 bool isIntegerArithmeticType(Type Ty);
 
 bool isFloatingType(Type Ty); // scalar or vector
 bool isScalarFloatingType(Type Ty);
 bool isVectorFloatingType(Type Ty);
 
 /// Returns true if the given type can be used in a load instruction.
 bool isLoadStoreType(Type Ty);
 
+/// Returns true if the given type can be used as a parameter type in a call.
+bool isCallParameterType(Type Ty);
+
+/// Returns true if the given type can be used as the return type of a call.
+inline bool isCallReturnType(Type Ty) {
+  return Ty == IceType_void || isCallParameterType(Ty);
+}
+
 /// Returns type generated by applying the compare instructions (icmp and fcmp)
 /// to arguments of the given type. Returns IceType_void if compare is not
 /// allowed.
 Type getCompareResultType(Type Ty);
 
 /// Returns the number of bits in a scalar integer type.
 SizeT getScalarIntBitWidth(Type Ty);
 
 /// Check if a type is byte sized (slight optimization over typeWidthInBytes).
 inline bool isByteSizedType(Type Ty) {
@@ skipping 61 matching lines @@
 };
 
 inline Ostream &operator<<(Ostream &Stream, const FuncSigType &Sig) {
   Sig.dump(Stream);
   return Stream;
 }
 
 } // end of namespace Ice
 
 #endif // SUBZERO_SRC_ICETYPES_H