202 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8//9// This file calls each specialized Delta pass in order to reduce the input IR10// file.11//12//===----------------------------------------------------------------------===//13 14#include "DeltaManager.h"15#include "DeltaPass.h"16#include "TestRunner.h"17#include "deltas/ReduceAliases.h"18#include "deltas/ReduceArguments.h"19#include "deltas/ReduceAttributes.h"20#include "deltas/ReduceBasicBlocks.h"21#include "deltas/ReduceDIMetadata.h"22#include "deltas/ReduceDbgRecords.h"23#include "deltas/ReduceDistinctMetadata.h"24#include "deltas/ReduceFunctionBodies.h"25#include "deltas/ReduceFunctions.h"26#include "deltas/ReduceGlobalObjects.h"27#include "deltas/ReduceGlobalValues.h"28#include "deltas/ReduceGlobalVarInitializers.h"29#include "deltas/ReduceGlobalVars.h"30#include "deltas/ReduceIRReferences.h"31#include "deltas/ReduceInlineCallSites.h"32#include "deltas/ReduceInstructionFlags.h"33#include "deltas/ReduceInstructionFlagsMIR.h"34#include "deltas/ReduceInstructions.h"35#include "deltas/ReduceInstructionsMIR.h"36#include "deltas/ReduceInvokes.h"37#include "deltas/ReduceMemoryOperations.h"38#include "deltas/ReduceMetadata.h"39#include "deltas/ReduceModuleData.h"40#include "deltas/ReduceOpcodes.h"41#include "deltas/ReduceOperandBundles.h"42#include "deltas/ReduceOperands.h"43#include "deltas/ReduceOperandsSkip.h"44#include "deltas/ReduceOperandsToArgs.h"45#include "deltas/ReduceRegisterDefs.h"46#include "deltas/ReduceRegisterMasks.h"47#include "deltas/ReduceRegisterUses.h"48#include "deltas/ReduceSpecialGlobals.h"49#include "deltas/ReduceTargetFeaturesAttr.h"50#include "deltas/ReduceUsingSimplifyCFG.h"51#include "deltas/ReduceValuesToReturn.h"52#include "deltas/ReduceVirtualRegisters.h"53#include "deltas/RunIRPasses.h"54#include "deltas/SimplifyInstructions.h"55#include "deltas/StripDebugInfo.h"56#include "llvm/ADT/SmallSet.h"57#include "llvm/Support/CommandLine.h"58 59using namespace llvm;60 61using SmallStringSet = SmallSet<StringRef, 8>;62 63extern cl::OptionCategory LLVMReduceOptions;64static cl::list<std::string>65 DeltaPasses("delta-passes",66 cl::desc("Delta passes to run, separated by commas. By "67 "default, run all delta passes."),68 cl::cat(LLVMReduceOptions), cl::CommaSeparated);69 70static cl::list<std::string>71 SkipDeltaPasses("skip-delta-passes",72 cl::desc("Delta passes to not run, separated by commas. By "73 "default, run all delta passes."),74 cl::cat(LLVMReduceOptions), cl::CommaSeparated);75 76// Generate two separate Pass lists: IR_Passes and MIR_Passes77static const DeltaPass IR_Passes[] = {78#undef DELTA_PASS_IR79#undef DELTA_PASS_MIR80#define DELTA_PASS_IR(NAME, FUNC, DESC) {NAME, FUNC, DESC},81#include "DeltaPasses.def"82#undef DELTA_PASS_IR83};84 85static const DeltaPass MIR_Passes[] = {86#undef DELTA_PASS_IR87#undef DELTA_PASS_MIR88#define DELTA_PASS_MIR(NAME, FUNC, DESC) {NAME, FUNC, DESC},89#include "DeltaPasses.def"90#undef DELTA_PASS_MIR91};92 93static void runAllDeltaPasses(TestRunner &Tester,94 const SmallStringSet &SkipPass) {95 if (Tester.getProgram().isMIR()) {96 for (const DeltaPass &Pass : MIR_Passes) {97 if (!SkipPass.count(Pass.Name)) {98 runDeltaPass(Tester, Pass);99 }100 }101 } else {102 for (const DeltaPass &Pass : IR_Passes) {103 if (!SkipPass.count(Pass.Name)) {104 runDeltaPass(Tester, Pass);105 }106 }107 }108}109 110static void runDeltaPassName(TestRunner &Tester, StringRef PassName) {111 if (Tester.getProgram().isMIR()) {112 for (const DeltaPass &Pass : MIR_Passes) {113 if (PassName == Pass.Name) {114 runDeltaPass(Tester, Pass);115 return;116 }117 }118 } else {119 for (const DeltaPass &Pass : IR_Passes) {120 if (PassName == Pass.Name) {121 runDeltaPass(Tester, Pass);122 return;123 }124 }125 }126 127 // We should have errored on unrecognized passes before trying to run128 // anything.129 llvm_unreachable("unknown delta pass");130}131 132void llvm::printDeltaPasses(raw_ostream &OS) {133 OS << "Delta passes (pass to `--delta-passes=` as a comma separated list):\n";134 OS << " IR:\n";135 for (const DeltaPass &Pass : IR_Passes) {136 OS << " " << Pass.Name << '\n';137 }138 OS << " MIR:\n";139 for (const DeltaPass &Pass : MIR_Passes) {140 OS << " " << Pass.Name << '\n';141 }142}143 144// Built a set of available delta passes.145static void collectPassNames(const TestRunner &Tester,146 SmallStringSet &NameSet) {147 for (const DeltaPass &Pass : MIR_Passes) {148 NameSet.insert(Pass.Name);149 }150 for (const DeltaPass &Pass : IR_Passes) {151 NameSet.insert(Pass.Name);152 }153}154 155/// Verify all requested or skipped passes are valid names, and return them in a156/// set.157static SmallStringSet handlePassList(const TestRunner &Tester,158 const cl::list<std::string> &PassList) {159 SmallStringSet AllPasses;160 collectPassNames(Tester, AllPasses);161 162 SmallStringSet PassSet;163 for (StringRef PassName : PassList) {164 if (!AllPasses.count(PassName)) {165 errs() << "unknown pass \"" << PassName << "\"\n";166 exit(1);167 }168 169 PassSet.insert(PassName);170 }171 172 return PassSet;173}174 175void llvm::runDeltaPasses(TestRunner &Tester, int MaxPassIterations) {176 uint64_t OldComplexity = Tester.getProgram().getComplexityScore();177 178 SmallStringSet RunPassSet, SkipPassSet;179 180 if (!DeltaPasses.empty())181 RunPassSet = handlePassList(Tester, DeltaPasses);182 183 if (!SkipDeltaPasses.empty())184 SkipPassSet = handlePassList(Tester, SkipDeltaPasses);185 186 for (int Iter = 0; Iter < MaxPassIterations; ++Iter) {187 if (DeltaPasses.empty()) {188 runAllDeltaPasses(Tester, SkipPassSet);189 } else {190 for (StringRef PassName : DeltaPasses) {191 if (!SkipPassSet.count(PassName))192 runDeltaPassName(Tester, PassName);193 }194 }195 196 uint64_t NewComplexity = Tester.getProgram().getComplexityScore();197 if (NewComplexity >= OldComplexity)198 break;199 OldComplexity = NewComplexity;200 }201}202