<div dir="ltr">Hi,<div><br></div><div>I don't think there's enough information in this snippet to follow the specific decisions that the register allocator is making.</div><div><br></div><div>Live range splitting inserts copy instructions to break up live intervals in an effort to relax the constraints on the register allocation problem. The copies that are introduced could be removed again, but only by fusing the interval back together, which would re-introduce the constraints that the splitter was trying to remove. The allocator plays it safe: it splits to remove constraints when it needs to (i.e it runs out of registers that satisfy the current constraints), then it removes copies only if it is able to assign the same register to both the source and destination (i.e. only after it knows it has a solution that satisfies the constraints it is re-introducing).</div>
<div><br></div><div>So to answer your question (I hope): The copy was introduced to relax constraints. Removing it would re-introduce the constraints, which you don't want to do. Hopefully it will be eliminated later by an opportunistic coloring, but this cannot be guaranteed.</div>
<div><br></div><div>Cheers,</div><div>Lang.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 24, 2014 at 7:28 AM, 程伟 <span dir="ltr"><<a href="mailto:stephenia1129@gmail.com" target="_blank">stephenia1129@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Now I am debugging a function named RAGreedy::selectOrSplit(). Two functions called by it, "trySplit()" and "spill()". I am lost in them long time.<div>
I am very confused why it must split VirtReg's LiveRange, and where I can delete the redundant COPY? Or is there any function estimates if a COPY is redundant?</div>
<div><br></div><div>For example, one IR after trySplit():</div><div>ST_dword_ri32_reg  %vreg203, <fi#10>, 0, 0;  GR32:%vreg203</div><div>%vreg24<def> = SHR_ri7  %vreg203, 31;  GR32:%vreg24, %vreg203</div><div>

%vreg202<def> = COPY %vreg203;  GR32:%vreg202, %vreg203</div><div>%vreg23<def> = LD_dword_ri32 %vreg43, <ga:@wn32>, 0; mem:LD4[%real15](tbaa=<badref>)  GR32:%vreg23, %vreg43</div><div><br></div><div>

I consider the COPY is redundant.</div><div>Any advice will be appreciated. Thanks in advance.</div></div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br></div>