search for: zhiyuan

...pt -cfl-aa -aa-eval < xxx.bc> /dev/null (Unknown command line argument '-cfl-aa') It seems that they are not working properly. Could you please give some advice? And I was wondering if these alias analyses can produce alias results as precise as andersen or steensgaard. Thank you! Zhiyuan On Thu, Apr 9, 2015 at 10:19 PM, Xin Tong <trent.tong at gmail.com> wrote: > Hi Zhiyuan > > LLVM has globalsmodref-aa for global variables, TBAA - type based > alias analysis and CFL-AA. > > Xin > > On Tue, Apr 7, 2015 at 9:32 PM, Wan Zhiyuan <wanzhiyuan at gmail....

Dear all, I was wondering if there are some reliable alias analyses build on top of LLVM other than basicaa. Thank you! Zhiyuan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150407/db07dba3/attachment.html>

...but soon feel lost in so many functions. Just like I have many tools, but don't know which to use and what difference it could make. Is there some better ways to learn LLVM? On Wed, May 8, 2013 at 1:02 PM, Andrew Trick <atrick at apple.com> wrote: > > On May 7, 2013, at 8:26 PM, zhiyuan yang <sjtu.yzy at gmail.com> wrote: > > Hi, > > I am writing a loop pass to replace the backedge with an edge from latch > to exit. > Now I just replace the terminator of latch with another BranchInst, and > the loop will not be a loop after my pass. However, it turns out...

...r; This does not seem to match the signature of SEXP optim(SEXP call, SEXP op, SEXP args, SEXP rho) However, it seems (from the source code) that the 7 parameters are somehow embedded in the 'args' parameter. I am not sure what is going on...Am I missing something? Thanks much!!! Best, Zhiyuan [[alternative HTML version deleted]]

Hello, I use R a lot, one thing bugs me is that when I try the following > x<- -8 > x^(1/3) [1] NaN However, it is fine with -8^(1/3). Priority goes to the power. Can you help me out for this? Thanks. Best, Zhiyuan J. ZHENG Ph.D. Candidate Economic Department Virginia Polytechnic Institute and State University Phone: 540-231-5120 , Blacksburg, VA, 24060 [[alternative HTML version deleted]]

...for mcf and bzip2. I have checked the most imprecise c files in mcf an found that the code seems to be a mixture of "PHI" and "GEP" instructions. Could you please give me some hints about what the big picture of the improvement should be and how to start? Thank you! Regards, Zhiyuan On Mon, Apr 6, 2015 at 5:22 PM, John Criswell <jtcriswel at gmail.com> wrote: > Dear Zhiyuan, > > In order to reproduce the results from the paper, you'll need to replicate > a system from that era. You'll need to use the same version of LLVM and > DSA that the pape...

...uot;. The DSA code I use is from "https://github.com/smackers/smack". I have diff the code between smack and poolalloc_32. They are almost the same except the "#include" statements. I was wondering whether I need to do some configuration to make DSA work properly. Thank you! Zhiyuan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150406/16f18f2d/attachment.html>

...onst [with BlockT = llvm::BasicBlock, LoopT = llvm::Loop]: Assertion `HasInsideLoopPreds && "Loop block has no in-loop predecessors!"' failed. Does this mean I should keep it still a loop after my pass? If so, how could I bypass it? -- *Thank you && Best Regards,* *Zhiyuan Yang* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130508/8c090e6f/attachment.html>

On May 7, 2013, at 8:26 PM, zhiyuan yang <sjtu.yzy at gmail.com> wrote: > Hi, > > I am writing a loop pass to replace the backedge with an edge from latch to exit. > Now I just replace the terminator of latch with another BranchInst, and the loop will not be a loop after my pass. However, it turns out a failure o...

...at* %634 = bitcast float* %633 to i40* %635 = load i40* %634, align 1 %636 = shl i40 %635, 7 %637 = ashr i40 %636, 8 %638 = trunc i40 %637 to float Thanks, ZY On Sat, May 11, 2013 at 3:49 PM, Duncan Sands <baldrick at free.fr> wrote: > Hi ZY, > > > On 11/05/13 20:37, Zhiyuan Ren wrote: > >> Duncan, >> >> Thanks for getting back to me. I am not sure how to find the original >> bitcode >> (and related Ada source code) that causes the truncate. This is the error >> message that gcc gave me when I tried to compile an Ada source file u...

Hi ZY, On 11/05/13 22:21, Zhiyuan Ren wrote: > Duncan, > > here is part of the assembly around the problem area. I used gcc -S -flto to > generate the .s file, llvm-as on the .s fiile will show error: invalid cast > opcode for cast from 'i40' to 'float' %638 = trunc i40 %637 to float > > %633 =...

Duncan, Is there a way (switch) for embedding original source code in the generated .s file? thanks, ZY On Sun, May 12, 2013 at 4:12 AM, Duncan Sands <baldrick at free.fr> wrote: > Hi ZY, > > > On 11/05/13 22:21, Zhiyuan Ren wrote: > >> Duncan, >> >> here is part of the assembly around the problem area. I used gcc -S -flto >> to >> generate the .s file, llvm-as on the .s fiile will show error: invalid >> cast >> opcode for cast from 'i40' to 'float' %638...

...pile an Ada source file using dragonegg plugin (gcc -c -fplugin...). ZY ps, sorry for multiple emails, trying to find out how to reply to a thread in the mailing list On Sat, May 11, 2013 at 12:42 PM, Duncan Sands <baldrick at free.fr> wrote: > Hi ZY, > > > On 10/05/13 22:34, Zhiyuan Ren wrote: > >> Hello, I am new to LLVM and doing some experiment with 3.2 on Ada code. >> Can >> anyone help me on the following error message? >> > > a truncate from an i32 to an f32 is not valid. This caused the code > generator > to abort. What is the or...

Hi ZY, On 11/05/13 20:37, Zhiyuan Ren wrote: > Duncan, > > Thanks for getting back to me. I am not sure how to find the original bitcode > (and related Ada source code) that causes the truncate. This is the error > message that gcc gave me when I tried to compile an Ada source file using > dragonegg plugin (gcc -c...

Hello everyone, Sorry to bother you. I'm an undergraduate, and I'm trying to finish my graduation project using LLVM. In this project, I hope to transform all loop in program to condition statement. For example, Before transformation: for (int i = 0; i < 5; i++) a++; After transformation: int i = 0; if (i < 5) a++; i++; The idea is very clear, however, I'm a newbie to LLVM.

On 12/05/13 18:01, Zhiyuan Ren wrote: > Duncan, > > Is there a way (switch) for embedding original source code in the generated .s file? No. Ciao, Duncan.

Duncan, Is there a way to link or trace .s code to certain lines in the original source code? Thanks, ZY On Sun, May 12, 2013 at 12:01 PM, Duncan Sands <baldrick at free.fr> wrote: > On 12/05/13 18:01, Zhiyuan Ren wrote: > >> Duncan, >> >> Is there a way (switch) for embedding original source code in the >> generated .s file? >> > > No. > > Ciao, Duncan. > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm....

Hi ZY, On 10/05/13 22:34, Zhiyuan Ren wrote: > Hello, I am new to LLVM and doing some experiment with 3.2 on Ada code. Can > anyone help me on the following error message? a truncate from an i32 to an f32 is not valid. This caused the code generator to abort. What is the original bitcode that caused this? Ciao, Duncan. &...

Hello, I am new to LLVM and doing some experiment with 3.2 on Ada code. Can anyone help me on the following error message? Thanks, ZY LLVM ERROR: Cannot select: 0xa7a0bf0: f32 = truncate 0xa7a5ea8 [ID=24] 0xa7a5ea8: i32 = X86ISD::SHLD 0xa790280, 0xa790390, 0xa76e088 [ID=22] 0xa790280: i32,ch = load 0xa7386a0, 0xa7a68d8, 0xa7a5628<LD1[%1482+4], anyext from i8> [ID=19]

...ce code) that causes the truncate. This is the error message that gcc gave me when I tried to compile an Ada source file using dragonegg plugin (gcc -c -fplugin...). ZY On Sat, May 11, 2013 at 12:42 PM, Duncan Sands <baldrick at free.fr> wrote: > Hi ZY, > > > On 10/05/13 22:34, Zhiyuan Ren wrote: > >> Hello, I am new to LLVM and doing some experiment with 3.2 on Ada code. >> Can >> anyone help me on the following error message? >> > > a truncate from an i32 to an f32 is not valid. This caused the code > generator > to abort. What is the or...