<div dir="ltr">Hi,<div><br></div><div>I am working on some range analysis algorithms and I was going through the existing LazyValueInfo pass. </div><div><br></div><div>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.</div><div><br></div><div>I also wanted to know what is the significance and the reason behind naming the pass "Lazy".</div><div><br></div><div>Thank You</div><div>Aditya Kamath</div></div>