If a LoadNode has only its memory input inside the loop, and we can prove that no node inside the loop interferes with the load, the memory input can be changed to the loop entry, allowing the load to be hoisted above the loop.