finished ir, left docs & rd ssa, opt & revise