<div dir="ltr"><div>Also note: </div><div>I'm aware that it says:</div><div>"</div><div><br></div><div>// These routines implicitly resolve undef uses. The easiest way to be safe when</div><div>// using these routines to obtain simplified values for existing instructions is</div><div>// to always replace all uses of the instructions with the resulting simplified</div><div>// values. This will prevent other code from seeing the same undef uses and</div><div>// resolving them to different values.</div><div>"<br><br></div><div>This is actually what we are doing.</div><div><br></div><div>For an analysis, we obviously have two choices:<br></div><div><br></div><div>Fix where we choose inconsistently (which is what i would rather do) so it fixpoints properly, until we run up against something that makes that impossible.</div><div><br></div><div>or</div><div><br></div><div>Hack around this.</div><div><br></div><div>I'd rather do the first if we can :)</div></div>