Can following the use-def chains find other instances, or be more efficient about identifying when a memory operation has redundant calculations?