Relooper, Stackifier, decompiler problems about if-decompiler HOT 3 OPEN

I'm not familiar with Smalltalk.

But the main issue is a mismatch between structured code (loops and if/else) and jump/branch to address models. Some languages only support one of them, and some VM formats use the other.

Also many, probably most, bytecodes definitely aren't 100% reversible. That sounds like Python's which is really just a compressed source code. Most bytecodes for VMs are truly compiled for them, and lots of information is lost.

from if-decompiler.

what information can be lost by Inform7 compiled bytecode; I'm sure I can find examples (going the very long way), but your experience could shortcut that for me; thanks

from if-decompiler.

Whether the code used loops, switch statements, arbitrary jumps, etc. That's the main difficult for which reloopers are designed to solve.

from if-decompiler.