Hello, I have a problem of dumping a value. Here is the llvm assembly code: --- %322 = getelementptr inbounds [76 x [4 x i8]]* @i_tc0_table, i32 0, i32 %305, i32 %321 ; <i8*> [#uses=1] %323 = load i8* %322, align 1 ; <i8> [#uses=1] store i8 %323, i8* %89, align 1 -- I want to dump %323 to a library function whose prototype is: recordStore(const char*, unsigned int, unsigned, int) But my passer stuck at CallInst::init, because llvm complains %323 does not have the same type as the recordStore's is declared. assert((i >= FTy->getNumParams() || FTy->getParamType(i)== Params[i]->getType()) && "Calling a function with a bad signature!"); This is strange because the fourth argument of recordStore has been declared as: "IntegerType::get(getGlobalContext(), 32)" If I somehow replace the assert statement as: assert(... FTy->getParamType(i)->getTypeID() =Params[i]->getType()->getTypeID()) ...); , it passes this line but will fail at some point later on. My questions are: ***** Why %323 is different from the Integer type I has declared? ***** Why two values with the same TypeID are different? The following code is OK for my passer if I want to dump %3. %3 = add i32 %1, -1 ; <i32> [#uses=1] store i32 %3, i32* %0, align 4 A final question, how can I dump %323 in the first example? Cheers, Zheng
On 05/17/2010 05:02 PM, Zheng Wang wrote:> Hello, > > I have a problem of dumping a value. Here is the llvm assembly code: > > --- > %322 = getelementptr inbounds [76 x [4 x i8]]* @i_tc0_table, i32 0, > i32 %305, i32 %321 ; <i8*> [#uses=1] > %323 = load i8* %322, align 1 ; <i8> [#uses=1] > store i8 %323, i8* %89, align 1 > -- > > I want to dump %323 to a library function whose prototype is: > > recordStore(const char*, unsigned int, unsigned, int)To pass an i8 as i32 you need either sign-, or zero-extension, i.e. %324 = zext i8 %323 to i32 call %recordStore(null, %324, i32 0) For example.> ***** Why %323 is different from the Integer type I has declared?i8 and i32 are different types Best regards, --Edwin
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.
Thanks all!! Problem Solved. :) 2010/5/17 Török Edwin <edwintorok at gmail.com>:> On 05/17/2010 05:02 PM, Zheng Wang wrote: >> Hello, >> >> I have a problem of dumping a value. Here is the llvm assembly code: >> >> --- >> %322 = getelementptr inbounds [76 x [4 x i8]]* @i_tc0_table, i32 0, >> i32 %305, i32 %321 ; <i8*> [#uses=1] >> %323 = load i8* %322, align 1 ; <i8> [#uses=1] >> store i8 %323, i8* %89, align 1 >> -- >> >> I want to dump %323 to a library function whose prototype is: >> >> recordStore(const char*, unsigned int, unsigned, int) > > To pass an i8 as i32 you need either sign-, or zero-extension, i.e. > %324 = zext i8 %323 to i32 > call %recordStore(null, %324, i32 0) > > For example. >> ***** Why %323 is different from the Integer type I has declared? > > i8 and i32 are different types > > > Best regards, > --Edwin > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >-- Best regards, WANG Zheng
Reasonably Related Threads
- [LLVMdev] Is this value an integer type?
- [LLVMdev] [PATCH] Split init.trampoline into init.trampoline & adjust.trampoline
- [LLVMdev] [PATCH / PROPOSAL] bitcode encoding that is ~15% smaller for large bitcode files...
- [LLVMdev] Calling a function with bad signature, possible bug.
- [LLVMdev] Queries regarding function's arguments data type