Method of, system for, and computer program product for providin

Details Method of, system for, and computer program product for providin Method of, system for, and computer program product for providin

1995-12-06

2000-03-07

Toplu, Lucien U.

G06F 945

Patent

active

060351241

ABSTRACT:
A fast and efficient way of performing extended global value numbering beyond basic blocks and extended basic blocks on a complete topological ordering of basic blocks in a program. Global value numbering is further extended with a Value Number List, an ordered list of value numbers of an expression, and iterative processing of a worklist containing expressions which are recursively defined. A hash table is used to reduce storage and processing time.

REFERENCES:
patent: 4642764 (1987-02-01), Auslander et al.
patent: 4802091 (1989-01-01), Cocke et al.
patent: 5327561 (1994-07-01), Choi et al.
patent: 5448737 (1995-09-01), Burke et al.
A. V. Aho, R. Sethi, J. D. Ullman, Compilers Principles, Techniques, and Tools, Addison Wesley, pp. 292-293, 528-533, 634-636, 709.
B.K. Rosen, M. N. Wegmen, and F. K. Zadeck, "Global value numbers and redundant computations", 15th ACM Principles of Programming Languages Symposium, San Diego, CA, pp. 12-27.
B.K. Rosen, M. N. Wegman, and F. K. Zadeck, "Global value numbers and redundant computations", 15th ACM Principles of Programming languages Symposium, San Diego, CA, pp. 12-27.
E. Morel and C. Renvoise, "Global Optimization by Suppression of partial Redundancies", Communications of the ACM, vol. 22, No. 2, Feb. 1979, pp. 96-103.
B. Rosen, M. Wegman, and K. Zadeck, "Global Value Numbers and Redundant Computations", Fifteenth ACM Principles of Programming Languages Symposium, 12-27, Jan. 1988, San Diego, CA.
R. Cytron and J. Ferrante, "An Efficient Method for Computing Static Single Assignment Form", Sixteenth Annual ACM Symposium on Principles of Programming Languages Symposium, 25-35, Jan. 1989. Also published as "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph", RC 14756, Jul. 10, 1989, IBM Research Report.
B. Alpern, N. Wegman, and F.Zadeck, "Detecting Equality of Values in Programs", Conf. Rec. Fifteenth ACM Symposium on Principles of Programming Languages Symposium, 1-11, Jan. 1988.
Takimoto et al, "Partial Redundancy Elimination Based on Phi Function Motion", Japan Science, pp. 21-30.

Affiliated with

Also associated with

Rating

Method of, system for, and computer program product for providin does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method of, system for, and computer program product for providin, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of, system for, and computer program product for providin will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-371100