> O.k. By fixing the "unnatural loop bug" do you mean changing > contification so that it doesn't create unnatural loops or do you mean > changing limit-check.fun so that it inserts limit checks at loop headers > of unnatural loops? The second should be possible with loop forests. Definitely the latter. I don't want any constraints on SSA control-flow.