An arrangement is provided for data value recovery in an optimized program by precisely allocating predicate registers to guard branching instructions in the optimized program at compilation time. At execution time, an execution path leading to a recovery point is determined based on values of predicate...http://www.google.ca/patents/US7308682?utm_source=gb-gplus-sharePatent US7308682 - Method and apparatus for recovering data values in dynamic runtime systems