Compiling code for parallel processing architectures based on control flow

A computer program product tangibly stored on a hardware computer readable medium, the computer program product for configuring a system comprising a plurality of computation units interconnected by an interconnection network for instruction level parallelism, the computer program product comprising instructions to cause a processor to:

• receive an input program;
• divide code of the input program for execution on the system comprising a plurality of computation units into memory analysis regions, with a memory analysis region including at least one scheduling region that is fully contained in exactly one memory analysis region;
• perform memory analysis on each memory analysis region individually to partition static memory references into equivalence classes;
• identify equivalence classes and for standalone programs without cache coherence, the computer program product executes instructions to:
• determine whether the input program is standalone and has full control of its memory;
• and
• perform global analysis on memory accesses to divide memory accesses and objects into the equivalency classes.

A system comprises:

• one or more processors;
• memory executing a computer program product for configuring a system comprising a plurality of computation units interconnected by an interconnection network for instruction level parallelism, the program comprising instructions to cause the one or more processors to:
• receive an input program;
• divide code of the input program, for execution on the system comprising a plurality of computation units, into memory analysis regions, with a memory analysis region including at least one scheduling region that is fully contained in exactly one memory analysis region;
• perform memory analysis on each memory analysis region individually to partition static memory references into equivalence classes;
• identify equivalence classes and for standalone programs without cache coherence, the computer program product executes instructions to:
• determine whether the input program is standalone and has full control of its memory, and
• perform global analysis on memory accesses to divide memory accesses and objects into the equivalency classes.