blob: 8eaeb1073a7610e2724ef3f02087a242bb89ea12 [file] [log] [blame]
Meador Ingedf796f82012-10-13 16:45:24 +00001//===------ SimplifyLibCalls.cpp - Library calls simplifier ---------------===//
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 is a utility pass used for testing the InstructionSimplify analysis.
11// The analysis is applied to every instruction, and if it simplifies then the
12// instruction is replaced by the simplification. If you are looking for a pass
13// that performs serious instruction folding, use the instcombine pass instead.
14//
15//===----------------------------------------------------------------------===//
16
17#include "llvm/Transforms/Utils/SimplifyLibCalls.h"
Meador Inge20255ef2013-03-12 00:08:29 +000018#include "llvm/ADT/SmallString.h"
Meador Ingedf796f82012-10-13 16:45:24 +000019#include "llvm/ADT/StringMap.h"
Bob Wilsond8d92d92013-11-03 06:48:38 +000020#include "llvm/ADT/Triple.h"
Weiming Zhao45d4cb92015-11-24 18:57:06 +000021#include "llvm/Analysis/TargetLibraryInfo.h"
Meador Ingedf796f82012-10-13 16:45:24 +000022#include "llvm/Analysis/ValueTracking.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/DataLayout.h"
Diego Novillo7f8af8b2014-05-22 14:19:46 +000024#include "llvm/IR/DiagnosticInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000025#include "llvm/IR/Function.h"
26#include "llvm/IR/IRBuilder.h"
Meador Inge20255ef2013-03-12 00:08:29 +000027#include "llvm/IR/IntrinsicInst.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000028#include "llvm/IR/Intrinsics.h"
29#include "llvm/IR/LLVMContext.h"
30#include "llvm/IR/Module.h"
Sanjay Patelc699a612014-10-16 18:48:17 +000031#include "llvm/IR/PatternMatch.h"
Hal Finkel66cd3f12013-11-17 02:06:35 +000032#include "llvm/Support/CommandLine.h"
Meador Ingedf796f82012-10-13 16:45:24 +000033#include "llvm/Transforms/Utils/BuildLibCalls.h"
Chad Rosierdc655322015-08-28 18:30:18 +000034#include "llvm/Transforms/Utils/Local.h"
Meador Ingedf796f82012-10-13 16:45:24 +000035
36using namespace llvm;
Sanjay Patelc699a612014-10-16 18:48:17 +000037using namespace PatternMatch;
Meador Ingedf796f82012-10-13 16:45:24 +000038
Hal Finkel66cd3f12013-11-17 02:06:35 +000039static cl::opt<bool>
Chris Bienemanad070d02014-09-17 20:55:46 +000040 ColdErrorCalls("error-reporting-is-cold", cl::init(true), cl::Hidden,
41 cl::desc("Treat error-reporting calls as cold"));
Meador Ingedf796f82012-10-13 16:45:24 +000042
Sanjay Patela92fa442014-10-22 15:29:23 +000043static cl::opt<bool>
44 EnableUnsafeFPShrink("enable-double-float-shrink", cl::Hidden,
45 cl::init(false),
46 cl::desc("Enable unsafe double to float "
47 "shrinking for math lib calls"));
48
49
Meador Ingedf796f82012-10-13 16:45:24 +000050//===----------------------------------------------------------------------===//
Meador Inged589ac62012-10-31 03:33:06 +000051// Helper Functions
52//===----------------------------------------------------------------------===//
53
Chris Bienemanad070d02014-09-17 20:55:46 +000054static bool ignoreCallingConv(LibFunc::Func Func) {
Davide Italianob883b012015-11-12 23:39:00 +000055 return Func == LibFunc::abs || Func == LibFunc::labs ||
56 Func == LibFunc::llabs || Func == LibFunc::strlen;
Chris Bienemanad070d02014-09-17 20:55:46 +000057}
58
Sam Parker214f7bf2016-09-13 12:10:14 +000059static bool isCallingConvCCompatible(CallInst *CI) {
60 switch(CI->getCallingConv()) {
61 default:
62 return false;
63 case llvm::CallingConv::C:
64 return true;
65 case llvm::CallingConv::ARM_APCS:
66 case llvm::CallingConv::ARM_AAPCS:
67 case llvm::CallingConv::ARM_AAPCS_VFP: {
68
69 // The iOS ABI diverges from the standard in some cases, so for now don't
70 // try to simplify those calls.
71 if (Triple(CI->getModule()->getTargetTriple()).isiOS())
72 return false;
73
74 auto *FuncTy = CI->getFunctionType();
75
76 if (!FuncTy->getReturnType()->isPointerTy() &&
77 !FuncTy->getReturnType()->isIntegerTy() &&
78 !FuncTy->getReturnType()->isVoidTy())
79 return false;
80
81 for (auto Param : FuncTy->params()) {
82 if (!Param->isPointerTy() && !Param->isIntegerTy())
83 return false;
84 }
85 return true;
86 }
87 }
88 return false;
89}
90
Sanjay Pateld707db92015-12-31 16:10:49 +000091/// Return true if it only matters that the value is equal or not-equal to zero.
Meador Inged589ac62012-10-31 03:33:06 +000092static bool isOnlyUsedInZeroEqualityComparison(Value *V) {
Chandler Carruthcdf47882014-03-09 03:16:01 +000093 for (User *U : V->users()) {
94 if (ICmpInst *IC = dyn_cast<ICmpInst>(U))
Meador Inged589ac62012-10-31 03:33:06 +000095 if (IC->isEquality())
96 if (Constant *C = dyn_cast<Constant>(IC->getOperand(1)))
97 if (C->isNullValue())
98 continue;
99 // Unknown instruction.
100 return false;
101 }
102 return true;
103}
104
Sanjay Pateld707db92015-12-31 16:10:49 +0000105/// Return true if it is only used in equality comparisons with With.
Meador Inge56edbc92012-11-11 03:51:48 +0000106static bool isOnlyUsedInEqualityComparison(Value *V, Value *With) {
Chandler Carruthcdf47882014-03-09 03:16:01 +0000107 for (User *U : V->users()) {
108 if (ICmpInst *IC = dyn_cast<ICmpInst>(U))
Meador Inge56edbc92012-11-11 03:51:48 +0000109 if (IC->isEquality() && IC->getOperand(1) == With)
110 continue;
111 // Unknown instruction.
112 return false;
113 }
114 return true;
115}
116
Meador Inge08ca1152012-11-26 20:37:20 +0000117static bool callHasFloatingPointArgument(const CallInst *CI) {
David Majnemer0a16c222016-08-11 21:15:00 +0000118 return any_of(CI->operands(), [](const Use &OI) {
Davide Italianoda3beeb2015-11-28 22:27:48 +0000119 return OI->getType()->isFloatingPointTy();
120 });
Meador Inge08ca1152012-11-26 20:37:20 +0000121}
122
Benjamin Kramer2702caa2013-08-31 18:19:35 +0000123/// \brief Check whether the overloaded unary floating point function
Sanjay Patele24c60e2015-08-12 20:36:18 +0000124/// corresponding to \a Ty is available.
Benjamin Kramer2702caa2013-08-31 18:19:35 +0000125static bool hasUnaryFloatFn(const TargetLibraryInfo *TLI, Type *Ty,
126 LibFunc::Func DoubleFn, LibFunc::Func FloatFn,
127 LibFunc::Func LongDoubleFn) {
128 switch (Ty->getTypeID()) {
129 case Type::FloatTyID:
130 return TLI->has(FloatFn);
131 case Type::DoubleTyID:
132 return TLI->has(DoubleFn);
133 default:
134 return TLI->has(LongDoubleFn);
135 }
136}
137
Meador Inged589ac62012-10-31 03:33:06 +0000138//===----------------------------------------------------------------------===//
Meador Inge7fb2f732012-10-13 16:45:32 +0000139// String and Memory Library Call Optimizations
140//===----------------------------------------------------------------------===//
141
Chris Bienemanad070d02014-09-17 20:55:46 +0000142Value *LibCallSimplifier::optimizeStrCat(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000143 // Extract some information from the instruction
144 Value *Dst = CI->getArgOperand(0);
145 Value *Src = CI->getArgOperand(1);
146
147 // See if we can get the length of the input string.
148 uint64_t Len = GetStringLength(Src);
149 if (Len == 0)
150 return nullptr;
151 --Len; // Unbias length.
152
153 // Handle the simple, do-nothing case: strcat(x, "") -> x
154 if (Len == 0)
155 return Dst;
156
Chris Bienemanad070d02014-09-17 20:55:46 +0000157 return emitStrLenMemCpy(Src, Dst, Len, B);
158}
159
160Value *LibCallSimplifier::emitStrLenMemCpy(Value *Src, Value *Dst, uint64_t Len,
161 IRBuilder<> &B) {
162 // We need to find the end of the destination string. That's where the
163 // memory is to be moved to. We just generate a call to strlen.
Sanjay Pateld3112a52016-01-19 19:46:10 +0000164 Value *DstLen = emitStrLen(Dst, B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000165 if (!DstLen)
166 return nullptr;
167
168 // Now that we have the destination's length, we must index into the
169 // destination's pointer to get the actual memcpy destination (end of
170 // the string .. we're concatenating).
David Blaikie3909da72015-03-30 20:42:56 +0000171 Value *CpyDst = B.CreateGEP(B.getInt8Ty(), Dst, DstLen, "endptr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000172
173 // We have enough information to now generate the memcpy call to do the
174 // concatenation for us. Make a memcpy to copy the nul byte with align = 1.
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000175 B.CreateMemCpy(CpyDst, Src,
176 ConstantInt::get(DL.getIntPtrType(Src->getContext()), Len + 1),
Pete Cooper67cf9a72015-11-19 05:56:52 +0000177 1);
Chris Bienemanad070d02014-09-17 20:55:46 +0000178 return Dst;
179}
180
181Value *LibCallSimplifier::optimizeStrNCat(CallInst *CI, IRBuilder<> &B) {
Sanjay Pateld707db92015-12-31 16:10:49 +0000182 // Extract some information from the instruction.
Chris Bienemanad070d02014-09-17 20:55:46 +0000183 Value *Dst = CI->getArgOperand(0);
184 Value *Src = CI->getArgOperand(1);
185 uint64_t Len;
186
Sanjay Pateld707db92015-12-31 16:10:49 +0000187 // We don't do anything if length is not constant.
Chris Bienemanad070d02014-09-17 20:55:46 +0000188 if (ConstantInt *LengthArg = dyn_cast<ConstantInt>(CI->getArgOperand(2)))
189 Len = LengthArg->getZExtValue();
190 else
191 return nullptr;
192
193 // See if we can get the length of the input string.
194 uint64_t SrcLen = GetStringLength(Src);
195 if (SrcLen == 0)
196 return nullptr;
197 --SrcLen; // Unbias length.
198
199 // Handle the simple, do-nothing cases:
200 // strncat(x, "", c) -> x
201 // strncat(x, c, 0) -> x
202 if (SrcLen == 0 || Len == 0)
203 return Dst;
204
Sanjay Pateld707db92015-12-31 16:10:49 +0000205 // We don't optimize this case.
Chris Bienemanad070d02014-09-17 20:55:46 +0000206 if (Len < SrcLen)
207 return nullptr;
208
209 // strncat(x, s, c) -> strcat(x, s)
Sanjay Pateld707db92015-12-31 16:10:49 +0000210 // s is constant so the strcat can be optimized further.
Chris Bienemanad070d02014-09-17 20:55:46 +0000211 return emitStrLenMemCpy(Src, Dst, SrcLen, B);
212}
213
214Value *LibCallSimplifier::optimizeStrChr(CallInst *CI, IRBuilder<> &B) {
215 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +0000216 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +0000217 Value *SrcStr = CI->getArgOperand(0);
218
219 // If the second operand is non-constant, see if we can compute the length
220 // of the input string and turn this into memchr.
221 ConstantInt *CharC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
222 if (!CharC) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000223 uint64_t Len = GetStringLength(SrcStr);
224 if (Len == 0 || !FT->getParamType(1)->isIntegerTy(32)) // memchr needs i32.
225 return nullptr;
Meador Inge7fb2f732012-10-13 16:45:32 +0000226
Sanjay Pateld3112a52016-01-19 19:46:10 +0000227 return emitMemChr(SrcStr, CI->getArgOperand(1), // include nul.
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000228 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len),
229 B, DL, TLI);
Meador Inge7fb2f732012-10-13 16:45:32 +0000230 }
231
Chris Bienemanad070d02014-09-17 20:55:46 +0000232 // Otherwise, the character is a constant, see if the first argument is
233 // a string literal. If so, we can constant fold.
234 StringRef Str;
235 if (!getConstantStringInfo(SrcStr, Str)) {
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000236 if (CharC->isZero()) // strchr(p, 0) -> p + strlen(p)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000237 return B.CreateGEP(B.getInt8Ty(), SrcStr, emitStrLen(SrcStr, B, DL, TLI),
Sanjay Pateld707db92015-12-31 16:10:49 +0000238 "strchr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000239 return nullptr;
240 }
241
242 // Compute the offset, make sure to handle the case when we're searching for
243 // zero (a weird way to spell strlen).
244 size_t I = (0xFF & CharC->getSExtValue()) == 0
245 ? Str.size()
246 : Str.find(CharC->getSExtValue());
247 if (I == StringRef::npos) // Didn't find the char. strchr returns null.
248 return Constant::getNullValue(CI->getType());
249
250 // strchr(s+n,c) -> gep(s+n+i,c)
David Blaikie3909da72015-03-30 20:42:56 +0000251 return B.CreateGEP(B.getInt8Ty(), SrcStr, B.getInt64(I), "strchr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000252}
253
254Value *LibCallSimplifier::optimizeStrRChr(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000255 Value *SrcStr = CI->getArgOperand(0);
256 ConstantInt *CharC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
257
258 // Cannot fold anything if we're not looking for a constant.
259 if (!CharC)
260 return nullptr;
261
262 StringRef Str;
263 if (!getConstantStringInfo(SrcStr, Str)) {
264 // strrchr(s, 0) -> strchr(s, 0)
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000265 if (CharC->isZero())
Sanjay Pateld3112a52016-01-19 19:46:10 +0000266 return emitStrChr(SrcStr, '\0', B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000267 return nullptr;
268 }
269
270 // Compute the offset.
271 size_t I = (0xFF & CharC->getSExtValue()) == 0
272 ? Str.size()
273 : Str.rfind(CharC->getSExtValue());
274 if (I == StringRef::npos) // Didn't find the char. Return null.
275 return Constant::getNullValue(CI->getType());
276
277 // strrchr(s+n,c) -> gep(s+n+i,c)
David Blaikie3909da72015-03-30 20:42:56 +0000278 return B.CreateGEP(B.getInt8Ty(), SrcStr, B.getInt64(I), "strrchr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000279}
280
281Value *LibCallSimplifier::optimizeStrCmp(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000282 Value *Str1P = CI->getArgOperand(0), *Str2P = CI->getArgOperand(1);
283 if (Str1P == Str2P) // strcmp(x,x) -> 0
284 return ConstantInt::get(CI->getType(), 0);
285
286 StringRef Str1, Str2;
287 bool HasStr1 = getConstantStringInfo(Str1P, Str1);
288 bool HasStr2 = getConstantStringInfo(Str2P, Str2);
289
290 // strcmp(x, y) -> cnst (if both x and y are constant strings)
291 if (HasStr1 && HasStr2)
292 return ConstantInt::get(CI->getType(), Str1.compare(Str2));
293
294 if (HasStr1 && Str1.empty()) // strcmp("", x) -> -*x
295 return B.CreateNeg(
296 B.CreateZExt(B.CreateLoad(Str2P, "strcmpload"), CI->getType()));
297
298 if (HasStr2 && Str2.empty()) // strcmp(x,"") -> *x
299 return B.CreateZExt(B.CreateLoad(Str1P, "strcmpload"), CI->getType());
300
301 // strcmp(P, "x") -> memcmp(P, "x", 2)
302 uint64_t Len1 = GetStringLength(Str1P);
303 uint64_t Len2 = GetStringLength(Str2P);
304 if (Len1 && Len2) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000305 return emitMemCmp(Str1P, Str2P,
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000306 ConstantInt::get(DL.getIntPtrType(CI->getContext()),
Chris Bienemanad070d02014-09-17 20:55:46 +0000307 std::min(Len1, Len2)),
308 B, DL, TLI);
309 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000310
Chris Bienemanad070d02014-09-17 20:55:46 +0000311 return nullptr;
312}
313
314Value *LibCallSimplifier::optimizeStrNCmp(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000315 Value *Str1P = CI->getArgOperand(0), *Str2P = CI->getArgOperand(1);
316 if (Str1P == Str2P) // strncmp(x,x,n) -> 0
317 return ConstantInt::get(CI->getType(), 0);
318
319 // Get the length argument if it is constant.
320 uint64_t Length;
321 if (ConstantInt *LengthArg = dyn_cast<ConstantInt>(CI->getArgOperand(2)))
322 Length = LengthArg->getZExtValue();
323 else
324 return nullptr;
325
326 if (Length == 0) // strncmp(x,y,0) -> 0
327 return ConstantInt::get(CI->getType(), 0);
328
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000329 if (Length == 1) // strncmp(x,y,1) -> memcmp(x,y,1)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000330 return emitMemCmp(Str1P, Str2P, CI->getArgOperand(2), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000331
332 StringRef Str1, Str2;
333 bool HasStr1 = getConstantStringInfo(Str1P, Str1);
334 bool HasStr2 = getConstantStringInfo(Str2P, Str2);
335
336 // strncmp(x, y) -> cnst (if both x and y are constant strings)
337 if (HasStr1 && HasStr2) {
338 StringRef SubStr1 = Str1.substr(0, Length);
339 StringRef SubStr2 = Str2.substr(0, Length);
340 return ConstantInt::get(CI->getType(), SubStr1.compare(SubStr2));
341 }
342
343 if (HasStr1 && Str1.empty()) // strncmp("", x, n) -> -*x
344 return B.CreateNeg(
345 B.CreateZExt(B.CreateLoad(Str2P, "strcmpload"), CI->getType()));
346
347 if (HasStr2 && Str2.empty()) // strncmp(x, "", n) -> *x
348 return B.CreateZExt(B.CreateLoad(Str1P, "strcmpload"), CI->getType());
349
350 return nullptr;
351}
352
353Value *LibCallSimplifier::optimizeStrCpy(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000354 Value *Dst = CI->getArgOperand(0), *Src = CI->getArgOperand(1);
355 if (Dst == Src) // strcpy(x,x) -> x
356 return Src;
357
Chris Bienemanad070d02014-09-17 20:55:46 +0000358 // See if we can get the length of the input string.
359 uint64_t Len = GetStringLength(Src);
360 if (Len == 0)
361 return nullptr;
362
363 // We have enough information to now generate the memcpy call to do the
364 // copy for us. Make a memcpy to copy the nul byte with align = 1.
365 B.CreateMemCpy(Dst, Src,
Pete Cooper67cf9a72015-11-19 05:56:52 +0000366 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len), 1);
Chris Bienemanad070d02014-09-17 20:55:46 +0000367 return Dst;
368}
369
370Value *LibCallSimplifier::optimizeStpCpy(CallInst *CI, IRBuilder<> &B) {
371 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +0000372 Value *Dst = CI->getArgOperand(0), *Src = CI->getArgOperand(1);
373 if (Dst == Src) { // stpcpy(x,x) -> x+strlen(x)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000374 Value *StrLen = emitStrLen(Src, B, DL, TLI);
David Blaikieaa41cd52015-04-03 21:33:42 +0000375 return StrLen ? B.CreateInBoundsGEP(B.getInt8Ty(), Dst, StrLen) : nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000376 }
377
378 // See if we can get the length of the input string.
379 uint64_t Len = GetStringLength(Src);
380 if (Len == 0)
381 return nullptr;
382
Davide Italianob7487e62015-11-02 23:07:14 +0000383 Type *PT = Callee->getFunctionType()->getParamType(0);
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000384 Value *LenV = ConstantInt::get(DL.getIntPtrType(PT), Len);
Sanjay Pateld707db92015-12-31 16:10:49 +0000385 Value *DstEnd = B.CreateGEP(B.getInt8Ty(), Dst,
386 ConstantInt::get(DL.getIntPtrType(PT), Len - 1));
Chris Bienemanad070d02014-09-17 20:55:46 +0000387
388 // We have enough information to now generate the memcpy call to do the
389 // copy for us. Make a memcpy to copy the nul byte with align = 1.
Pete Cooper67cf9a72015-11-19 05:56:52 +0000390 B.CreateMemCpy(Dst, Src, LenV, 1);
Chris Bienemanad070d02014-09-17 20:55:46 +0000391 return DstEnd;
392}
393
394Value *LibCallSimplifier::optimizeStrNCpy(CallInst *CI, IRBuilder<> &B) {
395 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +0000396 Value *Dst = CI->getArgOperand(0);
397 Value *Src = CI->getArgOperand(1);
398 Value *LenOp = CI->getArgOperand(2);
399
400 // See if we can get the length of the input string.
401 uint64_t SrcLen = GetStringLength(Src);
402 if (SrcLen == 0)
403 return nullptr;
404 --SrcLen;
405
406 if (SrcLen == 0) {
407 // strncpy(x, "", y) -> memset(x, '\0', y, 1)
408 B.CreateMemSet(Dst, B.getInt8('\0'), LenOp, 1);
Meador Inge7fb2f732012-10-13 16:45:32 +0000409 return Dst;
410 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000411
Chris Bienemanad070d02014-09-17 20:55:46 +0000412 uint64_t Len;
413 if (ConstantInt *LengthArg = dyn_cast<ConstantInt>(LenOp))
414 Len = LengthArg->getZExtValue();
415 else
416 return nullptr;
Meador Inge7fb2f732012-10-13 16:45:32 +0000417
Chris Bienemanad070d02014-09-17 20:55:46 +0000418 if (Len == 0)
419 return Dst; // strncpy(x, y, 0) -> x
Meador Inge7fb2f732012-10-13 16:45:32 +0000420
Chris Bienemanad070d02014-09-17 20:55:46 +0000421 // Let strncpy handle the zero padding
422 if (Len > SrcLen + 1)
423 return nullptr;
Meador Inge7fb2f732012-10-13 16:45:32 +0000424
Davide Italianob7487e62015-11-02 23:07:14 +0000425 Type *PT = Callee->getFunctionType()->getParamType(0);
Chris Bienemanad070d02014-09-17 20:55:46 +0000426 // strncpy(x, s, c) -> memcpy(x, s, c, 1) [s and c are constant]
Pete Cooper67cf9a72015-11-19 05:56:52 +0000427 B.CreateMemCpy(Dst, Src, ConstantInt::get(DL.getIntPtrType(PT), Len), 1);
Meador Inge7fb2f732012-10-13 16:45:32 +0000428
Chris Bienemanad070d02014-09-17 20:55:46 +0000429 return Dst;
430}
Meador Inge7fb2f732012-10-13 16:45:32 +0000431
Chris Bienemanad070d02014-09-17 20:55:46 +0000432Value *LibCallSimplifier::optimizeStrLen(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000433 Value *Src = CI->getArgOperand(0);
434
435 // Constant folding: strlen("xyz") -> 3
436 if (uint64_t Len = GetStringLength(Src))
437 return ConstantInt::get(CI->getType(), Len - 1);
438
David L Kreitzer752c1442016-04-13 14:31:06 +0000439 // If s is a constant pointer pointing to a string literal, we can fold
440 // strlen(s + x) to strlen(s) - x, when x is known to be in the range
441 // [0, strlen(s)] or the string has a single null terminator '\0' at the end.
442 // We only try to simplify strlen when the pointer s points to an array
443 // of i8. Otherwise, we would need to scale the offset x before doing the
444 // subtraction. This will make the optimization more complex, and it's not
445 // very useful because calling strlen for a pointer of other types is
446 // very uncommon.
447 if (GEPOperator *GEP = dyn_cast<GEPOperator>(Src)) {
448 if (!isGEPBasedOnPointerToString(GEP))
449 return nullptr;
450
451 StringRef Str;
452 if (getConstantStringInfo(GEP->getOperand(0), Str, 0, false)) {
453 size_t NullTermIdx = Str.find('\0');
454
455 // If the string does not have '\0', leave it to strlen to compute
456 // its length.
457 if (NullTermIdx == StringRef::npos)
458 return nullptr;
459
460 Value *Offset = GEP->getOperand(2);
461 unsigned BitWidth = Offset->getType()->getIntegerBitWidth();
462 APInt KnownZero(BitWidth, 0);
463 APInt KnownOne(BitWidth, 0);
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000464 computeKnownBits(Offset, KnownZero, KnownOne, DL, 0, nullptr, CI,
465 nullptr);
David L Kreitzer752c1442016-04-13 14:31:06 +0000466 KnownZero.flipAllBits();
467 size_t ArrSize =
468 cast<ArrayType>(GEP->getSourceElementType())->getNumElements();
469
470 // KnownZero's bits are flipped, so zeros in KnownZero now represent
471 // bits known to be zeros in Offset, and ones in KnowZero represent
472 // bits unknown in Offset. Therefore, Offset is known to be in range
473 // [0, NullTermIdx] when the flipped KnownZero is non-negative and
474 // unsigned-less-than NullTermIdx.
475 //
476 // If Offset is not provably in the range [0, NullTermIdx], we can still
477 // optimize if we can prove that the program has undefined behavior when
478 // Offset is outside that range. That is the case when GEP->getOperand(0)
479 // is a pointer to an object whose memory extent is NullTermIdx+1.
480 if ((KnownZero.isNonNegative() && KnownZero.ule(NullTermIdx)) ||
481 (GEP->isInBounds() && isa<GlobalVariable>(GEP->getOperand(0)) &&
482 NullTermIdx == ArrSize - 1))
483 return B.CreateSub(ConstantInt::get(CI->getType(), NullTermIdx),
484 Offset);
485 }
486
487 return nullptr;
488 }
489
Chris Bienemanad070d02014-09-17 20:55:46 +0000490 // strlen(x?"foo":"bars") --> x ? 3 : 4
491 if (SelectInst *SI = dyn_cast<SelectInst>(Src)) {
492 uint64_t LenTrue = GetStringLength(SI->getTrueValue());
493 uint64_t LenFalse = GetStringLength(SI->getFalseValue());
494 if (LenTrue && LenFalse) {
495 Function *Caller = CI->getParent()->getParent();
496 emitOptimizationRemark(CI->getContext(), "simplify-libcalls", *Caller,
497 SI->getDebugLoc(),
498 "folded strlen(select) to select of constants");
499 return B.CreateSelect(SI->getCondition(),
500 ConstantInt::get(CI->getType(), LenTrue - 1),
501 ConstantInt::get(CI->getType(), LenFalse - 1));
502 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000503 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000504
Chris Bienemanad070d02014-09-17 20:55:46 +0000505 // strlen(x) != 0 --> *x != 0
506 // strlen(x) == 0 --> *x == 0
507 if (isOnlyUsedInZeroEqualityComparison(CI))
508 return B.CreateZExt(B.CreateLoad(Src, "strlenfirst"), CI->getType());
Meador Inge17418502012-10-13 16:45:37 +0000509
Chris Bienemanad070d02014-09-17 20:55:46 +0000510 return nullptr;
511}
Meador Inge17418502012-10-13 16:45:37 +0000512
Chris Bienemanad070d02014-09-17 20:55:46 +0000513Value *LibCallSimplifier::optimizeStrPBrk(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000514 StringRef S1, S2;
515 bool HasS1 = getConstantStringInfo(CI->getArgOperand(0), S1);
516 bool HasS2 = getConstantStringInfo(CI->getArgOperand(1), S2);
Meador Inge17418502012-10-13 16:45:37 +0000517
Reid Kleckner971c3ea2014-11-13 22:55:19 +0000518 // strpbrk(s, "") -> nullptr
519 // strpbrk("", s) -> nullptr
Chris Bienemanad070d02014-09-17 20:55:46 +0000520 if ((HasS1 && S1.empty()) || (HasS2 && S2.empty()))
521 return Constant::getNullValue(CI->getType());
Meador Inge17418502012-10-13 16:45:37 +0000522
Chris Bienemanad070d02014-09-17 20:55:46 +0000523 // Constant folding.
524 if (HasS1 && HasS2) {
525 size_t I = S1.find_first_of(S2);
526 if (I == StringRef::npos) // No match.
Meador Inge17418502012-10-13 16:45:37 +0000527 return Constant::getNullValue(CI->getType());
528
Sanjay Pateld707db92015-12-31 16:10:49 +0000529 return B.CreateGEP(B.getInt8Ty(), CI->getArgOperand(0), B.getInt64(I),
530 "strpbrk");
Meador Inge17418502012-10-13 16:45:37 +0000531 }
Meador Inge17418502012-10-13 16:45:37 +0000532
Chris Bienemanad070d02014-09-17 20:55:46 +0000533 // strpbrk(s, "a") -> strchr(s, 'a')
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000534 if (HasS2 && S2.size() == 1)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000535 return emitStrChr(CI->getArgOperand(0), S2[0], B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000536
537 return nullptr;
538}
539
540Value *LibCallSimplifier::optimizeStrTo(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000541 Value *EndPtr = CI->getArgOperand(1);
542 if (isa<ConstantPointerNull>(EndPtr)) {
543 // With a null EndPtr, this function won't capture the main argument.
544 // It would be readonly too, except that it still may write to errno.
545 CI->addAttribute(1, Attribute::NoCapture);
546 }
547
548 return nullptr;
549}
550
551Value *LibCallSimplifier::optimizeStrSpn(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000552 StringRef S1, S2;
553 bool HasS1 = getConstantStringInfo(CI->getArgOperand(0), S1);
554 bool HasS2 = getConstantStringInfo(CI->getArgOperand(1), S2);
555
556 // strspn(s, "") -> 0
557 // strspn("", s) -> 0
558 if ((HasS1 && S1.empty()) || (HasS2 && S2.empty()))
559 return Constant::getNullValue(CI->getType());
560
561 // Constant folding.
562 if (HasS1 && HasS2) {
563 size_t Pos = S1.find_first_not_of(S2);
564 if (Pos == StringRef::npos)
565 Pos = S1.size();
566 return ConstantInt::get(CI->getType(), Pos);
567 }
568
569 return nullptr;
570}
571
572Value *LibCallSimplifier::optimizeStrCSpn(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000573 StringRef S1, S2;
574 bool HasS1 = getConstantStringInfo(CI->getArgOperand(0), S1);
575 bool HasS2 = getConstantStringInfo(CI->getArgOperand(1), S2);
576
577 // strcspn("", s) -> 0
578 if (HasS1 && S1.empty())
579 return Constant::getNullValue(CI->getType());
580
581 // Constant folding.
582 if (HasS1 && HasS2) {
583 size_t Pos = S1.find_first_of(S2);
584 if (Pos == StringRef::npos)
585 Pos = S1.size();
586 return ConstantInt::get(CI->getType(), Pos);
587 }
588
589 // strcspn(s, "") -> strlen(s)
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000590 if (HasS2 && S2.empty())
Sanjay Pateld3112a52016-01-19 19:46:10 +0000591 return emitStrLen(CI->getArgOperand(0), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000592
593 return nullptr;
594}
595
596Value *LibCallSimplifier::optimizeStrStr(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000597 // fold strstr(x, x) -> x.
598 if (CI->getArgOperand(0) == CI->getArgOperand(1))
599 return B.CreateBitCast(CI->getArgOperand(0), CI->getType());
600
601 // fold strstr(a, b) == a -> strncmp(a, b, strlen(b)) == 0
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000602 if (isOnlyUsedInEqualityComparison(CI, CI->getArgOperand(0))) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000603 Value *StrLen = emitStrLen(CI->getArgOperand(1), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000604 if (!StrLen)
Craig Topperf40110f2014-04-25 05:29:35 +0000605 return nullptr;
Sanjay Pateld3112a52016-01-19 19:46:10 +0000606 Value *StrNCmp = emitStrNCmp(CI->getArgOperand(0), CI->getArgOperand(1),
Chris Bienemanad070d02014-09-17 20:55:46 +0000607 StrLen, B, DL, TLI);
608 if (!StrNCmp)
Craig Topperf40110f2014-04-25 05:29:35 +0000609 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000610 for (auto UI = CI->user_begin(), UE = CI->user_end(); UI != UE;) {
611 ICmpInst *Old = cast<ICmpInst>(*UI++);
612 Value *Cmp =
613 B.CreateICmp(Old->getPredicate(), StrNCmp,
614 ConstantInt::getNullValue(StrNCmp->getType()), "cmp");
615 replaceAllUsesWith(Old, Cmp);
Meador Inge17418502012-10-13 16:45:37 +0000616 }
Chris Bienemanad070d02014-09-17 20:55:46 +0000617 return CI;
618 }
Meador Inge17418502012-10-13 16:45:37 +0000619
Chris Bienemanad070d02014-09-17 20:55:46 +0000620 // See if either input string is a constant string.
621 StringRef SearchStr, ToFindStr;
622 bool HasStr1 = getConstantStringInfo(CI->getArgOperand(0), SearchStr);
623 bool HasStr2 = getConstantStringInfo(CI->getArgOperand(1), ToFindStr);
624
625 // fold strstr(x, "") -> x.
626 if (HasStr2 && ToFindStr.empty())
627 return B.CreateBitCast(CI->getArgOperand(0), CI->getType());
628
629 // If both strings are known, constant fold it.
630 if (HasStr1 && HasStr2) {
631 size_t Offset = SearchStr.find(ToFindStr);
632
633 if (Offset == StringRef::npos) // strstr("foo", "bar") -> null
Meador Inge17418502012-10-13 16:45:37 +0000634 return Constant::getNullValue(CI->getType());
635
Chris Bienemanad070d02014-09-17 20:55:46 +0000636 // strstr("abcd", "bc") -> gep((char*)"abcd", 1)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000637 Value *Result = castToCStr(CI->getArgOperand(0), B);
Chris Bienemanad070d02014-09-17 20:55:46 +0000638 Result = B.CreateConstInBoundsGEP1_64(Result, Offset, "strstr");
639 return B.CreateBitCast(Result, CI->getType());
Meador Inge17418502012-10-13 16:45:37 +0000640 }
Meador Inge17418502012-10-13 16:45:37 +0000641
Chris Bienemanad070d02014-09-17 20:55:46 +0000642 // fold strstr(x, "y") -> strchr(x, 'y').
643 if (HasStr2 && ToFindStr.size() == 1) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000644 Value *StrChr = emitStrChr(CI->getArgOperand(0), ToFindStr[0], B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000645 return StrChr ? B.CreateBitCast(StrChr, CI->getType()) : nullptr;
646 }
647 return nullptr;
648}
Meador Inge40b6fac2012-10-15 03:47:37 +0000649
Benjamin Kramer691363e2015-03-21 15:36:21 +0000650Value *LibCallSimplifier::optimizeMemChr(CallInst *CI, IRBuilder<> &B) {
Benjamin Kramer691363e2015-03-21 15:36:21 +0000651 Value *SrcStr = CI->getArgOperand(0);
652 ConstantInt *CharC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
653 ConstantInt *LenC = dyn_cast<ConstantInt>(CI->getArgOperand(2));
654
655 // memchr(x, y, 0) -> null
656 if (LenC && LenC->isNullValue())
657 return Constant::getNullValue(CI->getType());
658
Benjamin Kramer7857d722015-03-21 21:09:33 +0000659 // From now on we need at least constant length and string.
Benjamin Kramer691363e2015-03-21 15:36:21 +0000660 StringRef Str;
Benjamin Kramer7857d722015-03-21 21:09:33 +0000661 if (!LenC || !getConstantStringInfo(SrcStr, Str, 0, /*TrimAtNul=*/false))
Benjamin Kramer691363e2015-03-21 15:36:21 +0000662 return nullptr;
663
664 // Truncate the string to LenC. If Str is smaller than LenC we will still only
665 // scan the string, as reading past the end of it is undefined and we can just
666 // return null if we don't find the char.
667 Str = Str.substr(0, LenC->getZExtValue());
668
Benjamin Kramer7857d722015-03-21 21:09:33 +0000669 // If the char is variable but the input str and length are not we can turn
670 // this memchr call into a simple bit field test. Of course this only works
671 // when the return value is only checked against null.
672 //
673 // It would be really nice to reuse switch lowering here but we can't change
674 // the CFG at this point.
675 //
676 // memchr("\r\n", C, 2) != nullptr -> (C & ((1 << '\r') | (1 << '\n'))) != 0
677 // after bounds check.
678 if (!CharC && !Str.empty() && isOnlyUsedInZeroEqualityComparison(CI)) {
Benjamin Kramerd6aa0ec2015-03-21 22:04:26 +0000679 unsigned char Max =
680 *std::max_element(reinterpret_cast<const unsigned char *>(Str.begin()),
681 reinterpret_cast<const unsigned char *>(Str.end()));
Benjamin Kramer7857d722015-03-21 21:09:33 +0000682
683 // Make sure the bit field we're about to create fits in a register on the
684 // target.
685 // FIXME: On a 64 bit architecture this prevents us from using the
686 // interesting range of alpha ascii chars. We could do better by emitting
687 // two bitfields or shifting the range by 64 if no lower chars are used.
688 if (!DL.fitsInLegalInteger(Max + 1))
689 return nullptr;
690
691 // For the bit field use a power-of-2 type with at least 8 bits to avoid
692 // creating unnecessary illegal types.
693 unsigned char Width = NextPowerOf2(std::max((unsigned char)7, Max));
694
695 // Now build the bit field.
696 APInt Bitfield(Width, 0);
697 for (char C : Str)
698 Bitfield.setBit((unsigned char)C);
699 Value *BitfieldC = B.getInt(Bitfield);
700
701 // First check that the bit field access is within bounds.
702 Value *C = B.CreateZExtOrTrunc(CI->getArgOperand(1), BitfieldC->getType());
703 Value *Bounds = B.CreateICmp(ICmpInst::ICMP_ULT, C, B.getIntN(Width, Width),
704 "memchr.bounds");
705
706 // Create code that checks if the given bit is set in the field.
707 Value *Shl = B.CreateShl(B.getIntN(Width, 1ULL), C);
708 Value *Bits = B.CreateIsNotNull(B.CreateAnd(Shl, BitfieldC), "memchr.bits");
709
710 // Finally merge both checks and cast to pointer type. The inttoptr
711 // implicitly zexts the i1 to intptr type.
712 return B.CreateIntToPtr(B.CreateAnd(Bounds, Bits, "memchr"), CI->getType());
713 }
714
715 // Check if all arguments are constants. If so, we can constant fold.
716 if (!CharC)
717 return nullptr;
718
Benjamin Kramer691363e2015-03-21 15:36:21 +0000719 // Compute the offset.
720 size_t I = Str.find(CharC->getSExtValue() & 0xFF);
721 if (I == StringRef::npos) // Didn't find the char. memchr returns null.
722 return Constant::getNullValue(CI->getType());
723
724 // memchr(s+n,c,l) -> gep(s+n+i,c)
David Blaikie3909da72015-03-30 20:42:56 +0000725 return B.CreateGEP(B.getInt8Ty(), SrcStr, B.getInt64(I), "memchr");
Benjamin Kramer691363e2015-03-21 15:36:21 +0000726}
727
Chris Bienemanad070d02014-09-17 20:55:46 +0000728Value *LibCallSimplifier::optimizeMemCmp(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000729 Value *LHS = CI->getArgOperand(0), *RHS = CI->getArgOperand(1);
Meador Inge40b6fac2012-10-15 03:47:37 +0000730
Chris Bienemanad070d02014-09-17 20:55:46 +0000731 if (LHS == RHS) // memcmp(s,s,x) -> 0
732 return Constant::getNullValue(CI->getType());
Meador Inge40b6fac2012-10-15 03:47:37 +0000733
Chris Bienemanad070d02014-09-17 20:55:46 +0000734 // Make sure we have a constant length.
735 ConstantInt *LenC = dyn_cast<ConstantInt>(CI->getArgOperand(2));
736 if (!LenC)
Craig Topperf40110f2014-04-25 05:29:35 +0000737 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000738 uint64_t Len = LenC->getZExtValue();
739
740 if (Len == 0) // memcmp(s1,s2,0) -> 0
741 return Constant::getNullValue(CI->getType());
742
743 // memcmp(S1,S2,1) -> *(unsigned char*)LHS - *(unsigned char*)RHS
744 if (Len == 1) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000745 Value *LHSV = B.CreateZExt(B.CreateLoad(castToCStr(LHS, B), "lhsc"),
Chris Bienemanad070d02014-09-17 20:55:46 +0000746 CI->getType(), "lhsv");
Sanjay Pateld3112a52016-01-19 19:46:10 +0000747 Value *RHSV = B.CreateZExt(B.CreateLoad(castToCStr(RHS, B), "rhsc"),
Chris Bienemanad070d02014-09-17 20:55:46 +0000748 CI->getType(), "rhsv");
749 return B.CreateSub(LHSV, RHSV, "chardiff");
Meador Inge40b6fac2012-10-15 03:47:37 +0000750 }
Meador Inge40b6fac2012-10-15 03:47:37 +0000751
Chad Rosierdc655322015-08-28 18:30:18 +0000752 // memcmp(S1,S2,N/8)==0 -> (*(intN_t*)S1 != *(intN_t*)S2)==0
753 if (DL.isLegalInteger(Len * 8) && isOnlyUsedInZeroEqualityComparison(CI)) {
754
755 IntegerType *IntType = IntegerType::get(CI->getContext(), Len * 8);
756 unsigned PrefAlignment = DL.getPrefTypeAlignment(IntType);
757
758 if (getKnownAlignment(LHS, DL, CI) >= PrefAlignment &&
759 getKnownAlignment(RHS, DL, CI) >= PrefAlignment) {
760
761 Type *LHSPtrTy =
762 IntType->getPointerTo(LHS->getType()->getPointerAddressSpace());
763 Type *RHSPtrTy =
764 IntType->getPointerTo(RHS->getType()->getPointerAddressSpace());
765
Sanjay Pateld707db92015-12-31 16:10:49 +0000766 Value *LHSV =
767 B.CreateLoad(B.CreateBitCast(LHS, LHSPtrTy, "lhsc"), "lhsv");
768 Value *RHSV =
769 B.CreateLoad(B.CreateBitCast(RHS, RHSPtrTy, "rhsc"), "rhsv");
Chad Rosierdc655322015-08-28 18:30:18 +0000770
771 return B.CreateZExt(B.CreateICmpNE(LHSV, RHSV), CI->getType(), "memcmp");
772 }
773 }
774
Chris Bienemanad070d02014-09-17 20:55:46 +0000775 // Constant folding: memcmp(x, y, l) -> cnst (all arguments are constant)
776 StringRef LHSStr, RHSStr;
777 if (getConstantStringInfo(LHS, LHSStr) &&
778 getConstantStringInfo(RHS, RHSStr)) {
779 // Make sure we're not reading out-of-bounds memory.
780 if (Len > LHSStr.size() || Len > RHSStr.size())
Craig Topperf40110f2014-04-25 05:29:35 +0000781 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000782 // Fold the memcmp and normalize the result. This way we get consistent
783 // results across multiple platforms.
784 uint64_t Ret = 0;
785 int Cmp = memcmp(LHSStr.data(), RHSStr.data(), Len);
786 if (Cmp < 0)
787 Ret = -1;
788 else if (Cmp > 0)
789 Ret = 1;
790 return ConstantInt::get(CI->getType(), Ret);
Meador Inge000dbcc2012-10-18 18:12:40 +0000791 }
Meador Inge000dbcc2012-10-18 18:12:40 +0000792
Chris Bienemanad070d02014-09-17 20:55:46 +0000793 return nullptr;
794}
Meador Inge9a6a1902012-10-31 00:20:56 +0000795
Chris Bienemanad070d02014-09-17 20:55:46 +0000796Value *LibCallSimplifier::optimizeMemCpy(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000797 // memcpy(x, y, n) -> llvm.memcpy(x, y, n, 1)
798 B.CreateMemCpy(CI->getArgOperand(0), CI->getArgOperand(1),
Pete Cooper67cf9a72015-11-19 05:56:52 +0000799 CI->getArgOperand(2), 1);
Chris Bienemanad070d02014-09-17 20:55:46 +0000800 return CI->getArgOperand(0);
801}
Meador Inge05a625a2012-10-31 14:58:26 +0000802
Chris Bienemanad070d02014-09-17 20:55:46 +0000803Value *LibCallSimplifier::optimizeMemMove(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000804 // memmove(x, y, n) -> llvm.memmove(x, y, n, 1)
805 B.CreateMemMove(CI->getArgOperand(0), CI->getArgOperand(1),
Pete Cooper67cf9a72015-11-19 05:56:52 +0000806 CI->getArgOperand(2), 1);
Chris Bienemanad070d02014-09-17 20:55:46 +0000807 return CI->getArgOperand(0);
808}
Meador Ingebcd88ef72012-11-10 15:16:48 +0000809
Sanjay Patel980b2802016-01-26 16:17:24 +0000810// TODO: Does this belong in BuildLibCalls or should all of those similar
811// functions be moved here?
812static Value *emitCalloc(Value *Num, Value *Size, const AttributeSet &Attrs,
813 IRBuilder<> &B, const TargetLibraryInfo &TLI) {
814 LibFunc::Func Func;
815 if (!TLI.getLibFunc("calloc", Func) || !TLI.has(Func))
816 return nullptr;
817
818 Module *M = B.GetInsertBlock()->getModule();
819 const DataLayout &DL = M->getDataLayout();
820 IntegerType *PtrType = DL.getIntPtrType((B.GetInsertBlock()->getContext()));
821 Value *Calloc = M->getOrInsertFunction("calloc", Attrs, B.getInt8PtrTy(),
822 PtrType, PtrType, nullptr);
823 CallInst *CI = B.CreateCall(Calloc, { Num, Size }, "calloc");
824
825 if (const auto *F = dyn_cast<Function>(Calloc->stripPointerCasts()))
826 CI->setCallingConv(F->getCallingConv());
827
828 return CI;
829}
830
831/// Fold memset[_chk](malloc(n), 0, n) --> calloc(1, n).
832static Value *foldMallocMemset(CallInst *Memset, IRBuilder<> &B,
833 const TargetLibraryInfo &TLI) {
834 // This has to be a memset of zeros (bzero).
835 auto *FillValue = dyn_cast<ConstantInt>(Memset->getArgOperand(1));
836 if (!FillValue || FillValue->getZExtValue() != 0)
837 return nullptr;
838
839 // TODO: We should handle the case where the malloc has more than one use.
840 // This is necessary to optimize common patterns such as when the result of
841 // the malloc is checked against null or when a memset intrinsic is used in
842 // place of a memset library call.
843 auto *Malloc = dyn_cast<CallInst>(Memset->getArgOperand(0));
844 if (!Malloc || !Malloc->hasOneUse())
845 return nullptr;
846
847 // Is the inner call really malloc()?
848 Function *InnerCallee = Malloc->getCalledFunction();
849 LibFunc::Func Func;
Ahmed Bougachad765a822016-04-27 19:04:35 +0000850 if (!TLI.getLibFunc(*InnerCallee, Func) || !TLI.has(Func) ||
Sanjay Patel980b2802016-01-26 16:17:24 +0000851 Func != LibFunc::malloc)
852 return nullptr;
853
Sanjay Patel980b2802016-01-26 16:17:24 +0000854 // The memset must cover the same number of bytes that are malloc'd.
855 if (Memset->getArgOperand(2) != Malloc->getArgOperand(0))
856 return nullptr;
857
858 // Replace the malloc with a calloc. We need the data layout to know what the
859 // actual size of a 'size_t' parameter is.
860 B.SetInsertPoint(Malloc->getParent(), ++Malloc->getIterator());
861 const DataLayout &DL = Malloc->getModule()->getDataLayout();
862 IntegerType *SizeType = DL.getIntPtrType(B.GetInsertBlock()->getContext());
863 Value *Calloc = emitCalloc(ConstantInt::get(SizeType, 1),
864 Malloc->getArgOperand(0), Malloc->getAttributes(),
865 B, TLI);
866 if (!Calloc)
867 return nullptr;
868
869 Malloc->replaceAllUsesWith(Calloc);
870 Malloc->eraseFromParent();
871
872 return Calloc;
873}
874
Chris Bienemanad070d02014-09-17 20:55:46 +0000875Value *LibCallSimplifier::optimizeMemSet(CallInst *CI, IRBuilder<> &B) {
Sanjay Patel980b2802016-01-26 16:17:24 +0000876 if (auto *Calloc = foldMallocMemset(CI, B, *TLI))
877 return Calloc;
878
Chris Bienemanad070d02014-09-17 20:55:46 +0000879 // memset(p, v, n) -> llvm.memset(p, v, n, 1)
880 Value *Val = B.CreateIntCast(CI->getArgOperand(1), B.getInt8Ty(), false);
881 B.CreateMemSet(CI->getArgOperand(0), Val, CI->getArgOperand(2), 1);
882 return CI->getArgOperand(0);
883}
Meador Inged4825782012-11-11 06:49:03 +0000884
Meador Inge193e0352012-11-13 04:16:17 +0000885//===----------------------------------------------------------------------===//
886// Math Library Optimizations
887//===----------------------------------------------------------------------===//
888
Matthias Braund34e4d22014-12-03 21:46:33 +0000889/// Return a variant of Val with float type.
890/// Currently this works in two cases: If Val is an FPExtension of a float
891/// value to something bigger, simply return the operand.
892/// If Val is a ConstantFP but can be converted to a float ConstantFP without
893/// loss of precision do so.
894static Value *valueHasFloatPrecision(Value *Val) {
895 if (FPExtInst *Cast = dyn_cast<FPExtInst>(Val)) {
896 Value *Op = Cast->getOperand(0);
897 if (Op->getType()->isFloatTy())
898 return Op;
899 }
900 if (ConstantFP *Const = dyn_cast<ConstantFP>(Val)) {
901 APFloat F = Const->getValueAPF();
Matthias Braun395a82f2014-12-03 22:10:39 +0000902 bool losesInfo;
Stephan Bergmann17c7f702016-12-14 11:57:17 +0000903 (void)F.convert(APFloat::IEEEsingle(), APFloat::rmNearestTiesToEven,
Matthias Braun395a82f2014-12-03 22:10:39 +0000904 &losesInfo);
905 if (!losesInfo)
Matthias Braund34e4d22014-12-03 21:46:33 +0000906 return ConstantFP::get(Const->getContext(), F);
907 }
908 return nullptr;
909}
910
Sanjay Patel4e971da2016-01-21 18:01:57 +0000911/// Shrink double -> float for unary functions like 'floor'.
912static Value *optimizeUnaryDoubleFP(CallInst *CI, IRBuilder<> &B,
913 bool CheckRetType) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000914 Function *Callee = CI->getCalledFunction();
Ahmed Bougachad765a822016-04-27 19:04:35 +0000915 // We know this libcall has a valid prototype, but we don't know which.
916 if (!CI->getType()->isDoubleTy())
Chris Bienemanad070d02014-09-17 20:55:46 +0000917 return nullptr;
Meador Inge193e0352012-11-13 04:16:17 +0000918
Chris Bienemanad070d02014-09-17 20:55:46 +0000919 if (CheckRetType) {
920 // Check if all the uses for function like 'sin' are converted to float.
921 for (User *U : CI->users()) {
922 FPTruncInst *Cast = dyn_cast<FPTruncInst>(U);
923 if (!Cast || !Cast->getType()->isFloatTy())
924 return nullptr;
Meador Inge193e0352012-11-13 04:16:17 +0000925 }
Meador Inge193e0352012-11-13 04:16:17 +0000926 }
Chris Bienemanad070d02014-09-17 20:55:46 +0000927
928 // If this is something like 'floor((double)floatval)', convert to floorf.
Matthias Braund34e4d22014-12-03 21:46:33 +0000929 Value *V = valueHasFloatPrecision(CI->getArgOperand(0));
930 if (V == nullptr)
Chris Bienemanad070d02014-09-17 20:55:46 +0000931 return nullptr;
Sanjay Patelaa231142015-12-31 21:52:31 +0000932
933 // Propagate fast-math flags from the existing call to the new call.
934 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patela2528152016-01-12 18:03:37 +0000935 B.setFastMathFlags(CI->getFastMathFlags());
Chris Bienemanad070d02014-09-17 20:55:46 +0000936
937 // floor((double)floatval) -> (double)floorf(floatval)
Sanjay Patel848309d2014-10-23 21:52:45 +0000938 if (Callee->isIntrinsic()) {
Sanjay Patelaf674fb2015-12-14 17:24:23 +0000939 Module *M = CI->getModule();
Pete Cooper9e1d3352015-05-20 17:16:39 +0000940 Intrinsic::ID IID = Callee->getIntrinsicID();
Sanjay Patel848309d2014-10-23 21:52:45 +0000941 Function *F = Intrinsic::getDeclaration(M, IID, B.getFloatTy());
942 V = B.CreateCall(F, V);
943 } else {
944 // The call is a library call rather than an intrinsic.
Sanjay Pateld3112a52016-01-19 19:46:10 +0000945 V = emitUnaryFloatFnCall(V, Callee->getName(), B, Callee->getAttributes());
Sanjay Patel848309d2014-10-23 21:52:45 +0000946 }
947
Chris Bienemanad070d02014-09-17 20:55:46 +0000948 return B.CreateFPExt(V, B.getDoubleTy());
949}
Meador Inge193e0352012-11-13 04:16:17 +0000950
Sanjay Patel4e971da2016-01-21 18:01:57 +0000951/// Shrink double -> float for binary functions like 'fmin/fmax'.
952static Value *optimizeBinaryDoubleFP(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000953 Function *Callee = CI->getCalledFunction();
Ahmed Bougachad765a822016-04-27 19:04:35 +0000954 // We know this libcall has a valid prototype, but we don't know which.
955 if (!CI->getType()->isDoubleTy())
Craig Topperf40110f2014-04-25 05:29:35 +0000956 return nullptr;
Meador Inge193e0352012-11-13 04:16:17 +0000957
Chris Bienemanad070d02014-09-17 20:55:46 +0000958 // If this is something like 'fmin((double)floatval1, (double)floatval2)',
Matthias Braund34e4d22014-12-03 21:46:33 +0000959 // or fmin(1.0, (double)floatval), then we convert it to fminf.
960 Value *V1 = valueHasFloatPrecision(CI->getArgOperand(0));
961 if (V1 == nullptr)
962 return nullptr;
963 Value *V2 = valueHasFloatPrecision(CI->getArgOperand(1));
964 if (V2 == nullptr)
Craig Topperf40110f2014-04-25 05:29:35 +0000965 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000966
Sanjay Patelbee05ca2015-12-31 23:40:59 +0000967 // Propagate fast-math flags from the existing call to the new call.
968 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patela2528152016-01-12 18:03:37 +0000969 B.setFastMathFlags(CI->getFastMathFlags());
Sanjay Patelbee05ca2015-12-31 23:40:59 +0000970
Chris Bienemanad070d02014-09-17 20:55:46 +0000971 // fmin((double)floatval1, (double)floatval2)
Matthias Braund34e4d22014-12-03 21:46:33 +0000972 // -> (double)fminf(floatval1, floatval2)
Sanjay Patel848309d2014-10-23 21:52:45 +0000973 // TODO: Handle intrinsics in the same way as in optimizeUnaryDoubleFP().
Sanjay Pateld3112a52016-01-19 19:46:10 +0000974 Value *V = emitBinaryFloatFnCall(V1, V2, Callee->getName(), B,
Matthias Braund34e4d22014-12-03 21:46:33 +0000975 Callee->getAttributes());
Chris Bienemanad070d02014-09-17 20:55:46 +0000976 return B.CreateFPExt(V, B.getDoubleTy());
977}
978
979Value *LibCallSimplifier::optimizeCos(CallInst *CI, IRBuilder<> &B) {
980 Function *Callee = CI->getCalledFunction();
981 Value *Ret = nullptr;
Davide Italianoa3458772015-11-05 19:18:23 +0000982 StringRef Name = Callee->getName();
983 if (UnsafeFPShrink && Name == "cos" && hasFloatVersion(Name))
Chris Bienemanad070d02014-09-17 20:55:46 +0000984 Ret = optimizeUnaryDoubleFP(CI, B, true);
Bob Wilsond8d92d92013-11-03 06:48:38 +0000985
Chris Bienemanad070d02014-09-17 20:55:46 +0000986 // cos(-x) -> cos(x)
987 Value *Op1 = CI->getArgOperand(0);
988 if (BinaryOperator::isFNeg(Op1)) {
989 BinaryOperator *BinExpr = cast<BinaryOperator>(Op1);
990 return B.CreateCall(Callee, BinExpr->getOperand(1), "cos");
991 }
992 return Ret;
993}
Bob Wilsond8d92d92013-11-03 06:48:38 +0000994
Weiming Zhao82130722015-12-04 22:00:47 +0000995static Value *getPow(Value *InnerChain[33], unsigned Exp, IRBuilder<> &B) {
996 // Multiplications calculated using Addition Chains.
997 // Refer: http://wwwhomes.uni-bielefeld.de/achim/addition_chain.html
998
999 assert(Exp != 0 && "Incorrect exponent 0 not handled");
1000
1001 if (InnerChain[Exp])
1002 return InnerChain[Exp];
1003
1004 static const unsigned AddChain[33][2] = {
1005 {0, 0}, // Unused.
1006 {0, 0}, // Unused (base case = pow1).
1007 {1, 1}, // Unused (pre-computed).
1008 {1, 2}, {2, 2}, {2, 3}, {3, 3}, {2, 5}, {4, 4},
1009 {1, 8}, {5, 5}, {1, 10}, {6, 6}, {4, 9}, {7, 7},
1010 {3, 12}, {8, 8}, {8, 9}, {2, 16}, {1, 18}, {10, 10},
1011 {6, 15}, {11, 11}, {3, 20}, {12, 12}, {8, 17}, {13, 13},
1012 {3, 24}, {14, 14}, {4, 25}, {15, 15}, {3, 28}, {16, 16},
1013 };
1014
1015 InnerChain[Exp] = B.CreateFMul(getPow(InnerChain, AddChain[Exp][0], B),
1016 getPow(InnerChain, AddChain[Exp][1], B));
1017 return InnerChain[Exp];
1018}
1019
Chris Bienemanad070d02014-09-17 20:55:46 +00001020Value *LibCallSimplifier::optimizePow(CallInst *CI, IRBuilder<> &B) {
1021 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001022 Value *Ret = nullptr;
Davide Italianoa3458772015-11-05 19:18:23 +00001023 StringRef Name = Callee->getName();
1024 if (UnsafeFPShrink && Name == "pow" && hasFloatVersion(Name))
Chris Bienemanad070d02014-09-17 20:55:46 +00001025 Ret = optimizeUnaryDoubleFP(CI, B, true);
Bob Wilsond8d92d92013-11-03 06:48:38 +00001026
Chris Bienemanad070d02014-09-17 20:55:46 +00001027 Value *Op1 = CI->getArgOperand(0), *Op2 = CI->getArgOperand(1);
Davide Italiano27da1312016-08-07 20:27:03 +00001028
1029 // pow(1.0, x) -> 1.0
1030 if (match(Op1, m_SpecificFP(1.0)))
1031 return Op1;
1032 // pow(2.0, x) -> llvm.exp2(x)
1033 if (match(Op1, m_SpecificFP(2.0))) {
1034 Value *Exp2 = Intrinsic::getDeclaration(CI->getModule(), Intrinsic::exp2,
1035 CI->getType());
1036 return B.CreateCall(Exp2, Op2, "exp2");
1037 }
1038
1039 // There's no llvm.exp10 intrinsic yet, but, maybe, some day there will
1040 // be one.
Chris Bienemanad070d02014-09-17 20:55:46 +00001041 if (ConstantFP *Op1C = dyn_cast<ConstantFP>(Op1)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001042 // pow(10.0, x) -> exp10(x)
1043 if (Op1C->isExactlyValue(10.0) &&
1044 hasUnaryFloatFn(TLI, Op1->getType(), LibFunc::exp10, LibFunc::exp10f,
1045 LibFunc::exp10l))
Sanjay Pateld3112a52016-01-19 19:46:10 +00001046 return emitUnaryFloatFnCall(Op2, TLI->getName(LibFunc::exp10), B,
Chris Bienemanad070d02014-09-17 20:55:46 +00001047 Callee->getAttributes());
Bob Wilsond8d92d92013-11-03 06:48:38 +00001048 }
1049
Sanjay Patel6002e782016-01-12 17:30:37 +00001050 // pow(exp(x), y) -> exp(x * y)
Davide Italianoc8a79132015-11-03 20:32:23 +00001051 // pow(exp2(x), y) -> exp2(x * y)
Sanjay Patel6002e782016-01-12 17:30:37 +00001052 // We enable these only with fast-math. Besides rounding differences, the
1053 // transformation changes overflow and underflow behavior quite dramatically.
Davide Italianoc8a79132015-11-03 20:32:23 +00001054 // Example: x = 1000, y = 0.001.
1055 // pow(exp(x), y) = pow(inf, 0.001) = inf, whereas exp(x*y) = exp(1).
Sanjay Patel6002e782016-01-12 17:30:37 +00001056 auto *OpC = dyn_cast<CallInst>(Op1);
1057 if (OpC && OpC->hasUnsafeAlgebra() && CI->hasUnsafeAlgebra()) {
1058 LibFunc::Func Func;
1059 Function *OpCCallee = OpC->getCalledFunction();
1060 if (OpCCallee && TLI->getLibFunc(OpCCallee->getName(), Func) &&
1061 TLI->has(Func) && (Func == LibFunc::exp || Func == LibFunc::exp2)) {
Davide Italianoc8a79132015-11-03 20:32:23 +00001062 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patela2528152016-01-12 18:03:37 +00001063 B.setFastMathFlags(CI->getFastMathFlags());
Sanjay Patel6002e782016-01-12 17:30:37 +00001064 Value *FMul = B.CreateFMul(OpC->getArgOperand(0), Op2, "mul");
Sanjay Pateld3112a52016-01-19 19:46:10 +00001065 return emitUnaryFloatFnCall(FMul, OpCCallee->getName(), B,
Sanjay Patel6002e782016-01-12 17:30:37 +00001066 OpCCallee->getAttributes());
Davide Italianoc8a79132015-11-03 20:32:23 +00001067 }
1068 }
1069
Chris Bienemanad070d02014-09-17 20:55:46 +00001070 ConstantFP *Op2C = dyn_cast<ConstantFP>(Op2);
1071 if (!Op2C)
1072 return Ret;
1073
1074 if (Op2C->getValueAPF().isZero()) // pow(x, 0.0) -> 1.0
1075 return ConstantFP::get(CI->getType(), 1.0);
1076
Davide Italiano472684e2017-01-09 21:55:23 +00001077 if (Op2C->isExactlyValue(-0.5) &&
1078 hasUnaryFloatFn(TLI, Op2->getType(), LibFunc::sqrt, LibFunc::sqrtf,
1079 LibFunc::sqrtl)) {
1080 // If -ffast-math:
1081 // pow(x, -0.5) -> 1.0 / sqrt(x)
1082 if (CI->hasUnsafeAlgebra()) {
1083 IRBuilder<>::FastMathFlagGuard Guard(B);
1084 B.setFastMathFlags(CI->getFastMathFlags());
1085
1086 // Here we cannot lower to an intrinsic because C99 sqrt() and llvm.sqrt
1087 // are not guaranteed to have the same semantics.
1088 Value *Sqrt = emitUnaryFloatFnCall(Op1, TLI->getName(LibFunc::sqrt), B,
1089 Callee->getAttributes());
1090
1091 return B.CreateFDiv(ConstantFP::get(CI->getType(), 1.0), Sqrt, "sqrtrecip");
1092 }
1093 }
1094
Chris Bienemanad070d02014-09-17 20:55:46 +00001095 if (Op2C->isExactlyValue(0.5) &&
1096 hasUnaryFloatFn(TLI, Op2->getType(), LibFunc::sqrt, LibFunc::sqrtf,
1097 LibFunc::sqrtl) &&
1098 hasUnaryFloatFn(TLI, Op2->getType(), LibFunc::fabs, LibFunc::fabsf,
1099 LibFunc::fabsl)) {
Davide Italianoc5cedd12015-11-18 23:21:32 +00001100
1101 // In -ffast-math, pow(x, 0.5) -> sqrt(x).
Sanjay Patel53ba88d2016-01-12 19:06:35 +00001102 if (CI->hasUnsafeAlgebra()) {
1103 IRBuilder<>::FastMathFlagGuard Guard(B);
1104 B.setFastMathFlags(CI->getFastMathFlags());
Davide Italiano873219c2016-08-10 06:33:32 +00001105
1106 // Unlike other math intrinsics, sqrt has differerent semantics
1107 // from the libc function. See LangRef for details.
1108 return emitUnaryFloatFnCall(Op1, TLI->getName(LibFunc::sqrt), B,
1109 Callee->getAttributes());
Sanjay Patel53ba88d2016-01-12 19:06:35 +00001110 }
Davide Italianoc5cedd12015-11-18 23:21:32 +00001111
Chris Bienemanad070d02014-09-17 20:55:46 +00001112 // Expand pow(x, 0.5) to (x == -infinity ? +infinity : fabs(sqrt(x))).
1113 // This is faster than calling pow, and still handles negative zero
1114 // and negative infinity correctly.
Chris Bienemanad070d02014-09-17 20:55:46 +00001115 // TODO: In finite-only mode, this could be just fabs(sqrt(x)).
1116 Value *Inf = ConstantFP::getInfinity(CI->getType());
1117 Value *NegInf = ConstantFP::getInfinity(CI->getType(), true);
Sanjay Pateld3112a52016-01-19 19:46:10 +00001118 Value *Sqrt = emitUnaryFloatFnCall(Op1, "sqrt", B, Callee->getAttributes());
Chris Bienemanad070d02014-09-17 20:55:46 +00001119 Value *FAbs =
Sanjay Pateld3112a52016-01-19 19:46:10 +00001120 emitUnaryFloatFnCall(Sqrt, "fabs", B, Callee->getAttributes());
Chris Bienemanad070d02014-09-17 20:55:46 +00001121 Value *FCmp = B.CreateFCmpOEQ(Op1, NegInf);
1122 Value *Sel = B.CreateSelect(FCmp, Inf, FAbs);
1123 return Sel;
Bob Wilsond8d92d92013-11-03 06:48:38 +00001124 }
1125
Chris Bienemanad070d02014-09-17 20:55:46 +00001126 if (Op2C->isExactlyValue(1.0)) // pow(x, 1.0) -> x
1127 return Op1;
1128 if (Op2C->isExactlyValue(2.0)) // pow(x, 2.0) -> x*x
1129 return B.CreateFMul(Op1, Op1, "pow2");
1130 if (Op2C->isExactlyValue(-1.0)) // pow(x, -1.0) -> 1.0/x
1131 return B.CreateFDiv(ConstantFP::get(CI->getType(), 1.0), Op1, "powrecip");
Weiming Zhao82130722015-12-04 22:00:47 +00001132
1133 // In -ffast-math, generate repeated fmul instead of generating pow(x, n).
Sanjay Patel81a63cd2016-01-19 18:15:12 +00001134 if (CI->hasUnsafeAlgebra()) {
Weiming Zhao82130722015-12-04 22:00:47 +00001135 APFloat V = abs(Op2C->getValueAPF());
1136 // We limit to a max of 7 fmul(s). Thus max exponent is 32.
1137 // This transformation applies to integer exponents only.
1138 if (V.compare(APFloat(V.getSemantics(), 32.0)) == APFloat::cmpGreaterThan ||
1139 !V.isInteger())
1140 return nullptr;
1141
Davide Italianof8711f02017-01-10 18:02:05 +00001142 // Propagate fast math flags.
1143 IRBuilder<>::FastMathFlagGuard Guard(B);
1144 B.setFastMathFlags(CI->getFastMathFlags());
1145
Weiming Zhao82130722015-12-04 22:00:47 +00001146 // We will memoize intermediate products of the Addition Chain.
1147 Value *InnerChain[33] = {nullptr};
1148 InnerChain[1] = Op1;
1149 InnerChain[2] = B.CreateFMul(Op1, Op1);
1150
1151 // We cannot readily convert a non-double type (like float) to a double.
1152 // So we first convert V to something which could be converted to double.
1153 bool ignored;
Stephan Bergmann17c7f702016-12-14 11:57:17 +00001154 V.convert(APFloat::IEEEdouble(), APFloat::rmTowardZero, &ignored);
Sanjay Patel81a63cd2016-01-19 18:15:12 +00001155
Weiming Zhao82130722015-12-04 22:00:47 +00001156 Value *FMul = getPow(InnerChain, V.convertToDouble(), B);
1157 // For negative exponents simply compute the reciprocal.
1158 if (Op2C->isNegative())
1159 FMul = B.CreateFDiv(ConstantFP::get(CI->getType(), 1.0), FMul);
1160 return FMul;
1161 }
1162
Chris Bienemanad070d02014-09-17 20:55:46 +00001163 return nullptr;
1164}
Bob Wilsond8d92d92013-11-03 06:48:38 +00001165
Chris Bienemanad070d02014-09-17 20:55:46 +00001166Value *LibCallSimplifier::optimizeExp2(CallInst *CI, IRBuilder<> &B) {
1167 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001168 Value *Ret = nullptr;
Davide Italianoa3458772015-11-05 19:18:23 +00001169 StringRef Name = Callee->getName();
1170 if (UnsafeFPShrink && Name == "exp2" && hasFloatVersion(Name))
Chris Bienemanad070d02014-09-17 20:55:46 +00001171 Ret = optimizeUnaryDoubleFP(CI, B, true);
Bob Wilsond8d92d92013-11-03 06:48:38 +00001172
Chris Bienemanad070d02014-09-17 20:55:46 +00001173 Value *Op = CI->getArgOperand(0);
1174 // Turn exp2(sitofp(x)) -> ldexp(1.0, sext(x)) if sizeof(x) <= 32
1175 // Turn exp2(uitofp(x)) -> ldexp(1.0, zext(x)) if sizeof(x) < 32
1176 LibFunc::Func LdExp = LibFunc::ldexpl;
1177 if (Op->getType()->isFloatTy())
1178 LdExp = LibFunc::ldexpf;
1179 else if (Op->getType()->isDoubleTy())
1180 LdExp = LibFunc::ldexp;
1181
1182 if (TLI->has(LdExp)) {
1183 Value *LdExpArg = nullptr;
1184 if (SIToFPInst *OpC = dyn_cast<SIToFPInst>(Op)) {
1185 if (OpC->getOperand(0)->getType()->getPrimitiveSizeInBits() <= 32)
1186 LdExpArg = B.CreateSExt(OpC->getOperand(0), B.getInt32Ty());
1187 } else if (UIToFPInst *OpC = dyn_cast<UIToFPInst>(Op)) {
1188 if (OpC->getOperand(0)->getType()->getPrimitiveSizeInBits() < 32)
1189 LdExpArg = B.CreateZExt(OpC->getOperand(0), B.getInt32Ty());
1190 }
1191
1192 if (LdExpArg) {
1193 Constant *One = ConstantFP::get(CI->getContext(), APFloat(1.0f));
1194 if (!Op->getType()->isFloatTy())
1195 One = ConstantExpr::getFPExtend(One, Op->getType());
1196
Sanjay Patel0e603fc2016-01-21 22:31:18 +00001197 Module *M = CI->getModule();
Sanjay Patel042aed902016-01-21 22:41:16 +00001198 Value *NewCallee =
Chris Bienemanad070d02014-09-17 20:55:46 +00001199 M->getOrInsertFunction(TLI->getName(LdExp), Op->getType(),
Reid Kleckner971c3ea2014-11-13 22:55:19 +00001200 Op->getType(), B.getInt32Ty(), nullptr);
Sanjay Patel042aed902016-01-21 22:41:16 +00001201 CallInst *CI = B.CreateCall(NewCallee, {One, LdExpArg});
Chris Bienemanad070d02014-09-17 20:55:46 +00001202 if (const Function *F = dyn_cast<Function>(Callee->stripPointerCasts()))
1203 CI->setCallingConv(F->getCallingConv());
1204
1205 return CI;
1206 }
1207 }
1208 return Ret;
1209}
1210
Sanjay Patel0ca42bb2014-10-14 20:43:11 +00001211Value *LibCallSimplifier::optimizeFabs(CallInst *CI, IRBuilder<> &B) {
1212 Function *Callee = CI->getCalledFunction();
Davide Italianoa3458772015-11-05 19:18:23 +00001213 StringRef Name = Callee->getName();
1214 if (Name == "fabs" && hasFloatVersion(Name))
Matt Arsenaulta7d21942017-01-07 19:55:12 +00001215 return optimizeUnaryDoubleFP(CI, B, false);
Sanjay Patel0ca42bb2014-10-14 20:43:11 +00001216
Matt Arsenaulta7d21942017-01-07 19:55:12 +00001217 return nullptr;
Sanjay Patel0ca42bb2014-10-14 20:43:11 +00001218}
1219
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001220Value *LibCallSimplifier::optimizeFMinFMax(CallInst *CI, IRBuilder<> &B) {
Sanjay Patel9beec212016-01-21 22:58:01 +00001221 Function *Callee = CI->getCalledFunction();
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001222 // If we can shrink the call to a float function rather than a double
1223 // function, do that first.
Davide Italianoa3458772015-11-05 19:18:23 +00001224 StringRef Name = Callee->getName();
Sanjay Patelc7ddb7f2016-01-06 00:32:15 +00001225 if ((Name == "fmin" || Name == "fmax") && hasFloatVersion(Name))
1226 if (Value *Ret = optimizeBinaryDoubleFP(CI, B))
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001227 return Ret;
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001228
Benjamin Kramerbb70d752015-08-16 21:16:37 +00001229 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001230 FastMathFlags FMF;
Sanjay Patel29095ea2016-01-05 20:46:19 +00001231 if (CI->hasUnsafeAlgebra()) {
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001232 // Unsafe algebra sets all fast-math-flags to true.
1233 FMF.setUnsafeAlgebra();
1234 } else {
1235 // At a minimum, no-nans-fp-math must be true.
Sanjay Patel29095ea2016-01-05 20:46:19 +00001236 if (!CI->hasNoNaNs())
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001237 return nullptr;
1238 // No-signed-zeros is implied by the definitions of fmax/fmin themselves:
1239 // "Ideally, fmax would be sensitive to the sign of zero, for example
NAKAMURA Takumi0d725392015-09-07 00:26:54 +00001240 // fmax(-0. 0, +0. 0) would return +0; however, implementation in software
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001241 // might be impractical."
1242 FMF.setNoSignedZeros();
1243 FMF.setNoNaNs();
1244 }
Sanjay Patela2528152016-01-12 18:03:37 +00001245 B.setFastMathFlags(FMF);
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001246
1247 // We have a relaxed floating-point environment. We can ignore NaN-handling
1248 // and transform to a compare and select. We do not have to consider errno or
1249 // exceptions, because fmin/fmax do not have those.
1250 Value *Op0 = CI->getArgOperand(0);
1251 Value *Op1 = CI->getArgOperand(1);
1252 Value *Cmp = Callee->getName().startswith("fmin") ?
1253 B.CreateFCmpOLT(Op0, Op1) : B.CreateFCmpOGT(Op0, Op1);
1254 return B.CreateSelect(Cmp, Op0, Op1);
1255}
1256
Davide Italianob8b71332015-11-29 20:58:04 +00001257Value *LibCallSimplifier::optimizeLog(CallInst *CI, IRBuilder<> &B) {
1258 Function *Callee = CI->getCalledFunction();
1259 Value *Ret = nullptr;
1260 StringRef Name = Callee->getName();
1261 if (UnsafeFPShrink && hasFloatVersion(Name))
1262 Ret = optimizeUnaryDoubleFP(CI, B, true);
Davide Italianob8b71332015-11-29 20:58:04 +00001263
Sanjay Patele896ede2016-01-11 23:31:48 +00001264 if (!CI->hasUnsafeAlgebra())
Davide Italianob8b71332015-11-29 20:58:04 +00001265 return Ret;
1266 Value *Op1 = CI->getArgOperand(0);
1267 auto *OpC = dyn_cast<CallInst>(Op1);
Sanjay Patele896ede2016-01-11 23:31:48 +00001268
1269 // The earlier call must also be unsafe in order to do these transforms.
1270 if (!OpC || !OpC->hasUnsafeAlgebra())
Davide Italianob8b71332015-11-29 20:58:04 +00001271 return Ret;
1272
1273 // log(pow(x,y)) -> y*log(x)
1274 // This is only applicable to log, log2, log10.
1275 if (Name != "log" && Name != "log2" && Name != "log10")
1276 return Ret;
1277
1278 IRBuilder<>::FastMathFlagGuard Guard(B);
1279 FastMathFlags FMF;
1280 FMF.setUnsafeAlgebra();
Sanjay Patela2528152016-01-12 18:03:37 +00001281 B.setFastMathFlags(FMF);
Davide Italianob8b71332015-11-29 20:58:04 +00001282
1283 LibFunc::Func Func;
1284 Function *F = OpC->getCalledFunction();
Davide Italiano0b14f292015-11-29 21:58:56 +00001285 if (F && ((TLI->getLibFunc(F->getName(), Func) && TLI->has(Func) &&
1286 Func == LibFunc::pow) || F->getIntrinsicID() == Intrinsic::pow))
Davide Italianob8b71332015-11-29 20:58:04 +00001287 return B.CreateFMul(OpC->getArgOperand(1),
Sanjay Pateld3112a52016-01-19 19:46:10 +00001288 emitUnaryFloatFnCall(OpC->getOperand(0), Callee->getName(), B,
Davide Italianob8b71332015-11-29 20:58:04 +00001289 Callee->getAttributes()), "mul");
Davide Italiano1aeed6a2015-11-30 19:36:35 +00001290
1291 // log(exp2(y)) -> y*log(2)
1292 if (F && Name == "log" && TLI->getLibFunc(F->getName(), Func) &&
1293 TLI->has(Func) && Func == LibFunc::exp2)
1294 return B.CreateFMul(
1295 OpC->getArgOperand(0),
Sanjay Pateld3112a52016-01-19 19:46:10 +00001296 emitUnaryFloatFnCall(ConstantFP::get(CI->getType(), 2.0),
Davide Italiano1aeed6a2015-11-30 19:36:35 +00001297 Callee->getName(), B, Callee->getAttributes()),
1298 "logmul");
Davide Italianob8b71332015-11-29 20:58:04 +00001299 return Ret;
1300}
1301
Sanjay Patelc699a612014-10-16 18:48:17 +00001302Value *LibCallSimplifier::optimizeSqrt(CallInst *CI, IRBuilder<> &B) {
1303 Function *Callee = CI->getCalledFunction();
Sanjay Patelc699a612014-10-16 18:48:17 +00001304 Value *Ret = nullptr;
Sanjay Patel848309d2014-10-23 21:52:45 +00001305 if (TLI->has(LibFunc::sqrtf) && (Callee->getName() == "sqrt" ||
1306 Callee->getIntrinsicID() == Intrinsic::sqrt))
Sanjay Patelc699a612014-10-16 18:48:17 +00001307 Ret = optimizeUnaryDoubleFP(CI, B, true);
Sanjay Patel683f2972016-01-11 22:34:19 +00001308
1309 if (!CI->hasUnsafeAlgebra())
Davide Italianoa904e522015-10-29 02:58:44 +00001310 return Ret;
Sanjay Patelc699a612014-10-16 18:48:17 +00001311
Sanjay Patelc2d64612016-01-06 20:52:21 +00001312 Instruction *I = dyn_cast<Instruction>(CI->getArgOperand(0));
1313 if (!I || I->getOpcode() != Instruction::FMul || !I->hasUnsafeAlgebra())
1314 return Ret;
1315
1316 // We're looking for a repeated factor in a multiplication tree,
1317 // so we can do this fold: sqrt(x * x) -> fabs(x);
Sanjay Patel683f2972016-01-11 22:34:19 +00001318 // or this fold: sqrt((x * x) * y) -> fabs(x) * sqrt(y).
Sanjay Patelc2d64612016-01-06 20:52:21 +00001319 Value *Op0 = I->getOperand(0);
1320 Value *Op1 = I->getOperand(1);
1321 Value *RepeatOp = nullptr;
1322 Value *OtherOp = nullptr;
1323 if (Op0 == Op1) {
1324 // Simple match: the operands of the multiply are identical.
1325 RepeatOp = Op0;
1326 } else {
1327 // Look for a more complicated pattern: one of the operands is itself
1328 // a multiply, so search for a common factor in that multiply.
1329 // Note: We don't bother looking any deeper than this first level or for
1330 // variations of this pattern because instcombine's visitFMUL and/or the
1331 // reassociation pass should give us this form.
1332 Value *OtherMul0, *OtherMul1;
1333 if (match(Op0, m_FMul(m_Value(OtherMul0), m_Value(OtherMul1)))) {
1334 // Pattern: sqrt((x * y) * z)
Sanjay Patel6c1ddbb2016-01-11 22:50:36 +00001335 if (OtherMul0 == OtherMul1 &&
1336 cast<Instruction>(Op0)->hasUnsafeAlgebra()) {
Sanjay Patelc2d64612016-01-06 20:52:21 +00001337 // Matched: sqrt((x * x) * z)
1338 RepeatOp = OtherMul0;
1339 OtherOp = Op1;
Sanjay Patelc699a612014-10-16 18:48:17 +00001340 }
1341 }
1342 }
Sanjay Patelc2d64612016-01-06 20:52:21 +00001343 if (!RepeatOp)
1344 return Ret;
1345
1346 // Fast math flags for any created instructions should match the sqrt
1347 // and multiply.
Sanjay Patelc2d64612016-01-06 20:52:21 +00001348 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patela2528152016-01-12 18:03:37 +00001349 B.setFastMathFlags(I->getFastMathFlags());
Sanjay Patel9f67dad2016-01-11 22:35:39 +00001350
Sanjay Patelc2d64612016-01-06 20:52:21 +00001351 // If we found a repeated factor, hoist it out of the square root and
1352 // replace it with the fabs of that factor.
1353 Module *M = Callee->getParent();
1354 Type *ArgType = I->getType();
1355 Value *Fabs = Intrinsic::getDeclaration(M, Intrinsic::fabs, ArgType);
1356 Value *FabsCall = B.CreateCall(Fabs, RepeatOp, "fabs");
1357 if (OtherOp) {
1358 // If we found a non-repeated factor, we still need to get its square
1359 // root. We then multiply that by the value that was simplified out
1360 // of the square root calculation.
1361 Value *Sqrt = Intrinsic::getDeclaration(M, Intrinsic::sqrt, ArgType);
1362 Value *SqrtCall = B.CreateCall(Sqrt, OtherOp, "sqrt");
1363 return B.CreateFMul(FabsCall, SqrtCall);
1364 }
1365 return FabsCall;
Sanjay Patelc699a612014-10-16 18:48:17 +00001366}
1367
Sanjay Patelcddcd722016-01-06 19:23:35 +00001368// TODO: Generalize to handle any trig function and its inverse.
Davide Italiano51507d22015-11-04 23:36:56 +00001369Value *LibCallSimplifier::optimizeTan(CallInst *CI, IRBuilder<> &B) {
1370 Function *Callee = CI->getCalledFunction();
1371 Value *Ret = nullptr;
Davide Italianoa3458772015-11-05 19:18:23 +00001372 StringRef Name = Callee->getName();
1373 if (UnsafeFPShrink && Name == "tan" && hasFloatVersion(Name))
Davide Italiano51507d22015-11-04 23:36:56 +00001374 Ret = optimizeUnaryDoubleFP(CI, B, true);
Davide Italiano51507d22015-11-04 23:36:56 +00001375
Davide Italiano51507d22015-11-04 23:36:56 +00001376 Value *Op1 = CI->getArgOperand(0);
1377 auto *OpC = dyn_cast<CallInst>(Op1);
1378 if (!OpC)
1379 return Ret;
1380
Sanjay Patelcddcd722016-01-06 19:23:35 +00001381 // Both calls must allow unsafe optimizations in order to remove them.
1382 if (!CI->hasUnsafeAlgebra() || !OpC->hasUnsafeAlgebra())
1383 return Ret;
1384
Davide Italiano51507d22015-11-04 23:36:56 +00001385 // tan(atan(x)) -> x
1386 // tanf(atanf(x)) -> x
1387 // tanl(atanl(x)) -> x
1388 LibFunc::Func Func;
1389 Function *F = OpC->getCalledFunction();
Benjamin Kramerfb419e72015-11-26 09:51:17 +00001390 if (F && TLI->getLibFunc(F->getName(), Func) && TLI->has(Func) &&
Davide Italiano51507d22015-11-04 23:36:56 +00001391 ((Func == LibFunc::atan && Callee->getName() == "tan") ||
1392 (Func == LibFunc::atanf && Callee->getName() == "tanf") ||
1393 (Func == LibFunc::atanl && Callee->getName() == "tanl")))
1394 Ret = OpC->getArgOperand(0);
1395 return Ret;
1396}
1397
Sanjay Patel57747212016-01-21 23:38:43 +00001398static bool isTrigLibCall(CallInst *CI) {
Sanjay Patel57747212016-01-21 23:38:43 +00001399 // We can only hope to do anything useful if we can ignore things like errno
1400 // and floating-point exceptions.
Ahmed Bougachad765a822016-04-27 19:04:35 +00001401 // We already checked the prototype.
1402 return CI->hasFnAttr(Attribute::NoUnwind) &&
1403 CI->hasFnAttr(Attribute::ReadNone);
Sanjay Patel57747212016-01-21 23:38:43 +00001404}
1405
Chris Bienemanad070d02014-09-17 20:55:46 +00001406static void insertSinCosCall(IRBuilder<> &B, Function *OrigCallee, Value *Arg,
1407 bool UseFloat, Value *&Sin, Value *&Cos,
Sanjay Patel57747212016-01-21 23:38:43 +00001408 Value *&SinCos) {
1409 Type *ArgTy = Arg->getType();
1410 Type *ResTy;
1411 StringRef Name;
1412
1413 Triple T(OrigCallee->getParent()->getTargetTriple());
1414 if (UseFloat) {
1415 Name = "__sincospif_stret";
1416
1417 assert(T.getArch() != Triple::x86 && "x86 messy and unsupported for now");
1418 // x86_64 can't use {float, float} since that would be returned in both
1419 // xmm0 and xmm1, which isn't what a real struct would do.
1420 ResTy = T.getArch() == Triple::x86_64
1421 ? static_cast<Type *>(VectorType::get(ArgTy, 2))
1422 : static_cast<Type *>(StructType::get(ArgTy, ArgTy, nullptr));
1423 } else {
1424 Name = "__sincospi_stret";
1425 ResTy = StructType::get(ArgTy, ArgTy, nullptr);
1426 }
1427
1428 Module *M = OrigCallee->getParent();
1429 Value *Callee = M->getOrInsertFunction(Name, OrigCallee->getAttributes(),
1430 ResTy, ArgTy, nullptr);
1431
1432 if (Instruction *ArgInst = dyn_cast<Instruction>(Arg)) {
1433 // If the argument is an instruction, it must dominate all uses so put our
1434 // sincos call there.
1435 B.SetInsertPoint(ArgInst->getParent(), ++ArgInst->getIterator());
1436 } else {
1437 // Otherwise (e.g. for a constant) the beginning of the function is as
1438 // good a place as any.
1439 BasicBlock &EntryBB = B.GetInsertBlock()->getParent()->getEntryBlock();
1440 B.SetInsertPoint(&EntryBB, EntryBB.begin());
1441 }
1442
1443 SinCos = B.CreateCall(Callee, Arg, "sincospi");
1444
1445 if (SinCos->getType()->isStructTy()) {
1446 Sin = B.CreateExtractValue(SinCos, 0, "sinpi");
1447 Cos = B.CreateExtractValue(SinCos, 1, "cospi");
1448 } else {
1449 Sin = B.CreateExtractElement(SinCos, ConstantInt::get(B.getInt32Ty(), 0),
1450 "sinpi");
1451 Cos = B.CreateExtractElement(SinCos, ConstantInt::get(B.getInt32Ty(), 1),
1452 "cospi");
1453 }
1454}
Chris Bienemanad070d02014-09-17 20:55:46 +00001455
1456Value *LibCallSimplifier::optimizeSinCosPi(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001457 // Make sure the prototype is as expected, otherwise the rest of the
1458 // function is probably invalid and likely to abort.
1459 if (!isTrigLibCall(CI))
1460 return nullptr;
1461
1462 Value *Arg = CI->getArgOperand(0);
1463 SmallVector<CallInst *, 1> SinCalls;
1464 SmallVector<CallInst *, 1> CosCalls;
1465 SmallVector<CallInst *, 1> SinCosCalls;
1466
1467 bool IsFloat = Arg->getType()->isFloatTy();
1468
1469 // Look for all compatible sinpi, cospi and sincospi calls with the same
1470 // argument. If there are enough (in some sense) we can make the
1471 // substitution.
David Majnemerabae6b52016-03-19 04:53:02 +00001472 Function *F = CI->getFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001473 for (User *U : Arg->users())
David Majnemerabae6b52016-03-19 04:53:02 +00001474 classifyArgUse(U, F, IsFloat, SinCalls, CosCalls, SinCosCalls);
Chris Bienemanad070d02014-09-17 20:55:46 +00001475
1476 // It's only worthwhile if both sinpi and cospi are actually used.
1477 if (SinCosCalls.empty() && (SinCalls.empty() || CosCalls.empty()))
1478 return nullptr;
1479
1480 Value *Sin, *Cos, *SinCos;
1481 insertSinCosCall(B, CI->getCalledFunction(), Arg, IsFloat, Sin, Cos, SinCos);
1482
Davide Italianof024a562016-12-16 02:28:38 +00001483 auto replaceTrigInsts = [this](SmallVectorImpl<CallInst *> &Calls,
1484 Value *Res) {
1485 for (CallInst *C : Calls)
1486 replaceAllUsesWith(C, Res);
1487 };
1488
Chris Bienemanad070d02014-09-17 20:55:46 +00001489 replaceTrigInsts(SinCalls, Sin);
1490 replaceTrigInsts(CosCalls, Cos);
1491 replaceTrigInsts(SinCosCalls, SinCos);
1492
1493 return nullptr;
1494}
1495
David Majnemerabae6b52016-03-19 04:53:02 +00001496void LibCallSimplifier::classifyArgUse(
1497 Value *Val, Function *F, bool IsFloat,
1498 SmallVectorImpl<CallInst *> &SinCalls,
1499 SmallVectorImpl<CallInst *> &CosCalls,
1500 SmallVectorImpl<CallInst *> &SinCosCalls) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001501 CallInst *CI = dyn_cast<CallInst>(Val);
1502
1503 if (!CI)
1504 return;
1505
David Majnemerabae6b52016-03-19 04:53:02 +00001506 // Don't consider calls in other functions.
1507 if (CI->getFunction() != F)
1508 return;
1509
Chris Bienemanad070d02014-09-17 20:55:46 +00001510 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001511 LibFunc::Func Func;
Ahmed Bougachad765a822016-04-27 19:04:35 +00001512 if (!Callee || !TLI->getLibFunc(*Callee, Func) || !TLI->has(Func) ||
Benjamin Kramer89766e52015-11-28 21:43:12 +00001513 !isTrigLibCall(CI))
Chris Bienemanad070d02014-09-17 20:55:46 +00001514 return;
1515
1516 if (IsFloat) {
1517 if (Func == LibFunc::sinpif)
1518 SinCalls.push_back(CI);
1519 else if (Func == LibFunc::cospif)
1520 CosCalls.push_back(CI);
1521 else if (Func == LibFunc::sincospif_stret)
1522 SinCosCalls.push_back(CI);
1523 } else {
1524 if (Func == LibFunc::sinpi)
1525 SinCalls.push_back(CI);
1526 else if (Func == LibFunc::cospi)
1527 CosCalls.push_back(CI);
1528 else if (Func == LibFunc::sincospi_stret)
1529 SinCosCalls.push_back(CI);
1530 }
1531}
1532
Meador Inge7415f842012-11-25 20:45:27 +00001533//===----------------------------------------------------------------------===//
1534// Integer Library Call Optimizations
1535//===----------------------------------------------------------------------===//
1536
Chris Bienemanad070d02014-09-17 20:55:46 +00001537Value *LibCallSimplifier::optimizeFFS(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001538 // ffs(x) -> x != 0 ? (i32)llvm.cttz(x)+1 : 0
Davide Italiano890e8502016-12-15 23:11:00 +00001539 Value *Op = CI->getArgOperand(0);
Chris Bienemanad070d02014-09-17 20:55:46 +00001540 Type *ArgType = Op->getType();
Davide Italiano890e8502016-12-15 23:11:00 +00001541 Value *F = Intrinsic::getDeclaration(CI->getCalledFunction()->getParent(),
1542 Intrinsic::cttz, ArgType);
Davide Italianoa1953862015-08-13 20:34:26 +00001543 Value *V = B.CreateCall(F, {Op, B.getTrue()}, "cttz");
Chris Bienemanad070d02014-09-17 20:55:46 +00001544 V = B.CreateAdd(V, ConstantInt::get(V->getType(), 1));
1545 V = B.CreateIntCast(V, B.getInt32Ty(), false);
Meador Ingea0b6d872012-11-26 00:24:07 +00001546
Chris Bienemanad070d02014-09-17 20:55:46 +00001547 Value *Cond = B.CreateICmpNE(Op, Constant::getNullValue(ArgType));
1548 return B.CreateSelect(Cond, V, B.getInt32(0));
1549}
Meador Ingea0b6d872012-11-26 00:24:07 +00001550
Davide Italiano85ad36b2016-12-15 23:45:11 +00001551Value *LibCallSimplifier::optimizeFls(CallInst *CI, IRBuilder<> &B) {
1552 // fls(x) -> (i32)(sizeInBits(x) - llvm.ctlz(x, false))
1553 Value *Op = CI->getArgOperand(0);
1554 Type *ArgType = Op->getType();
1555 Value *F = Intrinsic::getDeclaration(CI->getCalledFunction()->getParent(),
1556 Intrinsic::ctlz, ArgType);
1557 Value *V = B.CreateCall(F, {Op, B.getFalse()}, "ctlz");
1558 V = B.CreateSub(ConstantInt::get(V->getType(), ArgType->getIntegerBitWidth()),
1559 V);
1560 return B.CreateIntCast(V, CI->getType(), false);
1561}
1562
Chris Bienemanad070d02014-09-17 20:55:46 +00001563Value *LibCallSimplifier::optimizeAbs(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001564 // abs(x) -> x >s -1 ? x : -x
1565 Value *Op = CI->getArgOperand(0);
1566 Value *Pos =
1567 B.CreateICmpSGT(Op, Constant::getAllOnesValue(Op->getType()), "ispos");
1568 Value *Neg = B.CreateNeg(Op, "neg");
1569 return B.CreateSelect(Pos, Op, Neg);
1570}
Meador Inge9a59ab62012-11-26 02:31:59 +00001571
Chris Bienemanad070d02014-09-17 20:55:46 +00001572Value *LibCallSimplifier::optimizeIsDigit(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001573 // isdigit(c) -> (c-'0') <u 10
1574 Value *Op = CI->getArgOperand(0);
1575 Op = B.CreateSub(Op, B.getInt32('0'), "isdigittmp");
1576 Op = B.CreateICmpULT(Op, B.getInt32(10), "isdigit");
1577 return B.CreateZExt(Op, CI->getType());
1578}
Meador Ingea62a39e2012-11-26 03:10:07 +00001579
Chris Bienemanad070d02014-09-17 20:55:46 +00001580Value *LibCallSimplifier::optimizeIsAscii(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001581 // isascii(c) -> c <u 128
1582 Value *Op = CI->getArgOperand(0);
1583 Op = B.CreateICmpULT(Op, B.getInt32(128), "isascii");
1584 return B.CreateZExt(Op, CI->getType());
1585}
1586
1587Value *LibCallSimplifier::optimizeToAscii(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001588 // toascii(c) -> c & 0x7f
1589 return B.CreateAnd(CI->getArgOperand(0),
1590 ConstantInt::get(CI->getType(), 0x7F));
1591}
Meador Inge604937d2012-11-26 03:38:52 +00001592
Meador Inge08ca1152012-11-26 20:37:20 +00001593//===----------------------------------------------------------------------===//
1594// Formatting and IO Library Call Optimizations
1595//===----------------------------------------------------------------------===//
1596
Chris Bienemanad070d02014-09-17 20:55:46 +00001597static bool isReportingError(Function *Callee, CallInst *CI, int StreamArg);
Hal Finkel66cd3f12013-11-17 02:06:35 +00001598
Chris Bienemanad070d02014-09-17 20:55:46 +00001599Value *LibCallSimplifier::optimizeErrorReporting(CallInst *CI, IRBuilder<> &B,
1600 int StreamArg) {
Ahmed Bougachad765a822016-04-27 19:04:35 +00001601 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001602 // Error reporting calls should be cold, mark them as such.
1603 // This applies even to non-builtin calls: it is only a hint and applies to
1604 // functions that the frontend might not understand as builtins.
Hal Finkel66cd3f12013-11-17 02:06:35 +00001605
Chris Bienemanad070d02014-09-17 20:55:46 +00001606 // This heuristic was suggested in:
1607 // Improving Static Branch Prediction in a Compiler
1608 // Brian L. Deitrich, Ben-Chung Cheng, Wen-mei W. Hwu
1609 // Proceedings of PACT'98, Oct. 1998, IEEE
Chris Bienemanad070d02014-09-17 20:55:46 +00001610 if (!CI->hasFnAttr(Attribute::Cold) &&
1611 isReportingError(Callee, CI, StreamArg)) {
1612 CI->addAttribute(AttributeSet::FunctionIndex, Attribute::Cold);
1613 }
Hal Finkel66cd3f12013-11-17 02:06:35 +00001614
Chris Bienemanad070d02014-09-17 20:55:46 +00001615 return nullptr;
1616}
1617
1618static bool isReportingError(Function *Callee, CallInst *CI, int StreamArg) {
Davide Italianoe84d4da2015-11-02 22:33:26 +00001619 if (!ColdErrorCalls || !Callee || !Callee->isDeclaration())
Chris Bienemanad070d02014-09-17 20:55:46 +00001620 return false;
1621
1622 if (StreamArg < 0)
1623 return true;
1624
1625 // These functions might be considered cold, but only if their stream
1626 // argument is stderr.
1627
1628 if (StreamArg >= (int)CI->getNumArgOperands())
1629 return false;
1630 LoadInst *LI = dyn_cast<LoadInst>(CI->getArgOperand(StreamArg));
1631 if (!LI)
1632 return false;
1633 GlobalVariable *GV = dyn_cast<GlobalVariable>(LI->getPointerOperand());
1634 if (!GV || !GV->isDeclaration())
1635 return false;
1636 return GV->getName() == "stderr";
1637}
1638
1639Value *LibCallSimplifier::optimizePrintFString(CallInst *CI, IRBuilder<> &B) {
1640 // Check for a fixed format string.
1641 StringRef FormatStr;
1642 if (!getConstantStringInfo(CI->getArgOperand(0), FormatStr))
Craig Topperf40110f2014-04-25 05:29:35 +00001643 return nullptr;
Hal Finkel66cd3f12013-11-17 02:06:35 +00001644
Chris Bienemanad070d02014-09-17 20:55:46 +00001645 // Empty format string -> noop.
1646 if (FormatStr.empty()) // Tolerate printf's declared void.
1647 return CI->use_empty() ? (Value *)CI : ConstantInt::get(CI->getType(), 0);
Hal Finkel66cd3f12013-11-17 02:06:35 +00001648
Chris Bienemanad070d02014-09-17 20:55:46 +00001649 // Do not do any of the following transformations if the printf return value
1650 // is used, in general the printf return value is not compatible with either
1651 // putchar() or puts().
1652 if (!CI->use_empty())
Craig Topperf40110f2014-04-25 05:29:35 +00001653 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +00001654
Joerg Sonnenberger8ffe7ab2016-05-09 14:36:16 +00001655 // printf("x") -> putchar('x'), even for "%" and "%%".
1656 if (FormatStr.size() == 1 || FormatStr == "%%")
Davide Italianod4f5a052016-04-03 01:46:52 +00001657 return emitPutChar(B.getInt32(FormatStr[0]), B, TLI);
Meador Inge08ca1152012-11-26 20:37:20 +00001658
Davide Italiano6db1dcb2016-03-28 15:54:01 +00001659 // printf("%s", "a") --> putchar('a')
1660 if (FormatStr == "%s" && CI->getNumArgOperands() > 1) {
1661 StringRef ChrStr;
1662 if (!getConstantStringInfo(CI->getOperand(1), ChrStr))
1663 return nullptr;
1664 if (ChrStr.size() != 1)
1665 return nullptr;
Davide Italianod4f5a052016-04-03 01:46:52 +00001666 return emitPutChar(B.getInt32(ChrStr[0]), B, TLI);
Davide Italiano6db1dcb2016-03-28 15:54:01 +00001667 }
1668
Chris Bienemanad070d02014-09-17 20:55:46 +00001669 // printf("foo\n") --> puts("foo")
1670 if (FormatStr[FormatStr.size() - 1] == '\n' &&
1671 FormatStr.find('%') == StringRef::npos) { // No format characters.
1672 // Create a string literal with no \n on it. We expect the constant merge
1673 // pass to be run after this pass, to merge duplicate strings.
1674 FormatStr = FormatStr.drop_back();
1675 Value *GV = B.CreateGlobalString(FormatStr, "str");
Davide Italianod4f5a052016-04-03 01:46:52 +00001676 return emitPutS(GV, B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001677 }
Meador Inge08ca1152012-11-26 20:37:20 +00001678
Chris Bienemanad070d02014-09-17 20:55:46 +00001679 // Optimize specific format strings.
1680 // printf("%c", chr) --> putchar(chr)
1681 if (FormatStr == "%c" && CI->getNumArgOperands() > 1 &&
Davide Italianod4f5a052016-04-03 01:46:52 +00001682 CI->getArgOperand(1)->getType()->isIntegerTy())
1683 return emitPutChar(CI->getArgOperand(1), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001684
1685 // printf("%s\n", str) --> puts(str)
1686 if (FormatStr == "%s\n" && CI->getNumArgOperands() > 1 &&
Davide Italianod4f5a052016-04-03 01:46:52 +00001687 CI->getArgOperand(1)->getType()->isPointerTy())
Sanjay Pateld3112a52016-01-19 19:46:10 +00001688 return emitPutS(CI->getArgOperand(1), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001689 return nullptr;
1690}
1691
1692Value *LibCallSimplifier::optimizePrintF(CallInst *CI, IRBuilder<> &B) {
1693
1694 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001695 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +00001696 if (Value *V = optimizePrintFString(CI, B)) {
1697 return V;
1698 }
1699
1700 // printf(format, ...) -> iprintf(format, ...) if no floating point
1701 // arguments.
1702 if (TLI->has(LibFunc::iprintf) && !callHasFloatingPointArgument(CI)) {
1703 Module *M = B.GetInsertBlock()->getParent()->getParent();
1704 Constant *IPrintFFn =
Meador Inge08ca1152012-11-26 20:37:20 +00001705 M->getOrInsertFunction("iprintf", FT, Callee->getAttributes());
Chris Bienemanad070d02014-09-17 20:55:46 +00001706 CallInst *New = cast<CallInst>(CI->clone());
1707 New->setCalledFunction(IPrintFFn);
1708 B.Insert(New);
1709 return New;
Meador Inge08ca1152012-11-26 20:37:20 +00001710 }
Chris Bienemanad070d02014-09-17 20:55:46 +00001711 return nullptr;
1712}
Meador Inge08ca1152012-11-26 20:37:20 +00001713
Chris Bienemanad070d02014-09-17 20:55:46 +00001714Value *LibCallSimplifier::optimizeSPrintFString(CallInst *CI, IRBuilder<> &B) {
1715 // Check for a fixed format string.
1716 StringRef FormatStr;
1717 if (!getConstantStringInfo(CI->getArgOperand(1), FormatStr))
Craig Topperf40110f2014-04-25 05:29:35 +00001718 return nullptr;
Meador Inge25c9b3b2012-11-27 05:57:54 +00001719
Chris Bienemanad070d02014-09-17 20:55:46 +00001720 // If we just have a format string (nothing else crazy) transform it.
1721 if (CI->getNumArgOperands() == 2) {
1722 // Make sure there's no % in the constant array. We could try to handle
1723 // %% -> % in the future if we cared.
1724 for (unsigned i = 0, e = FormatStr.size(); i != e; ++i)
1725 if (FormatStr[i] == '%')
1726 return nullptr; // we found a format specifier, bail out.
Hal Finkel66cd3f12013-11-17 02:06:35 +00001727
Chris Bienemanad070d02014-09-17 20:55:46 +00001728 // sprintf(str, fmt) -> llvm.memcpy(str, fmt, strlen(fmt)+1, 1)
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001729 B.CreateMemCpy(CI->getArgOperand(0), CI->getArgOperand(1),
1730 ConstantInt::get(DL.getIntPtrType(CI->getContext()),
1731 FormatStr.size() + 1),
Pete Cooper67cf9a72015-11-19 05:56:52 +00001732 1); // Copy the null byte.
Chris Bienemanad070d02014-09-17 20:55:46 +00001733 return ConstantInt::get(CI->getType(), FormatStr.size());
Meador Ingef8e72502012-11-29 15:45:43 +00001734 }
Meador Ingef8e72502012-11-29 15:45:43 +00001735
Chris Bienemanad070d02014-09-17 20:55:46 +00001736 // The remaining optimizations require the format string to be "%s" or "%c"
1737 // and have an extra operand.
1738 if (FormatStr.size() != 2 || FormatStr[0] != '%' ||
1739 CI->getNumArgOperands() < 3)
Craig Topperf40110f2014-04-25 05:29:35 +00001740 return nullptr;
Meador Inge75798bb2012-11-29 19:15:17 +00001741
Chris Bienemanad070d02014-09-17 20:55:46 +00001742 // Decode the second character of the format string.
1743 if (FormatStr[1] == 'c') {
1744 // sprintf(dst, "%c", chr) --> *(i8*)dst = chr; *((i8*)dst+1) = 0
1745 if (!CI->getArgOperand(2)->getType()->isIntegerTy())
1746 return nullptr;
1747 Value *V = B.CreateTrunc(CI->getArgOperand(2), B.getInt8Ty(), "char");
Sanjay Pateld3112a52016-01-19 19:46:10 +00001748 Value *Ptr = castToCStr(CI->getArgOperand(0), B);
Chris Bienemanad070d02014-09-17 20:55:46 +00001749 B.CreateStore(V, Ptr);
David Blaikie3909da72015-03-30 20:42:56 +00001750 Ptr = B.CreateGEP(B.getInt8Ty(), Ptr, B.getInt32(1), "nul");
Chris Bienemanad070d02014-09-17 20:55:46 +00001751 B.CreateStore(B.getInt8(0), Ptr);
Meador Ingedf796f82012-10-13 16:45:24 +00001752
Chris Bienemanad070d02014-09-17 20:55:46 +00001753 return ConstantInt::get(CI->getType(), 1);
Meador Ingedf796f82012-10-13 16:45:24 +00001754 }
1755
Chris Bienemanad070d02014-09-17 20:55:46 +00001756 if (FormatStr[1] == 's') {
Chris Bienemanad070d02014-09-17 20:55:46 +00001757 // sprintf(dest, "%s", str) -> llvm.memcpy(dest, str, strlen(str)+1, 1)
1758 if (!CI->getArgOperand(2)->getType()->isPointerTy())
1759 return nullptr;
1760
Sanjay Pateld3112a52016-01-19 19:46:10 +00001761 Value *Len = emitStrLen(CI->getArgOperand(2), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001762 if (!Len)
1763 return nullptr;
David Majnemerabb9f552016-04-26 21:04:47 +00001764 Value *IncLen =
1765 B.CreateAdd(Len, ConstantInt::get(Len->getType(), 1), "leninc");
1766 B.CreateMemCpy(CI->getArgOperand(0), CI->getArgOperand(2), IncLen, 1);
Chris Bienemanad070d02014-09-17 20:55:46 +00001767
1768 // The sprintf result is the unincremented number of bytes in the string.
1769 return B.CreateIntCast(Len, CI->getType(), false);
1770 }
1771 return nullptr;
1772}
1773
1774Value *LibCallSimplifier::optimizeSPrintF(CallInst *CI, IRBuilder<> &B) {
1775 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001776 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +00001777 if (Value *V = optimizeSPrintFString(CI, B)) {
1778 return V;
1779 }
1780
1781 // sprintf(str, format, ...) -> siprintf(str, format, ...) if no floating
1782 // point arguments.
1783 if (TLI->has(LibFunc::siprintf) && !callHasFloatingPointArgument(CI)) {
1784 Module *M = B.GetInsertBlock()->getParent()->getParent();
1785 Constant *SIPrintFFn =
1786 M->getOrInsertFunction("siprintf", FT, Callee->getAttributes());
1787 CallInst *New = cast<CallInst>(CI->clone());
1788 New->setCalledFunction(SIPrintFFn);
1789 B.Insert(New);
1790 return New;
1791 }
1792 return nullptr;
1793}
1794
1795Value *LibCallSimplifier::optimizeFPrintFString(CallInst *CI, IRBuilder<> &B) {
1796 optimizeErrorReporting(CI, B, 0);
1797
1798 // All the optimizations depend on the format string.
1799 StringRef FormatStr;
1800 if (!getConstantStringInfo(CI->getArgOperand(1), FormatStr))
1801 return nullptr;
1802
1803 // Do not do any of the following transformations if the fprintf return
1804 // value is used, in general the fprintf return value is not compatible
1805 // with fwrite(), fputc() or fputs().
1806 if (!CI->use_empty())
1807 return nullptr;
1808
1809 // fprintf(F, "foo") --> fwrite("foo", 3, 1, F)
1810 if (CI->getNumArgOperands() == 2) {
1811 for (unsigned i = 0, e = FormatStr.size(); i != e; ++i)
1812 if (FormatStr[i] == '%') // Could handle %% -> % if we cared.
1813 return nullptr; // We found a format specifier.
1814
Sanjay Pateld3112a52016-01-19 19:46:10 +00001815 return emitFWrite(
Chris Bienemanad070d02014-09-17 20:55:46 +00001816 CI->getArgOperand(1),
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001817 ConstantInt::get(DL.getIntPtrType(CI->getContext()), FormatStr.size()),
Chris Bienemanad070d02014-09-17 20:55:46 +00001818 CI->getArgOperand(0), B, DL, TLI);
1819 }
1820
1821 // The remaining optimizations require the format string to be "%s" or "%c"
1822 // and have an extra operand.
1823 if (FormatStr.size() != 2 || FormatStr[0] != '%' ||
1824 CI->getNumArgOperands() < 3)
1825 return nullptr;
1826
1827 // Decode the second character of the format string.
1828 if (FormatStr[1] == 'c') {
1829 // fprintf(F, "%c", chr) --> fputc(chr, F)
1830 if (!CI->getArgOperand(2)->getType()->isIntegerTy())
1831 return nullptr;
Sanjay Pateld3112a52016-01-19 19:46:10 +00001832 return emitFPutC(CI->getArgOperand(2), CI->getArgOperand(0), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001833 }
1834
1835 if (FormatStr[1] == 's') {
1836 // fprintf(F, "%s", str) --> fputs(str, F)
1837 if (!CI->getArgOperand(2)->getType()->isPointerTy())
1838 return nullptr;
Sanjay Pateld3112a52016-01-19 19:46:10 +00001839 return emitFPutS(CI->getArgOperand(2), CI->getArgOperand(0), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001840 }
1841 return nullptr;
1842}
1843
1844Value *LibCallSimplifier::optimizeFPrintF(CallInst *CI, IRBuilder<> &B) {
1845 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001846 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +00001847 if (Value *V = optimizeFPrintFString(CI, B)) {
1848 return V;
1849 }
1850
1851 // fprintf(stream, format, ...) -> fiprintf(stream, format, ...) if no
1852 // floating point arguments.
1853 if (TLI->has(LibFunc::fiprintf) && !callHasFloatingPointArgument(CI)) {
1854 Module *M = B.GetInsertBlock()->getParent()->getParent();
1855 Constant *FIPrintFFn =
1856 M->getOrInsertFunction("fiprintf", FT, Callee->getAttributes());
1857 CallInst *New = cast<CallInst>(CI->clone());
1858 New->setCalledFunction(FIPrintFFn);
1859 B.Insert(New);
1860 return New;
1861 }
1862 return nullptr;
1863}
1864
1865Value *LibCallSimplifier::optimizeFWrite(CallInst *CI, IRBuilder<> &B) {
1866 optimizeErrorReporting(CI, B, 3);
1867
Chris Bienemanad070d02014-09-17 20:55:46 +00001868 // Get the element size and count.
1869 ConstantInt *SizeC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
1870 ConstantInt *CountC = dyn_cast<ConstantInt>(CI->getArgOperand(2));
1871 if (!SizeC || !CountC)
1872 return nullptr;
1873 uint64_t Bytes = SizeC->getZExtValue() * CountC->getZExtValue();
1874
1875 // If this is writing zero records, remove the call (it's a noop).
1876 if (Bytes == 0)
1877 return ConstantInt::get(CI->getType(), 0);
1878
1879 // If this is writing one byte, turn it into fputc.
1880 // This optimisation is only valid, if the return value is unused.
1881 if (Bytes == 1 && CI->use_empty()) { // fwrite(S,1,1,F) -> fputc(S[0],F)
Sanjay Pateld3112a52016-01-19 19:46:10 +00001882 Value *Char = B.CreateLoad(castToCStr(CI->getArgOperand(0), B), "char");
1883 Value *NewCI = emitFPutC(Char, CI->getArgOperand(3), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001884 return NewCI ? ConstantInt::get(CI->getType(), 1) : nullptr;
1885 }
1886
1887 return nullptr;
1888}
1889
1890Value *LibCallSimplifier::optimizeFPuts(CallInst *CI, IRBuilder<> &B) {
1891 optimizeErrorReporting(CI, B, 1);
1892
Sjoerd Meijer7435a912016-07-07 14:31:19 +00001893 // Don't rewrite fputs to fwrite when optimising for size because fwrite
1894 // requires more arguments and thus extra MOVs are required.
1895 if (CI->getParent()->getParent()->optForSize())
1896 return nullptr;
1897
Ahmed Bougachad765a822016-04-27 19:04:35 +00001898 // We can't optimize if return value is used.
1899 if (!CI->use_empty())
Chris Bienemanad070d02014-09-17 20:55:46 +00001900 return nullptr;
1901
1902 // fputs(s,F) --> fwrite(s,1,strlen(s),F)
1903 uint64_t Len = GetStringLength(CI->getArgOperand(0));
1904 if (!Len)
1905 return nullptr;
1906
1907 // Known to have no uses (see above).
Sanjay Pateld3112a52016-01-19 19:46:10 +00001908 return emitFWrite(
Chris Bienemanad070d02014-09-17 20:55:46 +00001909 CI->getArgOperand(0),
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001910 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len - 1),
Chris Bienemanad070d02014-09-17 20:55:46 +00001911 CI->getArgOperand(1), B, DL, TLI);
1912}
1913
1914Value *LibCallSimplifier::optimizePuts(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001915 // Check for a constant string.
1916 StringRef Str;
1917 if (!getConstantStringInfo(CI->getArgOperand(0), Str))
1918 return nullptr;
1919
1920 if (Str.empty() && CI->use_empty()) {
1921 // puts("") -> putchar('\n')
Sanjay Pateld3112a52016-01-19 19:46:10 +00001922 Value *Res = emitPutChar(B.getInt32('\n'), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00001923 if (CI->use_empty() || !Res)
1924 return Res;
1925 return B.CreateIntCast(Res, CI->getType(), true);
1926 }
1927
1928 return nullptr;
1929}
1930
1931bool LibCallSimplifier::hasFloatVersion(StringRef FuncName) {
Meador Inge20255ef2013-03-12 00:08:29 +00001932 LibFunc::Func Func;
1933 SmallString<20> FloatFuncName = FuncName;
1934 FloatFuncName += 'f';
1935 if (TLI->getLibFunc(FloatFuncName, Func))
1936 return TLI->has(Func);
1937 return false;
1938}
Meador Inge7fb2f732012-10-13 16:45:32 +00001939
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00001940Value *LibCallSimplifier::optimizeStringMemoryLibCall(CallInst *CI,
1941 IRBuilder<> &Builder) {
1942 LibFunc::Func Func;
1943 Function *Callee = CI->getCalledFunction();
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00001944 // Check for string/memory library functions.
Ahmed Bougachad765a822016-04-27 19:04:35 +00001945 if (TLI->getLibFunc(*Callee, Func) && TLI->has(Func)) {
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00001946 // Make sure we never change the calling convention.
1947 assert((ignoreCallingConv(Func) ||
Sam Parker214f7bf2016-09-13 12:10:14 +00001948 isCallingConvCCompatible(CI)) &&
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00001949 "Optimizing string/memory libcall would change the calling convention");
1950 switch (Func) {
1951 case LibFunc::strcat:
1952 return optimizeStrCat(CI, Builder);
1953 case LibFunc::strncat:
1954 return optimizeStrNCat(CI, Builder);
1955 case LibFunc::strchr:
1956 return optimizeStrChr(CI, Builder);
1957 case LibFunc::strrchr:
1958 return optimizeStrRChr(CI, Builder);
1959 case LibFunc::strcmp:
1960 return optimizeStrCmp(CI, Builder);
1961 case LibFunc::strncmp:
1962 return optimizeStrNCmp(CI, Builder);
1963 case LibFunc::strcpy:
1964 return optimizeStrCpy(CI, Builder);
1965 case LibFunc::stpcpy:
1966 return optimizeStpCpy(CI, Builder);
1967 case LibFunc::strncpy:
1968 return optimizeStrNCpy(CI, Builder);
1969 case LibFunc::strlen:
1970 return optimizeStrLen(CI, Builder);
1971 case LibFunc::strpbrk:
1972 return optimizeStrPBrk(CI, Builder);
1973 case LibFunc::strtol:
1974 case LibFunc::strtod:
1975 case LibFunc::strtof:
1976 case LibFunc::strtoul:
1977 case LibFunc::strtoll:
1978 case LibFunc::strtold:
1979 case LibFunc::strtoull:
1980 return optimizeStrTo(CI, Builder);
1981 case LibFunc::strspn:
1982 return optimizeStrSpn(CI, Builder);
1983 case LibFunc::strcspn:
1984 return optimizeStrCSpn(CI, Builder);
1985 case LibFunc::strstr:
1986 return optimizeStrStr(CI, Builder);
Benjamin Kramer691363e2015-03-21 15:36:21 +00001987 case LibFunc::memchr:
1988 return optimizeMemChr(CI, Builder);
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00001989 case LibFunc::memcmp:
1990 return optimizeMemCmp(CI, Builder);
1991 case LibFunc::memcpy:
1992 return optimizeMemCpy(CI, Builder);
1993 case LibFunc::memmove:
1994 return optimizeMemMove(CI, Builder);
1995 case LibFunc::memset:
1996 return optimizeMemSet(CI, Builder);
1997 default:
1998 break;
1999 }
2000 }
2001 return nullptr;
2002}
2003
Chris Bienemanad070d02014-09-17 20:55:46 +00002004Value *LibCallSimplifier::optimizeCall(CallInst *CI) {
2005 if (CI->isNoBuiltin())
2006 return nullptr;
Meador Inge4d2827c2012-11-11 05:11:20 +00002007
Meador Inge20255ef2013-03-12 00:08:29 +00002008 LibFunc::Func Func;
2009 Function *Callee = CI->getCalledFunction();
2010 StringRef FuncName = Callee->getName();
David Majnemerb70e23c2016-01-06 05:01:34 +00002011
2012 SmallVector<OperandBundleDef, 2> OpBundles;
2013 CI->getOperandBundlesAsDefs(OpBundles);
2014 IRBuilder<> Builder(CI, /*FPMathTag=*/nullptr, OpBundles);
Sam Parker214f7bf2016-09-13 12:10:14 +00002015 bool isCallingConvC = isCallingConvCCompatible(CI);
Meador Inge20255ef2013-03-12 00:08:29 +00002016
Sanjay Pateld1f4f032016-01-19 18:38:52 +00002017 // Command-line parameter overrides instruction attribute.
Sanjay Patela92fa442014-10-22 15:29:23 +00002018 if (EnableUnsafeFPShrink.getNumOccurrences() > 0)
2019 UnsafeFPShrink = EnableUnsafeFPShrink;
Sanjay Pateld1f4f032016-01-19 18:38:52 +00002020 else if (isa<FPMathOperator>(CI) && CI->hasUnsafeAlgebra())
Davide Italianoa904e522015-10-29 02:58:44 +00002021 UnsafeFPShrink = true;
Sanjay Patela92fa442014-10-22 15:29:23 +00002022
Sanjay Patel848309d2014-10-23 21:52:45 +00002023 // First, check for intrinsics.
Meador Inge20255ef2013-03-12 00:08:29 +00002024 if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CI)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002025 if (!isCallingConvC)
2026 return nullptr;
Meador Inge20255ef2013-03-12 00:08:29 +00002027 switch (II->getIntrinsicID()) {
2028 case Intrinsic::pow:
Chris Bienemanad070d02014-09-17 20:55:46 +00002029 return optimizePow(CI, Builder);
Meador Inge20255ef2013-03-12 00:08:29 +00002030 case Intrinsic::exp2:
Chris Bienemanad070d02014-09-17 20:55:46 +00002031 return optimizeExp2(CI, Builder);
Sanjay Patel0ca42bb2014-10-14 20:43:11 +00002032 case Intrinsic::fabs:
2033 return optimizeFabs(CI, Builder);
Davide Italianob8b71332015-11-29 20:58:04 +00002034 case Intrinsic::log:
2035 return optimizeLog(CI, Builder);
Sanjay Patelc699a612014-10-16 18:48:17 +00002036 case Intrinsic::sqrt:
2037 return optimizeSqrt(CI, Builder);
Sanjay Patel980b2802016-01-26 16:17:24 +00002038 // TODO: Use foldMallocMemset() with memset intrinsic.
Meador Inge20255ef2013-03-12 00:08:29 +00002039 default:
Chris Bienemanad070d02014-09-17 20:55:46 +00002040 return nullptr;
Meador Inge20255ef2013-03-12 00:08:29 +00002041 }
2042 }
2043
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002044 // Also try to simplify calls to fortified library functions.
2045 if (Value *SimplifiedFortifiedCI = FortifiedSimplifier.optimizeCall(CI)) {
2046 // Try to further simplify the result.
Ahmed Bougacha71d7b182015-01-14 00:55:05 +00002047 CallInst *SimplifiedCI = dyn_cast<CallInst>(SimplifiedFortifiedCI);
Bruno Cardoso Lopesb491a2d2015-10-01 22:43:53 +00002048 if (SimplifiedCI && SimplifiedCI->getCalledFunction()) {
2049 // Use an IR Builder from SimplifiedCI if available instead of CI
2050 // to guarantee we reach all uses we might replace later on.
2051 IRBuilder<> TmpBuilder(SimplifiedCI);
2052 if (Value *V = optimizeStringMemoryLibCall(SimplifiedCI, TmpBuilder)) {
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002053 // If we were able to further simplify, remove the now redundant call.
2054 SimplifiedCI->replaceAllUsesWith(V);
2055 SimplifiedCI->eraseFromParent();
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002056 return V;
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002057 }
Bruno Cardoso Lopesb491a2d2015-10-01 22:43:53 +00002058 }
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002059 return SimplifiedFortifiedCI;
2060 }
2061
Meador Inge20255ef2013-03-12 00:08:29 +00002062 // Then check for known library functions.
Ahmed Bougachad765a822016-04-27 19:04:35 +00002063 if (TLI->getLibFunc(*Callee, Func) && TLI->has(Func)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002064 // We never change the calling convention.
2065 if (!ignoreCallingConv(Func) && !isCallingConvC)
2066 return nullptr;
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002067 if (Value *V = optimizeStringMemoryLibCall(CI, Builder))
2068 return V;
Meador Inge20255ef2013-03-12 00:08:29 +00002069 switch (Func) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002070 case LibFunc::cosf:
2071 case LibFunc::cos:
2072 case LibFunc::cosl:
2073 return optimizeCos(CI, Builder);
2074 case LibFunc::sinpif:
2075 case LibFunc::sinpi:
2076 case LibFunc::cospif:
2077 case LibFunc::cospi:
2078 return optimizeSinCosPi(CI, Builder);
2079 case LibFunc::powf:
2080 case LibFunc::pow:
2081 case LibFunc::powl:
2082 return optimizePow(CI, Builder);
2083 case LibFunc::exp2l:
2084 case LibFunc::exp2:
2085 case LibFunc::exp2f:
2086 return optimizeExp2(CI, Builder);
Sanjay Patel0ca42bb2014-10-14 20:43:11 +00002087 case LibFunc::fabsf:
2088 case LibFunc::fabs:
2089 case LibFunc::fabsl:
2090 return optimizeFabs(CI, Builder);
Sanjay Patelc699a612014-10-16 18:48:17 +00002091 case LibFunc::sqrtf:
2092 case LibFunc::sqrt:
2093 case LibFunc::sqrtl:
2094 return optimizeSqrt(CI, Builder);
Chris Bienemanad070d02014-09-17 20:55:46 +00002095 case LibFunc::ffs:
2096 case LibFunc::ffsl:
2097 case LibFunc::ffsll:
2098 return optimizeFFS(CI, Builder);
Davide Italiano85ad36b2016-12-15 23:45:11 +00002099 case LibFunc::fls:
2100 case LibFunc::flsl:
2101 case LibFunc::flsll:
2102 return optimizeFls(CI, Builder);
Chris Bienemanad070d02014-09-17 20:55:46 +00002103 case LibFunc::abs:
2104 case LibFunc::labs:
2105 case LibFunc::llabs:
2106 return optimizeAbs(CI, Builder);
2107 case LibFunc::isdigit:
2108 return optimizeIsDigit(CI, Builder);
2109 case LibFunc::isascii:
2110 return optimizeIsAscii(CI, Builder);
2111 case LibFunc::toascii:
2112 return optimizeToAscii(CI, Builder);
2113 case LibFunc::printf:
2114 return optimizePrintF(CI, Builder);
2115 case LibFunc::sprintf:
2116 return optimizeSPrintF(CI, Builder);
2117 case LibFunc::fprintf:
2118 return optimizeFPrintF(CI, Builder);
2119 case LibFunc::fwrite:
2120 return optimizeFWrite(CI, Builder);
2121 case LibFunc::fputs:
2122 return optimizeFPuts(CI, Builder);
Davide Italianob8b71332015-11-29 20:58:04 +00002123 case LibFunc::log:
2124 case LibFunc::log10:
2125 case LibFunc::log1p:
2126 case LibFunc::log2:
2127 case LibFunc::logb:
2128 return optimizeLog(CI, Builder);
Chris Bienemanad070d02014-09-17 20:55:46 +00002129 case LibFunc::puts:
2130 return optimizePuts(CI, Builder);
Davide Italiano51507d22015-11-04 23:36:56 +00002131 case LibFunc::tan:
2132 case LibFunc::tanf:
2133 case LibFunc::tanl:
2134 return optimizeTan(CI, Builder);
Chris Bienemanad070d02014-09-17 20:55:46 +00002135 case LibFunc::perror:
2136 return optimizeErrorReporting(CI, Builder);
2137 case LibFunc::vfprintf:
2138 case LibFunc::fiprintf:
2139 return optimizeErrorReporting(CI, Builder, 0);
2140 case LibFunc::fputc:
2141 return optimizeErrorReporting(CI, Builder, 1);
2142 case LibFunc::ceil:
Chris Bienemanad070d02014-09-17 20:55:46 +00002143 case LibFunc::floor:
2144 case LibFunc::rint:
2145 case LibFunc::round:
2146 case LibFunc::nearbyint:
2147 case LibFunc::trunc:
2148 if (hasFloatVersion(FuncName))
2149 return optimizeUnaryDoubleFP(CI, Builder, false);
2150 return nullptr;
2151 case LibFunc::acos:
2152 case LibFunc::acosh:
2153 case LibFunc::asin:
2154 case LibFunc::asinh:
2155 case LibFunc::atan:
2156 case LibFunc::atanh:
2157 case LibFunc::cbrt:
2158 case LibFunc::cosh:
2159 case LibFunc::exp:
2160 case LibFunc::exp10:
2161 case LibFunc::expm1:
Chris Bienemanad070d02014-09-17 20:55:46 +00002162 case LibFunc::sin:
2163 case LibFunc::sinh:
Chris Bienemanad070d02014-09-17 20:55:46 +00002164 case LibFunc::tanh:
2165 if (UnsafeFPShrink && hasFloatVersion(FuncName))
2166 return optimizeUnaryDoubleFP(CI, Builder, true);
2167 return nullptr;
Matthias Braun892c9232014-12-03 21:46:29 +00002168 case LibFunc::copysign:
Chris Bienemanad070d02014-09-17 20:55:46 +00002169 if (hasFloatVersion(FuncName))
2170 return optimizeBinaryDoubleFP(CI, Builder);
2171 return nullptr;
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00002172 case LibFunc::fminf:
2173 case LibFunc::fmin:
2174 case LibFunc::fminl:
2175 case LibFunc::fmaxf:
2176 case LibFunc::fmax:
2177 case LibFunc::fmaxl:
2178 return optimizeFMinFMax(CI, Builder);
Chris Bienemanad070d02014-09-17 20:55:46 +00002179 default:
2180 return nullptr;
2181 }
Meador Inge20255ef2013-03-12 00:08:29 +00002182 }
Craig Topperf40110f2014-04-25 05:29:35 +00002183 return nullptr;
Meador Ingedf796f82012-10-13 16:45:24 +00002184}
2185
Chandler Carruth92803822015-01-21 02:11:59 +00002186LibCallSimplifier::LibCallSimplifier(
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002187 const DataLayout &DL, const TargetLibraryInfo *TLI,
Chandler Carruth92803822015-01-21 02:11:59 +00002188 function_ref<void(Instruction *, Value *)> Replacer)
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002189 : FortifiedSimplifier(TLI), DL(DL), TLI(TLI), UnsafeFPShrink(false),
Chandler Carruth92803822015-01-21 02:11:59 +00002190 Replacer(Replacer) {}
2191
2192void LibCallSimplifier::replaceAllUsesWith(Instruction *I, Value *With) {
2193 // Indirect through the replacer used in this instance.
2194 Replacer(I, With);
Meador Ingedf796f82012-10-13 16:45:24 +00002195}
2196
Meador Ingedfb08a22013-06-20 19:48:07 +00002197// TODO:
2198// Additional cases that we need to add to this file:
2199//
2200// cbrt:
2201// * cbrt(expN(X)) -> expN(x/3)
2202// * cbrt(sqrt(x)) -> pow(x,1/6)
David Majnemer3354fe42015-08-26 18:30:16 +00002203// * cbrt(cbrt(x)) -> pow(x,1/9)
Meador Ingedfb08a22013-06-20 19:48:07 +00002204//
2205// exp, expf, expl:
2206// * exp(log(x)) -> x
2207//
2208// log, logf, logl:
2209// * log(exp(x)) -> x
Meador Ingedfb08a22013-06-20 19:48:07 +00002210// * log(exp(y)) -> y*log(e)
Meador Ingedfb08a22013-06-20 19:48:07 +00002211// * log(exp10(y)) -> y*log(10)
2212// * log(sqrt(x)) -> 0.5*log(x)
Meador Ingedfb08a22013-06-20 19:48:07 +00002213//
2214// lround, lroundf, lroundl:
2215// * lround(cnst) -> cnst'
2216//
2217// pow, powf, powl:
Meador Ingedfb08a22013-06-20 19:48:07 +00002218// * pow(sqrt(x),y) -> pow(x,y*0.5)
2219// * pow(pow(x,y),z)-> pow(x,y*z)
2220//
2221// round, roundf, roundl:
2222// * round(cnst) -> cnst'
2223//
2224// signbit:
2225// * signbit(cnst) -> cnst'
2226// * signbit(nncst) -> 0 (if pstv is a non-negative constant)
2227//
2228// sqrt, sqrtf, sqrtl:
2229// * sqrt(expN(x)) -> expN(x*0.5)
2230// * sqrt(Nroot(x)) -> pow(x,1/(2*N))
2231// * sqrt(pow(x,y)) -> pow(|x|,y*0.5)
2232//
Meador Ingedfb08a22013-06-20 19:48:07 +00002233// trunc, truncf, truncl:
2234// * trunc(cnst) -> cnst'
2235//
2236//
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002237
2238//===----------------------------------------------------------------------===//
2239// Fortified Library Call Optimizations
2240//===----------------------------------------------------------------------===//
2241
2242bool FortifiedLibCallSimplifier::isFortifiedCallFoldable(CallInst *CI,
2243 unsigned ObjSizeOp,
2244 unsigned SizeOp,
2245 bool isString) {
2246 if (CI->getArgOperand(ObjSizeOp) == CI->getArgOperand(SizeOp))
2247 return true;
2248 if (ConstantInt *ObjSizeCI =
2249 dyn_cast<ConstantInt>(CI->getArgOperand(ObjSizeOp))) {
2250 if (ObjSizeCI->isAllOnesValue())
2251 return true;
2252 // If the object size wasn't -1 (unknown), bail out if we were asked to.
2253 if (OnlyLowerUnknownSize)
2254 return false;
2255 if (isString) {
2256 uint64_t Len = GetStringLength(CI->getArgOperand(SizeOp));
2257 // If the length is 0 we don't know how long it is and so we can't
2258 // remove the check.
2259 if (Len == 0)
2260 return false;
2261 return ObjSizeCI->getZExtValue() >= Len;
2262 }
2263 if (ConstantInt *SizeCI = dyn_cast<ConstantInt>(CI->getArgOperand(SizeOp)))
2264 return ObjSizeCI->getZExtValue() >= SizeCI->getZExtValue();
2265 }
2266 return false;
2267}
2268
Sanjay Pateld707db92015-12-31 16:10:49 +00002269Value *FortifiedLibCallSimplifier::optimizeMemCpyChk(CallInst *CI,
2270 IRBuilder<> &B) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002271 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
2272 B.CreateMemCpy(CI->getArgOperand(0), CI->getArgOperand(1),
Pete Cooper67cf9a72015-11-19 05:56:52 +00002273 CI->getArgOperand(2), 1);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002274 return CI->getArgOperand(0);
2275 }
2276 return nullptr;
2277}
2278
Sanjay Pateld707db92015-12-31 16:10:49 +00002279Value *FortifiedLibCallSimplifier::optimizeMemMoveChk(CallInst *CI,
2280 IRBuilder<> &B) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002281 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
2282 B.CreateMemMove(CI->getArgOperand(0), CI->getArgOperand(1),
Pete Cooper67cf9a72015-11-19 05:56:52 +00002283 CI->getArgOperand(2), 1);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002284 return CI->getArgOperand(0);
2285 }
2286 return nullptr;
2287}
2288
Sanjay Pateld707db92015-12-31 16:10:49 +00002289Value *FortifiedLibCallSimplifier::optimizeMemSetChk(CallInst *CI,
2290 IRBuilder<> &B) {
Sanjay Patel980b2802016-01-26 16:17:24 +00002291 // TODO: Try foldMallocMemset() here.
2292
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002293 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
2294 Value *Val = B.CreateIntCast(CI->getArgOperand(1), B.getInt8Ty(), false);
2295 B.CreateMemSet(CI->getArgOperand(0), Val, CI->getArgOperand(2), 1);
2296 return CI->getArgOperand(0);
2297 }
2298 return nullptr;
2299}
2300
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002301Value *FortifiedLibCallSimplifier::optimizeStrpCpyChk(CallInst *CI,
2302 IRBuilder<> &B,
2303 LibFunc::Func Func) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002304 Function *Callee = CI->getCalledFunction();
2305 StringRef Name = Callee->getName();
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002306 const DataLayout &DL = CI->getModule()->getDataLayout();
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002307 Value *Dst = CI->getArgOperand(0), *Src = CI->getArgOperand(1),
2308 *ObjSize = CI->getArgOperand(2);
2309
2310 // __stpcpy_chk(x,x,...) -> x+strlen(x)
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002311 if (Func == LibFunc::stpcpy_chk && !OnlyLowerUnknownSize && Dst == Src) {
Sanjay Pateld3112a52016-01-19 19:46:10 +00002312 Value *StrLen = emitStrLen(Src, B, DL, TLI);
David Blaikieaa41cd52015-04-03 21:33:42 +00002313 return StrLen ? B.CreateInBoundsGEP(B.getInt8Ty(), Dst, StrLen) : nullptr;
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002314 }
2315
2316 // If a) we don't have any length information, or b) we know this will
2317 // fit then just lower to a plain st[rp]cpy. Otherwise we'll keep our
2318 // st[rp]cpy_chk call which may fail at runtime if the size is too long.
2319 // TODO: It might be nice to get a maximum length out of the possible
2320 // string lengths for varying.
David Blaikie65fab6d2015-04-03 21:32:06 +00002321 if (isFortifiedCallFoldable(CI, 2, 1, true))
Sanjay Pateld3112a52016-01-19 19:46:10 +00002322 return emitStrCpy(Dst, Src, B, TLI, Name.substr(2, 6));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002323
David Blaikie65fab6d2015-04-03 21:32:06 +00002324 if (OnlyLowerUnknownSize)
2325 return nullptr;
2326
2327 // Maybe we can stil fold __st[rp]cpy_chk to __memcpy_chk.
2328 uint64_t Len = GetStringLength(Src);
2329 if (Len == 0)
2330 return nullptr;
2331
2332 Type *SizeTTy = DL.getIntPtrType(CI->getContext());
2333 Value *LenV = ConstantInt::get(SizeTTy, Len);
Sanjay Pateld3112a52016-01-19 19:46:10 +00002334 Value *Ret = emitMemCpyChk(Dst, Src, LenV, ObjSize, B, DL, TLI);
David Blaikie65fab6d2015-04-03 21:32:06 +00002335 // If the function was an __stpcpy_chk, and we were able to fold it into
2336 // a __memcpy_chk, we still need to return the correct end pointer.
2337 if (Ret && Func == LibFunc::stpcpy_chk)
2338 return B.CreateGEP(B.getInt8Ty(), Dst, ConstantInt::get(SizeTTy, Len - 1));
2339 return Ret;
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002340}
2341
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002342Value *FortifiedLibCallSimplifier::optimizeStrpNCpyChk(CallInst *CI,
2343 IRBuilder<> &B,
2344 LibFunc::Func Func) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002345 Function *Callee = CI->getCalledFunction();
2346 StringRef Name = Callee->getName();
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002347 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
Sanjay Pateld3112a52016-01-19 19:46:10 +00002348 Value *Ret = emitStrNCpy(CI->getArgOperand(0), CI->getArgOperand(1),
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002349 CI->getArgOperand(2), B, TLI, Name.substr(2, 7));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002350 return Ret;
2351 }
2352 return nullptr;
2353}
2354
2355Value *FortifiedLibCallSimplifier::optimizeCall(CallInst *CI) {
Ahmed Bougacha408d0102015-04-01 00:45:09 +00002356 // FIXME: We shouldn't be changing "nobuiltin" or TLI unavailable calls here.
2357 // Some clang users checked for _chk libcall availability using:
2358 // __has_builtin(__builtin___memcpy_chk)
2359 // When compiling with -fno-builtin, this is always true.
2360 // When passing -ffreestanding/-mkernel, which both imply -fno-builtin, we
2361 // end up with fortified libcalls, which isn't acceptable in a freestanding
2362 // environment which only provides their non-fortified counterparts.
2363 //
2364 // Until we change clang and/or teach external users to check for availability
2365 // differently, disregard the "nobuiltin" attribute and TLI::has.
2366 //
2367 // PR23093.
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002368
2369 LibFunc::Func Func;
2370 Function *Callee = CI->getCalledFunction();
David Majnemerb70e23c2016-01-06 05:01:34 +00002371
2372 SmallVector<OperandBundleDef, 2> OpBundles;
2373 CI->getOperandBundlesAsDefs(OpBundles);
2374 IRBuilder<> Builder(CI, /*FPMathTag=*/nullptr, OpBundles);
Sam Parker214f7bf2016-09-13 12:10:14 +00002375 bool isCallingConvC = isCallingConvCCompatible(CI);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002376
Ahmed Bougachad765a822016-04-27 19:04:35 +00002377 // First, check that this is a known library functions and that the prototype
2378 // is correct.
2379 if (!TLI->getLibFunc(*Callee, Func))
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002380 return nullptr;
2381
2382 // We never change the calling convention.
2383 if (!ignoreCallingConv(Func) && !isCallingConvC)
2384 return nullptr;
2385
2386 switch (Func) {
2387 case LibFunc::memcpy_chk:
2388 return optimizeMemCpyChk(CI, Builder);
2389 case LibFunc::memmove_chk:
2390 return optimizeMemMoveChk(CI, Builder);
2391 case LibFunc::memset_chk:
2392 return optimizeMemSetChk(CI, Builder);
2393 case LibFunc::stpcpy_chk:
2394 case LibFunc::strcpy_chk:
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002395 return optimizeStrpCpyChk(CI, Builder, Func);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002396 case LibFunc::stpncpy_chk:
2397 case LibFunc::strncpy_chk:
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002398 return optimizeStrpNCpyChk(CI, Builder, Func);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002399 default:
2400 break;
2401 }
2402 return nullptr;
2403}
2404
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002405FortifiedLibCallSimplifier::FortifiedLibCallSimplifier(
2406 const TargetLibraryInfo *TLI, bool OnlyLowerUnknownSize)
2407 : TLI(TLI), OnlyLowerUnknownSize(OnlyLowerUnknownSize) {}