/// <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)); } }