<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><br><div><br></div><div>Otherwise, we will process t1, get some value, *then* process aa, and immediately mark t1 as needing to be reprocessed since it is a use of aa.  We effectively waste an iteration because all of t1's uses have are going to have the wrong value.</div></div></div></div></blockquote><div><br></div><div>(and of course, this issue affects all passes sparsely propagating things along the SSA graph, not just NewGVN)</div><div> </div></div><br></div></div>