The invention discloses a cross-file inter-
process optimization method based on an algebraic
system. The method includes the following steps: according to the characteristics of the target
machine, select instructions related to stack operations and logic operations, construct an algebraic
system, and provide these instructions with the algebraic
system. Establish a mapping relationship;
traverse the program
call graph PCG from the program entrance, and judge whether the nodes connected by edges belong to different source files, if so, continue to the next step, otherwise continue to
traverse PCG; start from the function call instruction and follow The
control flow graph CFG in the
current function starts to
traverse the
data dependency graph DDG, generates the algebraic expression of the instruction stack operation, and performs expression reduction; analyzes the pop operation of the subsequent node function, reads the constant value from it, and passes it on in sequence , optimize and calculate, and finally delete redundant instruction fragments. The invention effectively merges and releases the optimizeable part in the function stack frame. In addition, the present invention also achieves better effects in cross-file
process optimization, constant propagation and constant calculation.