Jump threading

In computing, jump threading is a compiler optimization. In this pass, conditional jumps in the code that branch to identical or inverse tests are detected, and can be "threaded" through a second conditional test. This is easily done in a single pass through the program, following acyclic chained jumps until the compiler arrives at a fixed point.