Fix bitcode parser to check type signatures of functions.

tests_lit/llvm2ice_tests/rmw.ll

Index: tests_lit/llvm2ice_tests/rmw.ll
diff --git a/tests_lit/llvm2ice_tests/rmw.ll b/tests_lit/llvm2ice_tests/rmw.ll
index cd789773eee9c6ab03c61cf2c8159d574ad7460d..39f5a32fd372e74cf31923a58d22266e4cf67a96 100644
--- a/tests_lit/llvm2ice_tests/rmw.ll
+++ b/tests_lit/llvm2ice_tests/rmw.ll
@@ -40,8 +40,9 @@ entry:
 ; CHECK-LABEL: no_rmw_add_i32_var
 ; CHECK: add e{{ax|bx|cx|dx|bp|di|si}},DWORD PTR [e{{ax|bx|cx|dx|bp|di|si}}]
 
-define internal void @rmw_add_i16_var(i32 %addr_arg, i16 %var) {
+define internal void @rmw_add_i16_var(i32 %addr_arg, i32 %var32) {
 entry:
+  %var = trunc i32 %var32 to i16
   %addr = inttoptr i32 %addr_arg to i16*
   %val = load i16, i16* %addr, align 1
   %rmw = add i16 %val, %var
@@ -64,8 +65,9 @@ entry:
 ; CHECK-LABEL: rmw_add_i16_imm
 ; CHECK: add WORD PTR [e{{ax|bx|cx|dx|bp|di|si}}],0x13
 
-define internal void @rmw_add_i8_var(i32 %addr_arg, i8 %var) {
+define internal void @rmw_add_i8_var(i32 %addr_arg, i32 %var32) {
 entry:
+  %var = trunc i32 %var32 to i8
   %addr = inttoptr i32 %addr_arg to i8*
   %val = load i8, i8* %addr, align 1
   %rmw = add i8 %val, %var