What you're describing is a logic bug. JITs write instructions to memory in a manner that's only slightly different than writing bytes to a file. The generatio

What you're describing is a logic bug. JITs write instructions to memory in a manner that's only slightly different than writing bytes to a file. The generation of those instructions can either be correct or incorrect and happens regardless of programming language. A JIT written in Python is equally capable of generating bad code as a JIT written in C or Rust or Lisp. A perfect port of a buggy JIT written in language A will generate the same buggy code even after being ported to language B.