The modulo interval: a simple and practical representation for program analysis

Author

Nakanishi, Tsuneo ; Joe, Kazuki ; Polychronopoulos, Constantine D. ; Fukuda, Akira

Author_Institution

Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan

fYear

1999

fDate

1999

Firstpage

91

Lastpage

96

Abstract

In this paper, the modulo interval, an extension of the traditional interval on real numbers, and its useful mathematical properties are presented as a representation for program analysis. Only with two additional parameters to the interval on real numbers, namely the modulus and the residue, the modulo interval can represent information on programs having cyclicity such as loop indices, array subscripts etc., at reasonable complexity and more accuracy. Well-defined arithmetic and set operations on the modulo interval make implementation of compilers simple and reliable. Moreover, application of the modulo interval to program analysis for parallelizing compilers is discussed in this paper

Keywords

parallel programming; parallelising compilers; program control structures; arithmetic; array subscripts; complexity; cyclicity; loop indices; mathematical properties; modulo interval; parallel programming; parallelizing compilers; program analysis; real numbers; set operations; Arithmetic; Program processors;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Architectures and Compilation Techniques, 1999. Proceedings. 1999 International Conference on

Conference_Location

Newport Beach, CA

ISSN

1089-795X

Print_ISBN

0-7695-0425-6

Type

conf

DOI

10.1109/PACT.1999.807422

Filename

807422