<div dir="ltr">On Wed, Apr 30, 2014 at 8:20 AM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">We currently force symbols to be globals in .thumb_set. The intent<br>

seems to be that given<br>
<br>
.thumb_set foo, bar<br>
<br>
we emit an undefined symbol to bar if it is never defined. The side<br>
effect is that we mark bar as global, even if it is defined, which gas<br>
does not.<br>
<br>
Producing an undefined reference to bar is probably a general<br>
difference from MC and gas. For example, given<br>
<br>
a = b<br>
<br>
gas will produce an undefined reference to b, MC will not. I would be<br>
surprised if any code depends on this, but it it does, we should fix<br>
the general difference, not special case .thumb_set.<br></blockquote><div><br></div><div><div>I agree that we should address this generally rather than handle the special case in the thumb_set directive.  IMO we should fix this (as having a reference to an undefined symbol within a pure assembler file is not unreasonable) rather than just state that we don't generate a reference.</div>
<div><br></div><div>The change itself looks correct, my only hesitation is due to the change in behaviour (although, if you want to do that in a separate change, that is good enough for me).</div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

Cheers,<br>
Rafael<br>
</blockquote></div><br>-- <br>Saleem Abdulrasool<br>compnerd (at) compnerd (dot) org
</div></div>