• Overview
• History
• Members
• Projects and Realizations
  • Ccg
  • Ynvm
  • Nevermind
  • Active Documents
  • Jnjvm
  • Aspects
  • C/Span
  • Cvm
  • Dvvm
• Publications

ccg: dynamic code generation for C and C++

Ian Piumarta

This document contains brief notes on ``ccg'', a combination of preprocessor and ``runtime assembler'' for C and C++ programs. It allows extremely efficient dynamic code generation for PowerPC, Sparc and Pentium to be embedded in arbitrary C programs. Dynamically generated code is specified using the standard assembler syntax of the target platform, with extensions to allow C expressions to appear in operands. The program can therefore ``specialize'' all aspects of the generated code at runtime: literal operands, register selection, jump/branch destinations, elements of complex addressing modes, and so on. The system is written entirely in ANSI C, and requires no compiler-specific extensions (such as inline asm statements or the various assembler-related extensions implemented by gcc).

This document is also available in PostScript and PDF.

Version 1.0alpha is now available for download: ccg-1.0a.tgz (gzipped tar archive).

1. Introduction

• 1.1 Overview
• 1.2 How ccg works: a quick appetiser
• 1.3 Raison d'être

2. Using ccg

• 2.1 Program organisation
• 2.2 Assembly language statements
• 2.3 Preprocessor directives and assembler pseudo-ops
• 2.4 Complete example
• 2.5 Computed with register numbers
• 2.6 Synchronising the instruction and data caches
• 2.7 Using ccg with make
• 2.8 Useful runtime assembler macros

3. Platform-specific notes

• 3.1 PowerPC
• 3.2 Sparc
• 3.3 Pentium

4. Customising ccg's behaviour

• 4.1 Customising the runtime assembler
• 4.2 Customising the preprocessor
• 4.3 Customisation example

5. Example programs

• 5.1 Instruction counter
• 5.2 ``Reverse polish'' notation compiler
• 5.3 Dynamic bytecode translation

Last modification on: Sun May 01 2004 - 22:46:07