Fix bitcode parser to check type signatures of functions.

tests_lit/parse_errs/call-fcn-bad-param-type.ll

Index: tests_lit/parse_errs/call-fcn-bad-param-type.ll
diff --git a/tests_lit/parse_errs/call-fcn-bad-param-type.ll b/tests_lit/parse_errs/call-fcn-bad-param-type.ll
index b7246e0b21c77f0ec7a295dc2542baf0be9b9032..093807f568fa8e8c7670a2dab7807e2b6337326b 100644
--- a/tests_lit/parse_errs/call-fcn-bad-param-type.ll
+++ b/tests_lit/parse_errs/call-fcn-bad-param-type.ll
@@ -1,5 +1,5 @@
-; Test that even if a call parameter matches its declaration, it must still
-; be a legal call parameter type (unless declaration is intrinsic).
+; Test that a function parameter must be a legal parameter type (unless
+; declaration is intrinsic).
 
 ; REQUIRES: no_minimal_build
 
@@ -7,10 +7,10 @@
 ; RUN:      -allow-externally-defined-symbols | FileCheck %s
 
 declare void @f(i8);
+; CHECK: Invalid type signature for f: void (i8)
 
 define void @Test() {
 entry:
   call void @f(i8 1)
-; CHECK: Argument 1 of f has invalid type: i8
   ret void
 }