Команда JVM ALOAD_0 в методе "main" указывает на "args" вместо 'this'?

Я пытаюсь реализовать подмножество Java для академического исследования. Ну, я на последних этапах (генерация кода), и я написал довольно простую программу, чтобы увидеть, как обрабатываются аргументы метода:

class Main {
    public static void main(String[] args) {
        System.out.println(args.length);
    }
}

Затем я построил его и запустил "Main.class" через онлайн-дизассемблер, который я нашел по адресу: http://www.cs.cornell.edu/People/egs/kimera/disassembler.html

Я получаю следующую реализацию для "основного" метода: (разобранный вывод находится в Jasmin)

.method public static main([Ljava/lang/String;)V
    .limit locals 1
    .limit stack 2

    getstatic   java/lang/System/out Ljava/io/PrintStream;
    aload_0
    arraylength
    invokevirtual   java/io/PrintStream.println(I)V
    return
.end method

Моя проблема с этим:
1. aload_0 должен нажимать 'this' на стек (вот что говорит спецификация JVM)

2. arraylength должен возвращать длину массива, ссылка которого находится в верхнем стеке

Поэтому, по моему мнению, комбинация 1 и 2 не должна даже работать.

Как/почему он работает? Или это ошибка дизассемблера, а фактический байт-код - это что-то еще?

Ответ 1