1. A computing device to optimize program code, the computing device comprising: a compiler hardware module to: (i) identify a section of program code to be optimized, (ii) demarcate at least a portion of the section of program code as an atomic region in response to identification of the section of program code to be optimized, (iii) insert speculative checkpoint code at a speculative checkpoint determined to be within the atomic region, and (iv) optimize the section of program code in response to identification of the section of program code to be optimized; and a decode hardware module to determine the speculative checkpoint within the atomic region.