<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 style><br></div><div style>cheers,</div><div style>--renato</div></div></div></div>