Complier and method for alias checking in a complier

Details Complier and method for alias checking in a complier Complier and method for alias checking in a complier

1995-11-16

1996-09-10

Oberley, Alvin E.

Boots, shoes, and leggings

3642804, 3642805, 364DIGI, 364973, 364DIGII, G06F 945

Patent

active

055554121

ABSTRACT:
An aliasing method and apparatus carried out on a digital computer are provided for generating an object code from a source program. An aliasing data structure is defined and includes an initial empty check-list for each variable in the source program. A pseudo variable is constructed to represent each predefined large alias class. The pseudo variable is attached to the check-list of each variable included in the predefined alias class. Inverse alias checking upon use of a variable is provided using the check-lists for the variable.

REFERENCES:
patent: 4517640 (1985-05-01), Hattori et al.
patent: 4635189 (1987-01-01), Kendall
patent: 4714992 (1987-12-01), Gladney et al.
patent: 4714996 (1987-12-01), Gladney et al.
patent: 4845656 (1989-07-01), Nishibe et al.
patent: 4853843 (1989-08-01), Ecklund
patent: 5043871 (1991-08-01), Nishigaki et al.
patent: 5050071 (1991-09-01), Harris et al.
patent: 5101345 (1992-03-01), MacPhail
patent: 5107418 (1992-04-01), Cramer et al.
patent: 5146594 (1992-09-01), Iitsuka
patent: 5278986 (1994-01-01), Jourdenais et al.
Pyster, A. "Compiler Design and Construction", 1980, pp. 15, 22, and 23.
Horwitz et al., "Dependence Analysis for Pointer Variables," 1989, pp. 28-40.
Neirynck et al., "Computation of Aliases and Support Sets," Oct. 16, 1986, pp. 274-283.
Barth, Jeffrey M., "A Practical Interprocedural Data Flow Analysis Algorithm," Sep. 1978, vol. 21, No. 9, pp. 724-736.
Larus et al., "Detecting Conflicts Between Structure Accesses," Jun. 22-24, 1988, pp. 21-34.
Larus, James Richard, "Restructing Symbolic Programs for Concurrent Execution on Multiprocessors", Report No. UCB/CSD 89/502, May 1989, Computer Science Division (EECS), University of California, Berkeley, California 94720.
Guarna, Vincent J., Jr., "A Technique for Analyzing Pointer and Structure References in Parallel Restructuring Compilers," Proceedings of the 1988 International Conference on Parallel Processing, Aug. 15-19, 1988, pp. 211-220.
Hendren, Laurie J., et al., "Parallelizing Programs with Recursive Data Structures," pp. 1-22.
Arthur B. Pyster, Ph.D, "Compiler Design and Construction", 1980, pp. 11-13, 21, 130.
"Code Optimization Across Procedures" by Stephen Richardson et al, Computer, IEEE 1989.
"Compile-Time Detection of Aliasing in Euclid Programs" by James R. Cordy, Software-Practice and Experience, vol. 14(8) 755-768 (Aug. 1984).
"Hybrid Incremental Alias Algorithms" by Thomas J. Marlowe et al, IEEE 1991 .

Affiliated with

Also associated with

Rating

Complier and method for alias checking in a complier does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Complier and method for alias checking in a complier, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Complier and method for alias checking in a complier will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1328625