Polaris is made of several compilation passes. From here, you can explore some of the most important transformations and operations that these passes perform.
The areas you may explore are:
Inlining
Interprocedural Constant Propagation
Induction Variable Substitution
Deadcode Elimination
Privatization
Scalar and Array Reduction
Data Dependence Testing
Post Processing
