|  | //===- ForceFunctionAttrs.cpp - Force function attrs for debugging --------===// | 
|  | // | 
|  | //                     The LLVM Compiler Infrastructure | 
|  | // | 
|  | // This file is distributed under the University of Illinois Open Source | 
|  | // License. See LICENSE.TXT for details. | 
|  | // | 
|  | //===----------------------------------------------------------------------===// | 
|  |  | 
|  | #include "llvm/Transforms/IPO/ForceFunctionAttrs.h" | 
|  | #include "llvm/ADT/StringSwitch.h" | 
|  | #include "llvm/IR/Function.h" | 
|  | #include "llvm/IR/LLVMContext.h" | 
|  | #include "llvm/IR/Module.h" | 
|  | #include "llvm/Support/Debug.h" | 
|  | #include "llvm/Support/raw_ostream.h" | 
|  | using namespace llvm; | 
|  |  | 
|  | #define DEBUG_TYPE "forceattrs" | 
|  |  | 
|  | static cl::list<std::string> | 
|  | ForceAttributes("force-attribute", cl::Hidden, | 
|  | cl::desc("Add an attribute to a function. This should be a " | 
|  | "pair of 'function-name:attribute-name', for " | 
|  | "example -force-attribute=foo:noinline. This " | 
|  | "option can be specified multiple times.")); | 
|  |  | 
|  | static Attribute::AttrKind parseAttrKind(StringRef Kind) { | 
|  | return StringSwitch<Attribute::AttrKind>(Kind) | 
|  | .Case("alwaysinline", Attribute::AlwaysInline) | 
|  | .Case("builtin", Attribute::Builtin) | 
|  | .Case("cold", Attribute::Cold) | 
|  | .Case("convergent", Attribute::Convergent) | 
|  | .Case("inlinehint", Attribute::InlineHint) | 
|  | .Case("jumptable", Attribute::JumpTable) | 
|  | .Case("minsize", Attribute::MinSize) | 
|  | .Case("naked", Attribute::Naked) | 
|  | .Case("nobuiltin", Attribute::NoBuiltin) | 
|  | .Case("noduplicate", Attribute::NoDuplicate) | 
|  | .Case("noimplicitfloat", Attribute::NoImplicitFloat) | 
|  | .Case("noinline", Attribute::NoInline) | 
|  | .Case("nonlazybind", Attribute::NonLazyBind) | 
|  | .Case("noredzone", Attribute::NoRedZone) | 
|  | .Case("noreturn", Attribute::NoReturn) | 
|  | .Case("nocf_check", Attribute::NoCfCheck) | 
|  | .Case("norecurse", Attribute::NoRecurse) | 
|  | .Case("nounwind", Attribute::NoUnwind) | 
|  | .Case("optforfuzzing", Attribute::OptForFuzzing) | 
|  | .Case("optnone", Attribute::OptimizeNone) | 
|  | .Case("optsize", Attribute::OptimizeForSize) | 
|  | .Case("readnone", Attribute::ReadNone) | 
|  | .Case("readonly", Attribute::ReadOnly) | 
|  | .Case("argmemonly", Attribute::ArgMemOnly) | 
|  | .Case("returns_twice", Attribute::ReturnsTwice) | 
|  | .Case("safestack", Attribute::SafeStack) | 
|  | .Case("shadowcallstack", Attribute::ShadowCallStack) | 
|  | .Case("sanitize_address", Attribute::SanitizeAddress) | 
|  | .Case("sanitize_hwaddress", Attribute::SanitizeHWAddress) | 
|  | .Case("sanitize_memory", Attribute::SanitizeMemory) | 
|  | .Case("sanitize_thread", Attribute::SanitizeThread) | 
|  | .Case("ssp", Attribute::StackProtect) | 
|  | .Case("sspreq", Attribute::StackProtectReq) | 
|  | .Case("sspstrong", Attribute::StackProtectStrong) | 
|  | .Case("strictfp", Attribute::StrictFP) | 
|  | .Case("uwtable", Attribute::UWTable) | 
|  | .Default(Attribute::None); | 
|  | } | 
|  |  | 
|  | /// If F has any forced attributes given on the command line, add them. | 
|  | static void addForcedAttributes(Function &F) { | 
|  | for (auto &S : ForceAttributes) { | 
|  | auto KV = StringRef(S).split(':'); | 
|  | if (KV.first != F.getName()) | 
|  | continue; | 
|  |  | 
|  | auto Kind = parseAttrKind(KV.second); | 
|  | if (Kind == Attribute::None) { | 
|  | LLVM_DEBUG(dbgs() << "ForcedAttribute: " << KV.second | 
|  | << " unknown or not handled!\n"); | 
|  | continue; | 
|  | } | 
|  | if (F.hasFnAttribute(Kind)) | 
|  | continue; | 
|  | F.addFnAttr(Kind); | 
|  | } | 
|  | } | 
|  |  | 
|  | PreservedAnalyses ForceFunctionAttrsPass::run(Module &M, | 
|  | ModuleAnalysisManager &) { | 
|  | if (ForceAttributes.empty()) | 
|  | return PreservedAnalyses::all(); | 
|  |  | 
|  | for (Function &F : M.functions()) | 
|  | addForcedAttributes(F); | 
|  |  | 
|  | // Just conservatively invalidate analyses, this isn't likely to be important. | 
|  | return PreservedAnalyses::none(); | 
|  | } | 
|  |  | 
|  | namespace { | 
|  | struct ForceFunctionAttrsLegacyPass : public ModulePass { | 
|  | static char ID; // Pass identification, replacement for typeid | 
|  | ForceFunctionAttrsLegacyPass() : ModulePass(ID) { | 
|  | initializeForceFunctionAttrsLegacyPassPass( | 
|  | *PassRegistry::getPassRegistry()); | 
|  | } | 
|  |  | 
|  | bool runOnModule(Module &M) override { | 
|  | if (ForceAttributes.empty()) | 
|  | return false; | 
|  |  | 
|  | for (Function &F : M.functions()) | 
|  | addForcedAttributes(F); | 
|  |  | 
|  | // Conservatively assume we changed something. | 
|  | return true; | 
|  | } | 
|  | }; | 
|  | } | 
|  |  | 
|  | char ForceFunctionAttrsLegacyPass::ID = 0; | 
|  | INITIALIZE_PASS(ForceFunctionAttrsLegacyPass, "forceattrs", | 
|  | "Force set function attributes", false, false) | 
|  |  | 
|  | Pass *llvm::createForceFunctionAttrsLegacyPass() { | 
|  | return new ForceFunctionAttrsLegacyPass(); | 
|  | } |