/// <summary>
/// Populates the given transformation manager with O1 optimizations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="inliningMode">The inlining mode to use.</param>
public static void AddO1Optimizations(
this Transformer.Builder builder,
InliningMode inliningMode)
{
builder.AddBasicOptimizations(inliningMode);
builder.AddStructureOptimizations();
builder.AddLoopOptimizations();
builder.AddConditionalOptimizations();
builder.AddAddressSpaceOptimizations();
}
/// <summary>
/// Populates the given transformation manager with O1 optimizations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="contextFlags">The context flags.</param>
public static void AddO1Optimizations(
this Transformer.Builder builder,
ContextFlags contextFlags)
{
builder.AddBasicOptimizations(contextFlags);
builder.AddStructureOptimizations();
builder.AddLoopOptimizations();
builder.AddConditionalOptimizations();
builder.AddAddressSpaceOptimizations();
}
/// <summary>
/// Populates the given transformation manager with O2 optimizations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="inliningMode">The inlining mode to use.</param>
public static void AddO2Optimizations(
this Transformer.Builder builder,
InliningMode inliningMode)
{
builder.AddBasicOptimizations(inliningMode);
builder.AddStructureOptimizations();
builder.AddLoopOptimizations();
// Append experimental if-condition conversion pass
builder.Add(new IfConditionConversion());
// Remove all temporarily generated values that are no longer required
builder.Add(new DeadCodeElimination());
builder.AddConditionalOptimizations();
builder.AddAddressSpaceOptimizations();
}
/// <summary>
/// Populates the given transformation manager with O2 optimizations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="contextFlags">The context flags.</param>
public static void AddO2Optimizations(
this Transformer.Builder builder,
ContextFlags contextFlags)
{
builder.AddBasicOptimizations(contextFlags);
builder.AddStructureOptimizations();
builder.AddLoopOptimizations();
// Converts local memory arrays into structure values
builder.Add(new SSAStructureConstruction());
// Append experimental if-condition conversion pass
builder.Add(new IfConditionConversion());
// Remove all temporarily generated values that are no longer required
builder.Add(new DeadCodeElimination());
builder.AddConditionalOptimizations();
builder.AddAddressSpaceOptimizations();
}
/// <summary>
/// Adds general backend optimizations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="acceleratorSpecializer">
/// An instance of an <see cref="AcceleratorSpecializer"/> class.
/// </param>
/// <param name="inliningMode">The inlining mode to use.</param>
/// <param name="level">The desired optimization level.</param>
public static void AddBackendOptimizations <TPlacementStrategy>(
this Transformer.Builder builder,
AcceleratorSpecializer acceleratorSpecializer,
InliningMode inliningMode,
OptimizationLevel level)
where TPlacementStrategy : struct, CodePlacement.IPlacementStrategy
{
// Specialize accelerator properties, arrays and views
builder.Add(new LowerArrays(MemoryAddressSpace.Local));
builder.Add(new LowerPointerViews());
builder.Add(acceleratorSpecializer);
// Perform an additional inlining pass to specialize small device-specific
// functions that could have been introduced
if (inliningMode != InliningMode.Disabled)
{
builder.Add(new Inliner());
}
// Apply UCE and DCE passes to avoid dead branches and fold conditionals that
// do not affect the actual code being executed
builder.Add(new UnreachableCodeElimination());
builder.Add(new DeadCodeElimination());
// Skip further optimizations in debug mode
if (level < OptimizationLevel.O1)
{
return;
}
// Use experimental address-space specializer in O2 only
if (level > OptimizationLevel.O1)
{
// Specialize all parameter address spaces
builder.Add(new InferKernelAddressSpaces(MemoryAddressSpace.Global));
}
// Lower all value structures that could have been created during the
// following passes:
// LowerArrays, LowerPointerViews, AcceleratorSpecializer and
// AddressSpaceSpecializer
builder.Add(new LowerStructures());
// Apply UCE and DCE phases in release mode to remove all dead values and
// branches that could be have been created in prior passes
builder.Add(new UnreachableCodeElimination());
builder.Add(new DeadCodeElimination());
// Converts local memory arrays into compile-time known structures
builder.Add(new SSAStructureConstruction());
// Infer all specialized address spaces
if (level > OptimizationLevel.O1)
{
builder.Add(new InferLocalAddressSpaces());
}
else
{
builder.Add(new InferAddressSpaces());
}
// Final cleanup phases to improve performance
builder.Add(new CleanupBlocks());
builder.Add(new SimplifyControlFlow());
if (level > OptimizationLevel.O1)
{
// Add additional code placement optimizations to reduce register
// pressure and improve performance
builder.AddLoopOptimizations();
builder.Add(new DeadCodeElimination());
builder.Add(new CodePlacement <TPlacementStrategy>(
CodePlacementMode.Aggressive));
}
}
