<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>Hi Renato,</div><div><br>Le 11 juin 2013 à 00:53, Renato Golin <<a href="mailto:renato.golin@linaro.org">renato.golin@linaro.org</a>> a écrit :<br><br></div><blockquote type="cite"><div><div dir="ltr">On 7 June 2013 01:00, Quentin Colombet <span dir="ltr"><<a href="mailto:qcolombet@apple.com" target="_blank">qcolombet@apple.com</a>></span> wrote:<br><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 style="word-wrap:break-word"><div>- For ARM backend expert: Confirm that the value is not required. Or put differently, what was the purpose checking if a value was set?</div>
</div></blockquote><div><br></div><div style="">Hi Quentin,</div><div style=""><br></div><div style="">What I think that line is checking is to make sure the value from the operand is addressable, ie. there's something at the other end.</div>
<div style=""><br></div><div style="">The comment above that condition is wrong, it should be below when it's actually checking for the alignment, and that put me off for a while, but now it's clear that this is just a sanity check, possibly introduced to fix a bug somewhere where the load was being created when the dest was not available, possibly breaking validation further down.</div>
<div style=""><br></div><div style="">I don't claim to understand that part of the code, but would be good to know why having a non-addressable "Value" makes your case work. It feels as though the fix should be somewhere else...</div></div></div></div></div></blockquote><div>Well, like I said, the information is destroyed by the stack coloring pass. We may be able to do something there but at least, Nadav confirms that it does what it is expected in that case.</div><div>I am not familiar with the use of value. What do you mean by the value may not be addressable?</div><div>If you can access it through single loads, what prevent you to do it through one multiple load?</div><div><br></div><div>Thanks,</div><div><br></div><div>Quentin</div><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">
<div style=""><br></div><div style="">cheers,</div><div style="">--renato</div></div></div></div>
</div></blockquote></body></html>