1. A computer-implemented method of reordering condition checks, comprising: identifying two or more condition checks in computer code that can be reordered within the code; determining that a later one of the condition checks is satisfied at a frequency that is greater than the frequency at which a preceding one of the condition checks is satisfied; determining if there is an absence of side effects in the two or more condition checks; propagating values to satisfy the condition checks; performing an abstract interpretation on the values that are propagated; determining that the condition checks are exclusive of each other; and reordering the condition checks within the computer code using a hardware processor, wherein the reordering of the condition checks increases computer code processing speeds.