search for: tianyin

...y default). ~t On Tue, Aug 12, 2014 at 1:02 AM, Eric Christopher <echristo at gmail.com> wrote: > That doesn't tell me where your module came from. How did you create > the module that you're attempting to verify? > > -eric > > On Tue, Aug 12, 2014 at 1:00 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > I just follow the tutorial: http://llvm.org/docs/WritingAnLLVMPass.html > > > > Actually it's not only my module, I used the LLVMHello.so (a sample > module > > in the source tree) and get the crash (I didn't do anything :...

...rce tree) and get the crash (I didn't do anything :-P). ~t On Tue, Aug 12, 2014 at 12:57 AM, Eric Christopher <echristo at gmail.com> wrote: > Weird, it definitely shouldn't be crashing. How did you create your module? > > -eric > > On Tue, Aug 12, 2014 at 12:56 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > no... I guess verifier runs by default and it points to the > > doFinailization() function :-( > > > > ~t > > > > > > On Tue, Aug 12, 2014 at 12:53 AM, Eric Christopher <echristo at gmail.com> > > wrote:...

...tion() function :-( ~t On Tue, Aug 12, 2014 at 12:53 AM, Eric Christopher <echristo at gmail.com> wrote: > No idea, I was suggesting to just run the verifier to see if it would > pinpoint what's broken about the module. > > -eric > > On Tue, Aug 12, 2014 at 12:52 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > Oh, you mean opt -disable-verify? > > > > Yes, it does eliminate the crashing... > > > > Do you know what's the problem, Eric? > > > > Thanks a lot! > > ~t > > > > > > On Tue, Aug 12, 201...

...-verify? Yes, it does eliminate the crashing... Do you know what's the problem, Eric? Thanks a lot! ~t On Tue, Aug 12, 2014 at 12:42 AM, Eric Christopher <echristo at gmail.com> wrote: > Tried opt -verify on your module? > > -eric > > On Tue, Aug 12, 2014 at 12:28 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > Hi all, > > > > I find all my passes are all broken with LLVM 3.4. Then I tried out the > > LLVMHello.so specified in the LLVM doc, > > http://llvm.org/docs/WritingAnLLVMPass.html > > and it also crashes. > > > &...

Hi, all, I'm using LLVM-3.0. I want to use gold plugin, but I got the following error message: /home/tianyin/binutils-2.22/bin/ld: error: /home/tianyin/llvm-3.0/lib/LLVMgold.so: could not load plugin library: /home/tianyin/llvm-3.0/lib/LLVMgold.so: undefined symbol: lto_codegen_set_cpu Could anyone tell me what's the problem? Thanks a lot! Tianyin

...passes are all broken with LLVM 3.4. Then I tried out the LLVMHello.so specified in the LLVM doc, http://llvm.org/docs/WritingAnLLVMPass.html and it also crashes. It seems all the functions in the pass do work, but LLVM crashes in the doFinalization() step. Does anyone know this problem? Thanks! Tianyin ----------------------------------------------------------------------------------------------------------------- #opt -load ../../../Debug+Asserts/lib/LLVMHello.so -hello -time-passes < bcfiles/hello.bc ... (PRINT ALL THE FUNCTIONS, EVERYTHING IS FINE.) ... wrong initalizer for intrinsic glob...

I got your point! Thanks a lot, Rafael! Best, Tianyin On Tue, Jun 26, 2012 at 4:12 PM, Rafael Espíndola < rafael.espindola at gmail.com> wrote: > > Could you explain a bit more (sorry I'm not from a compiler background)? > So, > > what's the difference in the analysis perspective? What does "reading ELF > > fi...

...symbols passed to llvm's internalize pass" do? I checked a little bit the corresponding .ll file generated according to the .bc file. It seems that symbols like struct and function names are preserved. What is missing here? Is it possible for you to give an simple example? Thanks a lot! Tianyin On Tue, Jun 26, 2012 at 3:04 PM, Rafael Espíndola < rafael.espindola at gmail.com> wrote: > On 26 June 2012 16:46, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > Hi, > > > > I'm sorry if the question doesn't fit this mailing list. It seems that > LLVM &gt...

...hich is quite handy. However, for some special code base, we can only get a bunch of small .bc file, each of which corresponding to a C or CPP file. So I'm thinking to use llvm-link to link them together into one big .bc file. Here comes this question. Thanks a lot for the help! Best regards, Tianyin -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120626/7c3ef6e7/attachment.html>

On 26 June 2012 16:46, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > Hi, > > I'm sorry if the question doesn't fit this mailing list. It seems that LLVM > does not have a user support mailing list so I post it here. > > We're using the LLVM tool chain as our static analysis infrastructure. So, &gt...

...and then running "opt -std-link-opts" on the linked bitcode file. However all symbols will be internalized by default (you can adjust this on the command line) while the gold linker is more sophisticated about what is internalized as Rafael mentioned. Ciao, Duncan. > > Best, > Tianyin > > On Tue, Jun 26, 2012 at 4:12 PM, Rafael Espíndola <rafael.espindola at gmail.com > <mailto:rafael.espindola at gmail.com>> wrote: > > > Could you explain a bit more (sorry I'm not from a compiler background)? So, > > what's the difference in...

...ible for you to give an simple > example? There is an example in http://llvm.org/docs/GoldPlugin.html#example1 Where some files are native ELF files and some are IL. Gold is able to handle it, llvm-link will just tell you that it doesn't know about the ELF format. > Thanks a lot! > Tianyin Cheers, Rafael

On Wed, Dec 12, 2012 at 06:25:53PM -0800, Tianyin Xu wrote: > Hi, all, > > I'm using LLVM-3.0. I want to use gold plugin, but I got the following > error message: Why not use TOT, or latest release? :) Regards, chenwj -- Wei-Ren Chen (陳韋任) Computer Systems Lab, Institute of Information Science, Academia Sinica, Taiwan (R.O.C...