Code Generation Command-Line Options

This section lists the following code generation command-line options:

• -model
  
• -peephole
  
• -coloring