1 //===- DeltaManager.cpp - Runs Delta Passes to reduce Input ---------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file calls each specialized Delta pass in order to reduce the input IR 10 // file. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "DeltaManager.h" 15 #include "ReducerWorkItem.h" 16 #include "TestRunner.h" 17 #include "deltas/Delta.h" 18 #include "deltas/ReduceAliases.h" 19 #include "deltas/ReduceArguments.h" 20 #include "deltas/ReduceAttributes.h" 21 #include "deltas/ReduceBasicBlocks.h" 22 #include "deltas/ReduceDIMetadata.h" 23 #include "deltas/ReduceFunctionBodies.h" 24 #include "deltas/ReduceFunctions.h" 25 #include "deltas/ReduceGlobalObjects.h" 26 #include "deltas/ReduceGlobalValues.h" 27 #include "deltas/ReduceGlobalVarInitializers.h" 28 #include "deltas/ReduceGlobalVars.h" 29 #include "deltas/ReduceIRReferences.h" 30 #include "deltas/ReduceInstructionFlags.h" 31 #include "deltas/ReduceInstructionFlagsMIR.h" 32 #include "deltas/ReduceInstructions.h" 33 #include "deltas/ReduceInstructionsMIR.h" 34 #include "deltas/ReduceMemoryOperations.h" 35 #include "deltas/ReduceMetadata.h" 36 #include "deltas/ReduceModuleData.h" 37 #include "deltas/ReduceOpcodes.h" 38 #include "deltas/ReduceOperandBundles.h" 39 #include "deltas/ReduceOperands.h" 40 #include "deltas/ReduceOperandsSkip.h" 41 #include "deltas/ReduceOperandsToArgs.h" 42 #include "deltas/ReduceRegisterDefs.h" 43 #include "deltas/ReduceRegisterMasks.h" 44 #include "deltas/ReduceRegisterUses.h" 45 #include "deltas/ReduceSpecialGlobals.h" 46 #include "deltas/ReduceUsingSimplifyCFG.h" 47 #include "deltas/ReduceVirtualRegisters.h" 48 #include "deltas/RunIRPasses.h" 49 #include "deltas/SimplifyInstructions.h" 50 #include "deltas/StripDebugInfo.h" 51 #include "llvm/Support/CommandLine.h" 52 53 using namespace llvm; 54 55 using SmallStringSet = SmallSet<StringRef, 8>; 56 57 extern cl::OptionCategory LLVMReduceOptions; 58 static cl::list<std::string> 59 DeltaPasses("delta-passes", 60 cl::desc("Delta passes to run, separated by commas. By " 61 "default, run all delta passes."), 62 cl::cat(LLVMReduceOptions), cl::CommaSeparated); 63 64 static cl::list<std::string> 65 SkipDeltaPasses("skip-delta-passes", 66 cl::desc("Delta passes to not run, separated by commas. By " 67 "default, run all delta passes."), 68 cl::cat(LLVMReduceOptions), cl::CommaSeparated); 69 70 #define DELTA_PASSES \ 71 do { \ 72 DELTA_PASS("strip-debug-info", stripDebugInfoDeltaPass) \ 73 DELTA_PASS("functions", reduceFunctionsDeltaPass) \ 74 DELTA_PASS("function-bodies", reduceFunctionBodiesDeltaPass) \ 75 DELTA_PASS("special-globals", reduceSpecialGlobalsDeltaPass) \ 76 DELTA_PASS("aliases", reduceAliasesDeltaPass) \ 77 DELTA_PASS("simplify-conditionals-true", reduceConditionalsTrueDeltaPass) \ 78 DELTA_PASS("simplify-conditionals-false", reduceConditionalsFalseDeltaPass)\ 79 DELTA_PASS("unreachable-basic-blocks", reduceUnreachableBasicBlocksDeltaPass) \ 80 DELTA_PASS("basic-blocks", reduceBasicBlocksDeltaPass) \ 81 DELTA_PASS("simplify-cfg", reduceUsingSimplifyCFGDeltaPass) \ 82 DELTA_PASS("global-values", reduceGlobalValuesDeltaPass) \ 83 DELTA_PASS("global-objects", reduceGlobalObjectsDeltaPass) \ 84 DELTA_PASS("global-initializers", reduceGlobalsInitializersDeltaPass) \ 85 DELTA_PASS("global-variables", reduceGlobalsDeltaPass) \ 86 DELTA_PASS("di-metadata", reduceDIMetadataDeltaPass) \ 87 DELTA_PASS("metadata", reduceMetadataDeltaPass) \ 88 DELTA_PASS("arguments", reduceArgumentsDeltaPass) \ 89 DELTA_PASS("instructions", reduceInstructionsDeltaPass) \ 90 DELTA_PASS("simplify-instructions", simplifyInstructionsDeltaPass) \ 91 DELTA_PASS("ir-passes", runIRPassesDeltaPass) \ 92 DELTA_PASS("operands-zero", reduceOperandsZeroDeltaPass) \ 93 DELTA_PASS("operands-one", reduceOperandsOneDeltaPass) \ 94 DELTA_PASS("operands-nan", reduceOperandsNaNDeltaPass) \ 95 DELTA_PASS("operands-to-args", reduceOperandsToArgsDeltaPass) \ 96 DELTA_PASS("operands-skip", reduceOperandsSkipDeltaPass) \ 97 DELTA_PASS("operand-bundles", reduceOperandBundesDeltaPass) \ 98 DELTA_PASS("attributes", reduceAttributesDeltaPass) \ 99 DELTA_PASS("module-data", reduceModuleDataDeltaPass) \ 100 DELTA_PASS("opcodes", reduceOpcodesDeltaPass) \ 101 DELTA_PASS("volatile", reduceVolatileInstructionsDeltaPass) \ 102 DELTA_PASS("atomic-ordering", reduceAtomicOrderingDeltaPass) \ 103 DELTA_PASS("syncscopes", reduceAtomicSyncScopesDeltaPass) \ 104 DELTA_PASS("instruction-flags", reduceInstructionFlagsDeltaPass) \ 105 } while (false) 106 107 #define DELTA_PASSES_MIR \ 108 do { \ 109 DELTA_PASS("instructions", reduceInstructionsMIRDeltaPass) \ 110 DELTA_PASS("ir-instruction-references", \ 111 reduceIRInstructionReferencesDeltaPass) \ 112 DELTA_PASS("ir-block-references", reduceIRBlockReferencesDeltaPass) \ 113 DELTA_PASS("ir-function-references", reduceIRFunctionReferencesDeltaPass) \ 114 DELTA_PASS("instruction-flags", reduceInstructionFlagsMIRDeltaPass) \ 115 DELTA_PASS("register-uses", reduceRegisterUsesMIRDeltaPass) \ 116 DELTA_PASS("register-defs", reduceRegisterDefsMIRDeltaPass) \ 117 DELTA_PASS("register-hints", reduceVirtualRegisterHintsDeltaPass) \ 118 DELTA_PASS("register-masks", reduceRegisterMasksMIRDeltaPass) \ 119 } while (false) 120 121 static void runAllDeltaPasses(TestRunner &Tester, 122 const SmallStringSet &SkipPass) { 123 #define DELTA_PASS(NAME, FUNC) \ 124 if (!SkipPass.count(NAME)) { \ 125 FUNC(Tester); \ 126 } 127 if (Tester.getProgram().isMIR()) { 128 DELTA_PASSES_MIR; 129 } else { 130 DELTA_PASSES; 131 } 132 #undef DELTA_PASS 133 } 134 135 static void runDeltaPassName(TestRunner &Tester, StringRef PassName) { 136 #define DELTA_PASS(NAME, FUNC) \ 137 if (PassName == NAME) { \ 138 FUNC(Tester); \ 139 return; \ 140 } 141 if (Tester.getProgram().isMIR()) { 142 DELTA_PASSES_MIR; 143 } else { 144 DELTA_PASSES; 145 } 146 #undef DELTA_PASS 147 148 // We should have errored on unrecognized passes before trying to run 149 // anything. 150 llvm_unreachable("unknown delta pass"); 151 } 152 153 void llvm::printDeltaPasses(raw_ostream &OS) { 154 OS << "Delta passes (pass to `--delta-passes=` as a comma separated list):\n"; 155 #define DELTA_PASS(NAME, FUNC) OS << " " << NAME << "\n"; 156 OS << " IR:\n"; 157 DELTA_PASSES; 158 OS << " MIR:\n"; 159 DELTA_PASSES_MIR; 160 #undef DELTA_PASS 161 } 162 163 // Built a set of available delta passes. 164 static void collectPassNames(const TestRunner &Tester, 165 SmallStringSet &NameSet) { 166 #define DELTA_PASS(NAME, FUNC) NameSet.insert(NAME); 167 if (Tester.getProgram().isMIR()) { 168 DELTA_PASSES_MIR; 169 } else { 170 DELTA_PASSES; 171 } 172 #undef DELTA_PASS 173 } 174 175 /// Verify all requested or skipped passes are valid names, and return them in a 176 /// set. 177 static SmallStringSet handlePassList(const TestRunner &Tester, 178 const cl::list<std::string> &PassList) { 179 SmallStringSet AllPasses; 180 collectPassNames(Tester, AllPasses); 181 182 SmallStringSet PassSet; 183 for (StringRef PassName : PassList) { 184 if (!AllPasses.count(PassName)) { 185 errs() << "unknown pass \"" << PassName << "\"\n"; 186 exit(1); 187 } 188 189 PassSet.insert(PassName); 190 } 191 192 return PassSet; 193 } 194 195 void llvm::runDeltaPasses(TestRunner &Tester, int MaxPassIterations) { 196 uint64_t OldComplexity = Tester.getProgram().getComplexityScore(); 197 198 SmallStringSet RunPassSet, SkipPassSet; 199 200 if (!DeltaPasses.empty()) 201 RunPassSet = handlePassList(Tester, DeltaPasses); 202 203 if (!SkipDeltaPasses.empty()) 204 SkipPassSet = handlePassList(Tester, SkipDeltaPasses); 205 206 for (int Iter = 0; Iter < MaxPassIterations; ++Iter) { 207 if (DeltaPasses.empty()) { 208 runAllDeltaPasses(Tester, SkipPassSet); 209 } else { 210 for (StringRef PassName : DeltaPasses) { 211 if (!SkipPassSet.count(PassName)) 212 runDeltaPassName(Tester, PassName); 213 } 214 } 215 216 uint64_t NewComplexity = Tester.getProgram().getComplexityScore(); 217 if (NewComplexity >= OldComplexity) 218 break; 219 OldComplexity = NewComplexity; 220 } 221 } 222