Java编译器为何翻转基本类型关系比较？静态分析实现疑问

字节码观察结果 #

• 对于int及更小的整数类型：源码中if (i < j)这类条件判断，会被编译为字节码指令if_icmpge
• 对于long类型：先通过lcmp指令完成比较，再用ifge指令判断结果
• 测试环境：以JDK 1.8为目标编译的Java 11环境

对该行为的优化猜测 #

这应该是一种低成本编译优化：通过取反原条件，让假分支成为条件跳转的目标，而非真分支。以此减少额外的分支跳转指令，降低执行开销。

静态分析精化操作的处理要点 #

我正在开发一款数值抽象解释框架（当前支持区间、区域、基于谓词的抽象域），实现延迟精化操作时，必须正确关联字节码指令与源码的原始条件：

• 字节码中的条件跳转指令（比如if_icmpge）对应分支跳出块，精化时直接使用该指令的条件即可，无需翻转
• 直接执行的分支（即条件跳转失败的分支），需要把字节码的翻转条件还原为源码中的原始条件
• 此前的困惑根源在于没理清跳转逻辑：假分支由条件跳转触发，真分支是顺序执行的分支

补充说明 #

我曾纠结过是否可以依赖编译器的这种固定翻转行为——比如看到带>=的跳转指令，就默认对应源码中的<条件来精化抽象域，但梳理问题时发现这对当前开发来说并非关键。

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