Auto-vectorization in just-in-time compilers for dynamically typed programming languages

A method for compiling source code, the method comprising:

• receiving source code of a dynamically-typed language wherein types of operations are not defined in the source code;
• generating an intermediate representation from the source code;
• performing interpreted execution of the intermediate representation;
• gathering profile information to determine if optimized machine code should be created or not;
• transforming multiple scalar operations in the intermediate representation from a scalar form to a vector operation, wherein each scalar operation includes a single pair of operands, and the vector operation is single operation on multiple pairs of operands;
• creating a vector guard condition for, at least, a vector operation;
• creating optimized machine code that includes the vector operation and the vector guard condition;
• executing the optimized machine code containing the vector operation;
• mapping an element of the vector guard condition in the optimized machine code to a particular scalar operation of the intermediate representation if the vector guard condition is triggered during execution of the vector operation in the optimized machine code;
• and
• switching back to start interpretation of the intermediate representation from the particular scalar operation when the guard condition is triggered.

A computing device for compiling source code, the computing device including:

• an interpreter configured to interpret an intermediate representation of the source code that includes multiple scalar operations, each scalar operation includes a single pair of operands;
• an optimizing compiler configured to generate optimized machine code including a vector operation corresponding to the multiple scalar operations, the vector operation is single operation on multiple pairs of operands, the optimizing compiler including:
• a vector guard condition generator configured to generate a vector guard condition for one or more vector operations;
• a mapping module to generate a mapping between elements of the vector guard condition and positions in the intermediate representation of the source code;
• and
• a guard condition handler configured to initiate interpretation of a particular scalar operation of the intermediate representation of the source code if the vector guard condition is triggered.