GETGLOB and GETGLOBVAR are mixed up

[Shvandre]

In opcodes.yaml it is clearly seen, that GETGLOBVAR does not have instruction-encoded argument, while GETGLOB does.

  # A.11.5. Global variable primitives.
  GETGLOBVAR:
  GETGLOB: ["int"]

Same goes for the ton docs.

However in opcodes.ts there is such handling of GETGLOBVAR

CP0Auto.insertHex('f841', 11, (slice) => {
    let i = slice.loadUint(5);
    return { code: `GETGLOBVAR`, args: [i] };
});

And as decompiler output I get

1 GETGLOBVAR

Also, when executing this code in @ton/sandbox I can clearly see that GETGLOB is being executed, not GETGLOBVAR.

Besides, I still do not understand which encoding is correct, and we probably need to fix this in docs too.

[Shvandre]

Moreover, both opcodes been decoded like GETGLOBVAR. Why?

global int first;
global int second;

(int) test() impure inline asm "ONE ONE ADD GETGLOBVAR";

~impure_touch(test());
~impure_touch(second);

results

1 PUSHINT 
1 PUSHINT 
ADD 
0 GETGLOBVAR 
s0 POP 
1 GETGLOBVAR 
s0 POP 

Which is totally incorrect