Инструкции ByteCode: хорошо ли я понимаю

Question

Я изучаю байт-коды Java. Я хотел бы знать, правильно ли я понимаю этот процесс байт-кода

Я не закончил, но это только начало хорошего пути ..

00000000    aload_0 
// load param1 (String)
// Stack is [StringParam]
00000001    invokevirtual       char[] java.lang.String.toCharArray() 
// split variable in an array of char
// Stack is [ReferenceToCharArray] ?
00000004    dup 
// duplicate the top of operand stack and put it back at the end
// Stack is now [ReferenceToCharArray ReferenceToCharArray]
00000005    arraylength 
// Return array's length
// Stack is now [ReferenceToCharArray ArrayLength]
00000006    iconst_2 
// push 2 in stack
// Stack is now [ReferenceToCharArray ArrayLength 2]
00000007    if_icmpge           pos.00000013
// If the Array length is greater or equals to 2
// Stack is now [ReferenceToCharArray]
00000013    areturn
// Return the array
// Stack is empty

Answer 1

Ваш стек неверен после виртуального вызова, param1 больше не является вершиной стека.И я не думаю, что когда-либо будет помещено 3 в стек.

Что действительно делает if_icmpge, так это сравнение длины массива char, возвращаемого invokevirtual, с 2