Dataflow analysis to reduce the overhead of on stack replacement

An information handling system comprising:

• one or more processors;
• a memory coupled to at least one of the processors;
• a set of computer program instructions stored in the memory and executed by at least one of the processors in order to perform actions of:
• selecting a first point in a software program corresponding to a compile-time assumption made by a compiler;
• selecting a set of second points corresponding to a set of locations in the software program at which the compile-time assumption can be violated at runtime;
• starting at the first point, propagating backwards in the software program and inserting one or more conditional transitions in the software program where at least one of the set of second points are reached during the backwards propagation;
• and
• executing a compiled version of the software program, resulting in an evaluation of the compile-time assumption at the one or more conditional transitions.

A computer program product comprising a computer readable storage medium, storing computer program code that, when executed by an information handling system, causes the information handling system to perform actions comprising:

• selecting a first point in a software program corresponding to a compile-time assumption made by a compiler;
• selecting a set of second points corresponding to a set of locations in the software program at which the compile-time assumption can be violated at runtime;
• starting at the first point, propagating backwards in the software program and inserting one or more conditional transitions in the software program where at least one of the set of second points are reached during the backwards propagation;
• and
• executing a compiled version of the software program, resulting in an evaluation of the compile-time assumption at the one or more conditional transitions.