7. A machine accessible medium having associated instructions, which when processed, result in a machine performing: generating a first block of statements within a compiled code for a loop; creating a second block of statements within the compiled code for the loop, wherein the second block of statements separates out conditional load-safe invariant expressions identified in the first block of statements and includes the conditional load-safe invariant expressions in a third block of statements, and wherein the conditional load-safe invariant expressions are executed and loaded from within the third block of statements; and producing a control data structure that identifies each of the conditional load-safe invariant expressions of the first block of statements via a flag for each of the conditional load-safe invariant expressions that is initially set to false in the compiled code and when a processor executes the compiled code each particular flag is set to true when a particular conditional load-safe invariant expression associated with that particular flag executes for a first time thereby causing the processor to execute the second and third block of statements for subsequent iterations of the loop during execution of the compiled code.
7. A machine accessible medium having associated instructions, which when processed, result in a machine performing: generating a first block of statements within a compiled code for a loop; creating a second block of statements within the compiled code for the loop, wherein the second block of statements separates out conditional load-safe invariant expressions identified in the first block of statements and includes the conditional load-safe invariant expressions in a third block of statements, and wherein the conditional load-safe invariant expressions are executed and loaded from within the third block of statements; and producing a control data structure that identifies each of the conditional load-safe invariant expressions of the first block of statements via a flag for each of the conditional load-safe invariant expressions that is initially set to false in the compiled code and when a processor executes the compiled code each particular flag is set to true when a particular conditional load-safe invariant expression associated with that particular flag executes for a first time thereby causing the processor to execute the second and third block of statements for subsequent iterations of the loop during execution of the compiled code. 8. The medium of claim 7 , further including instructions for deciding whether to remove the second block of statements, the third block of statements, and the control data structure from the compiled code based on one or more heuristics.