AST/standalone-mode examples

Please refer to the example files in the subdirectories $OPTIMIXDIR/autotest/examples and $OPTIMIXDIR/autotest/ast. The first directory contains several examples of this manual. The second directory contains the following examples:

ccmir.ast

A fragment of a real-life intermediate language: the CCMIR (Common COMPARE Medium Intermediate Representation)

files.ast

A fragment of some specification for file of different types.

reach.ox

Reaching definitions for CCMIR.

example-reachable.ox

Transtive closure.

exprtab.ox

Expression equivalence for CCMIR.

dominators.ox

Computing dominators on block graph.

facts.ox

Example facts.

livecopies.ox

Live copy information.

copyprop.ox

Copy propagation transformation.