search for: 7ff9fd8a

Hi Johannes, This is very helpful and thank you for the quick response. I imagine that the usual nested loop structure is something like: loop1_header_bb bbs_between_loop1_header_and_loop2_header loop2_header_bb loop_body_bbs br loop2_header_bb instructions_before_loop1_end_and_after_loop2_end br loop1_header_bb In this case you mean that loop2_header_bb might need to be split before