Loop Carried Reuse

Hello,
I need to write an analysis pass to analyze if same address is read/ reused across different loop iterations…

How to do this?
Is it possible with LLVM? or do i need to use polly passes?

Please help.
Thank You

Regards