Displaying 14 results from an estimated 14 matches for "zhengyang".
2016 Jun 27
1
[GSoC'16] Weekly Status - June 27 - Zhengyang Liu
...lloc ... Regression tests are also completed for this pass.
This week, I plan to
1. Test SAFECode’s bbac implementation on more real-world programs, and fix possible crashes.
2. Discuss with my mentor Prof. John Criswell about the insertion point of free in PromoteArrayAllocas pass.
Best regards,
Zhengyang.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160627/9269b456/attachment.html>
2016 Jun 30
1
How can I make llvm intrinsic functions declarations survive from optimizations.
....used will cause a fail because only users of direct call/invokes are allowed on intrinsic functions.
Fortunately, after some discussion with my GSoC mentor, Prof. Criswell, we chose to rewrite the pass to a module pass, this solves this issue perfectly. Thanks for your patience.
Best regards,
Zhengyang.
________________________________
From: Sanjoy Das <sanjoy at playingwithpointers.com>
Sent: Thursday, June 23, 2016 3:44:09 PM
To: Zhengyang Liu
Cc: llvm-dev at lists.llvm.org
Subject: Re: [llvm-dev] How can I make llvm intrinsic functions declarations survive from optimizations.
Hi Zhengy...
2016 Jun 30
0
[GSoC 2016] SAFECode's Memory Policy Hardening - Midterm Report - Zhengyang Liu
...g cases found in the test.
4. Currently the implementation could work on most of softwares.
For the next half of Google Summer of Code, I would like to discuss more with the community and my mentor John Criswell. Also I would like to write more detailed weekly status on my blog.
Best Regards,
Zhengyang.
[1] https://zhengyangl.github.io
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160630/7eb0ea7e/attachment.html>
2016 Mar 18
1
[GSoC'16] Add a Scheme Frontend for LLVM
...hoice for the scheme frontend of LLVM. On the other hand, compile scheme to LLVM IR will make use of LLVM's optimization techniques. The LLVM backend will boost the performance of bigloo. In this summer, I would like to build a robust, high-performance scheme frontend for LLVM.
About Me:
I am Zhengyang, a M.S. candidate at Beijing University of Posts and Telecomunications working in the area of static program analysis. My CV can be found in [2] . Most of my works are based on Clang. I have contributed to Static Analysis Suite(SAS) from CERN PH-SFT as Google Summer of Code 2015 project. About the...
2016 Jun 23
2
How can I make llvm intrinsic functions declarations survive from optimizations.
...of direct call/invokes are allowed for
intrinsic functions. So is it impossible to solve this problem by
inserting intrinsic function prototype?
Could you please give me some ideas on this , to make these intrinsic
functions prototypes survive from llvm optimizations?
Thank you.
Best regards,
Zhengyang.
2016 Jun 23
0
How can I make llvm intrinsic functions declarations survive from optimizations.
Hi Zhengyang,
Do you mind sharing _why_ you need the intrinsic declarations to stay
around? It is possible that there is a better way of solving your
problem.
Thanks!
-- Sanjoy
2016 Mar 24
2
[GSoC'16] Proposal for Enhance SAFECode’s Baggy Bounds Checking
...inter dangling check).
Week 7 - 8
+ Implement the other checks. This will be discussed with John Criswell.
Week 9 - 11
+ Adopt benchmarks on the generated executables. Evaluate the performance.
+ After GSoC’16
Work out a research paper on this work.
About Me
----------------------------------
I am Zhengyang, a M.S. candidate at Beijing University of Posts and Telecomunications working in the area of static program analysis. My CV can be found in [2]. Most of my works are based on Clang Static Analyzer. I have contributed to Static Analysis Suite (SAS) from CERN PH-SFT as Google Summer of Code 2015 pr...
2016 Mar 25
0
[GSoC] Final Proposal 'Enhance SAFECode’s Baggy Bounds Checking'
...t run-time access hardening.
Week 8 - 9
+ Implement compiler pass, to redirect memory operations to our new algorithm.
Week 10 - 11
+ Adopt benchmarks on the generated executables. Evaluate the performance.
After GSoC’16
+ Work out a research paper on this work.
About Me
---------------------
I am Zhengyang, a M.S. candidate at Beijing University of Posts and Telecommunications working in the area of static program analysis. Most of my works are based on Clang Static Analyzer. I have contributed to Static Analysis Suite (SAS) from CERN PH-SFT as Google Summer of Code 2015 project. About the preparati...
2019 Nov 27
2
LangRef semantics for shufflevector with undef mask is incorrect
...ks,
Nuno
-----Original Message-----
From: Eli Friedman <efriedma at quicinc.com>
Sent: 27 de novembro de 2019 01:10
To: Nuno Lopes <nuno.lopes at ist.utl.pt>; LLVMdev <llvm-dev at lists.llvm.org>
Cc: spatel at rotateright.com; Juneyoung Lee <juneyoung.lee at sf.snu.ac.kr>;
zhengyang-liu at hotmail.com; John Regehr <regehr at cs.utah.edu>
Subject: RE: LangRef semantics for shufflevector with undef mask is
incorrect
The shuffle mask of a shufflevector is special: it's required to be a
constant in a specific form. From LangRef: "The shuffle mask operand is
requir...
2019 Nov 26
4
LangRef semantics for shufflevector with undef mask is incorrect
Hi,
This is a follow up on a discussion around shufflevector with undef mask in
https://reviews.llvm.org/D70641 and
https://bugs.llvm.org/show_bug.cgi?id=43958.
The current semantics of shufflevector in
http://llvm.org/docs/LangRef.html#shufflevector-instruction states:
"If the shuffle mask is undef, the result vector is undef. If any element of
the mask operand is undef, that element
2008 Jan 15
3
bootstrap sampling
Hello,
How do I sample observations with replacement from a normal distribution
with a specific mean and s.d?
(I want to see the sample, not only the statistic.)
Thank you,
Sigalit.
[[alternative HTML version deleted]]
2019 Nov 27
3
LangRef semantics for shufflevector with undef mask is incorrect
...rg><mailto:llvm-dev at lists.llvm.org>
Cc: spatel at rotateright.com<mailto:spatel at rotateright.com>; Eli Friedman <efriedma at quicinc.com><mailto:efriedma at quicinc.com>; Juneyoung
Lee <juneyoung.lee at sf.snu.ac.kr><mailto:juneyoung.lee at sf.snu.ac.kr>; zhengyang-liu at hotmail.com<mailto:zhengyang-liu at hotmail.com>; John Regehr
<regehr at cs.utah.edu><mailto:regehr at cs.utah.edu>
Subject: [EXT] LangRef semantics for shufflevector with undef mask is incorrect
Hi,
This is a follow up on a discussion around shufflevector with undef mask...
2016 Dec 18
1
How to ask MustAlias queries from DSA results
Dear Josh,
> If I understand correctly, if you find memory leak, you want to find the corresponding call(s) to malloc() that allocated the memory object, correct? Can you more completely explain what you are trying to accomplish?
Thanks for your reply. In my task, I use data flow analysis to locate a program point where a malloc must be leaked (by must leaked, I mean (a) it must be
2019 Jan 14
7
Reducing the number of ptrtoint/inttoptrs that are generated by LLVM
Hello all,
This is a proposal for reducing # of ptrtoint/inttoptr casts which are not
written by programmers but rather generated by LLVM passes.
Currently the majority of ptrtoint/inttoptr casts are generated by LLVM;
when compiling SPEC 2017 with LLVM r348082 (Dec 2 2018) with -O3,
the output IR contains 22,771 inttoptr instructions. However, when
compiling it with -O0, there are only 1048