llvm dev - Apr 2011 - [LLVMdev] inserting a fucntion call at the end of basic bloc

2011/4/26 Duncan Sands <baldrick at free.fr>
> Hi Nabila,
>
>         Now when i tried this pass an error says:
>>        Wrong type for attribute noalias
>>        tail call void @consume(i32 noalias 3, i32* @y) nounwind
>>
>>
>>    noalias is only for arguments of pointer type.  You probably meant
it
>> to
>>    be on the second argument rather than the first.  I suggest you
correct
>>    your code that adds the attribute.
>>
>>    Ciao, Duncan.
>>
>>
>> no my fucntion is
>> void consume(int nb_into_bloc, int *nb_total)
>> the second is a pointer
>> here is how I pass the parameters
>>  Instruction* ii = i->getTerminator();
>>  const int n = cast <int> (i->size());
>>  ConstantInt* inValue = ConstantInt::get(Type::getInt32Ty(Context), n);
>>  std::vector<Value*> int32_16_params;
>>  int32_16_params.push_back(inValue);
>>  int32_16_params.push_back(gvar_int32_y);
>>  CallInst* int32_16 = CallInst::Create(func_consume,
>> int32_16_params.begin(),
>> int32_16_params.end(), "", ii);
>>
>
> where did the "noalias" attribute and "tail call"
(rather than "call") come
> from?  Are you setting these yourself or running some optimization pass
> after
> your pass?
>
i have written a module pass and i have compiled it and then
 opt -load /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so -Example2
< hello.bc > /dev/null
i get the error message
Wrong type for attribute noalias
  tail call void @consume(i32 noalias 3, i32* @y) nounwind
Broken module found, compilation aborted!
0  libLLVM-2.8.so.1 0x019bc628
Stack dump:
0. Program arguments: opt -load
/home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so -Example2
1. Running pass 'Function Pass Manager' on module
'<stdin>'.
2. Running pass 'Module Verifier' on function '@main'
Aborted

> Ciao, Duncan.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20110426/75547212/attachment.html>

Hi Nabila,
>     where did the "noalias" attribute and "tail call"
(rather than "call") come
>     from?  Are you setting these yourself or running some optimization pass
after
>     your pass?
>
>
> i have written a module pass and i have compiled it and then
you didn't answer my questions, you just repeated what you said before.

Ciao, Duncan.
>   opt -load /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so
-Example2 <
> hello.bc > /dev/null
> i get the error message
> Wrong type for attribute noalias
>    tail call void @consume(i32 noalias 3, i32* @y) nounwind
> Broken module found, compilation aborted!
> 0  libLLVM-2.8.so.1 0x019bc628
> Stack dump:
> 0.Program arguments: opt -load
> /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so -Example2
> 1.Running pass 'Function Pass Manager' on module
'<stdin>'.
> 2.Running pass 'Module Verifier' on function '@main'
> Aborted
>
>
>     Ciao, Duncan.
>
>

2011/4/26 Duncan Sands <baldrick at free.fr>
> Hi Nabila,
>
>
>     where did the "noalias" attribute and "tail call"
(rather than "call")
>> come
>>    from?  Are you setting these yourself or running some optimization
pass
>> after
>>    your pass?
>>
>>
>> i have written a module pass and i have compiled it and then
>>
>
> you didn't answer my questions, you just repeated what you said before.
>
> Ciao, Duncan.
>
>
>   opt -load /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so
>> -Example2 <
>> hello.bc > /dev/null
>> i get the error message
>> Wrong type for attribute noalias
>>   tail call void @consume(i32 noalias 3, i32* @y) nounwind
>> Broken module found, compilation aborted!
>> 0  libLLVM-2.8.so.1 0x019bc628
>> Stack dump:
>> 0.Program arguments: opt -load
>> /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so -Example2
>> 1.Running pass 'Function Pass Manager' on module
'<stdin>'.
>> 2.Running pass 'Module Verifier' on function '@main'
>> Aborted
>>
>>> No, i'm not setting them by my self
>>>
>>
>> and are you running any optimization passes?  Another possibility is
that
>> the
>> the problem was present already in hello.bc.  Did you check that
hello.bc
>> passes
>> the verifier?  Did you build LLVM with assertions enabled (you should)?
>>  How did
>> you add the declaration of "consume" to the module?  Finally,
try running
>> under
>> valgrind.
>>
>>
no I do not use any optimisation pass only my pass
hello.bc works and i have check it with lli hello.bc
no without assertion enabled
i don't want to modify the original hello.bc
if would like to apply the changes found in the pass i just put  instead of
this
opt -load /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so -Example2 <
hello.bc > /dev/null
i put this
opt -load /home/inspiron/PhdWork/llvm-2.8/Release/lib/Example.so -Example2 <
hello.bc >  hello2.bc

the declaration is:

PointerType* PointerTy_0 = PointerType::get(IntegerType::get(M.getContext(),
32), 0);


            std::vector<const Type*>FuncTy_3_args;
            FuncTy_3_args.push_back(IntegerType::get(M.getContext(), 32));
            FuncTy_3_args.push_back(PointerTy_0);
            FunctionType* FuncTy_3 = FunctionType::get(
                    /*Result=*/Type::getVoidTy(M.getContext()),
                    /*Params=*/FuncTy_3_args,
                    /*isVarArg=*/false);



 Constant *consum = M.getOrInsertFunction("consume", FuncTy_3);
            llvm::Function* func_consume = llvm::cast<llvm::Function >
(consum);
            func_consume ->setLinkage(GlobalValue::ExternalLinkage);
            func_consume->setCallingConv(CallingConv::C);
            AttrListPtr func_consume_PAL;
            func_consume->setAttributes(func_consume_PAL);

i have tried to modify the method consume so that it is
void consume(int*)
and chaged the declaration also
and it works
now when i have modified the method consume like this  void consume(int)
and modified the declaration
it doesn't work

I don't know valgrid:(

Sorry I always forget to clic the reply all :)

   Ciao, Duncan.
>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20110426/33362af6/attachment.html>