JVM字节码- long/double类型的比较

在 Java 虚拟机（JVM）字节码中，对于 double 和 long 类型的比较，没有直接等价于 iflt（用于整型比较）这样的指令。相反，比较 double 和 long 类型的值涉及到一些不同的步骤和指令。下面是如何在 JVM 字节码中进行这些类型的比较：

对于 double 类型的比较：

1. 使用 dcmpg 或 dcmpl 指令：这些指令用于比较栈顶的两个 double 值。dcmpg（double compare greater）和 dcmpl（double compare less）的差异在于它们处理 NaN（不是一个数字）的方式。如果涉及到 NaN，dcmpg 会返回 1，而 dcmpl 会返回 -1。

2. 使用条件跳转指令：在执行了 dcmpg 或 dcmpl 之后，栈顶会有一个整数值（-1、0 或 1），接着可以使用 ifeq（等于0时跳转）、ifne（不等于0时跳转）、iflt（小于0时跳转）、ifge（大于等于0时跳转）等指令来根据比较结果进行条件跳转。

对于 long 类型的比较：

1. 使用 lcmp 指令：lcmp 指令用于比较栈顶的两个 long 值。执行后，栈顶会被替换为整数值 -1、0 或 1，这取决于比较的结果（小于、等于或大于）。

2. 使用条件跳转指令：与 double 类型类似，执行 lcmp 之后，可以使用 ifeq、ifne、iflt、ifge 等指令来根据比较结果进行条件跳转。

示例：

比较两个 double 值，如果第一个小于第二个，则跳转到标签 label：

dload_1  // 加载第一个 double 值
dload_3  // 加载第二个 double 值
dcmpl    // 比较两个 double 值
iflt label // 如果第一个小于第二个，则跳转

比较两个 long 值，如果第一个大于等于第二个，则跳转到标签 label：

lload_1  // 加载第一个 long 值
lload_3  // 加载第二个 long 值
lcmp     // 比较两个 long 值
ifge label // 如果第一个大于等于第二个，则跳转

这种方式允许 JVM 在不直接提供特定于每种数据类型的比较跳转指令的情况下，灵活地处理各种数据类型的比较操作。