Fix call instructions to check parameter types for consistency.

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
new file mode 100644
index 0000000000000000000000000000000000000000..b1c8cd8ea526333df1a2509777e94b9551ec9583
--- /dev/null
+++ b/tests_lit/parse_errs/call-fcn-bad-return-type.ll
@@ -0,0 +1,16 @@
+; Test that even if a call return type matches its declaration, it must still be
+; a legal call return type (unless declaration is intrinsic).
+
+; REQUIRES: no_minimal_build
+
+; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s
+
+declare i1 @f();
+
+define void @Test() {
+entry:
+  %v = call i1 @f()
+; CHECK: Return type of called function is invalid: i1
+  ret void
+}
+