similar to: [LLVMdev] The use-define chain in LLVM

Thanks for your response! But I want to determine wheter the specific variable's value has been changed between two usages of variable, and wheter the parameter's value is changed in a function. Like the reaching definition analysis, and ud chains. 2012/8/9 ��f�� (Wei-Ren Chen) <chenwj at iis.sinica.edu.tw>: > On Thu, Aug 09, 2012 at 11:16:15AM +0800, Jianfei Hu wrote: >>

Maybe My statement is not clear. Take an example: main.c: int global; void fun(int array[], int i){ array[i] = i + 1; global = i; } int main(){ int arr[40], i = 0; fun(arr, 10); return 0; } Can I determine whether the value of arr array and global variable have changed after the function call, fun(arr, 10), by LLVM API? It could be more complicated considerring the nested function

On Thu, Aug 9, 2012 at 6:57 AM, Jianfei Hu <hujianfei258 at gmail.com> wrote: > Thanks for your response! > > But I want to determine wheter the specific variable's value has been > changed between > two usages of variable, and wheter the parameter's value is changed in > a function. Like the > reaching definition analysis, and ud chains. > > > 2012/8/9

On 8/9/12 12:40 AM, Jianfei Hu wrote: > Maybe My statement is not clear. Take an example: > main.c: > int global; > void fun(int array[], int i){ > array[i] = i + 1; > global = i; > } > > int main(){ > int arr[40], i = 0; > fun(arr, 10); > return 0; > } > Can I determine whether the value of arr array and global variable > have changed

On Thu, Aug 09, 2012 at 11:16:15AM +0800, Jianfei Hu wrote: > Hello All, > > Is the use-define chain related API avaliable in LLVM? I want > to get the information > about the variables' value changes at different points in the program. Is this [1] fit your need? HTH, chenwj [1] http://llvm.org/docs/ProgrammersManual.html#iterate_chains -- Wei-Ren Chen (陳韋任)

Yes, this demanding comes from our recent research project. If it's avaiable, could you send me the source code of taint-tracking analysis ? I really appreciate your help. Thanks! 2012/8/9 John Criswell <criswell at illinois.edu>: > On 8/9/12 12:40 AM, Jianfei Hu wrote: >> >> Maybe My statement is not clear. Take an example: >> main.c: >> int global; >>

Hi, I need to find out all the places where the value of a variable is being used. For this I have to implement reaching definitions(def-use chains). When I searched for its implementation I found Iterating over def-use & use-def chains <http://llvm.org/docs/ProgrammersManual.html#iterate_chains>. will this work for finding the places where a variable is reaching? I tried to use

On 5/3/11 4:08 PM, tarun agrawal wrote: > HI > > I know it is a very simple question not worth asking here but I am > really struggling pls help me out.. This is a question worth asking; it's just that not everyone can answer all the time. :) If all you want to do is to follow the SSA def-use chain within a single function, then this is very easy. All you have to do is use

Hello All, What would be the best way to trace Value Dependency Chains in LLVM. Can I use some API to perform this? The use-def chain process mentioned at http://llvm.org/docs/ProgrammersManual.html#iterate_chains will just get the values (Operands) being used in the current Instruction. For getting the values operands in the particular instruction are influenced from I have to recursively call

Thanks John, I know how to iterate through def-use chains and I also have realized the need for an algorithm to do the work. But the algorithm I am able to figure out is not linear in time. It wold be a great help if someone suggest me a way to get all basic-block along all path between two instruction. On Wed, May 4, 2011 at 7:00 AM, John Criswell <criswell at illinois.edu> wrote: >

HI I know it is a very simple question not worth asking here but I am really struggling pls help me out.. On Tue, May 3, 2011 at 10:10 PM, tarun agrawal <tarun at cse.iitb.ac.in> wrote: > Hi, > > I need to get all the basic blocks that are there, in the path from > definition of an instruction to use of that instruction. > > > Regards > Tarun > --------------

Dear Tarun, It just occurred to me that this may or may not be what you are asking about. This only finds basic blocks along the def-use chain of an instruction; it does not find all basic blocks along all paths between two instructions. I don't know of an algorithm off-hand for the latter, but if you understand how to iterate over def-use chains and the control-flow graph, then

Hi, I need to get all the basic blocks that are there, in the path from definition of an instruction to use of that instruction. Regards Tarun -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110503/4d3852b7/attachment.html>

On 8/4/11 1:53 PM, Manish Gupta wrote: > It would be great help if someone can point me to similar code in > Analysis or Transform, i.e. tracing value dependencies chains. If I understand correctly, given an instruction I, you want to find its operands o1 through oN, and then find the instructions (or LLVM values) that generate the values o1 through oN, and then find the instructions

It would be great help if someone can point me to similar code in Analysis or Transform, i.e. tracing value dependencies chains. Thanks, Manish On Wed, Aug 3, 2011 at 10:47 AM, Manish Gupta <manishg at cs.ucsd.edu> wrote: > Hello All, > > What would be the best way to trace Value Dependency Chains in LLVM. Can I > use some API to perform this? > > The use-def chain

Hi Duncan Sands, I frankly don't know what a variable gets converted to (SSA register or memory chunk). What I meant is, for example I1: int i, j=10; I2: scanf("%d", &j); I3: i = j + 1; Here I want to know whether the value of j in I1 reaches I3 or not. Best Regards, Srikanth Vaindam you didn't define what you mean by a variable. LLVM has virtual registers which are

2012/8/25 Iaroslav Markov <ymarkov at cs.stonybrook.edu>: > Can't you do it by performing some analysis on CFG? You can traverse that structure with BFS. And after that for all the BB you have visited more than once, you try to find a parent that has a branch instruction as a terminator. Additionally you ensure that there are no BB with branches as terminators on your way. If such

Hello All, I want to dertermine whether a basicblock is in a conditional branch. such as, //============================= if a > 2 // BasicBlock A then BasicBlock B endif BasicBlock C //============================= What I want to identify is BasicBlock B, which is in a condtional block. but C is not. In other words, I want to distinguish BasicBlocks that * must * be executed and that

Hey John, Yes this is what I am looking for. I wrote a code as I described in my first mail and I am getting desired result except when the chain encounters load instruction (you have also mentioned the that u skip loads). I think the recursive trace back for a Value V depending on Operands (o1,...oN) should terminate at the nearest definition of the oN (i.e. it is not an instruction but a LLVM

Hello, I want to traverse CallGraph code segment: virtual void getAnalysisUsage(AnalysisUsage &AU) const { AU.addRequired<CallGraph>(); } virtual bool runOnModule(Module &F) { CallGraph &g = getAnalysis<CallGraph>(); for ( CallGraph::iterator i = g.begin(); i != g.end(); i++) { errs()<<"-----------------\n";