Fix call instructions to check parameter types for consistency.

tests_lit/reader_tests/call-indirect.ll

Index: tests_lit/reader_tests/call-indirect.ll
diff --git a/tests_lit/reader_tests/call-indirect.ll b/tests_lit/reader_tests/call-indirect.ll
index 3da87ddfb0114f24de169b5fedfaa89bd4284b8a..d3d7e1d7c5919ce72cc45b1aa8730ef03b2d4b06 100644
--- a/tests_lit/reader_tests/call-indirect.ll
+++ b/tests_lit/reader_tests/call-indirect.ll
@@ -1,10 +1,7 @@
 ; Test parsing indirect calls in Subzero.
 
 ; RUN: %p2i -i %s --insts | FileCheck %s
-; RUN: %if --need=allow_disable_ir_gen --command \
-; RUN:   %p2i -i %s --args -notranslate -timing -no-ir-gen \
-; RUN: | %if --need=allow_disable_ir_gen --command \
-; RUN:   FileCheck --check-prefix=NOIR %s
+; RUN: %p2i -i %s --args -notranslate -timing | FileCheck --check-prefix=NOIR %s
 
 define internal void @CallIndirectVoid(i32 %f_addr) {
 entry:
@@ -21,14 +18,14 @@ entry:
 
 define internal i32 @CallIndirectI32(i32 %f_addr) {
 entry:
-  %f = inttoptr i32 %f_addr to i32(i8, i1)*
-  %r = call i32 %f(i8 1, i1 false)
+  %f = inttoptr i32 %f_addr to i32(i64, i32)*
+  %r = call i32 %f(i64 1, i32 %f_addr)
   ret i32 %r
 }
 
 ; CHECK-NEXT: define internal i32 @CallIndirectI32(i32 %f_addr) {
 ; CHECK-NEXT: entry:
-; CHECK-NEXT:   %r = call i32 %f_addr(i8 1, i1 false)
+; CHECK-NEXT:   %r = call i32 %f_addr(i64 1, i32 %f_addr)
 ; CHECK-NEXT:   ret i32 %r
 ; CHECK-NEXT: }