Method and apparatus for compiling source code using symbolic execution

摘要

A method and apparatus for optimizing the compilation of a computer program by exposing parallelism are disclosed. Information describing the operations in the program and their sequence is extracted (51) and stored in a data structure. The operations in the program which involve index expressions are identified and symbolically executed (58), producing information describing the memory accesses by the program. Operations which can be executed in parallel are identified based on the information describing memory accesses. The program is interrogated with questions (56) in a question data structure relating to how the program accesses memory. The answers to the questions are accumulated in index sets and back annotated (59) into the question data structure.