Invokedynamic and recursive method call
Remi Forax
forax at univ-mlv.fr
Tue Dec 30 19:48:44 UTC 2014
Hi guys,
I've found a bug in the interaction between the lambda form and inlining
algorithm,
basically if the inlining heuristic bailout because the method is
recursive and already inlined once,
instead to emit a code to do a direct call, it revert to do call to
linkStatic with the method
as MemberName.
I think it's a regression because before the introduction of lambda forms,
I'm pretty sure that the JIT was emitting a direct call.
Step to reproduce with nashorn, run this JavaScript code
function fibo(n) {
return (n < 2)? 1: fibo(n - 1) + fibo(n - 2)
}
print(fibo(45))
like this:
/usr/jdk/jdk1.9.0/bin/jjs -J-XX:+UnlockDiagnosticVMOptions
-J-XX:+PrintAssembly fibo.js > log.txt
look for a method 'fibo' from the tail of the log, you will find
something like this:
0x00007f97e4b4743f: mov $0x76d08f770,%r8 ; {oop(a
'java/lang/invoke/MemberName' = {method} {0x00007f97dcff8e40} 'fibo'
'(Ljdk/nashorn/internal/runtime/ScriptFunction;Ljava/lang/Object;I)I' in
'jdk/nashorn/internal/scripts/Script$Recompilation$2$fibo')}
0x00007f97e4b47449: xchg %ax,%ax
0x00007f97e4b4744b: callq 0x00007f97dd0446e0
I hope this can be fixed. My demonstration that I can have fibo written
with a dynamic language
that run as fast as written in Java doesn't work anymore :(
cheers,
Rémi
More information about the mlvm-dev
mailing list