last basic block can be used to exit if it's simple