Instrumentation for Nested Conditional Checks

2. The method of claim 1, wherein the injecting further comprises adding a counter that is associated with the newly added basic block to count a number of times that the newly added basic block is executed.

3. The method of claim 1, wherein the inner conditional check is identified based at least in part on contents of a dominator tree describing the program code.

4. The method of claim 3, wherein the inner conditional check is selected from a set of candidate conditional branches, each of the candidate conditional branches in the set corresponding to a node in the dominator tree that has more than one child and that does not have potential side effects.

5. The method of claim 4, further comprising removing nodes from the set that do not have an ancestor node in the set.

6. The method of claim 4, wherein the inner conditional check has a different control flow than any of the other nodes in the set.

7. The method of claim 1, wherein the injecting comprises determining a position in the program code for the duplicate of the duplicate inner conditional check based at least in part on one or both of traversing a dominator tree describing the program code and traversing a post dominator tree describing the program code, wherein the placing is at the determined position.

8. The method of claim 1, wherein the executing the first phase and second phase is performed by a compiler.

9. The method of claim 1, further comprising optimizing the program code based at least in part on the new metadata.

10. The method of claim 9, wherein the optimizing comprises switching an order of the conditional checks in the program code.

11. The method of claim 1, wherein a plurality of duplicate inner conditional checks, including the duplicate inner conditional check are placed in the program code.

13. The system of claim 12, wherein the injecting further comprises adding a counter that is associated with the newly added basic block to count a number of times that the newly added basic block is executed.

14. The system of claim 12, wherein the inner conditional check is identified based at least in part on contents of a dominator tree describing the program code.

15. The system of claim 12, wherein the injecting comprises determining a position in the program code for the duplicate of the duplicate inner conditional check based at least in part on one or both of traversing a dominator tree describing the program code and traversing a post dominator tree describing the program code, wherein the placing is at the determined position.

16. The system of claim 12, wherein the executing the first phase and second phase is performed by a compiler.

17. The system of claim 12, wherein the operations further comprise optimizing the program code based at least in part on the new metadata.

18. The system of claim 12, wherein a plurality of duplicate inner conditional checks, including the duplicate inner conditional check are placed in the program code.

20. The computer program product of claim 19, wherein a plurality of duplicate inner conditional checks, including the duplicate inner conditional check are placed in the program code.