On Mon, Jun 11, 2012 at 5:44 PM, Joey Gouly <joel.gouly at gmail.com> wrote:> Hi Xiu, > > 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) >So the argument can not be used as described as 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 to stderr and abort() >> *PrintMessageAction* >> >> verifyModule will print to stderr and return true >> *ReturnStatusAction* >> >> verifyModule will just return true >> >> But 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 >> >> _______________________________________________ >> LLVM Developers mailing list >> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu >> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >> >> > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >-- www.skyeye.org -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120612/0ab2f5ba/attachment.html>
On Tue, Jun 12, 2012 at 10:11:01AM +0800, Michael.Kang wrote:> > > On Mon, Jun 11, 2012 at 5:44 PM, Joey Gouly <joel.gouly at gmail.com> wrote: > > Hi Xiu, > > 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) > > > So the argument can not be used as described as the official document? I just > want to make sure of that and probably we > can find another way to deal with broken module.I definitely think it's a bug, you should file a bug report. But you basically cannot do anything with a broken module, except print it out and try to fix the module. Regards, chenwj -- Wei-Ren Chen (陳韋任) Computer Systems Lab, Institute of Information Science, Academia Sinica, Taiwan (R.O.C.) Tel:886-2-2788-3799 #1667 Homepage: http://people.cs.nctu.edu.tw/~chenwj
On Tue, Jun 12, 2012 at 1:30 PM, 陳韋任 (Wei-Ren Chen) <chenwj at iis.sinica.edu.tw> wrote:> On Tue, Jun 12, 2012 at 10:11:01AM +0800, Michael.Kang wrote: >> >> >> On Mon, Jun 11, 2012 at 5:44 PM, Joey Gouly <joel.gouly at gmail.com> wrote: >> >> Hi Xiu, >> >> 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) >> >> >> So the argument can not be used as described as the official document? I just >> want to make sure of that and probably we >> can find another way to deal with broken module. > > I definitely think it's a bug, you should file a bug report. But you basically > cannot do anything with a broken module, except print it out and try to fix the > module.Yes I just want to see the dumped IR before program abort . So I can find some translation error by analysis the IR assemble. Thanks MK> > Regards, > chenwj > > -- > Wei-Ren Chen (陳韋任) > Computer Systems Lab, Institute of Information Science, > Academia Sinica, Taiwan (R.O.C.) > Tel:886-2-2788-3799 #1667 > Homepage: http://people.cs.nctu.edu.tw/~chenwj-- www.skyeye.org