Data processing: software development – installation – and managem – Software program development tool – Translation of code
Patent
1995-12-06
2000-06-20
Oberley, Alvin E.
Data processing: software development, installation, and managem
Software program development tool
Translation of code
717 8, G06F 945
Patent
active
060773146
ABSTRACT:
Code motion and redundancy removal based on an Extended Global Value Numbering technique which performs value numbering beyond basic blocks and extended basic blocks. Full redundancies and partial redundancies are identified and iteratively processed until they are no longer movable or removable in the program. The identification and processing is aided by the use of Value Number Lists and Value Number Sets. Provides improved optimization of redundancy and partial redundancy with reduced compilation time and reduced storage.
REFERENCES:
patent: 4642764 (1987-02-01), Auslander et al.
patent: 5327561 (1994-07-01), Choi et al.
patent: 5448737 (1995-09-01), Burke et al.
patent: 5790867 (1998-08-01), Schmidt et al.
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 F.K. Zadeck, "Global Value Numbers and Redundant Computations", Fifteenth ACM Principles of Programming Languages Symposium, Jan. 1988, San Diego, CA., pp. 12-27.
R. Cyton and J. Ferrante, "An Efficient Method for Computing Static Single Assignment Form", Sixteenth Annual ACM Symposium on Principles of Programming Languages Symposium, pp. 25-35, Jan. 1989. Also published as "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph", RC 14756, 7/10/89, IBM Research Report.
B. Alpern, N. Wegman, and F.K. Zadeck, "Detecting Equality of Values in Programs", Conf. Rec. Fifteenth ACM Symposium on Principles of Programming Languages Symposium, pp. 1-11, Jan. 1988.
A. V. Aho, R. Sethi, J.D. Ullman, "Compilers Principles, Techniques, and Tools", Addison Wesley, pp. 292-293, 528-533, 634-636, 709.
J. Choi, R. Cytron, J. Ferrnate, "On the Efficientl Engineering of Ambitious Program Analysis", IEEE Trans. Software Eng. vol. 20, No. 2, pp. 105-114.
Takimoto, Munehiro, (English Translation), Efficient Partial Redundancy Elimination Based Upon Phi-Function Motion, pp. 1-26, Jan. 1995.
C. Click, "Global Code Motion / Global Value Numbering", ACM SIGPLAN, vol. 30, No. 6, pp. 246-257, Jun. 1995.
International Business Machines - Corporation
Lao Sue
Oberley Alvin E.
LandOfFree
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.
Profile ID: LFUS-PAI-O-1848427