Overall organization of Polaris

• Base / projects
• The Polaris scanner
• Usage of Polaris with Delta
• Usage of Polaris with KAP
  • KAP specialty directives
  • Example source file with directives:
• Directing the compilation with switches
• A Compendium of Polaris Switches
  • general switches
  • switches for the simplifier
  • scanner switch
  • inlining
  • program normalization
  • dead-coding
  • range propagation
  • constant / expression propagation
  • induction
  • privatization
  • reduction recognition
  • ddtest
  • postpass general
  • postpass - reduction translation
  • postpass - runtime testing
  • instrumentation
  • printing - general
  • printing after passes