If I understand right, it's similar to caching but done beforehand, automatically identifying what can be done. Just like in their examples moving a loop invari

If I understand right, it's similar to caching but done beforehand, automatically identifying what can be done. Just like in their examples moving a loop invariant out is similar to either calculating once and caching or manually moving it out - but you let your compiler do that.