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
19namespace 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.
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