<div dir="ltr">DWARF may describe locations, but LLVM IR describes values and just happens to reuse the DWARF opcodes for it's expressions.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 20, 2016 at 8:37 PM, Adrian Prantl <span dir="ltr"><<a href="mailto:aprantl@apple.com" target="_blank">aprantl@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
> On Jan 16, 2016, at 9:01 PM, Keno Fischer <<a href="mailto:kfischer@college.harvard.edu">kfischer@college.harvard.edu</a>> wrote:<br>
><br>
> loladiro added a comment.<br>
><br>
> Yeah, I was fearing something like that, although I had hoped that since this won't actually show  up in the generated assembly (or at least it shouldn't), it might be ok. In any case, I don't think this is representable in debug info currently without having an actual trunc instruction. We could modify the DIExpression to be able to express truncation, but that's somewhat tricky, since DWARF does not have such an operation. @aprantl, thoughts?<br>
<br>
</span>Is the problem the Verifier? Because DWARF expressions are supposed to describe the location of a value rather than the value a truncation operation doesn’t necessarily make sense.<br>
<span class="HOEnZb"><font color="#888888"><br>
-- adrian</font></span></blockquote></div><br></div>