Executing a part of a compiler generated code as a function

Abstract

A method is provided for validating a compiler-generated program portion that forms an optimized runnable code relative to an input runnable code. The method computes respective data sets used by the compiler-generated program portion. The respective data sets include (i) memory inputs UM, (ii) constant data memory areas UM_CONST, (iii) output memory areas DM, and (iv) output registers DR. The method copies the compiler-generated program portion to another memory area from a current memory area and appends a return instruction back to the current memory area at each exit point of the compiler-generated program portion. The method computes minimum and maximum base register offsets for base registers, from a union formed from a subset of the respective data sets. The method computes an allocation size for each of the base registers and an address assigned to each of the base registers. The method executes the copied compiler-generated program portion using (a) the minimum and maximum base register offsets, (b) the allocation size, and (c) the address assigned to each of the base registers, executes the input runnable code, examines results of the input runnable code in the output memory areas DM and of the compiler-generated program portion in the output registers DR, and indicates that the compiler-generated program portion is valid responsive to the results being identical.