llvm dev - May 2010 - [LLVMdev] Is this value an integer type?

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