similar to: [LLVMdev] Re: Adding type qualifies or property

Hi Has anybody tell me how to create some new type qualifies in LVM? A type qualify, like "const" in C, is useful for program analysis. I hope that I can set/get the type qualify of any value in a program analysed. Or, if I could add a property to the value class and set/get the property, it is same to add some new type qualifies. So, I simply insert a "int" private

Hi, Chris I get a new PostDominanceFrontier class by combinating the code of PostDominanceSet/PostDominanceTree/PostDominanceFrontier FunctionPasses. It works very well. BTW: Why the PostDominanceFrontier FunctionPasses does not use the formal argument in runOnFunction(Function &)? Does it gets the Function from PassManager? Thank you. Xia >On Thu, 9 Sep 2004, xia_yimin wrote: >

Hi, When I compile httpd-2.0, llvmgcc reports many struct types and macros undeclared, but gnu-gcc can compile httpd-2.0 completely.

The llvm I using is llvm-1.2, its cfrontend should be based on gcc-3.4, the system I using is RedHat Linux 9.0, I desire to compile httpd-2.0.51. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== ��ɽ��կ���������������ջ�֮�ã�

I want to find buffer overflows from general C programs, a bit like SAFECode :). To quicken the dataflow analysis, I wished to slice operands of character strings from C program using pgmdepgraph, but now, I thought I have to use def-use and use-def chain. Do you think it has any sense? Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html ��

I want to use PgmDependenceGraph pass , but my pass cannot work with PgmDependenceGraph. I tried again in Hello2 pass, and it could not work also. The following is I did with llvm/lib/Transforms/Hello.cpp: 1.insert #include "llvm/Analysis/PgmDependenceGraph.h" in Hello.cpp. 2.insert AU.addRequired<PgmDependenceGraph>() in the getAnalysisUsage(AnalysisUsage &AU) of Hello2.

Why some library functions (such as strcpy,strncpy,etc.) are extended in .bc file? How to keep the originally forms of these library functions in .bc file? Thanks - Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== HP����̨ʽ����������ִ���Ͽ��ж�

Xia, LLVM doesn't really use type qualifiers the way you're thinking about it. In LLVM parlance, types are neither const nor non-const, they just define the fundamental nature of a value. However, LLVM fully supports Constant Values (see include/llvm/Constant.h) and constant global variables (see include/llvm/GlobalVariable.h). You might want to read up on the LLVM IR a bit here:

Hi I hope to use the getAliasSetForPointer(Value *p, unsigned size), the method of AliasSetTracker class, but I donot known what meaning is the argument "size". May somebody tell me? Thanks. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� ===================================================================

I can use the interfaces of AliasAnalysis in my pass, but how to specify the underlaying pass of AliasAnalysis is DSAA? Thanks. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== 15��HPѸ�۱ʼDZ���ǧԪ,����ǧԪ������� (http://ad4.sina.com.cn/wx/ads/hpzhui823.html)

When analysing a function "fn", my FunctionPass needs some PostDominanceFrontier information of functions which are called by function "fn". getAnalysis<PostDominanceFrontier>() cannot give the information, because it only gives the PostDominanceFrontier information of "fn", not the PostDominanceFrontier information of functions called by "fn".

Hi I download the libvorbis-1.1.1 and use the encoderexample.c and decoderexample.c to drive it. The parameters i used is samplingrate: 44.1kbps, channel number: 2, quality :0.4. Now I want to compare it\\\'s complexity with MPEG-2 AAC, but don\\\'t know how to trace into the lib , can you tell me how to do that or tell me how many

Hi Any help is appriatiate. I download the libvorbis-1.1.1 and find it support 2 channels only,is it the truth or i just made a mistake? i think the psychology model is model?,why not use model ?? is it because the patent question? Thank you! ______________________________________ ????2G????? http://mail.sina.com.cn/chooseMode.html ?

On Wed, 17 May 2006, Nai Xia wrote: > Unfortunately, I did not locate the lines in steens-aa for "printf" special case. > In ds-aa, I found the lines below: Right, steens-aa and ds-aa share code for "local analysis", they just stitch it together into an interprocedural analysis in different ways. The code below is used for steens-aa. >

On Mon, 15 May 2006, Nai Xia wrote: > In other words, if I only use -steens-aa and the data_XXXs are all > external global variables( and so inComplete ), Sounds right! > the call to printf will > make the same effect, which I have tested it. > > Am I right ? :) If you've tested it then, yes you're right :). I haven't played with this stuff for a long time,

On Tuesday 16 May 2006 03:19, Chris Lattner wrote: > On Mon, 15 May 2006, Nai Xia wrote: > > > In other words, if I only use -steens-aa and the data_XXXs are all > > external global variables( and so inComplete ), > > Sounds right! > > > the call to printf will > > make the same effect, which I have tested it. > > > > Am I right ? :) >

Hi Chris, I took a haste look at the "Points-to Analysis in Almost Linear Time" by Steens , your PHD thesis and SteensGaard.cpp in LLVM this afternoon. So I think: 1. Actually the basic algorithm described originally by SteensGaard does not provide MOD/REF information for functions. 2. The context insensitive part of Data Structure Analysis (LocalAnalysis) can be deemed as an

On Tue, May 28, 2013 at 04:54:44PM +0800, Wenchao Xia wrote: > ioctl for VHOST_SCSI_SET_ENDPOINT report file exist errori, when I forget > to set it correctly in configfs, make user confused. Actually it fail > to find a matching one, so change the error value. > > Signed-off-by: Wenchao Xia <wenchaolinux at gmail.com> Acked-by: Asias He <asias at redhat.com> BTW, It

cc to Greg for 3.9. > On Tue, May 28, 2013 at 04:54:44PM +0800, Wenchao Xia wrote: >> ioctl for VHOST_SCSI_SET_ENDPOINT report file exist errori, when I forget >> to set it correctly in configfs, make user confused. Actually it fail >> to find a matching one, so change the error value. >> >> Signed-off-by: Wenchao Xia <wenchaolinux at gmail.com> > >

cc to Greg for 3.9. > On Tue, May 28, 2013 at 04:54:44PM +0800, Wenchao Xia wrote: >> ioctl for VHOST_SCSI_SET_ENDPOINT report file exist errori, when I forget >> to set it correctly in configfs, make user confused. Actually it fail >> to find a matching one, so change the error value. >> >> Signed-off-by: Wenchao Xia <wenchaolinux at gmail.com> > >