如何解决当索引的范围通过 and 限制时,Hotspot 可以消除边界检查吗?
考虑以下函数:
int foo(int[] indices) {
int[] lookup = new int[256];
fill(lookup); // populate values,not shown
int sum = 0;
for (int i : indices) {
sum += lookup[i & 0xFF]; // array access
}
return sum;
}
现代 HotSpot 能否消除对 lookup[i & 0xFF]
访问的边界检查?此访问不能越界,因为 i & 0xFF
的范围是 0-255,并且数组有 256 个元素。
解决方法
是的,这是一个比较简单的优化,HotSpot 绝对可以做到。 JIT 编译器推导出可能的表达式范围,并使用此信息来消除冗余检查。
我们可以通过打印汇编代码来验证这一点:-XX:CompileCommand=print,Test::foo
...
0x0000020285b5e230: mov r10d,dword ptr [rcx+r8*4+10h] # load 'i' from indices array
0x0000020285b5e235: and r10d,0ffh # i = i & 0xff
0x0000020285b5e23c: mov r11,qword ptr [rsp+8h] # load 'lookup' into r11
0x0000020285b5e241: add eax,dword ptr [r11+r10*4+10h] # eax += r11[i]
加载i
和lookup[i & 0xff]
之间没有比较说明。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。