Currently the loop structuring algorithm is greedy and feeds all underlying basic blocks from start to finish as the loop body. But the steps must be as follows:
1) the loop header and latching node are marked as such,
2) the inner conditions are structured
3) the loop body is replaced with a single graph node.
Currently the loop structuring algorithm is greedy and feeds all underlying basic blocks from start to finish as the loop body. But the steps must be as follows: 1) the loop header and latching node are marked as such, 2) the inner conditions are structured 3) the loop body is replaced with a single graph node.