Kapittel 13, «mer om løkkeoptimalisering» (), utdyper drøftelsen av løkkeoptimalisering. Kapittelet starter med å behandle dominatorer, en kontrollflytgraf hvor node dominerer en node . Deretter fortsetter det med å behandle reduserbare flytgrafer og beregninger av løkkeinvarianter. Deretter behandles eliminasjon av induksjonsvariabler. Avslutningsvis behandles en del andre løkkeoptimaliseringer.