Upon writing my register allocation algorithm, I am concerned that a load may be skipped due to a branch. <div><br></div><div>For instance consider the psudocode<div><br></div><div>int x = 1</div><div>...</div><div>if( false )</div>
<div>  load x</div><div>  y = 3*x</div><div>else</div><div>  y = 4*x</div><div>...</div></div><div><br></div><div>The load happens in the false block because this is when the variable is first seen. The load is not preformed in the else block because the register allocator may see it loaded already.</div>
<div><br></div><div>Do I need to be concerned about cases like this?</div><div><br></div><div>Thanks,<br>Jeff Kunkel</div>