Fix call instructions to check parameter types for consistency.

tests_lit/parse_errs/call-indirect-i8.ll

Index: tests_lit/parse_errs/call-indirect-i8.ll
diff --git a/tests_lit/parse_errs/call-indirect-i8.ll b/tests_lit/parse_errs/call-indirect-i8.ll
new file mode 100644
index 0000000000000000000000000000000000000000..0a3b2bc86c1607b4627ed7d57e338e9ed14c6040
--- /dev/null
+++ b/tests_lit/parse_errs/call-indirect-i8.ll
@@ -0,0 +1,13 @@
+; Tests that we don't allow illegal sized parameters on indirect calls.
+
+; REQUIRES: no_minimal_build
+
+; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s
+
+define void @CallIndirectI32(i32 %f_addr) {
+entry:
+  %f = inttoptr i32 %f_addr to i32(i8)*
+  %r = call i32 %f(i8 1)
+; CHECK: Call argument 1 has invalid type: i8
+  ret void
+}