Displaying 2 results from an estimated 2 matches for "localanalysis".
2013 Aug 07
1
[LLVMdev] DSA - LocalDataStructures pass does not create DSGraphs
...3. Therefore I wrote a quick patch
to make poolalloc 3.2 compile with llvm 3.3 (mostly adaptions to file
relocations were necessary). The patch is attached as it is quite small.
With the foundations working a simple test before getting serious seemed to be
a good idea. So I tried to perform the LocalAnalysis (LocalDataStructures pass
in poolalloc) on the running example (LLVM-IR obtained by clang) of Chris
Lattner's PHD thesis (p. 44) (code attached).
When this pass(LocalDataStructures) is run I can call dumpCallGraph() on it
and get the correct result. But calls to hasDSGraph(const Function &a...
2006 May 15
2
[LLVMdev] Re: __main() function and AliasSet
...alysis 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 enhancement of Steens' with field sensitive and MOD/REF information
3. The implementation of -steens-aa in LLVM is through Data Structure Analysis with MOD/REF logic for functions as below:
i. inComplete nodes may MODREF by all function.
ii. external function doe...