Compiling for multiple virtual machines targeting different processor architectures

A method of compiling a source program prepared in a source language for multiple different processors, the method comprising:

• identifying potential optimizations in the program which are machine independent;
• and
• generating and embedding a compact processor-independent graph structure in an extended static single assignment (SSA) form, comprising a plurality of graph based annotations and alias information identifying the potential optimizations into the program for use by an optimizing translator at one of multiple different target processors.

A medium having computer executable instructions stored thereon for causing a computer to perform a method of compiling a source program prepared in a source language for multiple different processors, the method comprising:

• identifying potential optimizations in the program which are machine independent;
• and
• generating and embedding a plurality of graph based annotations identifying the potential optimizations into the program for use by an optimizing translator at one of multiple different target processors.

A system for compiling a source program written in a high-level source language, comprising:

• a compiler that translates the source program to an intermediate program in an intermediate language substantially independent of the structure of any particular processor and generates a compact graph structure in an extended static single assignment (SSA) form to annotate the intermediate program with processor independent information and processor dependent information and alias information;
• and
• a plurality of virtual machines for translating the intermediate program into an object program in a low-level object language, the object program being optimized for one of a plurality of different processors in response to the processor-dependent information in a selected one of the annotations.

A system for compiling a program written in a high-level source language, comprising:

• a compiler having;
• a translator that translates the source program to an intermediate program in an intermediate language and generates a compact graph structure in an extended static single assignment (SSA) form having annotations and alias information representing potential code optimizations that are independent of the resources of any particular processor, and
• a generator that produces a set of machine dependent annotations containing information concerning the use of the potential code optimizations with respect to the resources of architecturally different processors.

A computer-readable medium containing computer-readable representations of:

• an intermediate program containing optimization information that is substantially independent of the resources of any of a set of specific processors;
• and
• a set of annotations for the intermediate program, each annotation comprising information concerning the structure of the intermediate program with respect to the resources of one of the specific processors of multiple different target processors for executing the program.

A method of compiling a source program prepared in a source language for multiple different processors, the method comprising:

• converting the textual source program into an intermediate program comprised of generic abstraction machine instructions that are independent of any particular processor architecture;
• and
• generating and embedding a compact processor-independent graph structure in an extended static single assignment (SSA) form, comprising a plurality of machine independent annotations in the intermediate program and alias information identifying potential optimizations and constraints for use by an optimizing translator at one of multiple different target processors.

A system having computer-readable instructions for causing a computer to compile a source program prepared in a source language for multiple different processors, the system comprising:

• means for converting the textual source program into an intermediate program comprised of generic abstraction machine instructions that are independent of any particular processor architecture;
• and
• means for generating and embedding a compact processor-independent graph structure in an extended static single assignment (SSA) form, comprising a plurality of machine independent annotations in the intermediate program and alias information identifying potential optimizations and constraints for use by an optimizing translator at multiple different target processors.

A computer-readable medium containing computer-readable representations of:

• an intermediate program containing optimization and constraint information that is substantially independent of the resources of any of a set of specific processors;
• and
• a set of annotations for the intermediate program, each annotation comprising information concerning the structure of the intermediate program with respect to the resources of one of the specific processors for executing the program.