<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Fri, Mar 30, 2018 at 9:39 AM Adrian Prantl <<a href="mailto:aprantl@apple.com">aprantl@apple.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I'm really sorry for not realizing this yesterday, but the problems pertaining to inlining made me realize that your original design with the dbg.label intrinsic might actually be a better approach especially when considering optimized code. We will get inlining support for free because it is just another instruction and it can deal with more than one label at the same address. It looks a bit more complicated in unoptimized code, but that seems like a small price to pay.<br>
<br>
We just need to make sure that the backend doesn't get confused when loop unrolling duplicates a dbg.label but that should be doable.<br></blockquote><div><br></div><div>+10, it should be an intrinsic. </div></div></div>