Transformation of programs to remove nonlocal control flow

Many common techniques used in optimization and parallelization are sensitive to the regularity of the control flow of the programs. Such techniques cannot work effectively on program segments containing nonlocal control flow. An algorithm is introduced to remove nonlocal control flow and thus minimize these negative effects. In this algorithm, the combination of GOTO and RETURN is used to simulate the semantics of nonlocal GOTO, which is beneficial to program structurization, dataflow analysis and the detection of parallelism in programs.