search for: tixu

Displaying 10 results from an estimated 10 matches for "tixu".

2014 Aug 12
2
[LLVMdev] All the passes (even the LLVMHello.so) fail at doFinalization()
...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 :-P). > &g...
2014 Aug 12
2
[LLVMdev] All the passes (even the LLVMHello.so) fail at doFinalization()
...et 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: > >&g...
2014 Aug 12
2
[LLVMdev] All the passes (even the LLVMHello.so) fail at doFinalization()
...:-( ~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, 2014 at 12:42 A...
2014 Aug 12
2
[LLVMdev] All the passes (even the LLVMHello.so) fail at doFinalization()
...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. > > > > It seems...
2014 Aug 12
2
[LLVMdev] All the passes (even the LLVMHello.so) fail at doFinalization()
...0x00000000008f88cd main + 5778 13 libc.so.6 0x00007feedfc8d76d __libc_start_main + 237 14 opt 0x00000000008ea589 Stack dump: 0. Program arguments: opt -load ../../../Debug+Asserts/lib/LLVMHello.so -hello -time-passes Aborted (core dumped) -- Tianyin XU, http://cseweb.ucsd.edu/~tixu/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140812/5dd04b58/attachment.html>
2012 Jun 26
0
[LLVMdev] What's the difference between using llvm-link and using llvm gold plugin?
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, > basically...
2012 Jun 26
2
[LLVMdev] What's the difference between using llvm-link and using llvm gold plugin?
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, basically we use LLVM to generate an aggregated .bc file and analyze the .bc file. The question I want to ask is what's the difference between using the LLVM gold
2012 Jun 26
2
[LLVMdev] What's the difference between using llvm-link and using llvm gold plugin?
...ems 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 > > does not have a user support mailing list so I post it here. > > > > We're using the LLVM tool chain as our static analysis...
2012 Dec 13
3
[LLVMdev] undefined symbol: lto_codegen_set_cpu
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
2012 Jun 26
2
[LLVMdev] What's the difference between using llvm-link and using llvm gold plugin?
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 > > files and archives" and "creating a