As far as I understood, the Java language and many other high-level language can't express such loops (no arbitrary gotos), so JITing them would be a specific o

As far as I understood, the Java language and many other high-level language can't express such loops (no arbitrary gotos), so JITing them would be a specific optimization for otherwise-crafted bytecode. Also, it probably doesn't happen often for bytecode generation libraries. So basically a lot of potential for bugs to optimize a super-rare case that could also be solved instead by whoever produced that code.