Hi Zheng, > %323 = load i8* %322, align 1 ;<i8> [#uses=1] the type of %323 is i8, as noted in the comment at the end of the line. > This is strange because the fourth argument of recordStore has been > declared as: "IntegerType::get(getGlobalContext(), 32)" This type is i32. Since i8 != i32, the types don't match. Ciao, Duncan.