Boots – shoes – and leggings
Patent
1997-04-01
1999-11-23
Trammell, James P.
Boots, shoes, and leggings
395706, 395707, 3642804, 3642805, G06F 945
Patent
active
059915404
ABSTRACT:
The invention in one embodiment is a method for identifying partially redundant loads in an SSA intermediate language representation of at least a portion of a computer program. The intermediate language representation in this embodiment includes an inserted phi-function and the definitions and their uses have been renamed. The method includes identifying a partially redundant load by determining whether one of the operands in the inserted phi-function is unregisterized.
REFERENCES:
patent: 4435753 (1984-03-01), Rizzi
patent: 4567574 (1986-01-01), Saade et al.
patent: 4656582 (1987-04-01), Chaitin et al.
patent: 4656583 (1987-04-01), Auslander et al.
patent: 4710872 (1987-12-01), Scarborough
patent: 4773007 (1988-09-01), Kanada et al.
patent: 4782444 (1988-11-01), Munshi et al.
patent: 4821181 (1989-04-01), Iwasawa et al.
patent: 4833606 (1989-05-01), Iwasawa et al.
patent: 4885684 (1989-12-01), Austin et al.
patent: 4965724 (1990-10-01), Utsumi et al.
patent: 5287510 (1994-02-01), Hall et al.
patent: 5327561 (1994-07-01), Choi et al.
patent: 5448737 (1995-09-01), Burke et al.
patent: 5475842 (1995-12-01), Gilbert et al.
patent: 5584027 (1996-12-01), Smith
patent: 5659754 (1997-08-01), Grove et al.
patent: 5768596 (1998-06-01), Chow et al.
Alfred V. Aho, Revi Sethi, and Jeffrey D. Ullman, Compilers---Principles, Techniques, and Tools, (Addison-Wesley Publishing Co. 1988), in toto.
Ron Cytron, Jeanne Ferrante, Mark N. Wegman, Barry K. Rosen, and F. Kenneth Zadeck, "An Efficient Method of Computing Static Single Assignment Form" available from the Brown University Department of Computer Science as Technical Report No. CS-88-16 at techreports@cs.brown.edu or through http:/www.cs.brown.edu:80/techreports/reports/CS-91-21.html, in toto.
Ron Cyton, Jeanne Ferrante, Mark N. Wegman, Barry K. Rosen, and F. Kenneth Zadeck, "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph," 13 ACM Transactions on Programming Languages and Systems (1991); also available from the Brown University Department of Computer Science as Technical Report No. CS-91-21 at techreports@cs.brown.edu or through http:/www/cs.brown.edu:80/techreports/reports/CS-91-21.html, in toto.
Mark N. Wegman and F. Kenneth Zadeck, "Constant Propagation with Conditional Branches," presented at the Twelfth Annual ACM Symposium on Principles of Programming Languages, sponsored by the Special Interest Group on Automata and Computability Theory and the Special Interest Group on Programming Languages of the Association for Computing Machinery, Jan. 14-16, 1985, in New Orleans, Louisiana, available from ACM Press and from the Brown University Department of Computer Science as Technical Report No. CS-91-22 at techreports@cs.brown.edu or through http:/www/cs.brown.edu:80/techreports/reports/CS-91-22.html, in toto.
Kathleen Knobe and Kenneth Zadeck, "Register Allocation Using Control Trees", available from the Brown University Department of Computer Science as Technical Report No. CS-92-13 at techreports@cs.brown.edu or through http:/www/cs.brown.edu:80/techreports/reports/CS-92-13.html, in toto.
Eric Stoltz, Harini Srinivasan, James Hook, and Michael Wolfe, "Static Single Assignment Form for Explicitly Parallel Programs: Theory and Practice," available at http:.backslash..backslash.www.cse.ogi.edu/Sparse/sparse.papers.html, in toto.
Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck, "Global Value Numbers and Redundant Computations," presented at the Fifteenth Annual ACM Symposium on Principles of Programming Languages, sponsored by the Special Interest Group on Automata and Computability Theory and the Special Interest Group on Programming Languages of the Association for Computing Machinery, Jan. 13-15, 1988, in San Diego, California, available from ACM Press, in toto.
Fred C. Chow and John L. Hennessy, "The Priority-Based Coloring Approach to Register Allocation," 12 ACM Transactions on Programming Languages and Systems 501 (Association for Computing Machinery 1990), in toto.
Gregory J. Chaitin, Marc A. Auslander, Ashok K. Chandra, John Cocke, Martin E. Hopkins, and Peter W. Markstein, "Register Allocation via Coloring," 6 Computer Languages 47 (Pergamon Press Ltd. 1981), in toto.
G. J. Chaitin, "Register Allocation & Spilling via Graph Coloring," Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, presented Jun. 23-25, 1982, in Boston, Massachusetts, sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM Order No. 548820), in toto.
Vugranam C. Sreedhar, Efficient Program Analysis Using DJ Graphs, Ph. D. Thesis, School of Computer Science, McGill University, Quebec Canada (1995), in toto.
Ganan Agrawal, Joel Saltz, and Raja Das, "Interprocedural Partial Redundancy and its Application to Distributed Memory Compilation," UMIACS and Department of Computer Science at the University of Maryland, in toto.
John H. Reif and Harry R. Lewis, "Efficient Symbolic Analysis of Programs," 32 Journal of Computer and System Sciences 280 (Academic Press, Inc. 1986), in toto.
Mark N. Wegman and F. Kenneth Zadeck, "Constant Propagation with Conditional Branches," 13 ACM Transactions on Programming Languages 181 (1991), in toto.
Gagan Agrawal and Joel Saltz, "Interprocedural Compilation of Irregular Applications for Distributed Memory Machines," (1995), in toto.
Peter Christy, "IA-64 and Merced--What and Why," 10 Microprocessor Rep. 17 (1996), in toto.
Intel Corporation
Smith Demetra R.
Trammell James P.
LandOfFree
Method for identifying partial redundancies in existing processo 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 for identifying partial redundancies in existing processo, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for identifying partial redundancies in existing processo will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1232539