dadd 是 Java 字节码中用于双精度浮点数 (double) 相加的指令。具体来讲，dadd 指令将从操作数栈中弹出两个 double 类型的值，将它们相加，然后将结果推回操作数栈。

dadd 指令

• 操作码：0x63
• 功能：将操作数栈顶的两个 double 值弹出，对它们进行加法运算，然后将结果压入操作数栈。
• 示例:

dadd  //将栈顶的两个 double 值弹出并相加，然后结果重新压入操作数栈

详细说明：

• 操作数栈：fadd 指令需要操作数栈必须保证顶部的两个数值是 double 类型的值。否则就运行出错。
• 操作过程：

1. 弹出操作数栈顶的两个 double 值（称为 value1 和 value2）。
2. 执行 value1 + value2 操作。
3. 将相加结果推回操作数栈。

使用示例

假设我们有以下Java代码：

public void exampleMethod() {
  double a = 1.5;
  double b = 2.5;
  double c = a + b;
}

编译成字节码后，相关部分可能如下：

0: ldc2_w        #2       // 将常量池中的 double 1.5 加载到操作数栈
3: dstore_1               // 将栈顶的 double 类型的值存储到局部变量表索引 1（变量 a）

4: ldc2_w        #4       // 将常量池中的 double 2.5 加载到操作数栈
7: dstore_3               // 将栈顶的 double 类型的值存储到局部变量表索引 3（变量 b）

8: dload_1                // 从局部变量表索引 1 处加载 double 变量 a 到操作数栈
9: dload_3                // 从局部变量表索引 3 处加载 double 变量 b 到操作数栈
10: dadd                  // 将栈顶的两个 double 类型的值相加，结果压入操作数栈
11: dstore 5              // 将相加结果存储到局部变量表索引 5（变量 c）

12: return                // 返回

字节码详细解释:

1. ldc2_w #2：指令将常量池中索引为 #2 的 double 常量值 1.5 压入操作数栈。ldc2_w 是用于加载 long 和 double 类型的常量的指令。
2. dstore_1：将操作数栈顶的 double 类型的值存储到局部变量表的索引 1 处，即变量 a。
3. ldc2_w #4：将常量池中索引为 #4 的 double 常量值 2.5 压入操作数栈。
4. dstore_3：将操作数栈顶的 double 类型的值存储到局部变量表的索引 3 处，即变量 b。
5. dload_1：从局部变量表的索引 1 处加载 double 类型的值（即变量 a 的值）到操作数栈。
6. dload_3：从局部变量表的索引 3 处加载 double 类型的值（即变量 b 的值）到操作数栈。
7. dadd：将操作数栈顶的两个 double 类型的值相加，并将结果压入操作数栈。
8. dstore 5：将栈顶的 double 结果值存储到局部变量表的索引 5 处，即变量 c。
9. return：结束方法的执行并返回（由于方法的返回类型为 void，不需要返回值）。