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 TBAA tag for the given instruction uses the scalar TBAA format, 55 /// we upgrade it to the struct-path aware TBAA format. 56 void UpgradeInstWithTBAATag(Instruction *I); 57 58 /// This is an auto-upgrade for bitcast between pointers with different 59 /// address spaces: the instruction is replaced by a pair ptrtoint+inttoptr. 60 Instruction *UpgradeBitCastInst(unsigned Opc, Value *V, Type *DestTy, 61 Instruction *&Temp); 62 63 /// This is an auto-upgrade for bitcast constant expression between pointers 64 /// with different address spaces: the instruction is replaced by a pair 65 /// ptrtoint+inttoptr. 66 Value *UpgradeBitCastExpr(unsigned Opc, Constant *C, Type *DestTy); 67 68 /// Check the debug info version number, if it is out-dated, drop the debug 69 /// info. Return true if module is modified. 70 bool UpgradeDebugInfo(Module &M); 71 72 /// Check whether a string looks like an old loop attachment tag. mayBeOldLoopAttachmentTag(StringRef Name)73 inline bool mayBeOldLoopAttachmentTag(StringRef Name) { 74 return Name.startswith("llvm.vectorizer."); 75 } 76 77 /// Upgrade the loop attachment metadata node. 78 MDNode *upgradeInstructionLoopAttachment(MDNode &N); 79 80 } // End llvm namespace 81 82 #endif 83