Fix bitcode parser to check type signatures of functions.

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

Index: tests_lit/parse_errs/call-fcn-bad-return-type.ll
diff --git a/tests_lit/parse_errs/call-fcn-bad-return-type.ll b/tests_lit/parse_errs/call-fcn-bad-return-type.ll
index 873e05cea00ccaf441474b841e73933795d851d8..73a7c16755dc05a8d3d080dbf5d9a44f89fe9472 100644
--- a/tests_lit/parse_errs/call-fcn-bad-return-type.ll
+++ b/tests_lit/parse_errs/call-fcn-bad-return-type.ll
@@ -6,12 +6,15 @@
 ; RUN: %p2i --expect-fail -i %s --insts --args \
 ; RUN:      -allow-externally-defined-symbols | FileCheck %s
 
-declare i1 @f();
+declare i32 @f();
 
-define void @Test() {
+declare i64 @g();
+
+define void @Test(i32 %ifcn) {
 entry:
-  %v = call i1 @f()
-; CHECK: Return type of f is invalid: i1
+  %fcn =  inttoptr i32 %ifcn to i1()*
+  %v = call i1 %fcn()
+; CHECK: Return type of function is invalid: i1
   ret void
 }