meiao / esolangs Goto Github PK

Adding values to some instruction will allow multiple commands to be executed in a single pass.
Eg. instead of incrementing the data 5 times, the data can be increased by 5.

This will also allow for some instructions to be removed. As subtraction can be made by adding a negative number.

This feature by itself will make no difference in the code execution, but sets up for other optimizations.

The noop instruction will be temporarily added during optimization and should be later be removed.
The final bytecode after all optimizations should not contain any noops, but the VM should handle them gracefully, in case any is left.

Removing noops will require that the start and end of blocks' values be changed.

The function shall receive the optimized IR instructions in a vector (source).
Keep a counter for the noops and create another vector for the new instruction list.
Then for each instruction in the source vector, if it is a:

• Noop, then increment the noop counter
• a start or end block, create another start/end block instruction with the value of the instruction just read, decreased by the noop counter and add it to the new vector.
• another operation, clone that operation into the new vector.

https://www.dangermouse.net/esoteric/ook.html

To decrease the number of instructions when multiple similar commands are grouped, these can be grouped as in the example:

For example:

IncDataPointer(1)
IncDataPointer(1)
IncDataPointer(1)
IncDataPointer(-1)

can become:

IncDataPointer(2)
Noop
Noop
Noop

This optimization can be done to IncDataPointer and IncData. But all the commands must be of the same type and must be sequentially in the code.

The Noops are added so the blocks' start_block_instr and end_block_instr are not changed by this optimization.
They shall be removed by a later optimization.

Note:

IncDataPointer(1)
IncDataPointer(-1)

should become:

Noop
Noop