/// <summary>
/// Populates the given transformation manager with O0 optimizations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="inliningMode">The inlining mode to use.</param>
public static void AddO0Optimizations(
this Transformer.Builder builder,
InliningMode inliningMode)
{
builder.AddBasicOptimizations(inliningMode);
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(
this Transformer.Builder builder,
AcceleratorSpecializer acceleratorSpecializer,
InliningMode inliningMode,
OptimizationLevel level)
{
// 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());
}
// 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 DCE phase in release mode to remove all dead values that
// could be created in prior passes
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());
}
/// <summary>
/// Creates a transformer for the given optimization level.
/// </summary>
/// <param name="level">The level.</param>
/// <param name="configuration">The transformer configuration.</param>
/// <param name="inliningMode">The inlining mode to use.</param>
/// <returns>The created transformer.</returns>
public static Transformer CreateTransformer(
this OptimizationLevel level,
TransformerConfiguration configuration,
InliningMode inliningMode)
{
var builder = Transformer.CreateBuilder(configuration);
builder.AddOptimizations(inliningMode, level);
return(builder.ToTransformer());
}
/// <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 the required
/// optimization transformations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="inliningMode">The inlining mode to use.</param>
/// <param name="level">The desired optimization level.</param>
/// <returns>The maximum number of iterations.</returns>
public static void AddOptimizations(
this Transformer.Builder builder,
InliningMode inliningMode,
OptimizationLevel level)
{
if (level < OptimizationLevel.O0 || level > OptimizationLevel.O2)
{
throw new ArgumentOutOfRangeException(nameof(level));
}
OptimizationHandlers[(int)level](builder, inliningMode);
}
/// <summary>
/// Adds basic optimization transformations.
/// </summary>
/// <param name="builder">The transformation manager to populate.</param>
/// <param name="inliningMode">The inlining mode to use.</param>
public static void AddBasicOptimizations(
this Transformer.Builder builder,
InliningMode inliningMode)
{
if (inliningMode != InliningMode.Disabled)
{
builder.Add(new Inliner());
}
builder.Add(new SimplifyControlFlow());
builder.Add(new SSAConstruction());
builder.Add(new DeadCodeElimination());
}
/// <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>
/// Specifies the inlining mode.
/// </summary>
/// <param name="inliningMode">The inlining mode to use.</param>
/// <returns>The current builder instance.</returns>
public Builder Inlining(InliningMode inliningMode)
{
InliningMode = inliningMode;
return(this);
}
/// <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.Add(new DeadCodeElimination());
builder.Add(new CodePlacement <TPlacementStrategy>(
CodePlacementMode.Aggressive));
builder.Add(new LoopInvariantCodeMotion());
}
}
