Information about LazyValueInfo pass

Hi,

I am working on some range analysis algorithms and I was going through the existing LazyValueInfo pass.

I couldn’t understand the code completely, so I wanted to know if there was any documentation or research paper behind the implementation which could improve my understanding of the code.

I also wanted to know what is the significance and the reason behind naming the pass “Lazy”.

Thank You
Aditya Kamath