[LLVMdev] Why always abort in verifyFunction?

[Michael.Kang]

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