1

Resolved

Add special instruction to represent 'jump' destinations

description

Right now control flow operations such as ifeq,ifgt,iffalse, etc. represent the destination as an offset of bytes. An artificial instruction could be created to represent the destination. For example:
 
let instructions =
[|
   ...
   GetLocal1 ;
   IfTrue "lab1" ;
   ...
   NamedLabel "lab1";
   ...
|]
 
Also need to study the propose of the 'label' opcode (see page 81 of the spec)

comments