Interprocedural data-flow analysis that supports recursion while

Details Interprocedural data-flow analysis that supports recursion while Interprocedural data-flow analysis that supports recursion while

1995-06-15

1997-09-23

Kriess, Kevin A.

G06F 944

Patent

active

056714190

ABSTRACT:
A computer implemented method performs flow-sensitive interprocedural data flow analysis without iteration for a class of interprocedural problems. The accuracy of the solution can approach the iterative result without the compile time cost. For interprocedural constant propagation (ICP), this method is more effective than existing methods and costs about the same compilation time. For flow-sensitive ICP over a program call graph (PCG), the method supports recursion while only performing one flow-sensitive analysis of each routine. If the PCG has cycles, a flow-insensitive solution is precomputed for constant propagation. During the flow-sensitive computation, the flow-insensitive result is used for a back edge. This permits a flow-sensitive solution to be obtained in one forward traversal of the PCG. This method can also be used to compute returned constants with one reverse traversal of the PCG. For flow-sensitive USE over a program call graph (PCG), the method supports recursion while only performing one flow-sensitive analysis of each routine. If the PCG has cycles, a flow-insensitive solution for a reference set (REF) is precomputed. During the flow-sensitive USE computation, the flow-insensitive REF solution is used for a back edge. This permits a flow-sensitive USE solution to be obtained in one reverse traversal of the PCG.

REFERENCES:
patent: 5428793 (1995-06-01), Odnert et al.
patent: 5457799 (1995-10-01), Srivastava
patent: 5485616 (1996-01-01), Burke et al.
patent: 5535394 (1996-07-01), Burke et al.
patent: 5539907 (1996-07-01), Srivastava
patent: 5555417 (1996-09-01), Odnert et al.

Affiliated with

Also associated with

Rating

Interprocedural data-flow analysis that supports recursion while does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Interprocedural data-flow analysis that supports recursion while, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interprocedural data-flow analysis that supports recursion while will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1942297