Android DX工具中Dalvik字节码的控制流合并与代码复用优化方法

当DX工具将Java字节码转换为Dalvik字节码时，除了寄存器映射、字节码压缩这类基础转换操作，还会针对控制流结构和代码冗余做专门优化，核心集中在控制流合并与代码复用两类，以下是具体说明：

代码复用：统一语义等价的指令 #

DX会扫描字节码中语义完全一致的重复指令，将它们合并为单一实例，让所有需要执行该操作的分支通过跳转指令指向这个实例，以此消除冗余代码。
比如你提到的场景：原Java字节码中多个分支（如if/else分支、异常处理分支）的末尾都包含独立的return void指令，DX转换后会只保留一处偏移量为0012的return-void指令，所有需要返回的分支都会通过goto 0012跳转至该指令执行，实现代码复用。

控制流合并：消除冗余分支块 #

DX会构建字节码的控制流图（CFG），识别出逻辑等价、后续执行路径完全一致的分支入口，将这些分支合并为统一的控制流路径，避免生成重复的代码块。
举个例子：如果两个不同的条件判断分支结束后，执行的是完全相同的代码序列，DX会调整控制流结构，让这两个分支直接跳转到同一个代码块，而不是为每个分支单独复制一份代码，以此精简控制流并减少字节码体积。

这类优化的核心目标是在严格保留原Java代码语义的前提下，减少Dalvik字节码的冗余度，降低内存占用的同时，让虚拟机执行时的指令序列更简洁高效。

内容的提问来源于stack exchange，提问作者Neo