活跃范围分裂

同一份文件可以经过几个有名字的交接点 ​

一个值从入口活到退出，不意味着它必须一直住在同一个寄存器。可以先存在一个位置，到调用前换到不会被破坏的位置，调用后再换回来。但每次换位置都要真正搬过去；只给前后两段起不同名字，不会让值自动出现在新位置。

区域边界还可能有多个来源。B的入口必须从实际来的那条边拿值，不能在另一个分支执行时也提前覆盖B需要的来源。边适配块把这份义务直接写进控制流。

在菱形的四条边上交接 ​

主例E产生a、t2、t3，经T或F得到t4，再到J调用double。按块分裂后，E内使用a_E、t2_E、t3_E；T/F各有自己的三个入口名字；J的入口只需要a_J与t4_J。

E→T: (a_T,t2_T,t3_T) := (a_E,t2_E,t3_E); goto T
E→F: (a_F,t2_F,t3_F) := (a_E,t2_E,t3_E); goto F
T→J: (a_J,t4_J) := (a_T,t4_T); goto J
F→J: (a_J,t4_J) := (a_F,t4_F); goto J
J: v_J := t4_J; t5_J := double(v_J)
   y_J := a_J + t5_J; return y_J

a_T和a_F在各自算术里没有被读写，却仍须从区域入口传到出口，因为J会用a。若仅按“本块指令里出现哪些变量”生成区域名字，这个穿过值就会丢失。flag只控制E的出边，不进入后继入口集合，所以无需传给T/F。

对分裂后IR重新运行图分配器理路图着色寄存器分配Graph-coloring register allocation · Chaitin–Briggs register allocation从活跃性和调用破坏集合建立干涉图，执行简化与乐观选色，再把失败节点交给真实溢出重写。，下载实现使a_J住R1，早先的a_E、a_T、a_F分别住私有槽。于是进入J时确实有一次槽到R1的搬移；R1跨double保存值。输入a=3、flag=1，仍返回21，目标执行3次ST、5次LD，另有3次JMP和1次MOV。未分裂图分配是2次ST、4次LD；本次全块切分反而增加成本。

分裂扩大可选择位置的集合，也增加交接义务。要改善性能，还需选择值得切的边界和好的位置；不能将“名字更多”直接等同“更快”。固定布局把全部适配块排在最后，还可能让单区间线性扫描产生很长的保守跨度。

交换必须读取两份旧值 ​

假设一条边上的两个值从(R0,R1)交到(R1,R0)。顺写R1:=R0; R0:=R1会丢掉旧R1。下载lowering用私有临时槽保存一个旧寄存器值，再按无环顺序搬移；从(1,2)得到(2,1)，而不是(1,1)。它只使用四个显式物理寄存器及私有槽。

若一个循环体每轮交换a、b，执行n轮后a-b应在n为偶数时为−1，奇数时为1。改名和边复制必须在回边上每轮交付当前值；仅在第一次进入循环头时复制会让第二轮开始读旧版本。

边界可以选，传值不能省 ​

只在调用前后、循环入口或热/冷区域之间切分，可能减少全块切分的额外移动。无论如何选择，穿过边界且后面还要用的每个值都需要一条对应关系。若两段最后分到同一位置，物理自复制可删除；删除依据是最终位置一致，不是源名字看起来相似。

真实分裂式线性扫描会根据未来使用和固定寄存器冲突选择切点，并在所有CFG边上解析位置不一致。[1, §3.3] 本页直接按块区域构造完整新IR，用来把“切区间”背后的程序变换义务显露出来。

规模与终点任务 ​

令L为原IR大小，$C=\sum _{A\to B}|In(B)|$为全部边需要传递的值数，$r_B$为块B所需的区域名字数。把名字视为可常数比较的标识，映射查找取期望常数，并假定活跃事实已给定。不要求稳定顺序且已取得新鲜名字时，区域改名和边适配构造需$O(1+L+C)$工作及输出空间；每块自己的使用/定义，以及穿入穿出的活跃名，合计受L与C控制。

下载版为可重复结果同时排序每块区域名与每条边的传值名，额外花$O(\sum _B{r}_B\log (r_B+1)+\sum _{A\to B}|In(B)|\log (|In(B)|+1))$。它用带后缀的名字逐个试探碰撞；若总共探查F次，另计$O(F)$，不能把任意已有名字集合下的碰撞搜索忽略。实际字符串长度的读取与拼接也另计。重新活跃分析、分配和物理复制排序不包含在这个构造成本中。

对一条含k个位置复制的边，本文反复扫描未解决源/目标，朴素顺序化为$O((k+1{)}^2)$；每次安全删除减少一项，断环后至少可删除一项，所以输出长度为$O(k+1)$。临时槽只属于这次过程，不暴露给源程序。

终点先补齐菱形四条边，再故意漏掉F→J上的a交接，选择假分支应暴露错误。迁移到带交换的循环，逐轮核(1,2)和(2,1)；最后选择只在J前切a，不切t2/t3，比较新IR大小与完整块切分。任何候选都须同时提交改名表、边复制表和实际目标代码。