search for: myesis

...ut it still abort when I pass PrintMessageAction/ReturnStatusAction to function. Log: Basic Block in function 'jitmain' does not have terminator! label %load_store LLVM ERROR: Broken module, no Basic Block terminator! Is there something wrong? Best regards, -myesis -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120611/058f832b/attachment.html>

...iu, The Verifier pass runs a PreVerifier pass, which does not honour the action argument, and will always abort on a broken module, (Line 106, lib/VMCore/Verifier.cpp) Perhaps you should file a bug against this, to allow you to not abort if you so wish. Joey On 11 June 2012 09:41, Guowei Xu <myesis at gmail.com> wrote: > Hello everyone: > > I have a little question about the second argument *action* of > verifyFunction. > > In docs: > > *Enumerator: * *AbortProcessAction* > > verifyModule will print to stderr and abort() > *PrintMessageAct...

...s the official document? I just want to make sure of that and probably we can find another way to deal with broken module. Thanks MK > > Perhaps you should file a bug against this, to allow you to not abort if > you so wish. > > Joey > > On 11 June 2012 09:41, Guowei Xu <myesis at gmail.com> wrote: > >> Hello everyone: >> >> I have a little question about the second argument *action* of >> verifyFunction. >> >> In docs: >> >> *Enumerator: * *AbortProcessAction* >> >> verifyModule will print...

Hi all: I am trying to compare the return value of a call instruction with 0. The called function's return type is uint32. The return value is 1 or 0. But the icmp instruction cannot be created. CallInst *ret = CallInst::Create(ptr_func, params.begin(), params.end(), "", bb); Value *cmp = new ICmpInst(*bb, ICmpInst::ICMP_EQ, ret, ,ConstantInt::get(getIntegerType(32), 0)