Finite-State Code Generation

  • Christopher W. Fraser

Published by Association for Computing Machinery, Inc.

Publication

This paper describes GBURG, which generates tiny, fast code generators based on finite-state machine pattern matching. The code generators translate postfix intermediate code into machine instructions in one pass (except, of course, for backpatching addresses). A stack-based virtual machine-known as the Lean Virtual Machine (LVM)-tuned for fast code generation is also described. GBURG translates the two-page LVEVI-to-x36 specification into a code generator that fits entirely in an 8 KB I-cache and that emits x86 code at 8.6 MB/sec on a 266-MHz P6. Our just-in-time code generator translates and executes small benchmarks at speeds within a factor of two of executables derived from the conventional compile-time code generator on which it is based.