<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, May 30, 2014 at 11:50 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="">> We can remove the symmetric call because we are sure that one of the operand<br>
> is constant (as we are determining if we know each bit of one of the operand<br>
> - one bit set to 1 and all other to 0), and constants are always arranged on<br>
> RHS, despite their position in original IR. So the last call is not<br>
> required.<br>
<br>
</div>I don't follow. How do you know it is a constant? Wasn't that check<br>
delete in the current patch and we now handle any expression where we<br>
are able to figure out the bits? Also, from your argument the second<br>
call would be dead, but it changes the testcase result.<br></blockquote><br></div><div class="gmail_quote">Ah ! Sorry, we are unsure of only one bit while we know that other bits are all zero (Implementation of <br>
Jingyue Wu comment).<br><br></div><div class="gmail_quote">Strangely though, removing the symmetric call gives good result of test-func.ll you had provided (I donno how but it works, even though the second call would be dead). <br>
</div><div class="gmail_quote">Can you please confirm it? Also can we confirm regarding sanitizer and arm built bot crashes with updated patch?<br></div><div class="gmail_quote">If this works well, we can remove second call and add a FIXME regarding same.<br>
</div><div class="gmail_quote"><br clear="all"></div><br>-- <br>With regards,<br>Suyog Sarda<br>
</div></div>