ISSN:
1573-7640
Keywords:
data dependence analysis
;
value-based dependences
;
memory reference disambiguation
;
assembly code
;
monotone data flow frameworks
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Determination of data dependences 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 whether two memory operations may access (or definitely access) the same memory location. In this paper we describe a new approach for the determination of data dependences in assembly code. Our method is based on a sophisticated algorithm for symbolic value propagation, and it can derive value-based dependences between memory operations instead of just address-based dependences. We have integrated our method into the Salto system for assembly language optimization. Experimental results show that our approach greatly improves the precision of the dependence analysis in many cases.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1007588710878
Permalink
