Make DIExpression::Verify() stricter by checking that the number of
[opencl/llvm.git] / include / llvm / Transforms / Utils / SimplifyLibCalls.h
1 //===- SimplifyLibCalls.h - Library call simplifier -------------*- 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 // This file exposes an interface to build some C language libcalls for
11 // optimization passes that need to call the various functions.
12 //
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_TRANSFORMS_UTILS_SIMPLIFYLIBCALLS_H
16 #define LLVM_TRANSFORMS_UTILS_SIMPLIFYLIBCALLS_H
18 #include "llvm/ADT/StringRef.h"
19 #include "llvm/IR/IRBuilder.h"
21 namespace llvm {
22 class Value;
23 class CallInst;
24 class DataLayout;
25 class Instruction;
26 class TargetLibraryInfo;
27 class BasicBlock;
28 class Function;
30 /// \brief This class implements simplifications for calls to fortified library
31 /// functions (__st*cpy_chk, __memcpy_chk, __memmove_chk, __memset_chk), to,
32 /// when possible, replace them with their non-checking counterparts.
33 /// Other optimizations can also be done, but it's possible to disable them and
34 /// only simplify needless use of the checking versions (when the object size
35 /// is unknown) by passing true for OnlyLowerUnknownSize.
36 class FortifiedLibCallSimplifier {
37 private:
38   const DataLayout *DL;
39   const TargetLibraryInfo *TLI;
40   bool OnlyLowerUnknownSize;
42 public:
43   FortifiedLibCallSimplifier(const DataLayout *DL, const TargetLibraryInfo *TLI,
44                              bool OnlyLowerUnknownSize = false);
46   /// \brief Take the given call instruction and return a more
47   /// optimal value to replace the instruction with or 0 if a more
48   /// optimal form can't be found.
49   /// The call must not be an indirect call.
50   Value *optimizeCall(CallInst *CI);
52 private:
53   Value *optimizeMemCpyChk(CallInst *CI, IRBuilder<> &B);
54   Value *optimizeMemMoveChk(CallInst *CI, IRBuilder<> &B);
55   Value *optimizeMemSetChk(CallInst *CI, IRBuilder<> &B);
56   Value *optimizeStrCpyChk(CallInst *CI, IRBuilder<> &B);
57   Value *optimizeStrNCpyChk(CallInst *CI, IRBuilder<> &B);
59   /// \brief Checks whether the call \p CI to a fortified libcall is foldable
60   /// to the non-fortified version.
61   bool isFortifiedCallFoldable(CallInst *CI, unsigned ObjSizeOp,
62                                unsigned SizeOp, bool isString);
63 };
65 /// LibCallSimplifier - This class implements a collection of optimizations
66 /// that replace well formed calls to library functions with a more optimal
67 /// form.  For example, replacing 'printf("Hello!")' with 'puts("Hello!")'.
68 class LibCallSimplifier {
69 private:
70   FortifiedLibCallSimplifier FortifiedSimplifier;
71   const DataLayout *DL;
72   const TargetLibraryInfo *TLI;
73   bool UnsafeFPShrink;
75 protected:
76   ~LibCallSimplifier() {}
78 public:
79   LibCallSimplifier(const DataLayout *TD, const TargetLibraryInfo *TLI);
81   /// optimizeCall - Take the given call instruction and return a more
82   /// optimal value to replace the instruction with or 0 if a more
83   /// optimal form can't be found.  Note that the returned value may
84   /// be equal to the instruction being optimized.  In this case all
85   /// other instructions that use the given instruction were modified
86   /// and the given instruction is dead.
87   /// The call must not be an indirect call.
88   Value *optimizeCall(CallInst *CI);
90   /// replaceAllUsesWith - This method is used when the library call
91   /// simplifier needs to replace instructions other than the library
92   /// call being modified.
93   virtual void replaceAllUsesWith(Instruction *I, Value *With) const;
95 private:
96   // String and Memory Library Call Optimizations
97   Value *optimizeStrCat(CallInst *CI, IRBuilder<> &B);
98   Value *optimizeStrNCat(CallInst *CI, IRBuilder<> &B);
99   Value *optimizeStrChr(CallInst *CI, IRBuilder<> &B);
100   Value *optimizeStrRChr(CallInst *CI, IRBuilder<> &B);
101   Value *optimizeStrCmp(CallInst *CI, IRBuilder<> &B);
102   Value *optimizeStrNCmp(CallInst *CI, IRBuilder<> &B);
103   Value *optimizeStrCpy(CallInst *CI, IRBuilder<> &B);
104   Value *optimizeStpCpy(CallInst *CI, IRBuilder<> &B);
105   Value *optimizeStrNCpy(CallInst *CI, IRBuilder<> &B);
106   Value *optimizeStrLen(CallInst *CI, IRBuilder<> &B);
107   Value *optimizeStrPBrk(CallInst *CI, IRBuilder<> &B);
108   Value *optimizeStrTo(CallInst *CI, IRBuilder<> &B);
109   Value *optimizeStrSpn(CallInst *CI, IRBuilder<> &B);
110   Value *optimizeStrCSpn(CallInst *CI, IRBuilder<> &B);
111   Value *optimizeStrStr(CallInst *CI, IRBuilder<> &B);
112   Value *optimizeMemCmp(CallInst *CI, IRBuilder<> &B);
113   Value *optimizeMemCpy(CallInst *CI, IRBuilder<> &B);
114   Value *optimizeMemMove(CallInst *CI, IRBuilder<> &B);
115   Value *optimizeMemSet(CallInst *CI, IRBuilder<> &B);
116   // Wrapper for all String/Memory Library Call Optimizations
117   Value *optimizeStringMemoryLibCall(CallInst *CI, IRBuilder<> &B);
119   // Math Library Optimizations
120   Value *optimizeUnaryDoubleFP(CallInst *CI, IRBuilder<> &B, bool CheckRetType);
121   Value *optimizeBinaryDoubleFP(CallInst *CI, IRBuilder<> &B);
122   Value *optimizeCos(CallInst *CI, IRBuilder<> &B);
123   Value *optimizePow(CallInst *CI, IRBuilder<> &B);
124   Value *optimizeExp2(CallInst *CI, IRBuilder<> &B);
125   Value *optimizeFabs(CallInst *CI, IRBuilder<> &B);
126   Value *optimizeSqrt(CallInst *CI, IRBuilder<> &B);
127   Value *optimizeSinCosPi(CallInst *CI, IRBuilder<> &B);
129   // Integer Library Call Optimizations
130   Value *optimizeFFS(CallInst *CI, IRBuilder<> &B);
131   Value *optimizeAbs(CallInst *CI, IRBuilder<> &B);
132   Value *optimizeIsDigit(CallInst *CI, IRBuilder<> &B);
133   Value *optimizeIsAscii(CallInst *CI, IRBuilder<> &B);
134   Value *optimizeToAscii(CallInst *CI, IRBuilder<> &B);
136   // Formatting and IO Library Call Optimizations
137   Value *optimizeErrorReporting(CallInst *CI, IRBuilder<> &B,
138                                 int StreamArg = -1);
139   Value *optimizePrintF(CallInst *CI, IRBuilder<> &B);
140   Value *optimizeSPrintF(CallInst *CI, IRBuilder<> &B);
141   Value *optimizeFPrintF(CallInst *CI, IRBuilder<> &B);
142   Value *optimizeFWrite(CallInst *CI, IRBuilder<> &B);
143   Value *optimizeFPuts(CallInst *CI, IRBuilder<> &B);
144   Value *optimizePuts(CallInst *CI, IRBuilder<> &B);
146   // Helper methods
147   Value *emitStrLenMemCpy(Value *Src, Value *Dst, uint64_t Len, IRBuilder<> &B);
148   void classifyArgUse(Value *Val, BasicBlock *BB, bool IsFloat,
149                       SmallVectorImpl<CallInst *> &SinCalls,
150                       SmallVectorImpl<CallInst *> &CosCalls,
151                       SmallVectorImpl<CallInst *> &SinCosCalls);
152   void replaceTrigInsts(SmallVectorImpl<CallInst *> &Calls, Value *Res);
153   Value *optimizePrintFString(CallInst *CI, IRBuilder<> &B);
154   Value *optimizeSPrintFString(CallInst *CI, IRBuilder<> &B);
155   Value *optimizeFPrintFString(CallInst *CI, IRBuilder<> &B);
157   /// hasFloatVersion - Checks if there is a float version of the specified
158   /// function by checking for an existing function with name FuncName + f
159   bool hasFloatVersion(StringRef FuncName);
160 };
161 } // End llvm namespace
163 #endif