Use def chain for static data dependency

Hi everyone,

I am new in this group. I have a basic question. Can use-def chain be used for static data dependency?. Any help regarding this is greatly appreciated.



The def-use chains explicit in the LLVM IR can be used to detect data dependencies on data that is always held in SSA virtual registers. If you want to analyze the data-flow through memory (e.g., through memory allocated by the alloca instruction or a call to the heap allocator), then you need to use iterative data-flow analysis and alias analysis. For example, if a value is the result of an LLVM load instruction, you must use iterative data-flow analysis to determine properties of the value(s) that were stored to that memory location. Regards, John Criswell