Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
International journal of parallel programming, 2000-10, Vol.28 (5), p.431-467
Ort / Verlag
New York: Springer Nature B.V
Erscheinungsjahr
2000
Link zum Volltext
Quelle
SpringerLink
Beschreibungen/Notizen
Determination of data dependencies is a task typically performed with high-level language Source code in today's optimizing and parallelizing compilers. Very little work has been done in the field of data dependence analysis on assembly language code, but this area will be of growing importance, e.g., for increasing instruction-level parallelism. A central element of a data dependence analysis in this case is a method for memory reference disambiguation which decides this case is a method for memory location. In this paper a new approach is described for the determination of data dependencies in assembly code. The method is based on a sophisticated algorithm for symbolic value propagation, and it can derive value-based dependencies between memory operations instead of just address-based dependencies. The method is integrated into the SALTO system for assembly language optimization. Experimental results show that the approach greatly improves the precision of the dependence analysis in many cases.