HotSpot是否可以优化对纯方法的冗余调用而不内联它们?

Pure methods 是没有副作用的:它们唯一的作用是返回一个值,该值是它们的参数的函数。

对具有相同参数的同一pure方法的两次调用将返回相同的值。那么,给定对具有相同参数的纯方法的两个调用,HotSpot是否可以优化第二个调用,只需重新使用第一个调用中的值?

例如:

int add(int x, int y) {
  return x + y;
}

int addTwice(int x, int y) {
  return add(x, y) + add(x, y);
}

如果热点未内联 add 在…内 addTwice 它明白吗 添加 是 纯净的 因此呼吁 添加 只有一次和两倍的返回值?

当然,这样一个微不足道的(mcve)不太可能引起直接兴趣,但由于内联、发散的控制流、自动生成的代码等原因,在实践中也可能发生类似的情况。