“…Loops that do not contain conditional branches (IF-THEN-ELSE constructs) have been both theoretically and practically analyzed in detail [2,5,9,11,20]. In contrast, there are few theoretical and empirical results for loops with conditional branches [10,12,22,27], and several effective methods for their optimization [6,7,14,16,17,23,24,25,26,28,30]. This work addresses the problem of parallelization of such loops.…”