<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jan 15, 2018, at 12:54 PM, Raj Barik &lt;<a href="mailto:rkbarik@gmail.com" class="">rkbarik@gmail.com</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">Mark,<div class=""><br class=""></div><div class="">Thanks a lot for quick reply.</div><div class="">&nbsp;</div><div class="">Is there any reason this interface in SILInstruction should be private?</div><div class="">void setDebugScope(SILBuilder &amp;B, const SILDebugScope *DS);<br class=""></div><div class=""><br class=""></div><div class="">In my case, I am splicing the old F into the new function NF. While splicing retains the debug scope, the new instruction (InitRef) that I am adding to NF is being created in some random scope (not F) even though I explicitly make Builder's debug scope point to F's.&nbsp;</div></div></div></blockquote><div><br class=""></div><div>The assert you originally hit appears to indicate that the parentFunction of the debug scope for an instruction should be the same as the function the instruction is in. I am not very familiar with the requirements of our debug information and debug scopes, but this seems like a reasonable expectation.</div><div><br class=""></div><div>I suggested looking at SILCloner because it is the primary way by which we clone functions, and clearly has to deal with debug scopes when it does so.</div><div><br class=""></div><div>I’m not sure how much more help I can be on this matter, but perhaps someone more knowledgable can chime in.</div><div><br class=""></div><div>Mark</div><div><br class=""></div><div><br class=""></div><div><br class=""></div><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">Best,</div><div class="">Raj</div><div class=""><br class=""></div><div class=""><br class=""></div></div><div class="gmail_extra"><br class=""><div class="gmail_quote">On Mon, Jan 15, 2018 at 9:52 AM, Mark Lacey <span dir="ltr" class="">&lt;<a href="mailto:mark.lacey@apple.com" target="_blank" class="">mark.lacey@apple.com</a>&gt;</span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I’d suggest looking at SILCloner.h as well as ScopeCloner in SILBasicBlock.cpp to see how they are dealing with debug scopes.<br class="">
<br class="">
Mark<br class="">
<div class=""><div class="h5"><br class="">
&gt; On Jan 15, 2018, at 9:24 AM, Raj Barik via swift-dev &lt;<a href="mailto:swift-dev@swift.org" class="">swift-dev@swift.org</a>&gt; wrote:<br class="">
&gt;<br class="">
&gt; Hi,<br class="">
&gt;<br class="">
&gt; I am running into a debug scope SIL Verifier error when creating a new function (NF) from an existing one (F). Can someone point me where I am going wrong?<br class="">
&gt;<br class="">
&gt; NF = M.createFunction(...., F-&gt;getDebugScope());<br class="">
&gt; SILBasicBlock *NFBody = NF-&gt;createBasicBlock();<br class="">
&gt; SILBuilder NFBuilder(NFBody);<br class="">
&gt; SILOpenedArchetypesTracker OpenedArchetypesTrackerNF(NF);<br class="">
&gt; NFBuilder.<wbr class="">setOpenedArchetypesTracker(&amp;<wbr class="">OpenedArchetypesTrackerNF);<br class="">
&gt; NFBuilder.<wbr class="">setCurrentDebugScope(NFBody-&gt;<wbr class="">getParent()-&gt;getDebugScope());<br class="">
&gt; ...<br class="">
&gt; for (auto &amp;param : params) { /* Assume all are generic types */<br class="">
&gt;&nbsp; &nbsp;auto GenericsSILType = ....<br class="">
&gt;&nbsp; &nbsp;auto NewArg = NFBody-&gt;<wbr class="">createFunctionArgument(<wbr class="">GenericSILType);<br class="">
&gt;&nbsp; &nbsp;auto Conformances = Mod-&gt;lookupConformance(...);<br class="">
&gt;&nbsp; &nbsp;auto *InitRef = NFBuilder.<wbr class="">createInitExistentialRef( Loc, ArgDesc.Arg-&gt;getType(), NewArg-&gt;getType().<wbr class="">getSwiftRValueType()-&gt;<wbr class="">getCanonicalType(), NewArg, Conformances);<br class="">
&gt;&nbsp; &nbsp;...<br class="">
&gt; }<br class="">
&gt;<br class="">
&gt; The InitRef instruction created above runs into SIL verifier error:<br class="">
&gt;<br class="">
&gt; SIL verification failed: debug scope of instruction belongs to a different function: !DS || DS-&gt;getParentFunction() == I-&gt;getFunction()<br class="">
&gt; Verifying instruction:<br class="">
&gt;&nbsp; &nbsp; %0 = argument of bb0 : $τ_0_0&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;// user: %1<br class="">
&gt; -&gt;&nbsp; &nbsp;%1 = init_existential_ref %0 : $τ_0_0 : $τ_0_0, $SomeProtocol // user: %2<br class="">
&gt;<br class="">
&gt; The SIL looks correct to me though.<br class="">
&gt;<br class="">
&gt; --Raj<br class="">
</div></div>&gt; ______________________________<wbr class="">_________________<br class="">
&gt; swift-dev mailing list<br class="">
&gt; <a href="mailto:swift-dev@swift.org" class="">swift-dev@swift.org</a><br class="">
&gt; <a href="https://lists.swift.org/mailman/listinfo/swift-dev" rel="noreferrer" target="_blank" class="">https://lists.swift.org/<wbr class="">mailman/listinfo/swift-dev</a><br class="">
<br class="">
</blockquote></div><br class=""></div>
</div></blockquote></div><br class=""></body></html>