Add O1experimental fast compile recipe

Author: AnastaZIuk

include/spirv-tools/optimizer.hpp

@@ -109,6 +109,8 @@ class SPIRV_TOOLS_EXPORT Optimizer {
   // interface are considered live and are not eliminated.
   Optimizer& RegisterPerformancePasses();
   Optimizer& RegisterPerformancePasses(bool preserve_interface);
+  Optimizer& RegisterPerformancePassesFastCompile();
+  Optimizer& RegisterPerformancePassesFastCompile(bool preserve_interface);
 
   // Registers passes that attempt to improve the size of generated code.
   // This sequence of passes is subject to constant review and will change

source/opt/optimizer.cpp

@@ -199,16 +199,16 @@ Optimizer& Optimizer::RegisterPerformancePasses(bool preserve_interface) {
       .RegisterPass(CreateLocalSingleStoreElimPass())
       .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
       .RegisterPass(CreateScalarReplacementPass(0))
-      .RegisterPass(CreateLocalAccessChainConvertPass());
-  optimizer.RegisterPass(CreateLocalSingleBlockLoadStoreElimPass())
+      .RegisterPass(CreateLocalAccessChainConvertPass());
+  optimizer.RegisterPass(CreateLocalSingleBlockLoadStoreElimPass())
       .RegisterPass(CreateLocalSingleStoreElimPass())
       .RegisterPass(CreateAggressiveDCEPass(preserve_interface));
-  optimizer.RegisterPass(CreateCCPPass())
-      .RegisterPass(CreateAggressiveDCEPass(preserve_interface));
-  // Preserve LoopControl::Unroll in the IR instead of always materializing
-  // it here. The optimizer-side full unroll is very costly on large modules
-  // with many tiny [unroll]-annotated loops, while the hint remains available
-  // to downstream consumers in the final SPIR-V.
+  optimizer.RegisterPass(CreateCCPPass())
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface));
+  // Preserve LoopControl::Unroll in the IR instead of always materializing
+  // it here. The optimizer-side full unroll is very costly on large modules
+  // with many tiny [unroll]-annotated loops, while the hint remains available
+  // to downstream consumers in the final SPIR-V.
   optimizer.RegisterPass(CreateDeadBranchElimPass());
   optimizer.RegisterPass(CreateLocalRedundancyEliminationPass());
   optimizer.RegisterPass(CreateCombineAccessChainsPass())
@@ -218,7 +218,7 @@ Optimizer& Optimizer::RegisterPerformancePasses(bool preserve_interface) {
       .RegisterPass(CreateLocalSingleBlockLoadStoreElimPass())
       .RegisterPass(CreateLocalSingleStoreElimPass())
       .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
-      .RegisterPass(CreateSSARewritePass(SSARewriteMode::SpecialTypes))
+      .RegisterPass(CreateSSARewritePass(SSARewriteMode::SpecialTypes))
       .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
       .RegisterPass(CreateVectorDCEPass())
       .RegisterPass(CreateDeadInsertElimPass())
@@ -239,6 +239,58 @@ Optimizer& Optimizer::RegisterPerformancePasses() {
   return RegisterPerformancePasses(false);
 }
 
+Optimizer& Optimizer::RegisterPerformancePassesFastCompile(
+    bool preserve_interface) {
+  auto& optimizer = RegisterPass(CreateAggressiveDCEPass(preserve_interface))
+      .RegisterPass(CreateDeadVariableEliminationPass())
+      .RegisterPass(CreateRemoveUnusedInterfaceVariablesPass())
+      .RegisterPass(CreateWrapOpKillPass())
+      .RegisterPass(CreateDeadBranchElimPass())
+      .RegisterPass(CreateMergeReturnPass())
+      .RegisterPass(CreateInlineExhaustivePass())
+      .RegisterPass(CreateEliminateDeadFunctionsPass())
+      .RegisterPass(CreatePrivateToLocalPass())
+      .RegisterPass(CreateLocalSingleBlockLoadStoreElimPass())
+      .RegisterPass(CreateLocalSingleStoreElimPass())
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
+      .RegisterPass(CreateScalarReplacementPass(0))
+      .RegisterPass(CreateLocalAccessChainConvertPass());
+  optimizer.RegisterPass(CreateLocalSingleBlockLoadStoreElimPass())
+      .RegisterPass(CreateLocalSingleStoreElimPass())
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface));
+  optimizer.RegisterPass(CreateCCPPass())
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface));
+  optimizer.RegisterPass(CreateDeadBranchElimPass());
+  optimizer.RegisterPass(CreateLocalRedundancyEliminationPass());
+  optimizer.RegisterPass(CreateCombineAccessChainsPass())
+      .RegisterPass(CreateSimplificationPass())
+      .RegisterPass(CreateScalarReplacementPass(0))
+      .RegisterPass(CreateLocalAccessChainConvertPass())
+      .RegisterPass(CreateLocalSingleBlockLoadStoreElimPass())
+      .RegisterPass(CreateLocalSingleStoreElimPass())
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
+      .RegisterPass(CreateSSARewritePass(SSARewriteMode::SpecialTypes))
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
+      .RegisterPass(CreateVectorDCEPass())
+      .RegisterPass(CreateDeadInsertElimPass())
+      .RegisterPass(CreateDeadBranchElimPass())
+      .RegisterPass(CreateSimplificationPass())
+      .RegisterPass(CreateIfConversionPass())
+      .RegisterPass(CreateCopyPropagateArraysPass())
+      .RegisterPass(CreateReduceLoadSizePass())
+      .RegisterPass(CreateAggressiveDCEPass(preserve_interface))
+      .RegisterPass(CreateBlockMergePass());
+  optimizer.RegisterPass(CreateLocalRedundancyEliminationPass());
+  return optimizer.RegisterPass(CreateAggressiveDCEPass(preserve_interface))
+      .RegisterPass(CreateDeadBranchElimPass())
+      .RegisterPass(CreateBlockMergePass())
+      .RegisterPass(CreateSimplificationPass());
+}
+
+Optimizer& Optimizer::RegisterPerformancePassesFastCompile() {
+  return RegisterPerformancePassesFastCompile(false);
+}
+
 Optimizer& Optimizer::RegisterSizePasses(bool preserve_interface) {
   return RegisterPass(CreateWrapOpKillPass())
       .RegisterPass(CreateDeadBranchElimPass())