LLVM  4.0.0
AutoUpgrade.h
Go to the documentation of this file.
1 //===- AutoUpgrade.h - AutoUpgrade Helpers ----------------------*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // These functions are implemented by lib/IR/AutoUpgrade.cpp.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_IR_AUTOUPGRADE_H
15 #define LLVM_IR_AUTOUPGRADE_H
16 
17 #include "llvm/ADT/StringRef.h"
18 
19 namespace llvm {
20  class CallInst;
21  class Constant;
22  class Function;
23  class Instruction;
24  class MDNode;
25  class Module;
26  class GlobalVariable;
27  class Type;
28  class Value;
29 
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);
35 
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);
39 
40  /// This is an auto-upgrade hook for any old intrinsic function syntaxes
41  /// which need to have both the function updated as well as all calls updated
42  /// to the new function. This should only be run in a post-processing fashion
43  /// so that it can update all calls to the old function.
44  void UpgradeCallsToIntrinsic(Function* F);
45 
46  /// This checks for global variables which should be upgraded. It returns true
47  /// if it requires upgrading.
48  bool UpgradeGlobalVariable(GlobalVariable *GV);
49 
50  /// This checks for module flags which should be upgraded. It returns true if
51  /// module is modified.
52  bool UpgradeModuleFlags(Module &M);
53 
54  /// If the given TBAA tag uses the scalar TBAA format, create a new node
55  /// corresponding to the upgrade to the struct-path aware TBAA format.
56  /// Otherwise return the \p TBAANode itself.
57  MDNode *UpgradeTBAANode(MDNode &TBAANode);
58 
59  /// This is an auto-upgrade for bitcast between pointers with different
60  /// address spaces: the instruction is replaced by a pair ptrtoint+inttoptr.
61  Instruction *UpgradeBitCastInst(unsigned Opc, Value *V, Type *DestTy,
62  Instruction *&Temp);
63 
64  /// This is an auto-upgrade for bitcast constant expression between pointers
65  /// with different address spaces: the instruction is replaced by a pair
66  /// ptrtoint+inttoptr.
67  Value *UpgradeBitCastExpr(unsigned Opc, Constant *C, Type *DestTy);
68 
69  /// Check the debug info version number, if it is out-dated, drop the debug
70  /// info. Return true if module is modified.
71  bool UpgradeDebugInfo(Module &M);
72 
73  /// Check whether a string looks like an old loop attachment tag.
75  return Name.startswith("llvm.vectorizer.");
76  }
77 
78  /// Upgrade the loop attachment metadata node.
79  MDNode *upgradeInstructionLoopAttachment(MDNode &N);
80 
81 } // End llvm namespace
82 
83 #endif
bool mayBeOldLoopAttachmentTag(StringRef Name)
Check whether a string looks like an old loop attachment tag.
Definition: AutoUpgrade.h:74
void UpgradeIntrinsicCall(CallInst *CI, Function *NewFn)
This is the complement to the above, replacing a specific call to an intrinsic function with a call t...
MDNode * upgradeInstructionLoopAttachment(MDNode &N)
Upgrade the loop attachment metadata node.
void UpgradeCallsToIntrinsic(Function *F)
This is an auto-upgrade hook for any old intrinsic function syntaxes which need to have both the func...
#define F(x, y, z)
Definition: MD5.cpp:51
LLVM_NODISCARD LLVM_ATTRIBUTE_ALWAYS_INLINE bool startswith(StringRef Prefix) const
Check if this string starts with the given Prefix.
Definition: StringRef.h:264
bool UpgradeIntrinsicFunction(Function *F, Function *&NewFn)
This is a more granular function that simply checks an intrinsic function for upgrading, and returns true if it requires upgrading.
bool UpgradeModuleFlags(Module &M)
This checks for module flags which should be upgraded.
bool UpgradeDebugInfo(Module &M)
Check the debug info version number, if it is out-dated, drop the debug info.
Instruction * UpgradeBitCastInst(unsigned Opc, Value *V, Type *DestTy, Instruction *&Temp)
This is an auto-upgrade for bitcast between pointers with different address spaces: the instruction i...
bool UpgradeGlobalVariable(GlobalVariable *GV)
This checks for global variables which should be upgraded.
static GCRegistry::Add< ShadowStackGC > C("shadow-stack","Very portable GC for uncooperative code generators")
MDNode * UpgradeTBAANode(MDNode &TBAANode)
If the given TBAA tag uses the scalar TBAA format, create a new node corresponding to the upgrade to ...
#define N
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:47
Value * UpgradeBitCastExpr(unsigned Opc, Constant *C, Type *DestTy)
This is an auto-upgrade for bitcast constant expression between pointers with different address space...