1 //===- AutoUpgrade.h - AutoUpgrade Helpers ----------------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // These functions are implemented by lib/IR/AutoUpgrade.cpp.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_IR_AUTOUPGRADE_H
15 #define LLVM_IR_AUTOUPGRADE_H
17 #include "llvm/ADT/StringRef.h"
30 /// This is a more granular function that simply checks an intrinsic function
31 /// for upgrading, and returns true if it requires upgrading. It may return
32 /// null in NewFn if the all calls to the original intrinsic function
33 /// should be transformed to non-function-call instructions.
34 bool UpgradeIntrinsicFunction(Function *F, Function *&NewFn);
36 /// This is the complement to the above, replacing a specific call to an
37 /// intrinsic function with a call to the specified new function.
38 void UpgradeIntrinsicCall(CallInst *CI, Function *NewFn);
40 // This upgrades the comment for objc retain release markers in inline asm
42 void UpgradeInlineAsmString(std::string *AsmStr);
44 /// This is an auto-upgrade hook for any old intrinsic function syntaxes
45 /// which need to have both the function updated as well as all calls updated
46 /// to the new function. This should only be run in a post-processing fashion
47 /// so that it can update all calls to the old function.
48 void UpgradeCallsToIntrinsic(Function* F);
50 /// This checks for global variables which should be upgraded. It returns true
51 /// if it requires upgrading.
52 bool UpgradeGlobalVariable(GlobalVariable *GV);
54 /// This checks for module flags which should be upgraded. It returns true if
55 /// module is modified.
56 bool UpgradeModuleFlags(Module &M);
58 /// This checks for objc retain release marker which should be upgraded. It
59 /// returns true if module is modified.
60 bool UpgradeRetainReleaseMarker(Module &M);
62 void UpgradeSectionAttributes(Module &M);
64 /// If the given TBAA tag uses the scalar TBAA format, create a new node
65 /// corresponding to the upgrade to the struct-path aware TBAA format.
66 /// Otherwise return the \p TBAANode itself.
67 MDNode *UpgradeTBAANode(MDNode &TBAANode);
69 /// This is an auto-upgrade for bitcast between pointers with different
70 /// address spaces: the instruction is replaced by a pair ptrtoint+inttoptr.
71 Instruction *UpgradeBitCastInst(unsigned Opc, Value *V, Type *DestTy,
74 /// This is an auto-upgrade for bitcast constant expression between pointers
75 /// with different address spaces: the instruction is replaced by a pair
76 /// ptrtoint+inttoptr.
77 Value *UpgradeBitCastExpr(unsigned Opc, Constant *C, Type *DestTy);
79 /// Check the debug info version number, if it is out-dated, drop the debug
80 /// info. Return true if module is modified.
81 bool UpgradeDebugInfo(Module &M);
83 /// Check whether a string looks like an old loop attachment tag.
84 inline bool mayBeOldLoopAttachmentTag(StringRef Name) {
85 return Name.startswith("llvm.vectorizer.");
88 /// Upgrade the loop attachment metadata node.
89 MDNode *upgradeInstructionLoopAttachment(MDNode &N);
91 } // End llvm namespace