1. A method that uses value speculation to break constraining dependencies in loops, comprising: identifying a loop within a computer program; identifying a dependency on a long-latency operation within the loop that is likely to constrain execution of the loop; and breaking the dependency by modifying the loop to, predict a value within the loop that will break the dependency, and to use the predicted value to speculatively execute subsequent instructions within the loop.