search for: lyu

...perfect about notifying all function passes that transforms have been applied to a function. This is known, and will be taken into account as best as possible. :) If you have any questions, suggestions, comments, etc. about this, then feel free to ping me, George [1] - http://www.cse.cuhk.edu.hk/lyu/_media/paper/pldi2013.pdf?id=home&cache=cache [2] - https://docs.google.com/a/google.com/document/d/1lgKGuVoMVXBnqqT6fGNtgvx4P0I8fJbMPqeuGL9GoNU/pub <https://docs.google.com/a/google.com/document/d/1lgKGuVoMVXBnqqT6fGNtgvx4P0I8fJbMPqeuGL9GoNU/pub> -------------- next part -------------- A...

...arameters in software reliability models. Only infinite failure models are implemented so far. This is the first version of the package. The canonical reference is: J.D. Musa, A. Iannino, and K. Okumoto. Software Reliability: Measurement, Prediction, Application. McGraw-Hill, 1987. Michael R. Lyu. Handbook of Software Realibility Engineering. IEEE Computer Society Press, 1996. http://www.cse.cuhk.edu.hk/~lyu/book/reliability/ Suggestions, bug reports and other comments are very welcome. enjoy and best regards Andreas _______________________________________________ R-packages mailing l...

Hello, Is there any exist LLVM Target (backend) that support PC relative load and store? If so, what exactly is the instruction? Thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20191204/c345ac5c/attachment.html>

On May 7, 2012, at 8:07 AM, Lyu Mitnick <mitnick.lyu at gmail.com> wrote: > Hello all, > > I am willing to do "eliminating the void type" project. Is this really a good idea? I'm not going to argue at length about it, but it is worth thinking about. The only practical downsides of void are when ne...

Hello all, I am willing to do "eliminating the void type" project. Is there anyone working on it? === Overview === The general concept is to replaced void with {}. And 'ret void' is a synonym of 'ret {} {}.' === Further Implementation Details === 1. Deleting VoidTyID 2. Deleting LLVMVoidTypeKind (one-to-one relation between VoidTyID and LLVMVoidTypeKind) 3. Use

I notice you guys formulate your CFL reachability problem as a balanced parentheses problem. What algorithm do you use to solve it? Are you aware of recent work that comes up with linear time and n log n time algorithms to solve this class of problems: http://www.cse.cuhk.edu.hk/lyu/_media/paper/pldi2013.pdf In particular, the time bound from the paper: "However, if we need the precise pointer information for all variables, CFL-based pointer analysis is generally more expensive as it has O(L^3 N^3) complexity [29], where L is the size of the grammar and N is the size of...

...ou guys formulate your CFL reachability problem as a > balanced parentheses problem. > What algorithm do you use to solve it? > > Are you aware of recent work that comes up with linear time and n log > n time algorithms to solve this class of problems: > http://www.cse.cuhk.edu.hk/lyu/_media/paper/pldi2013.pdf > > In particular, the time bound from the paper: > > "However, if we need the precise pointer information for all > variables, CFL-based > pointer analysis is generally more expensive as it has O(L^3 N^3) > complexity [29], where L is the size of...

Hello all, I noticed Eliminating the 'void' type<http://nondot.org/sabre/LLVMNotes/EliminatingVoid.txt>in Random LLVM notes. I am wondering to know what's the meaning of "eliminating" the void type. Is it means the goal is deleting VoidTyID from TypeID enumeration in Type.h? And what Type::getVoidTy() returned is a pointer to a {}? Thanks Mitnick -------------- next

On Apr 21, 2012, at 12:17 PM, Lyu Mitnick wrote: > Hello all, > > I noticed Eliminating the 'void' type in Random LLVM notes. I am wondering to know what's the > meaning of "eliminating" the void type. Is it means the goal is deleting VoidTyID from TypeID > enumeration in Type.h? And what Typ...

Hello Chris, The general concept is to replace void with {}. Void is a weird type in > that it is only allowed as the return value of functions and as the type of > instructions like store. It seems better (though also not particularly > high priority) to eliminate it to make the type system more consistent. > > -Chris > I also noticed a sentence "We can even make

On Apr 22, 2012, at 3:44 AM, Lyu Mitnick wrote: > Hello Chris, > > The general concept is to replace void with {}. Void is a weird type in that it is only allowed as the return value of functions and as the type of instructions like store. It seems better (though also not particularly high priority) to eliminate it to...

On Apr 23, 2012, at 5:57 AM, Lyu Mitnick wrote: > Hello Chris > >> The general concept is to replace void with {}. Void is a weird type in that it is only allowed as the return value of functions and as the type of instructions like store. It seems better (though also not particularly high priority) to eliminate it...

Hello all, I am wondering the use case of undef. Is there any C code that I could get undef if it is compiled by clang. Thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161204/7ab81194/attachment.html>

Hello Chris The general concept is to replace void with {}. Void is a weird type in >> that it is only allowed as the return value of functions and as the type of >> instructions like store. It seems better (though also not particularly >> high priority) to eliminate it to make the type system more consistent. >> > MVT::isVoid and Type::VoidTyID (getVoidTy) have

Hello, I encounter a bug that pumped during execution of "clang -O1". However the bug cannot be reproduced by using "clang -O0 + opt -O1". It seems that "clang -O1" is not the same as "clang -O0 + opt -O1". According to the generated LLVM IRs are large, I would like to use bugpoint with "clang -O1" directly instead of using "clang -O0"

Hi Hal, Thanks for your interest. We tested with the following existing compiler optimizations in LLVM with SPECINT2006 benchmarks: -dse (dead store elimination), -gvn (global value numbering), -licm (loop invariant code motion), -bb-vectorize (basic block vectorization), -memcpyopt (memcpy optimization), -sink (code sinking), -loop-idom (recognize loop idioms), -argpromotion (argument

...chability problem as a > > balanced parentheses problem. > > What algorithm do you use to solve it? > > > > Are you aware of recent work that comes up with linear time and n log > > n time algorithms to solve this class of problems: > > http://www.cse.cuhk.edu.hk/lyu/_media/paper/pldi2013.pdf > > > > In particular, the time bound from the paper: > > > > "However, if we need the precise pointer information for all > > variables, CFL-based > > pointer analysis is generally more expensive as it has O(L^3 N^3) > > comp...

Hello all, I have a question related to noduplicate attribute. For example, if I have the following source code: __attribute__((noduplicate)) __attribute__((always_inline)) void wait () { // some code barrier(); // some code } __attribute__((noduplicate)) void barrier (); void f () { // some code wait(); // some code } Sometimes I observed a phenomenon that

...-8!P8q8K)87{$e9egUE=a^=buG#U+gd3lwlgueRf zE3{fIKmYtQ9Xgcdc*l$x!@z+9S+#1FZ2#osWGpN!Shj2#@4ox)1AW-)rbmw+Oq({1 zzqe=eQY~ri@Ng?LONmV_f$9|vePD{UhRobEo>H9(1i09s8Ks8u(#P6@gn|Vg-(mah z^O)7~!P+OZ+_)epa0=_L*CzFDL`@01X7pm0`HMu`$ZyUP3a*)jaLp`)wM@ZKEF>U% zKTY>-Cw%j3SQIB=-5`Q`;T^H@Yeq?2H0Q%x>ABJ!3?wa`lYU@e(r4It_|xRWW!MH* zehfh3;q@H(YCP-hMzYd-s;nQQQPvL3JR0it;<&kIB`0mWQ=qhxjoqG?s6io>qR><F zDi|mc^~8^icnJ%4e_DP1;1z-yF^90QH$-JrBdW`8UyN6*82^>n7Wf9JEy?GH=0O5P zLrId9;o;%@^2;wcI5@Cu*)mir6+S*bq@|@XVZxnPb5RsYOiTpI>^$|6l9IyCojVB& z3%ea002B%Z3l}bA-MV#@mX`mA*6DPlrlzuT<w_<@n1G>S...

Hello all, I am a beginner of LLVM and I want to add a new backend into LLVM. The calling convention of the target I ported is CDECL. I am wondering to know whether there is already CDECL calling convention implemented in LLVM?? Which CallingConv.td file should I copy and modify for my target?? thanks a lot Mitnick -------------- next part -------------- An HTML attachment was scrubbed... URL: