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