blob: 1bb26caa2af2678cd66a1b56839c51fc248f5a4d [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//
Craig Topper2915bc02018-03-01 20:05:09 +000010// This file implements the library calls simplifier. It does not implement
11// any pass, but can't be used by other passes to do simplifications.
Meador Ingedf796f82012-10-13 16:45:24 +000012//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Transforms/Utils/SimplifyLibCalls.h"
Evandro Menezes2123ea72018-08-30 19:04:51 +000016#include "llvm/ADT/APSInt.h"
Meador Inge20255ef2013-03-12 00:08:29 +000017#include "llvm/ADT/SmallString.h"
Meador Ingedf796f82012-10-13 16:45:24 +000018#include "llvm/ADT/StringMap.h"
Bob Wilsond8d92d92013-11-03 06:48:38 +000019#include "llvm/ADT/Triple.h"
Sanjay Patel82ec8722017-08-21 19:13:14 +000020#include "llvm/Analysis/ConstantFolding.h"
Adam Nemet0965da22017-10-09 23:19:02 +000021#include "llvm/Analysis/OptimizationRemarkEmitter.h"
Weiming Zhao45d4cb92015-11-24 18:57:06 +000022#include "llvm/Analysis/TargetLibraryInfo.h"
David Blaikie31b98d22018-06-04 21:23:21 +000023#include "llvm/Transforms/Utils/Local.h"
Meador Ingedf796f82012-10-13 16:45:24 +000024#include "llvm/Analysis/ValueTracking.h"
David Bolvanskyca22d422018-05-16 11:39:52 +000025#include "llvm/Analysis/CaptureTracking.h"
David Bolvansky909889b2018-08-10 04:32:54 +000026#include "llvm/Analysis/Loads.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/DataLayout.h"
28#include "llvm/IR/Function.h"
29#include "llvm/IR/IRBuilder.h"
Meador Inge20255ef2013-03-12 00:08:29 +000030#include "llvm/IR/IntrinsicInst.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000031#include "llvm/IR/Intrinsics.h"
32#include "llvm/IR/LLVMContext.h"
33#include "llvm/IR/Module.h"
Sanjay Patelc699a612014-10-16 18:48:17 +000034#include "llvm/IR/PatternMatch.h"
Hal Finkel66cd3f12013-11-17 02:06:35 +000035#include "llvm/Support/CommandLine.h"
Craig Topperb45eabc2017-04-26 16:39:58 +000036#include "llvm/Support/KnownBits.h"
Meador Ingedf796f82012-10-13 16:45:24 +000037#include "llvm/Transforms/Utils/BuildLibCalls.h"
38
39using namespace llvm;
Sanjay Patelc699a612014-10-16 18:48:17 +000040using namespace PatternMatch;
Meador Ingedf796f82012-10-13 16:45:24 +000041
Hal Finkel66cd3f12013-11-17 02:06:35 +000042static cl::opt<bool>
Sanjay Patela92fa442014-10-22 15:29:23 +000043 EnableUnsafeFPShrink("enable-double-float-shrink", cl::Hidden,
44 cl::init(false),
45 cl::desc("Enable unsafe double to float "
46 "shrinking for math lib calls"));
47
48
Meador Ingedf796f82012-10-13 16:45:24 +000049//===----------------------------------------------------------------------===//
Meador Inged589ac62012-10-31 03:33:06 +000050// Helper Functions
51//===----------------------------------------------------------------------===//
52
David L. Jonesd21529f2017-01-23 23:16:46 +000053static bool ignoreCallingConv(LibFunc Func) {
54 return Func == LibFunc_abs || Func == LibFunc_labs ||
55 Func == LibFunc_llabs || Func == LibFunc_strlen;
Chris Bienemanad070d02014-09-17 20:55:46 +000056}
57
Sam Parker214f7bf2016-09-13 12:10:14 +000058static bool isCallingConvCCompatible(CallInst *CI) {
59 switch(CI->getCallingConv()) {
60 default:
61 return false;
62 case llvm::CallingConv::C:
63 return true;
64 case llvm::CallingConv::ARM_APCS:
65 case llvm::CallingConv::ARM_AAPCS:
66 case llvm::CallingConv::ARM_AAPCS_VFP: {
67
68 // The iOS ABI diverges from the standard in some cases, so for now don't
69 // try to simplify those calls.
70 if (Triple(CI->getModule()->getTargetTriple()).isiOS())
71 return false;
72
73 auto *FuncTy = CI->getFunctionType();
74
75 if (!FuncTy->getReturnType()->isPointerTy() &&
76 !FuncTy->getReturnType()->isIntegerTy() &&
77 !FuncTy->getReturnType()->isVoidTy())
78 return false;
79
80 for (auto Param : FuncTy->params()) {
81 if (!Param->isPointerTy() && !Param->isIntegerTy())
82 return false;
83 }
84 return true;
85 }
86 }
87 return false;
88}
89
Sanjay Pateld707db92015-12-31 16:10:49 +000090/// Return true if it is only used in equality comparisons with With.
Meador Inge56edbc92012-11-11 03:51:48 +000091static bool isOnlyUsedInEqualityComparison(Value *V, Value *With) {
Chandler Carruthcdf47882014-03-09 03:16:01 +000092 for (User *U : V->users()) {
93 if (ICmpInst *IC = dyn_cast<ICmpInst>(U))
Meador Inge56edbc92012-11-11 03:51:48 +000094 if (IC->isEquality() && IC->getOperand(1) == With)
95 continue;
96 // Unknown instruction.
97 return false;
98 }
99 return true;
100}
101
Meador Inge08ca1152012-11-26 20:37:20 +0000102static bool callHasFloatingPointArgument(const CallInst *CI) {
David Majnemer0a16c222016-08-11 21:15:00 +0000103 return any_of(CI->operands(), [](const Use &OI) {
Davide Italianoda3beeb2015-11-28 22:27:48 +0000104 return OI->getType()->isFloatingPointTy();
105 });
Meador Inge08ca1152012-11-26 20:37:20 +0000106}
107
David Bolvanskycb8ca5f32018-04-25 18:58:53 +0000108static Value *convertStrToNumber(CallInst *CI, StringRef &Str, int64_t Base) {
109 if (Base < 2 || Base > 36)
110 // handle special zero base
111 if (Base != 0)
112 return nullptr;
113
114 char *End;
115 std::string nptr = Str.str();
116 errno = 0;
117 long long int Result = strtoll(nptr.c_str(), &End, Base);
118 if (errno)
119 return nullptr;
120
121 // if we assume all possible target locales are ASCII supersets,
122 // then if strtoll successfully parses a number on the host,
123 // it will also successfully parse the same way on the target
124 if (*End != '\0')
125 return nullptr;
126
127 if (!isIntN(CI->getType()->getPrimitiveSizeInBits(), Result))
128 return nullptr;
129
130 return ConstantInt::get(CI->getType(), Result);
131}
132
David Bolvanskyca22d422018-05-16 11:39:52 +0000133static bool isLocallyOpenedFile(Value *File, CallInst *CI, IRBuilder<> &B,
134 const TargetLibraryInfo *TLI) {
135 CallInst *FOpen = dyn_cast<CallInst>(File);
136 if (!FOpen)
137 return false;
138
139 Function *InnerCallee = FOpen->getCalledFunction();
140 if (!InnerCallee)
141 return false;
142
143 LibFunc Func;
144 if (!TLI->getLibFunc(*InnerCallee, Func) || !TLI->has(Func) ||
145 Func != LibFunc_fopen)
146 return false;
147
David Bolvansky7c7760d2018-10-16 21:18:31 +0000148 inferLibFuncAttributes(*CI->getCalledFunction(), *TLI);
David Bolvanskyca22d422018-05-16 11:39:52 +0000149 if (PointerMayBeCaptured(File, true, true))
150 return false;
151
152 return true;
153}
154
David Bolvansky909889b2018-08-10 04:32:54 +0000155static bool isOnlyUsedInComparisonWithZero(Value *V) {
156 for (User *U : V->users()) {
157 if (ICmpInst *IC = dyn_cast<ICmpInst>(U))
158 if (Constant *C = dyn_cast<Constant>(IC->getOperand(1)))
159 if (C->isNullValue())
160 continue;
161 // Unknown instruction.
162 return false;
163 }
164 return true;
165}
166
167static bool canTransformToMemCmp(CallInst *CI, Value *Str, uint64_t Len,
168 const DataLayout &DL) {
169 if (!isOnlyUsedInComparisonWithZero(CI))
170 return false;
171
172 if (!isDereferenceableAndAlignedPointer(Str, 1, APInt(64, Len), DL))
173 return false;
Matt Morehousee62fc3d2018-09-19 19:37:24 +0000174
175 if (CI->getFunction()->hasFnAttribute(Attribute::SanitizeMemory))
176 return false;
177
David Bolvansky909889b2018-08-10 04:32:54 +0000178 return true;
179}
180
Meador Inged589ac62012-10-31 03:33:06 +0000181//===----------------------------------------------------------------------===//
Meador Inge7fb2f732012-10-13 16:45:32 +0000182// String and Memory Library Call Optimizations
183//===----------------------------------------------------------------------===//
184
Chris Bienemanad070d02014-09-17 20:55:46 +0000185Value *LibCallSimplifier::optimizeStrCat(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000186 // Extract some information from the instruction
187 Value *Dst = CI->getArgOperand(0);
188 Value *Src = CI->getArgOperand(1);
189
190 // See if we can get the length of the input string.
David Bolvansky1f343fa2018-05-22 20:27:36 +0000191 uint64_t Len = GetStringLength(Src);
Chris Bienemanad070d02014-09-17 20:55:46 +0000192 if (Len == 0)
193 return nullptr;
194 --Len; // Unbias length.
195
196 // Handle the simple, do-nothing case: strcat(x, "") -> x
197 if (Len == 0)
198 return Dst;
199
Chris Bienemanad070d02014-09-17 20:55:46 +0000200 return emitStrLenMemCpy(Src, Dst, Len, B);
201}
202
203Value *LibCallSimplifier::emitStrLenMemCpy(Value *Src, Value *Dst, uint64_t Len,
204 IRBuilder<> &B) {
205 // We need to find the end of the destination string. That's where the
206 // memory is to be moved to. We just generate a call to strlen.
Sanjay Pateld3112a52016-01-19 19:46:10 +0000207 Value *DstLen = emitStrLen(Dst, B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000208 if (!DstLen)
209 return nullptr;
210
211 // Now that we have the destination's length, we must index into the
212 // destination's pointer to get the actual memcpy destination (end of
213 // the string .. we're concatenating).
David Blaikie3909da72015-03-30 20:42:56 +0000214 Value *CpyDst = B.CreateGEP(B.getInt8Ty(), Dst, DstLen, "endptr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000215
216 // We have enough information to now generate the memcpy call to do the
217 // concatenation for us. Make a memcpy to copy the nul byte with align = 1.
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000218 B.CreateMemCpy(CpyDst, 1, Src, 1,
219 ConstantInt::get(DL.getIntPtrType(Src->getContext()), Len + 1));
Chris Bienemanad070d02014-09-17 20:55:46 +0000220 return Dst;
221}
222
223Value *LibCallSimplifier::optimizeStrNCat(CallInst *CI, IRBuilder<> &B) {
Sanjay Pateld707db92015-12-31 16:10:49 +0000224 // Extract some information from the instruction.
Chris Bienemanad070d02014-09-17 20:55:46 +0000225 Value *Dst = CI->getArgOperand(0);
226 Value *Src = CI->getArgOperand(1);
227 uint64_t Len;
228
Sanjay Pateld707db92015-12-31 16:10:49 +0000229 // We don't do anything if length is not constant.
Chris Bienemanad070d02014-09-17 20:55:46 +0000230 if (ConstantInt *LengthArg = dyn_cast<ConstantInt>(CI->getArgOperand(2)))
231 Len = LengthArg->getZExtValue();
232 else
233 return nullptr;
234
235 // See if we can get the length of the input string.
David Bolvansky1f343fa2018-05-22 20:27:36 +0000236 uint64_t SrcLen = GetStringLength(Src);
Chris Bienemanad070d02014-09-17 20:55:46 +0000237 if (SrcLen == 0)
238 return nullptr;
239 --SrcLen; // Unbias length.
240
241 // Handle the simple, do-nothing cases:
242 // strncat(x, "", c) -> x
243 // strncat(x, c, 0) -> x
244 if (SrcLen == 0 || Len == 0)
245 return Dst;
246
Sanjay Pateld707db92015-12-31 16:10:49 +0000247 // We don't optimize this case.
Chris Bienemanad070d02014-09-17 20:55:46 +0000248 if (Len < SrcLen)
249 return nullptr;
250
251 // strncat(x, s, c) -> strcat(x, s)
Sanjay Pateld707db92015-12-31 16:10:49 +0000252 // s is constant so the strcat can be optimized further.
Chris Bienemanad070d02014-09-17 20:55:46 +0000253 return emitStrLenMemCpy(Src, Dst, SrcLen, B);
254}
255
256Value *LibCallSimplifier::optimizeStrChr(CallInst *CI, IRBuilder<> &B) {
257 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +0000258 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +0000259 Value *SrcStr = CI->getArgOperand(0);
260
261 // If the second operand is non-constant, see if we can compute the length
262 // of the input string and turn this into memchr.
263 ConstantInt *CharC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
264 if (!CharC) {
David Bolvansky1f343fa2018-05-22 20:27:36 +0000265 uint64_t Len = GetStringLength(SrcStr);
Chris Bienemanad070d02014-09-17 20:55:46 +0000266 if (Len == 0 || !FT->getParamType(1)->isIntegerTy(32)) // memchr needs i32.
267 return nullptr;
Meador Inge7fb2f732012-10-13 16:45:32 +0000268
Sanjay Pateld3112a52016-01-19 19:46:10 +0000269 return emitMemChr(SrcStr, CI->getArgOperand(1), // include nul.
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000270 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len),
271 B, DL, TLI);
Meador Inge7fb2f732012-10-13 16:45:32 +0000272 }
273
Chris Bienemanad070d02014-09-17 20:55:46 +0000274 // Otherwise, the character is a constant, see if the first argument is
275 // a string literal. If so, we can constant fold.
276 StringRef Str;
277 if (!getConstantStringInfo(SrcStr, Str)) {
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000278 if (CharC->isZero()) // strchr(p, 0) -> p + strlen(p)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000279 return B.CreateGEP(B.getInt8Ty(), SrcStr, emitStrLen(SrcStr, B, DL, TLI),
Sanjay Pateld707db92015-12-31 16:10:49 +0000280 "strchr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000281 return nullptr;
282 }
283
284 // Compute the offset, make sure to handle the case when we're searching for
285 // zero (a weird way to spell strlen).
286 size_t I = (0xFF & CharC->getSExtValue()) == 0
287 ? Str.size()
288 : Str.find(CharC->getSExtValue());
289 if (I == StringRef::npos) // Didn't find the char. strchr returns null.
290 return Constant::getNullValue(CI->getType());
291
292 // strchr(s+n,c) -> gep(s+n+i,c)
David Blaikie3909da72015-03-30 20:42:56 +0000293 return B.CreateGEP(B.getInt8Ty(), SrcStr, B.getInt64(I), "strchr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000294}
295
296Value *LibCallSimplifier::optimizeStrRChr(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000297 Value *SrcStr = CI->getArgOperand(0);
298 ConstantInt *CharC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
299
300 // Cannot fold anything if we're not looking for a constant.
301 if (!CharC)
302 return nullptr;
303
304 StringRef Str;
305 if (!getConstantStringInfo(SrcStr, Str)) {
306 // strrchr(s, 0) -> strchr(s, 0)
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000307 if (CharC->isZero())
Sanjay Pateld3112a52016-01-19 19:46:10 +0000308 return emitStrChr(SrcStr, '\0', B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000309 return nullptr;
310 }
311
312 // Compute the offset.
313 size_t I = (0xFF & CharC->getSExtValue()) == 0
314 ? Str.size()
315 : Str.rfind(CharC->getSExtValue());
316 if (I == StringRef::npos) // Didn't find the char. Return null.
317 return Constant::getNullValue(CI->getType());
318
319 // strrchr(s+n,c) -> gep(s+n+i,c)
David Blaikie3909da72015-03-30 20:42:56 +0000320 return B.CreateGEP(B.getInt8Ty(), SrcStr, B.getInt64(I), "strrchr");
Chris Bienemanad070d02014-09-17 20:55:46 +0000321}
322
323Value *LibCallSimplifier::optimizeStrCmp(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000324 Value *Str1P = CI->getArgOperand(0), *Str2P = CI->getArgOperand(1);
325 if (Str1P == Str2P) // strcmp(x,x) -> 0
326 return ConstantInt::get(CI->getType(), 0);
327
328 StringRef Str1, Str2;
329 bool HasStr1 = getConstantStringInfo(Str1P, Str1);
330 bool HasStr2 = getConstantStringInfo(Str2P, Str2);
331
332 // strcmp(x, y) -> cnst (if both x and y are constant strings)
333 if (HasStr1 && HasStr2)
334 return ConstantInt::get(CI->getType(), Str1.compare(Str2));
335
336 if (HasStr1 && Str1.empty()) // strcmp("", x) -> -*x
337 return B.CreateNeg(
338 B.CreateZExt(B.CreateLoad(Str2P, "strcmpload"), CI->getType()));
339
340 if (HasStr2 && Str2.empty()) // strcmp(x,"") -> *x
341 return B.CreateZExt(B.CreateLoad(Str1P, "strcmpload"), CI->getType());
342
343 // strcmp(P, "x") -> memcmp(P, "x", 2)
David Bolvansky1f343fa2018-05-22 20:27:36 +0000344 uint64_t Len1 = GetStringLength(Str1P);
345 uint64_t Len2 = GetStringLength(Str2P);
Chris Bienemanad070d02014-09-17 20:55:46 +0000346 if (Len1 && Len2) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000347 return emitMemCmp(Str1P, Str2P,
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000348 ConstantInt::get(DL.getIntPtrType(CI->getContext()),
Chris Bienemanad070d02014-09-17 20:55:46 +0000349 std::min(Len1, Len2)),
350 B, DL, TLI);
351 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000352
David Bolvansky909889b2018-08-10 04:32:54 +0000353 // strcmp to memcmp
354 if (!HasStr1 && HasStr2) {
355 if (canTransformToMemCmp(CI, Str1P, Len2, DL))
356 return emitMemCmp(
357 Str1P, Str2P,
358 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len2), B, DL,
359 TLI);
360 } else if (HasStr1 && !HasStr2) {
361 if (canTransformToMemCmp(CI, Str2P, Len1, DL))
362 return emitMemCmp(
363 Str1P, Str2P,
364 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len1), B, DL,
365 TLI);
366 }
367
Chris Bienemanad070d02014-09-17 20:55:46 +0000368 return nullptr;
369}
370
371Value *LibCallSimplifier::optimizeStrNCmp(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000372 Value *Str1P = CI->getArgOperand(0), *Str2P = CI->getArgOperand(1);
373 if (Str1P == Str2P) // strncmp(x,x,n) -> 0
374 return ConstantInt::get(CI->getType(), 0);
375
376 // Get the length argument if it is constant.
377 uint64_t Length;
378 if (ConstantInt *LengthArg = dyn_cast<ConstantInt>(CI->getArgOperand(2)))
379 Length = LengthArg->getZExtValue();
380 else
381 return nullptr;
382
383 if (Length == 0) // strncmp(x,y,0) -> 0
384 return ConstantInt::get(CI->getType(), 0);
385
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000386 if (Length == 1) // strncmp(x,y,1) -> memcmp(x,y,1)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000387 return emitMemCmp(Str1P, Str2P, CI->getArgOperand(2), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000388
389 StringRef Str1, Str2;
390 bool HasStr1 = getConstantStringInfo(Str1P, Str1);
391 bool HasStr2 = getConstantStringInfo(Str2P, Str2);
392
393 // strncmp(x, y) -> cnst (if both x and y are constant strings)
394 if (HasStr1 && HasStr2) {
395 StringRef SubStr1 = Str1.substr(0, Length);
396 StringRef SubStr2 = Str2.substr(0, Length);
397 return ConstantInt::get(CI->getType(), SubStr1.compare(SubStr2));
398 }
399
400 if (HasStr1 && Str1.empty()) // strncmp("", x, n) -> -*x
401 return B.CreateNeg(
402 B.CreateZExt(B.CreateLoad(Str2P, "strcmpload"), CI->getType()));
403
404 if (HasStr2 && Str2.empty()) // strncmp(x, "", n) -> *x
405 return B.CreateZExt(B.CreateLoad(Str1P, "strcmpload"), CI->getType());
406
David Bolvansky909889b2018-08-10 04:32:54 +0000407 uint64_t Len1 = GetStringLength(Str1P);
408 uint64_t Len2 = GetStringLength(Str2P);
409
410 // strncmp to memcmp
411 if (!HasStr1 && HasStr2) {
412 Len2 = std::min(Len2, Length);
413 if (canTransformToMemCmp(CI, Str1P, Len2, DL))
414 return emitMemCmp(
415 Str1P, Str2P,
416 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len2), B, DL,
417 TLI);
418 } else if (HasStr1 && !HasStr2) {
419 Len1 = std::min(Len1, Length);
420 if (canTransformToMemCmp(CI, Str2P, Len1, DL))
421 return emitMemCmp(
422 Str1P, Str2P,
423 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len1), B, DL,
424 TLI);
425 }
426
Chris Bienemanad070d02014-09-17 20:55:46 +0000427 return nullptr;
428}
429
430Value *LibCallSimplifier::optimizeStrCpy(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000431 Value *Dst = CI->getArgOperand(0), *Src = CI->getArgOperand(1);
432 if (Dst == Src) // strcpy(x,x) -> x
433 return Src;
434
Chris Bienemanad070d02014-09-17 20:55:46 +0000435 // See if we can get the length of the input string.
David Bolvansky1f343fa2018-05-22 20:27:36 +0000436 uint64_t Len = GetStringLength(Src);
Chris Bienemanad070d02014-09-17 20:55:46 +0000437 if (Len == 0)
438 return nullptr;
439
440 // We have enough information to now generate the memcpy call to do the
441 // copy for us. Make a memcpy to copy the nul byte with align = 1.
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000442 B.CreateMemCpy(Dst, 1, Src, 1,
443 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len));
Chris Bienemanad070d02014-09-17 20:55:46 +0000444 return Dst;
445}
446
447Value *LibCallSimplifier::optimizeStpCpy(CallInst *CI, IRBuilder<> &B) {
448 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +0000449 Value *Dst = CI->getArgOperand(0), *Src = CI->getArgOperand(1);
450 if (Dst == Src) { // stpcpy(x,x) -> x+strlen(x)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000451 Value *StrLen = emitStrLen(Src, B, DL, TLI);
David Blaikieaa41cd52015-04-03 21:33:42 +0000452 return StrLen ? B.CreateInBoundsGEP(B.getInt8Ty(), Dst, StrLen) : nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000453 }
454
455 // See if we can get the length of the input string.
David Bolvansky1f343fa2018-05-22 20:27:36 +0000456 uint64_t Len = GetStringLength(Src);
Chris Bienemanad070d02014-09-17 20:55:46 +0000457 if (Len == 0)
458 return nullptr;
459
Davide Italianob7487e62015-11-02 23:07:14 +0000460 Type *PT = Callee->getFunctionType()->getParamType(0);
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000461 Value *LenV = ConstantInt::get(DL.getIntPtrType(PT), Len);
Sanjay Pateld707db92015-12-31 16:10:49 +0000462 Value *DstEnd = B.CreateGEP(B.getInt8Ty(), Dst,
463 ConstantInt::get(DL.getIntPtrType(PT), Len - 1));
Chris Bienemanad070d02014-09-17 20:55:46 +0000464
465 // We have enough information to now generate the memcpy call to do the
466 // copy for us. Make a memcpy to copy the nul byte with align = 1.
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000467 B.CreateMemCpy(Dst, 1, Src, 1, LenV);
Chris Bienemanad070d02014-09-17 20:55:46 +0000468 return DstEnd;
469}
470
471Value *LibCallSimplifier::optimizeStrNCpy(CallInst *CI, IRBuilder<> &B) {
472 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +0000473 Value *Dst = CI->getArgOperand(0);
474 Value *Src = CI->getArgOperand(1);
475 Value *LenOp = CI->getArgOperand(2);
476
477 // See if we can get the length of the input string.
David Bolvansky1f343fa2018-05-22 20:27:36 +0000478 uint64_t SrcLen = GetStringLength(Src);
Chris Bienemanad070d02014-09-17 20:55:46 +0000479 if (SrcLen == 0)
480 return nullptr;
481 --SrcLen;
482
483 if (SrcLen == 0) {
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000484 // strncpy(x, "", y) -> memset(align 1 x, '\0', y)
Chris Bienemanad070d02014-09-17 20:55:46 +0000485 B.CreateMemSet(Dst, B.getInt8('\0'), LenOp, 1);
Meador Inge7fb2f732012-10-13 16:45:32 +0000486 return Dst;
487 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000488
Chris Bienemanad070d02014-09-17 20:55:46 +0000489 uint64_t Len;
490 if (ConstantInt *LengthArg = dyn_cast<ConstantInt>(LenOp))
491 Len = LengthArg->getZExtValue();
492 else
493 return nullptr;
Meador Inge7fb2f732012-10-13 16:45:32 +0000494
Chris Bienemanad070d02014-09-17 20:55:46 +0000495 if (Len == 0)
496 return Dst; // strncpy(x, y, 0) -> x
Meador Inge7fb2f732012-10-13 16:45:32 +0000497
Chris Bienemanad070d02014-09-17 20:55:46 +0000498 // Let strncpy handle the zero padding
499 if (Len > SrcLen + 1)
500 return nullptr;
Meador Inge7fb2f732012-10-13 16:45:32 +0000501
Davide Italianob7487e62015-11-02 23:07:14 +0000502 Type *PT = Callee->getFunctionType()->getParamType(0);
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000503 // strncpy(x, s, c) -> memcpy(align 1 x, align 1 s, c) [s and c are constant]
504 B.CreateMemCpy(Dst, 1, Src, 1, ConstantInt::get(DL.getIntPtrType(PT), Len));
Meador Inge7fb2f732012-10-13 16:45:32 +0000505
Chris Bienemanad070d02014-09-17 20:55:46 +0000506 return Dst;
507}
Meador Inge7fb2f732012-10-13 16:45:32 +0000508
Matthias Braun50ec0b52017-05-19 22:37:09 +0000509Value *LibCallSimplifier::optimizeStringLength(CallInst *CI, IRBuilder<> &B,
510 unsigned CharSize) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000511 Value *Src = CI->getArgOperand(0);
512
513 // Constant folding: strlen("xyz") -> 3
David Bolvansky1f343fa2018-05-22 20:27:36 +0000514 if (uint64_t Len = GetStringLength(Src, CharSize))
Chris Bienemanad070d02014-09-17 20:55:46 +0000515 return ConstantInt::get(CI->getType(), Len - 1);
516
David L Kreitzer752c1442016-04-13 14:31:06 +0000517 // If s is a constant pointer pointing to a string literal, we can fold
Matthias Braun50ec0b52017-05-19 22:37:09 +0000518 // strlen(s + x) to strlen(s) - x, when x is known to be in the range
David L Kreitzer752c1442016-04-13 14:31:06 +0000519 // [0, strlen(s)] or the string has a single null terminator '\0' at the end.
Matthias Braun50ec0b52017-05-19 22:37:09 +0000520 // We only try to simplify strlen when the pointer s points to an array
David L Kreitzer752c1442016-04-13 14:31:06 +0000521 // of i8. Otherwise, we would need to scale the offset x before doing the
Matthias Braun50ec0b52017-05-19 22:37:09 +0000522 // subtraction. This will make the optimization more complex, and it's not
523 // very useful because calling strlen for a pointer of other types is
David L Kreitzer752c1442016-04-13 14:31:06 +0000524 // very uncommon.
525 if (GEPOperator *GEP = dyn_cast<GEPOperator>(Src)) {
Matthias Braun50ec0b52017-05-19 22:37:09 +0000526 if (!isGEPBasedOnPointerToString(GEP, CharSize))
David L Kreitzer752c1442016-04-13 14:31:06 +0000527 return nullptr;
528
Matthias Braun50ec0b52017-05-19 22:37:09 +0000529 ConstantDataArraySlice Slice;
530 if (getConstantDataArrayInfo(GEP->getOperand(0), Slice, CharSize)) {
531 uint64_t NullTermIdx;
532 if (Slice.Array == nullptr) {
533 NullTermIdx = 0;
534 } else {
535 NullTermIdx = ~((uint64_t)0);
536 for (uint64_t I = 0, E = Slice.Length; I < E; ++I) {
537 if (Slice.Array->getElementAsInteger(I + Slice.Offset) == 0) {
538 NullTermIdx = I;
539 break;
540 }
541 }
542 // If the string does not have '\0', leave it to strlen to compute
543 // its length.
544 if (NullTermIdx == ~((uint64_t)0))
545 return nullptr;
546 }
547
David L Kreitzer752c1442016-04-13 14:31:06 +0000548 Value *Offset = GEP->getOperand(2);
Craig Topper8205a1a2017-05-24 16:53:07 +0000549 KnownBits Known = computeKnownBits(Offset, DL, 0, nullptr, CI, nullptr);
Craig Topperb45eabc2017-04-26 16:39:58 +0000550 Known.Zero.flipAllBits();
Matthias Braun50ec0b52017-05-19 22:37:09 +0000551 uint64_t ArrSize =
David L Kreitzer752c1442016-04-13 14:31:06 +0000552 cast<ArrayType>(GEP->getSourceElementType())->getNumElements();
553
Matthias Braun50ec0b52017-05-19 22:37:09 +0000554 // KnownZero's bits are flipped, so zeros in KnownZero now represent
555 // bits known to be zeros in Offset, and ones in KnowZero represent
David L Kreitzer752c1442016-04-13 14:31:06 +0000556 // bits unknown in Offset. Therefore, Offset is known to be in range
Matthias Braun50ec0b52017-05-19 22:37:09 +0000557 // [0, NullTermIdx] when the flipped KnownZero is non-negative and
David L Kreitzer752c1442016-04-13 14:31:06 +0000558 // unsigned-less-than NullTermIdx.
559 //
Matthias Braun50ec0b52017-05-19 22:37:09 +0000560 // If Offset is not provably in the range [0, NullTermIdx], we can still
561 // optimize if we can prove that the program has undefined behavior when
562 // Offset is outside that range. That is the case when GEP->getOperand(0)
David L Kreitzer752c1442016-04-13 14:31:06 +0000563 // is a pointer to an object whose memory extent is NullTermIdx+1.
Matthias Braun50ec0b52017-05-19 22:37:09 +0000564 if ((Known.Zero.isNonNegative() && Known.Zero.ule(NullTermIdx)) ||
David L Kreitzer752c1442016-04-13 14:31:06 +0000565 (GEP->isInBounds() && isa<GlobalVariable>(GEP->getOperand(0)) &&
Matthias Braun50ec0b52017-05-19 22:37:09 +0000566 NullTermIdx == ArrSize - 1)) {
567 Offset = B.CreateSExtOrTrunc(Offset, CI->getType());
568 return B.CreateSub(ConstantInt::get(CI->getType(), NullTermIdx),
David L Kreitzer752c1442016-04-13 14:31:06 +0000569 Offset);
Matthias Braun50ec0b52017-05-19 22:37:09 +0000570 }
David L Kreitzer752c1442016-04-13 14:31:06 +0000571 }
572
573 return nullptr;
574 }
575
Chris Bienemanad070d02014-09-17 20:55:46 +0000576 // strlen(x?"foo":"bars") --> x ? 3 : 4
577 if (SelectInst *SI = dyn_cast<SelectInst>(Src)) {
David Bolvansky1f343fa2018-05-22 20:27:36 +0000578 uint64_t LenTrue = GetStringLength(SI->getTrueValue(), CharSize);
579 uint64_t LenFalse = GetStringLength(SI->getFalseValue(), CharSize);
Chris Bienemanad070d02014-09-17 20:55:46 +0000580 if (LenTrue && LenFalse) {
Vivek Pandya95906582017-10-11 17:12:59 +0000581 ORE.emit([&]() {
582 return OptimizationRemark("instcombine", "simplify-libcalls", CI)
583 << "folded strlen(select) to select of constants";
584 });
Chris Bienemanad070d02014-09-17 20:55:46 +0000585 return B.CreateSelect(SI->getCondition(),
586 ConstantInt::get(CI->getType(), LenTrue - 1),
587 ConstantInt::get(CI->getType(), LenFalse - 1));
588 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000589 }
Meador Inge7fb2f732012-10-13 16:45:32 +0000590
Chris Bienemanad070d02014-09-17 20:55:46 +0000591 // strlen(x) != 0 --> *x != 0
592 // strlen(x) == 0 --> *x == 0
593 if (isOnlyUsedInZeroEqualityComparison(CI))
594 return B.CreateZExt(B.CreateLoad(Src, "strlenfirst"), CI->getType());
Meador Inge17418502012-10-13 16:45:37 +0000595
Chris Bienemanad070d02014-09-17 20:55:46 +0000596 return nullptr;
597}
Meador Inge17418502012-10-13 16:45:37 +0000598
Matthias Braun50ec0b52017-05-19 22:37:09 +0000599Value *LibCallSimplifier::optimizeStrLen(CallInst *CI, IRBuilder<> &B) {
600 return optimizeStringLength(CI, B, 8);
601}
602
603Value *LibCallSimplifier::optimizeWcslen(CallInst *CI, IRBuilder<> &B) {
David Bolvansky5430b7372018-05-31 16:39:27 +0000604 Module &M = *CI->getModule();
Matthias Braun50ec0b52017-05-19 22:37:09 +0000605 unsigned WCharSize = TLI->getWCharSize(M) * 8;
Matthias Brauncc603ee2017-09-26 02:36:57 +0000606 // We cannot perform this optimization without wchar_size metadata.
607 if (WCharSize == 0)
608 return nullptr;
Matthias Braun50ec0b52017-05-19 22:37:09 +0000609
610 return optimizeStringLength(CI, B, WCharSize);
611}
612
Chris Bienemanad070d02014-09-17 20:55:46 +0000613Value *LibCallSimplifier::optimizeStrPBrk(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000614 StringRef S1, S2;
615 bool HasS1 = getConstantStringInfo(CI->getArgOperand(0), S1);
616 bool HasS2 = getConstantStringInfo(CI->getArgOperand(1), S2);
Meador Inge17418502012-10-13 16:45:37 +0000617
Reid Kleckner971c3ea2014-11-13 22:55:19 +0000618 // strpbrk(s, "") -> nullptr
619 // strpbrk("", s) -> nullptr
Chris Bienemanad070d02014-09-17 20:55:46 +0000620 if ((HasS1 && S1.empty()) || (HasS2 && S2.empty()))
621 return Constant::getNullValue(CI->getType());
Meador Inge17418502012-10-13 16:45:37 +0000622
Chris Bienemanad070d02014-09-17 20:55:46 +0000623 // Constant folding.
624 if (HasS1 && HasS2) {
625 size_t I = S1.find_first_of(S2);
626 if (I == StringRef::npos) // No match.
Meador Inge17418502012-10-13 16:45:37 +0000627 return Constant::getNullValue(CI->getType());
628
Sanjay Pateld707db92015-12-31 16:10:49 +0000629 return B.CreateGEP(B.getInt8Ty(), CI->getArgOperand(0), B.getInt64(I),
630 "strpbrk");
Meador Inge17418502012-10-13 16:45:37 +0000631 }
Meador Inge17418502012-10-13 16:45:37 +0000632
Chris Bienemanad070d02014-09-17 20:55:46 +0000633 // strpbrk(s, "a") -> strchr(s, 'a')
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000634 if (HasS2 && S2.size() == 1)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000635 return emitStrChr(CI->getArgOperand(0), S2[0], B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000636
637 return nullptr;
638}
639
640Value *LibCallSimplifier::optimizeStrTo(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000641 Value *EndPtr = CI->getArgOperand(1);
642 if (isa<ConstantPointerNull>(EndPtr)) {
643 // With a null EndPtr, this function won't capture the main argument.
644 // It would be readonly too, except that it still may write to errno.
Reid Klecknera0b45f42017-05-03 18:17:31 +0000645 CI->addParamAttr(0, Attribute::NoCapture);
Chris Bienemanad070d02014-09-17 20:55:46 +0000646 }
647
648 return nullptr;
649}
650
651Value *LibCallSimplifier::optimizeStrSpn(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000652 StringRef S1, S2;
653 bool HasS1 = getConstantStringInfo(CI->getArgOperand(0), S1);
654 bool HasS2 = getConstantStringInfo(CI->getArgOperand(1), S2);
655
656 // strspn(s, "") -> 0
657 // strspn("", s) -> 0
658 if ((HasS1 && S1.empty()) || (HasS2 && S2.empty()))
659 return Constant::getNullValue(CI->getType());
660
661 // Constant folding.
662 if (HasS1 && HasS2) {
663 size_t Pos = S1.find_first_not_of(S2);
664 if (Pos == StringRef::npos)
665 Pos = S1.size();
666 return ConstantInt::get(CI->getType(), Pos);
667 }
668
669 return nullptr;
670}
671
672Value *LibCallSimplifier::optimizeStrCSpn(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000673 StringRef S1, S2;
674 bool HasS1 = getConstantStringInfo(CI->getArgOperand(0), S1);
675 bool HasS2 = getConstantStringInfo(CI->getArgOperand(1), S2);
676
677 // strcspn("", s) -> 0
678 if (HasS1 && S1.empty())
679 return Constant::getNullValue(CI->getType());
680
681 // Constant folding.
682 if (HasS1 && HasS2) {
683 size_t Pos = S1.find_first_of(S2);
684 if (Pos == StringRef::npos)
685 Pos = S1.size();
686 return ConstantInt::get(CI->getType(), Pos);
687 }
688
689 // strcspn(s, "") -> strlen(s)
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000690 if (HasS2 && S2.empty())
Sanjay Pateld3112a52016-01-19 19:46:10 +0000691 return emitStrLen(CI->getArgOperand(0), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000692
693 return nullptr;
694}
695
696Value *LibCallSimplifier::optimizeStrStr(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000697 // fold strstr(x, x) -> x.
698 if (CI->getArgOperand(0) == CI->getArgOperand(1))
699 return B.CreateBitCast(CI->getArgOperand(0), CI->getType());
700
701 // fold strstr(a, b) == a -> strncmp(a, b, strlen(b)) == 0
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000702 if (isOnlyUsedInEqualityComparison(CI, CI->getArgOperand(0))) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000703 Value *StrLen = emitStrLen(CI->getArgOperand(1), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000704 if (!StrLen)
Craig Topperf40110f2014-04-25 05:29:35 +0000705 return nullptr;
Sanjay Pateld3112a52016-01-19 19:46:10 +0000706 Value *StrNCmp = emitStrNCmp(CI->getArgOperand(0), CI->getArgOperand(1),
Chris Bienemanad070d02014-09-17 20:55:46 +0000707 StrLen, B, DL, TLI);
708 if (!StrNCmp)
Craig Topperf40110f2014-04-25 05:29:35 +0000709 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000710 for (auto UI = CI->user_begin(), UE = CI->user_end(); UI != UE;) {
711 ICmpInst *Old = cast<ICmpInst>(*UI++);
712 Value *Cmp =
713 B.CreateICmp(Old->getPredicate(), StrNCmp,
714 ConstantInt::getNullValue(StrNCmp->getType()), "cmp");
715 replaceAllUsesWith(Old, Cmp);
Meador Inge17418502012-10-13 16:45:37 +0000716 }
Chris Bienemanad070d02014-09-17 20:55:46 +0000717 return CI;
718 }
Meador Inge17418502012-10-13 16:45:37 +0000719
Chris Bienemanad070d02014-09-17 20:55:46 +0000720 // See if either input string is a constant string.
721 StringRef SearchStr, ToFindStr;
722 bool HasStr1 = getConstantStringInfo(CI->getArgOperand(0), SearchStr);
723 bool HasStr2 = getConstantStringInfo(CI->getArgOperand(1), ToFindStr);
724
725 // fold strstr(x, "") -> x.
726 if (HasStr2 && ToFindStr.empty())
727 return B.CreateBitCast(CI->getArgOperand(0), CI->getType());
728
729 // If both strings are known, constant fold it.
730 if (HasStr1 && HasStr2) {
731 size_t Offset = SearchStr.find(ToFindStr);
732
733 if (Offset == StringRef::npos) // strstr("foo", "bar") -> null
Meador Inge17418502012-10-13 16:45:37 +0000734 return Constant::getNullValue(CI->getType());
735
Chris Bienemanad070d02014-09-17 20:55:46 +0000736 // strstr("abcd", "bc") -> gep((char*)"abcd", 1)
Sanjay Pateld3112a52016-01-19 19:46:10 +0000737 Value *Result = castToCStr(CI->getArgOperand(0), B);
Chris Bienemanad070d02014-09-17 20:55:46 +0000738 Result = B.CreateConstInBoundsGEP1_64(Result, Offset, "strstr");
739 return B.CreateBitCast(Result, CI->getType());
Meador Inge17418502012-10-13 16:45:37 +0000740 }
Meador Inge17418502012-10-13 16:45:37 +0000741
Chris Bienemanad070d02014-09-17 20:55:46 +0000742 // fold strstr(x, "y") -> strchr(x, 'y').
743 if (HasStr2 && ToFindStr.size() == 1) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000744 Value *StrChr = emitStrChr(CI->getArgOperand(0), ToFindStr[0], B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +0000745 return StrChr ? B.CreateBitCast(StrChr, CI->getType()) : nullptr;
746 }
747 return nullptr;
748}
Meador Inge40b6fac2012-10-15 03:47:37 +0000749
Benjamin Kramer691363e2015-03-21 15:36:21 +0000750Value *LibCallSimplifier::optimizeMemChr(CallInst *CI, IRBuilder<> &B) {
Benjamin Kramer691363e2015-03-21 15:36:21 +0000751 Value *SrcStr = CI->getArgOperand(0);
752 ConstantInt *CharC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
753 ConstantInt *LenC = dyn_cast<ConstantInt>(CI->getArgOperand(2));
754
755 // memchr(x, y, 0) -> null
Craig Topper79ab6432017-07-06 18:39:47 +0000756 if (LenC && LenC->isZero())
Benjamin Kramer691363e2015-03-21 15:36:21 +0000757 return Constant::getNullValue(CI->getType());
758
Benjamin Kramer7857d722015-03-21 21:09:33 +0000759 // From now on we need at least constant length and string.
Benjamin Kramer691363e2015-03-21 15:36:21 +0000760 StringRef Str;
Benjamin Kramer7857d722015-03-21 21:09:33 +0000761 if (!LenC || !getConstantStringInfo(SrcStr, Str, 0, /*TrimAtNul=*/false))
Benjamin Kramer691363e2015-03-21 15:36:21 +0000762 return nullptr;
763
764 // Truncate the string to LenC. If Str is smaller than LenC we will still only
765 // scan the string, as reading past the end of it is undefined and we can just
766 // return null if we don't find the char.
767 Str = Str.substr(0, LenC->getZExtValue());
768
Benjamin Kramer7857d722015-03-21 21:09:33 +0000769 // If the char is variable but the input str and length are not we can turn
770 // this memchr call into a simple bit field test. Of course this only works
771 // when the return value is only checked against null.
772 //
773 // It would be really nice to reuse switch lowering here but we can't change
774 // the CFG at this point.
775 //
776 // memchr("\r\n", C, 2) != nullptr -> (C & ((1 << '\r') | (1 << '\n'))) != 0
777 // after bounds check.
778 if (!CharC && !Str.empty() && isOnlyUsedInZeroEqualityComparison(CI)) {
Benjamin Kramerd6aa0ec2015-03-21 22:04:26 +0000779 unsigned char Max =
780 *std::max_element(reinterpret_cast<const unsigned char *>(Str.begin()),
781 reinterpret_cast<const unsigned char *>(Str.end()));
Benjamin Kramer7857d722015-03-21 21:09:33 +0000782
783 // Make sure the bit field we're about to create fits in a register on the
784 // target.
785 // FIXME: On a 64 bit architecture this prevents us from using the
786 // interesting range of alpha ascii chars. We could do better by emitting
787 // two bitfields or shifting the range by 64 if no lower chars are used.
788 if (!DL.fitsInLegalInteger(Max + 1))
789 return nullptr;
790
791 // For the bit field use a power-of-2 type with at least 8 bits to avoid
792 // creating unnecessary illegal types.
793 unsigned char Width = NextPowerOf2(std::max((unsigned char)7, Max));
794
795 // Now build the bit field.
796 APInt Bitfield(Width, 0);
797 for (char C : Str)
798 Bitfield.setBit((unsigned char)C);
799 Value *BitfieldC = B.getInt(Bitfield);
800
Eli Friedmand4e7a0d2019-01-09 23:39:26 +0000801 // Adjust width of "C" to the bitfield width, then mask off the high bits.
Benjamin Kramer7857d722015-03-21 21:09:33 +0000802 Value *C = B.CreateZExtOrTrunc(CI->getArgOperand(1), BitfieldC->getType());
Eli Friedmand4e7a0d2019-01-09 23:39:26 +0000803 C = B.CreateAnd(C, B.getIntN(Width, 0xFF));
804
805 // First check that the bit field access is within bounds.
Benjamin Kramer7857d722015-03-21 21:09:33 +0000806 Value *Bounds = B.CreateICmp(ICmpInst::ICMP_ULT, C, B.getIntN(Width, Width),
807 "memchr.bounds");
808
809 // Create code that checks if the given bit is set in the field.
810 Value *Shl = B.CreateShl(B.getIntN(Width, 1ULL), C);
811 Value *Bits = B.CreateIsNotNull(B.CreateAnd(Shl, BitfieldC), "memchr.bits");
812
813 // Finally merge both checks and cast to pointer type. The inttoptr
814 // implicitly zexts the i1 to intptr type.
815 return B.CreateIntToPtr(B.CreateAnd(Bounds, Bits, "memchr"), CI->getType());
816 }
817
818 // Check if all arguments are constants. If so, we can constant fold.
819 if (!CharC)
820 return nullptr;
821
Benjamin Kramer691363e2015-03-21 15:36:21 +0000822 // Compute the offset.
823 size_t I = Str.find(CharC->getSExtValue() & 0xFF);
824 if (I == StringRef::npos) // Didn't find the char. memchr returns null.
825 return Constant::getNullValue(CI->getType());
826
827 // memchr(s+n,c,l) -> gep(s+n+i,c)
David Blaikie3909da72015-03-30 20:42:56 +0000828 return B.CreateGEP(B.getInt8Ty(), SrcStr, B.getInt64(I), "memchr");
Benjamin Kramer691363e2015-03-21 15:36:21 +0000829}
830
Chris Bienemanad070d02014-09-17 20:55:46 +0000831Value *LibCallSimplifier::optimizeMemCmp(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +0000832 Value *LHS = CI->getArgOperand(0), *RHS = CI->getArgOperand(1);
Meador Inge40b6fac2012-10-15 03:47:37 +0000833
Chris Bienemanad070d02014-09-17 20:55:46 +0000834 if (LHS == RHS) // memcmp(s,s,x) -> 0
835 return Constant::getNullValue(CI->getType());
Meador Inge40b6fac2012-10-15 03:47:37 +0000836
Chris Bienemanad070d02014-09-17 20:55:46 +0000837 // Make sure we have a constant length.
838 ConstantInt *LenC = dyn_cast<ConstantInt>(CI->getArgOperand(2));
839 if (!LenC)
Craig Topperf40110f2014-04-25 05:29:35 +0000840 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000841
Sanjay Patel70db4242017-06-09 14:22:03 +0000842 uint64_t Len = LenC->getZExtValue();
Chris Bienemanad070d02014-09-17 20:55:46 +0000843 if (Len == 0) // memcmp(s1,s2,0) -> 0
844 return Constant::getNullValue(CI->getType());
845
846 // memcmp(S1,S2,1) -> *(unsigned char*)LHS - *(unsigned char*)RHS
847 if (Len == 1) {
Sanjay Pateld3112a52016-01-19 19:46:10 +0000848 Value *LHSV = B.CreateZExt(B.CreateLoad(castToCStr(LHS, B), "lhsc"),
Chris Bienemanad070d02014-09-17 20:55:46 +0000849 CI->getType(), "lhsv");
Sanjay Pateld3112a52016-01-19 19:46:10 +0000850 Value *RHSV = B.CreateZExt(B.CreateLoad(castToCStr(RHS, B), "rhsc"),
Chris Bienemanad070d02014-09-17 20:55:46 +0000851 CI->getType(), "rhsv");
852 return B.CreateSub(LHSV, RHSV, "chardiff");
Meador Inge40b6fac2012-10-15 03:47:37 +0000853 }
Meador Inge40b6fac2012-10-15 03:47:37 +0000854
Chad Rosierdc655322015-08-28 18:30:18 +0000855 // memcmp(S1,S2,N/8)==0 -> (*(intN_t*)S1 != *(intN_t*)S2)==0
Sanjay Patel82ec8722017-08-21 19:13:14 +0000856 // TODO: The case where both inputs are constants does not need to be limited
857 // to legal integers or equality comparison. See block below this.
Chad Rosierdc655322015-08-28 18:30:18 +0000858 if (DL.isLegalInteger(Len * 8) && isOnlyUsedInZeroEqualityComparison(CI)) {
Chad Rosierdc655322015-08-28 18:30:18 +0000859 IntegerType *IntType = IntegerType::get(CI->getContext(), Len * 8);
860 unsigned PrefAlignment = DL.getPrefTypeAlignment(IntType);
861
Sanjay Patel82ec8722017-08-21 19:13:14 +0000862 // First, see if we can fold either argument to a constant.
863 Value *LHSV = nullptr;
864 if (auto *LHSC = dyn_cast<Constant>(LHS)) {
865 LHSC = ConstantExpr::getBitCast(LHSC, IntType->getPointerTo());
866 LHSV = ConstantFoldLoadFromConstPtr(LHSC, IntType, DL);
867 }
868 Value *RHSV = nullptr;
869 if (auto *RHSC = dyn_cast<Constant>(RHS)) {
870 RHSC = ConstantExpr::getBitCast(RHSC, IntType->getPointerTo());
871 RHSV = ConstantFoldLoadFromConstPtr(RHSC, IntType, DL);
872 }
Chad Rosierdc655322015-08-28 18:30:18 +0000873
Sanjay Patel82ec8722017-08-21 19:13:14 +0000874 // Don't generate unaligned loads. If either source is constant data,
875 // alignment doesn't matter for that source because there is no load.
876 if ((LHSV || getKnownAlignment(LHS, DL, CI) >= PrefAlignment) &&
877 (RHSV || getKnownAlignment(RHS, DL, CI) >= PrefAlignment)) {
878 if (!LHSV) {
879 Type *LHSPtrTy =
880 IntType->getPointerTo(LHS->getType()->getPointerAddressSpace());
881 LHSV = B.CreateLoad(B.CreateBitCast(LHS, LHSPtrTy), "lhsv");
882 }
883 if (!RHSV) {
884 Type *RHSPtrTy =
885 IntType->getPointerTo(RHS->getType()->getPointerAddressSpace());
886 RHSV = B.CreateLoad(B.CreateBitCast(RHS, RHSPtrTy), "rhsv");
887 }
Sanjay Patel7756edf2017-08-21 13:55:49 +0000888 return B.CreateZExt(B.CreateICmpNE(LHSV, RHSV), CI->getType(), "memcmp");
Sanjay Patel707f7862017-08-21 15:16:25 +0000889 }
Chad Rosierdc655322015-08-28 18:30:18 +0000890 }
891
Sanjay Patel82ec8722017-08-21 19:13:14 +0000892 // Constant folding: memcmp(x, y, Len) -> constant (all arguments are const).
893 // TODO: This is limited to i8 arrays.
Chris Bienemanad070d02014-09-17 20:55:46 +0000894 StringRef LHSStr, RHSStr;
895 if (getConstantStringInfo(LHS, LHSStr) &&
896 getConstantStringInfo(RHS, RHSStr)) {
897 // Make sure we're not reading out-of-bounds memory.
898 if (Len > LHSStr.size() || Len > RHSStr.size())
Craig Topperf40110f2014-04-25 05:29:35 +0000899 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +0000900 // Fold the memcmp and normalize the result. This way we get consistent
901 // results across multiple platforms.
902 uint64_t Ret = 0;
903 int Cmp = memcmp(LHSStr.data(), RHSStr.data(), Len);
904 if (Cmp < 0)
905 Ret = -1;
906 else if (Cmp > 0)
907 Ret = 1;
908 return ConstantInt::get(CI->getType(), Ret);
Meador Inge000dbcc2012-10-18 18:12:40 +0000909 }
Meador Inge000dbcc2012-10-18 18:12:40 +0000910
Chris Bienemanad070d02014-09-17 20:55:46 +0000911 return nullptr;
912}
Meador Inge9a6a1902012-10-31 00:20:56 +0000913
Chris Bienemanad070d02014-09-17 20:55:46 +0000914Value *LibCallSimplifier::optimizeMemCpy(CallInst *CI, IRBuilder<> &B) {
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000915 // memcpy(x, y, n) -> llvm.memcpy(align 1 x, align 1 y, n)
916 B.CreateMemCpy(CI->getArgOperand(0), 1, CI->getArgOperand(1), 1,
917 CI->getArgOperand(2));
Chris Bienemanad070d02014-09-17 20:55:46 +0000918 return CI->getArgOperand(0);
919}
Meador Inge05a625a2012-10-31 14:58:26 +0000920
Chris Bienemanad070d02014-09-17 20:55:46 +0000921Value *LibCallSimplifier::optimizeMemMove(CallInst *CI, IRBuilder<> &B) {
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000922 // memmove(x, y, n) -> llvm.memmove(align 1 x, align 1 y, n)
923 B.CreateMemMove(CI->getArgOperand(0), 1, CI->getArgOperand(1), 1,
924 CI->getArgOperand(2));
Chris Bienemanad070d02014-09-17 20:55:46 +0000925 return CI->getArgOperand(0);
926}
Meador Ingebcd88ef72012-11-10 15:16:48 +0000927
Sanjay Patel980b2802016-01-26 16:17:24 +0000928/// Fold memset[_chk](malloc(n), 0, n) --> calloc(1, n).
Amara Emerson54f60252018-10-11 14:51:11 +0000929Value *LibCallSimplifier::foldMallocMemset(CallInst *Memset, IRBuilder<> &B) {
Sanjay Patel980b2802016-01-26 16:17:24 +0000930 // This has to be a memset of zeros (bzero).
931 auto *FillValue = dyn_cast<ConstantInt>(Memset->getArgOperand(1));
932 if (!FillValue || FillValue->getZExtValue() != 0)
933 return nullptr;
934
935 // TODO: We should handle the case where the malloc has more than one use.
936 // This is necessary to optimize common patterns such as when the result of
937 // the malloc is checked against null or when a memset intrinsic is used in
938 // place of a memset library call.
939 auto *Malloc = dyn_cast<CallInst>(Memset->getArgOperand(0));
940 if (!Malloc || !Malloc->hasOneUse())
941 return nullptr;
942
943 // Is the inner call really malloc()?
944 Function *InnerCallee = Malloc->getCalledFunction();
Matthias Braunc36a78c2017-04-25 19:44:25 +0000945 if (!InnerCallee)
946 return nullptr;
947
David L. Jonesd21529f2017-01-23 23:16:46 +0000948 LibFunc Func;
Amara Emerson54f60252018-10-11 14:51:11 +0000949 if (!TLI->getLibFunc(*InnerCallee, Func) || !TLI->has(Func) ||
David L. Jonesd21529f2017-01-23 23:16:46 +0000950 Func != LibFunc_malloc)
Sanjay Patel980b2802016-01-26 16:17:24 +0000951 return nullptr;
952
Sanjay Patel980b2802016-01-26 16:17:24 +0000953 // The memset must cover the same number of bytes that are malloc'd.
954 if (Memset->getArgOperand(2) != Malloc->getArgOperand(0))
955 return nullptr;
956
957 // Replace the malloc with a calloc. We need the data layout to know what the
Fangrui Songf78650a2018-07-30 19:41:25 +0000958 // actual size of a 'size_t' parameter is.
Sanjay Patel980b2802016-01-26 16:17:24 +0000959 B.SetInsertPoint(Malloc->getParent(), ++Malloc->getIterator());
960 const DataLayout &DL = Malloc->getModule()->getDataLayout();
961 IntegerType *SizeType = DL.getIntPtrType(B.GetInsertBlock()->getContext());
962 Value *Calloc = emitCalloc(ConstantInt::get(SizeType, 1),
963 Malloc->getArgOperand(0), Malloc->getAttributes(),
Amara Emerson54f60252018-10-11 14:51:11 +0000964 B, *TLI);
Sanjay Patel980b2802016-01-26 16:17:24 +0000965 if (!Calloc)
966 return nullptr;
967
968 Malloc->replaceAllUsesWith(Calloc);
Amara Emerson54f60252018-10-11 14:51:11 +0000969 eraseFromParent(Malloc);
Sanjay Patel980b2802016-01-26 16:17:24 +0000970
971 return Calloc;
972}
973
Chris Bienemanad070d02014-09-17 20:55:46 +0000974Value *LibCallSimplifier::optimizeMemSet(CallInst *CI, IRBuilder<> &B) {
Amara Emerson54f60252018-10-11 14:51:11 +0000975 if (auto *Calloc = foldMallocMemset(CI, B))
Sanjay Patel980b2802016-01-26 16:17:24 +0000976 return Calloc;
977
Daniel Neilson8acd8b02018-02-05 21:23:22 +0000978 // memset(p, v, n) -> llvm.memset(align 1 p, v, n)
Chris Bienemanad070d02014-09-17 20:55:46 +0000979 Value *Val = B.CreateIntCast(CI->getArgOperand(1), B.getInt8Ty(), false);
980 B.CreateMemSet(CI->getArgOperand(0), Val, CI->getArgOperand(2), 1);
981 return CI->getArgOperand(0);
982}
Meador Inged4825782012-11-11 06:49:03 +0000983
Sanjay Patelb2ab3f22018-04-18 14:21:31 +0000984Value *LibCallSimplifier::optimizeRealloc(CallInst *CI, IRBuilder<> &B) {
985 if (isa<ConstantPointerNull>(CI->getArgOperand(0)))
986 return emitMalloc(CI->getArgOperand(1), B, DL, TLI);
987
988 return nullptr;
989}
990
Meador Inge193e0352012-11-13 04:16:17 +0000991//===----------------------------------------------------------------------===//
992// Math Library Optimizations
993//===----------------------------------------------------------------------===//
994
Evandro Menezes5aa217a2018-08-03 17:50:16 +0000995// Replace a libcall \p CI with a call to intrinsic \p IID
996static Value *replaceUnaryCall(CallInst *CI, IRBuilder<> &B, Intrinsic::ID IID) {
997 // Propagate fast-math flags from the existing call to the new call.
998 IRBuilder<>::FastMathFlagGuard Guard(B);
999 B.setFastMathFlags(CI->getFastMathFlags());
1000
1001 Module *M = CI->getModule();
1002 Value *V = CI->getArgOperand(0);
1003 Function *F = Intrinsic::getDeclaration(M, IID, CI->getType());
1004 CallInst *NewCall = B.CreateCall(F, V);
1005 NewCall->takeName(CI);
1006 return NewCall;
1007}
1008
Matthias Braund34e4d22014-12-03 21:46:33 +00001009/// Return a variant of Val with float type.
1010/// Currently this works in two cases: If Val is an FPExtension of a float
1011/// value to something bigger, simply return the operand.
1012/// If Val is a ConstantFP but can be converted to a float ConstantFP without
1013/// loss of precision do so.
1014static Value *valueHasFloatPrecision(Value *Val) {
1015 if (FPExtInst *Cast = dyn_cast<FPExtInst>(Val)) {
1016 Value *Op = Cast->getOperand(0);
1017 if (Op->getType()->isFloatTy())
1018 return Op;
1019 }
1020 if (ConstantFP *Const = dyn_cast<ConstantFP>(Val)) {
1021 APFloat F = Const->getValueAPF();
Matthias Braun395a82f2014-12-03 22:10:39 +00001022 bool losesInfo;
Stephan Bergmann17c7f702016-12-14 11:57:17 +00001023 (void)F.convert(APFloat::IEEEsingle(), APFloat::rmNearestTiesToEven,
Matthias Braun395a82f2014-12-03 22:10:39 +00001024 &losesInfo);
1025 if (!losesInfo)
Matthias Braund34e4d22014-12-03 21:46:33 +00001026 return ConstantFP::get(Const->getContext(), F);
1027 }
1028 return nullptr;
1029}
1030
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001031/// Shrink double -> float functions.
1032static Value *optimizeDoubleFP(CallInst *CI, IRBuilder<> &B,
Evandro Menezes6e137cb2018-08-06 19:40:17 +00001033 bool isBinary, bool isPrecise = false) {
Ahmed Bougachad765a822016-04-27 19:04:35 +00001034 if (!CI->getType()->isDoubleTy())
Chris Bienemanad070d02014-09-17 20:55:46 +00001035 return nullptr;
Meador Inge193e0352012-11-13 04:16:17 +00001036
Evandro Menezes6e137cb2018-08-06 19:40:17 +00001037 // If not all the uses of the function are converted to float, then bail out.
1038 // This matters if the precision of the result is more important than the
1039 // precision of the arguments.
1040 if (isPrecise)
Chris Bienemanad070d02014-09-17 20:55:46 +00001041 for (User *U : CI->users()) {
1042 FPTruncInst *Cast = dyn_cast<FPTruncInst>(U);
1043 if (!Cast || !Cast->getType()->isFloatTy())
1044 return nullptr;
Meador Inge193e0352012-11-13 04:16:17 +00001045 }
Chris Bienemanad070d02014-09-17 20:55:46 +00001046
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001047 // If this is something like 'g((double) float)', convert to 'gf(float)'.
1048 Value *V[2];
1049 V[0] = valueHasFloatPrecision(CI->getArgOperand(0));
1050 V[1] = isBinary ? valueHasFloatPrecision(CI->getArgOperand(1)) : nullptr;
1051 if (!V[0] || (isBinary && !V[1]))
Chris Bienemanad070d02014-09-17 20:55:46 +00001052 return nullptr;
Fangrui Songf78650a2018-07-30 19:41:25 +00001053
Andrew Ng1606fc02017-04-25 12:36:14 +00001054 // If call isn't an intrinsic, check that it isn't within a function with the
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001055 // same name as the float version of this call, otherwise the result is an
1056 // infinite loop. For example, from MinGW-w64:
Andrew Ng1606fc02017-04-25 12:36:14 +00001057 //
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001058 // float expf(float val) { return (float) exp((double) val); }
1059 Function *CalleeFn = CI->getCalledFunction();
1060 StringRef CalleeNm = CalleeFn->getName();
1061 AttributeList CalleeAt = CalleeFn->getAttributes();
1062 if (CalleeFn && !CalleeFn->isIntrinsic()) {
1063 const Function *Fn = CI->getFunction();
1064 StringRef FnName = Fn->getName();
1065 if (FnName.back() == 'f' &&
1066 FnName.size() == (CalleeNm.size() + 1) &&
1067 FnName.startswith(CalleeNm))
Andrew Ng1606fc02017-04-25 12:36:14 +00001068 return nullptr;
1069 }
1070
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001071 // Propagate the math semantics from the current function to the new function.
Sanjay Patelaa231142015-12-31 21:52:31 +00001072 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patela2528152016-01-12 18:03:37 +00001073 B.setFastMathFlags(CI->getFastMathFlags());
Chris Bienemanad070d02014-09-17 20:55:46 +00001074
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001075 // g((double) float) -> (double) gf(float)
1076 Value *R;
1077 if (CalleeFn->isIntrinsic()) {
Sanjay Patelaf674fb2015-12-14 17:24:23 +00001078 Module *M = CI->getModule();
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001079 Intrinsic::ID IID = CalleeFn->getIntrinsicID();
1080 Function *Fn = Intrinsic::getDeclaration(M, IID, B.getFloatTy());
1081 R = isBinary ? B.CreateCall(Fn, V) : B.CreateCall(Fn, V[0]);
Sanjay Patel848309d2014-10-23 21:52:45 +00001082 }
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001083 else
1084 R = isBinary ? emitBinaryFloatFnCall(V[0], V[1], CalleeNm, B, CalleeAt)
1085 : emitUnaryFloatFnCall(V[0], CalleeNm, B, CalleeAt);
Sanjay Patel848309d2014-10-23 21:52:45 +00001086
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001087 return B.CreateFPExt(R, B.getDoubleTy());
Chris Bienemanad070d02014-09-17 20:55:46 +00001088}
Meador Inge193e0352012-11-13 04:16:17 +00001089
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001090/// Shrink double -> float for unary functions.
1091static Value *optimizeUnaryDoubleFP(CallInst *CI, IRBuilder<> &B,
Evandro Menezes6e137cb2018-08-06 19:40:17 +00001092 bool isPrecise = false) {
1093 return optimizeDoubleFP(CI, B, false, isPrecise);
Matt Arsenault954a6242017-01-23 23:55:08 +00001094}
1095
Evandro Menezes5aa217a2018-08-03 17:50:16 +00001096/// Shrink double -> float for binary functions.
1097static Value *optimizeBinaryDoubleFP(CallInst *CI, IRBuilder<> &B,
Evandro Menezes6e137cb2018-08-06 19:40:17 +00001098 bool isPrecise = false) {
1099 return optimizeDoubleFP(CI, B, true, isPrecise);
Chris Bienemanad070d02014-09-17 20:55:46 +00001100}
1101
Hal Finkel2ff24732017-12-16 01:26:25 +00001102// cabs(z) -> sqrt((creal(z)*creal(z)) + (cimag(z)*cimag(z)))
1103Value *LibCallSimplifier::optimizeCAbs(CallInst *CI, IRBuilder<> &B) {
1104 if (!CI->isFast())
1105 return nullptr;
1106
1107 // Propagate fast-math flags from the existing call to new instructions.
1108 IRBuilder<>::FastMathFlagGuard Guard(B);
1109 B.setFastMathFlags(CI->getFastMathFlags());
1110
1111 Value *Real, *Imag;
1112 if (CI->getNumArgOperands() == 1) {
1113 Value *Op = CI->getArgOperand(0);
1114 assert(Op->getType()->isArrayTy() && "Unexpected signature for cabs!");
1115 Real = B.CreateExtractValue(Op, 0, "real");
1116 Imag = B.CreateExtractValue(Op, 1, "imag");
1117 } else {
1118 assert(CI->getNumArgOperands() == 2 && "Unexpected signature for cabs!");
1119 Real = CI->getArgOperand(0);
1120 Imag = CI->getArgOperand(1);
1121 }
1122
1123 Value *RealReal = B.CreateFMul(Real, Real);
1124 Value *ImagImag = B.CreateFMul(Imag, Imag);
1125
1126 Function *FSqrt = Intrinsic::getDeclaration(CI->getModule(), Intrinsic::sqrt,
1127 CI->getType());
1128 return B.CreateCall(FSqrt, B.CreateFAdd(RealReal, ImagImag), "cabs");
1129}
1130
Sanjay Patele45a83d2018-08-13 19:24:41 +00001131static Value *optimizeTrigReflections(CallInst *Call, LibFunc Func,
1132 IRBuilder<> &B) {
Sanjay Patel15bff182018-08-13 21:49:19 +00001133 if (!isa<FPMathOperator>(Call))
1134 return nullptr;
1135
1136 IRBuilder<>::FastMathFlagGuard Guard(B);
1137 B.setFastMathFlags(Call->getFastMathFlags());
1138
Sanjay Patele45a83d2018-08-13 19:24:41 +00001139 // TODO: Can this be shared to also handle LLVM intrinsics?
Sanjay Patelce4ddbe2018-08-13 17:40:49 +00001140 Value *X;
Sanjay Patele45a83d2018-08-13 19:24:41 +00001141 switch (Func) {
1142 case LibFunc_sin:
1143 case LibFunc_sinf:
1144 case LibFunc_sinl:
Sanjay Patel8ba631d2018-08-16 22:46:20 +00001145 case LibFunc_tan:
1146 case LibFunc_tanf:
1147 case LibFunc_tanl:
Sanjay Patele45a83d2018-08-13 19:24:41 +00001148 // sin(-X) --> -sin(X)
Sanjay Patel8ba631d2018-08-16 22:46:20 +00001149 // tan(-X) --> -tan(X)
Sanjay Patele45a83d2018-08-13 19:24:41 +00001150 if (match(Call->getArgOperand(0), m_OneUse(m_FNeg(m_Value(X)))))
Sanjay Patel8ba631d2018-08-16 22:46:20 +00001151 return B.CreateFNeg(B.CreateCall(Call->getCalledFunction(), X));
Sanjay Patele45a83d2018-08-13 19:24:41 +00001152 break;
1153 case LibFunc_cos:
1154 case LibFunc_cosf:
1155 case LibFunc_cosl:
1156 // cos(-X) --> cos(X)
1157 if (match(Call->getArgOperand(0), m_FNeg(m_Value(X))))
1158 return B.CreateCall(Call->getCalledFunction(), X, "cos");
1159 break;
1160 default:
1161 break;
1162 }
Sanjay Patelce4ddbe2018-08-13 17:40:49 +00001163 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +00001164}
Bob Wilsond8d92d92013-11-03 06:48:38 +00001165
Weiming Zhao82130722015-12-04 22:00:47 +00001166static Value *getPow(Value *InnerChain[33], unsigned Exp, IRBuilder<> &B) {
1167 // Multiplications calculated using Addition Chains.
1168 // Refer: http://wwwhomes.uni-bielefeld.de/achim/addition_chain.html
1169
1170 assert(Exp != 0 && "Incorrect exponent 0 not handled");
1171
1172 if (InnerChain[Exp])
1173 return InnerChain[Exp];
1174
1175 static const unsigned AddChain[33][2] = {
1176 {0, 0}, // Unused.
1177 {0, 0}, // Unused (base case = pow1).
1178 {1, 1}, // Unused (pre-computed).
1179 {1, 2}, {2, 2}, {2, 3}, {3, 3}, {2, 5}, {4, 4},
1180 {1, 8}, {5, 5}, {1, 10}, {6, 6}, {4, 9}, {7, 7},
1181 {3, 12}, {8, 8}, {8, 9}, {2, 16}, {1, 18}, {10, 10},
1182 {6, 15}, {11, 11}, {3, 20}, {12, 12}, {8, 17}, {13, 13},
1183 {3, 24}, {14, 14}, {4, 25}, {15, 15}, {3, 28}, {16, 16},
1184 };
1185
1186 InnerChain[Exp] = B.CreateFMul(getPow(InnerChain, AddChain[Exp][0], B),
1187 getPow(InnerChain, AddChain[Exp][1], B));
1188 return InnerChain[Exp];
1189}
1190
Evandro Menezes4b390102018-08-17 17:59:53 +00001191/// Use exp{,2}(x * y) for pow(exp{,2}(x), y);
Evandro Menezes2123ea72018-08-30 19:04:51 +00001192/// exp2(n * x) for pow(2.0 ** n, x); exp10(x) for pow(10.0, x).
Evandro Menezes4b390102018-08-17 17:59:53 +00001193Value *LibCallSimplifier::replacePowWithExp(CallInst *Pow, IRBuilder<> &B) {
1194 Value *Base = Pow->getArgOperand(0), *Expo = Pow->getArgOperand(1);
1195 AttributeList Attrs = Pow->getCalledFunction()->getAttributes();
1196 Module *Mod = Pow->getModule();
1197 Type *Ty = Pow->getType();
Evandro Menezes2123ea72018-08-30 19:04:51 +00001198 bool Ignored;
Evandro Menezes4b390102018-08-17 17:59:53 +00001199
1200 // Evaluate special cases related to a nested function as the base.
1201
1202 // pow(exp(x), y) -> exp(x * y)
1203 // pow(exp2(x), y) -> exp2(x * y)
Evandro Menezes253991c2018-08-27 22:11:15 +00001204 // If exp{,2}() is used only once, it is better to fold two transcendental
1205 // math functions into one. If used again, exp{,2}() would still have to be
1206 // called with the original argument, then keep both original transcendental
1207 // functions. However, this transformation is only safe with fully relaxed
1208 // math semantics, since, besides rounding differences, it changes overflow
1209 // and underflow behavior quite dramatically. For example:
Evandro Menezes4b390102018-08-17 17:59:53 +00001210 // pow(exp(1000), 0.001) = pow(inf, 0.001) = inf
1211 // Whereas:
1212 // exp(1000 * 0.001) = exp(1)
1213 // TODO: Loosen the requirement for fully relaxed math semantics.
1214 // TODO: Handle exp10() when more targets have it available.
1215 CallInst *BaseFn = dyn_cast<CallInst>(Base);
Evandro Menezes253991c2018-08-27 22:11:15 +00001216 if (BaseFn && BaseFn->hasOneUse() && BaseFn->isFast() && Pow->isFast()) {
Evandro Menezes4b390102018-08-17 17:59:53 +00001217 LibFunc LibFn;
Evandro Menezes253991c2018-08-27 22:11:15 +00001218
Evandro Menezes4b390102018-08-17 17:59:53 +00001219 Function *CalleeFn = BaseFn->getCalledFunction();
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001220 if (CalleeFn &&
1221 TLI->getLibFunc(CalleeFn->getName(), LibFn) && TLI->has(LibFn)) {
1222 StringRef ExpName;
1223 Intrinsic::ID ID;
Evandro Menezes253991c2018-08-27 22:11:15 +00001224 Value *ExpFn;
Mikael Holmene3605d02018-10-18 06:27:53 +00001225 LibFunc LibFnFloat;
1226 LibFunc LibFnDouble;
1227 LibFunc LibFnLongDouble;
Evandro Menezes253991c2018-08-27 22:11:15 +00001228
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001229 switch (LibFn) {
1230 default:
1231 return nullptr;
1232 case LibFunc_expf: case LibFunc_exp: case LibFunc_expl:
Evandro Menezes164ea102018-10-19 20:57:45 +00001233 ExpName = TLI->getName(LibFunc_exp);
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001234 ID = Intrinsic::exp;
Mikael Holmene3605d02018-10-18 06:27:53 +00001235 LibFnFloat = LibFunc_expf;
1236 LibFnDouble = LibFunc_exp;
1237 LibFnLongDouble = LibFunc_expl;
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001238 break;
1239 case LibFunc_exp2f: case LibFunc_exp2: case LibFunc_exp2l:
Evandro Menezes164ea102018-10-19 20:57:45 +00001240 ExpName = TLI->getName(LibFunc_exp2);
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001241 ID = Intrinsic::exp2;
Mikael Holmene3605d02018-10-18 06:27:53 +00001242 LibFnFloat = LibFunc_exp2f;
1243 LibFnDouble = LibFunc_exp2;
1244 LibFnLongDouble = LibFunc_exp2l;
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001245 break;
1246 }
1247
Evandro Menezes253991c2018-08-27 22:11:15 +00001248 // Create new exp{,2}() with the product as its argument.
Evandro Menezes4b390102018-08-17 17:59:53 +00001249 Value *FMul = B.CreateFMul(BaseFn->getArgOperand(0), Expo, "mul");
Evandro Menezes22e0bdf2018-08-29 17:59:48 +00001250 ExpFn = BaseFn->doesNotAccessMemory()
1251 ? B.CreateCall(Intrinsic::getDeclaration(Mod, ID, Ty),
1252 FMul, ExpName)
Mikael Holmene3605d02018-10-18 06:27:53 +00001253 : emitUnaryFloatFnCall(FMul, TLI, LibFnDouble, LibFnFloat,
1254 LibFnLongDouble, B,
1255 BaseFn->getAttributes());
Evandro Menezes253991c2018-08-27 22:11:15 +00001256
1257 // Since the new exp{,2}() is different from the original one, dead code
1258 // elimination cannot be trusted to remove it, since it may have side
1259 // effects (e.g., errno). When the only consumer for the original
1260 // exp{,2}() is pow(), then it has to be explicitly erased.
1261 BaseFn->replaceAllUsesWith(ExpFn);
Amara Emerson54f60252018-10-11 14:51:11 +00001262 eraseFromParent(BaseFn);
Evandro Menezes253991c2018-08-27 22:11:15 +00001263
1264 return ExpFn;
Evandro Menezes4b390102018-08-17 17:59:53 +00001265 }
1266 }
1267
1268 // Evaluate special cases related to a constant base.
1269
Evandro Menezes2123ea72018-08-30 19:04:51 +00001270 const APFloat *BaseF;
1271 if (!match(Pow->getArgOperand(0), m_APFloat(BaseF)))
1272 return nullptr;
1273
1274 // pow(2.0 ** n, x) -> exp2(n * x)
1275 if (hasUnaryFloatFn(TLI, Ty, LibFunc_exp2, LibFunc_exp2f, LibFunc_exp2l)) {
1276 APFloat BaseR = APFloat(1.0);
1277 BaseR.convert(BaseF->getSemantics(), APFloat::rmTowardZero, &Ignored);
1278 BaseR = BaseR / *BaseF;
1279 bool IsInteger = BaseF->isInteger(),
1280 IsReciprocal = BaseR.isInteger();
1281 const APFloat *NF = IsReciprocal ? &BaseR : BaseF;
1282 APSInt NI(64, false);
1283 if ((IsInteger || IsReciprocal) &&
1284 !NF->convertToInteger(NI, APFloat::rmTowardZero, &Ignored) &&
1285 NI > 1 && NI.isPowerOf2()) {
1286 double N = NI.logBase2() * (IsReciprocal ? -1.0 : 1.0);
1287 Value *FMul = B.CreateFMul(Expo, ConstantFP::get(Ty, N), "mul");
1288 if (Pow->doesNotAccessMemory())
1289 return B.CreateCall(Intrinsic::getDeclaration(Mod, Intrinsic::exp2, Ty),
1290 FMul, "exp2");
1291 else
Mikael Holmene3605d02018-10-18 06:27:53 +00001292 return emitUnaryFloatFnCall(FMul, TLI, LibFunc_exp2, LibFunc_exp2f,
1293 LibFunc_exp2l, B, Attrs);
Evandro Menezes2123ea72018-08-30 19:04:51 +00001294 }
Evandro Menezes4b390102018-08-17 17:59:53 +00001295 }
1296
1297 // pow(10.0, x) -> exp10(x)
1298 // TODO: There is no exp10() intrinsic yet, but some day there shall be one.
1299 if (match(Base, m_SpecificFP(10.0)) &&
1300 hasUnaryFloatFn(TLI, Ty, LibFunc_exp10, LibFunc_exp10f, LibFunc_exp10l))
Mikael Holmene3605d02018-10-18 06:27:53 +00001301 return emitUnaryFloatFnCall(Expo, TLI, LibFunc_exp10, LibFunc_exp10f,
1302 LibFunc_exp10l, B, Attrs);
Evandro Menezes4b390102018-08-17 17:59:53 +00001303
1304 return nullptr;
1305}
1306
Florian Hahncc9dc592018-09-03 17:37:39 +00001307static Value *getSqrtCall(Value *V, AttributeList Attrs, bool NoErrno,
1308 Module *M, IRBuilder<> &B,
1309 const TargetLibraryInfo *TLI) {
1310 // If errno is never set, then use the intrinsic for sqrt().
1311 if (NoErrno) {
1312 Function *SqrtFn =
1313 Intrinsic::getDeclaration(M, Intrinsic::sqrt, V->getType());
1314 return B.CreateCall(SqrtFn, V, "sqrt");
1315 }
1316
1317 // Otherwise, use the libcall for sqrt().
1318 if (hasUnaryFloatFn(TLI, V->getType(), LibFunc_sqrt, LibFunc_sqrtf,
1319 LibFunc_sqrtl))
1320 // TODO: We also should check that the target can in fact lower the sqrt()
1321 // libcall. We currently have no way to ask this question, so we ask if
1322 // the target has a sqrt() libcall, which is not exactly the same.
Mikael Holmene3605d02018-10-18 06:27:53 +00001323 return emitUnaryFloatFnCall(V, TLI, LibFunc_sqrt, LibFunc_sqrtf,
1324 LibFunc_sqrtl, B, Attrs);
Florian Hahncc9dc592018-09-03 17:37:39 +00001325
1326 return nullptr;
1327}
1328
Sanjay Patelfbd3e662017-11-19 16:13:14 +00001329/// Use square root in place of pow(x, +/-0.5).
1330Value *LibCallSimplifier::replacePowWithSqrt(CallInst *Pow, IRBuilder<> &B) {
Evandro Menezesa7d48282018-07-30 16:20:04 +00001331 Value *Sqrt, *Base = Pow->getArgOperand(0), *Expo = Pow->getArgOperand(1);
Evandro Menezesc05c7e12018-08-16 15:58:08 +00001332 AttributeList Attrs = Pow->getCalledFunction()->getAttributes();
1333 Module *Mod = Pow->getModule();
Sanjay Patelfbd3e662017-11-19 16:13:14 +00001334 Type *Ty = Pow->getType();
Sanjay Patelfbd3e662017-11-19 16:13:14 +00001335
Evandro Menezesa7d48282018-07-30 16:20:04 +00001336 const APFloat *ExpoF;
1337 if (!match(Expo, m_APFloat(ExpoF)) ||
1338 (!ExpoF->isExactlyValue(0.5) && !ExpoF->isExactlyValue(-0.5)))
1339 return nullptr;
1340
Florian Hahncc9dc592018-09-03 17:37:39 +00001341 Sqrt = getSqrtCall(Base, Attrs, Pow->doesNotAccessMemory(), Mod, B, TLI);
1342 if (!Sqrt)
Evandro Menezesa7d48282018-07-30 16:20:04 +00001343 return nullptr;
1344
Evandro Menezesc05c7e12018-08-16 15:58:08 +00001345 // Handle signed zero base by expanding to fabs(sqrt(x)).
1346 if (!Pow->hasNoSignedZeros()) {
1347 Function *FAbsFn = Intrinsic::getDeclaration(Mod, Intrinsic::fabs, Ty);
1348 Sqrt = B.CreateCall(FAbsFn, Sqrt, "abs");
1349 }
1350
1351 // Handle non finite base by expanding to
1352 // (x == -infinity ? +infinity : sqrt(x)).
1353 if (!Pow->hasNoInfs()) {
1354 Value *PosInf = ConstantFP::getInfinity(Ty),
1355 *NegInf = ConstantFP::getInfinity(Ty, true);
1356 Value *FCmp = B.CreateFCmpOEQ(Base, NegInf, "isinf");
1357 Sqrt = B.CreateSelect(FCmp, PosInf, Sqrt);
1358 }
1359
Evandro Menezes61e4e402018-07-31 22:11:02 +00001360 // If the exponent is negative, then get the reciprocal.
Evandro Menezesa7d48282018-07-30 16:20:04 +00001361 if (ExpoF->isNegative())
1362 Sqrt = B.CreateFDiv(ConstantFP::get(Ty, 1.0), Sqrt, "reciprocal");
Sanjay Patelfbd3e662017-11-19 16:13:14 +00001363
1364 return Sqrt;
1365}
1366
Evandro Menezesa7d48282018-07-30 16:20:04 +00001367Value *LibCallSimplifier::optimizePow(CallInst *Pow, IRBuilder<> &B) {
1368 Value *Base = Pow->getArgOperand(0), *Expo = Pow->getArgOperand(1);
1369 Function *Callee = Pow->getCalledFunction();
Davide Italianoa3458772015-11-05 19:18:23 +00001370 StringRef Name = Callee->getName();
Evandro Menezesa7d48282018-07-30 16:20:04 +00001371 Type *Ty = Pow->getType();
1372 Value *Shrunk = nullptr;
1373 bool Ignored;
Bob Wilsond8d92d92013-11-03 06:48:38 +00001374
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001375 // Bail out if simplifying libcalls to pow() is disabled.
1376 if (!hasUnaryFloatFn(TLI, Ty, LibFunc_pow, LibFunc_powf, LibFunc_powl))
1377 return nullptr;
1378
Evandro Menezes61e4e402018-07-31 22:11:02 +00001379 // Propagate the math semantics from the call to any created instructions.
Evandro Menezesa7d48282018-07-30 16:20:04 +00001380 IRBuilder<>::FastMathFlagGuard Guard(B);
1381 B.setFastMathFlags(Pow->getFastMathFlags());
1382
Evandro Menezes6e137cb2018-08-06 19:40:17 +00001383 // Shrink pow() to powf() if the arguments are single precision,
1384 // unless the result is expected to be double precision.
1385 if (UnsafeFPShrink &&
1386 Name == TLI->getName(LibFunc_pow) && hasFloatVersion(Name))
1387 Shrunk = optimizeBinaryDoubleFP(Pow, B, true);
1388
Evandro Menezesa7d48282018-07-30 16:20:04 +00001389 // Evaluate special cases related to the base.
Davide Italiano27da1312016-08-07 20:27:03 +00001390
1391 // pow(1.0, x) -> 1.0
Evandro Menezes84e74362018-08-02 15:43:57 +00001392 if (match(Base, m_FPOne()))
Evandro Menezesa7d48282018-07-30 16:20:04 +00001393 return Base;
1394
Evandro Menezes4b390102018-08-17 17:59:53 +00001395 if (Value *Exp = replacePowWithExp(Pow, B))
1396 return Exp;
Davide Italianoc8a79132015-11-03 20:32:23 +00001397
Evandro Menezesa7d48282018-07-30 16:20:04 +00001398 // Evaluate special cases related to the exponent.
1399
Evandro Menezesa7d48282018-07-30 16:20:04 +00001400 // pow(x, -1.0) -> 1.0 / x
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001401 if (match(Expo, m_SpecificFP(-1.0)))
Evandro Menezesa7d48282018-07-30 16:20:04 +00001402 return B.CreateFDiv(ConstantFP::get(Ty, 1.0), Base, "reciprocal");
1403
1404 // pow(x, 0.0) -> 1.0
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001405 if (match(Expo, m_SpecificFP(0.0)))
1406 return ConstantFP::get(Ty, 1.0);
Evandro Menezesa7d48282018-07-30 16:20:04 +00001407
1408 // pow(x, 1.0) -> x
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001409 if (match(Expo, m_FPOne()))
Evandro Menezesa7d48282018-07-30 16:20:04 +00001410 return Base;
1411
1412 // pow(x, 2.0) -> x * x
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001413 if (match(Expo, m_SpecificFP(2.0)))
Evandro Menezesa7d48282018-07-30 16:20:04 +00001414 return B.CreateFMul(Base, Base, "square");
Chris Bienemanad070d02014-09-17 20:55:46 +00001415
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001416 if (Value *Sqrt = replacePowWithSqrt(Pow, B))
1417 return Sqrt;
1418
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001419 // pow(x, n) -> x * x * x * ...
1420 const APFloat *ExpoF;
1421 if (Pow->isFast() && match(Expo, m_APFloat(ExpoF))) {
1422 // We limit to a max of 7 multiplications, thus the maximum exponent is 32.
Florian Hahncc9dc592018-09-03 17:37:39 +00001423 // If the exponent is an integer+0.5 we generate a call to sqrt and an
1424 // additional fmul.
1425 // TODO: This whole transformation should be backend specific (e.g. some
1426 // backends might prefer libcalls or the limit for the exponent might
1427 // be different) and it should also consider optimizing for size.
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001428 APFloat LimF(ExpoF->getSemantics(), 33.0),
1429 ExpoA(abs(*ExpoF));
Florian Hahncc9dc592018-09-03 17:37:39 +00001430 if (ExpoA.compare(LimF) == APFloat::cmpLessThan) {
1431 // This transformation applies to integer or integer+0.5 exponents only.
1432 // For integer+0.5, we create a sqrt(Base) call.
1433 Value *Sqrt = nullptr;
1434 if (!ExpoA.isInteger()) {
1435 APFloat Expo2 = ExpoA;
1436 // To check if ExpoA is an integer + 0.5, we add it to itself. If there
1437 // is no floating point exception and the result is an integer, then
1438 // ExpoA == integer + 0.5
1439 if (Expo2.add(ExpoA, APFloat::rmNearestTiesToEven) != APFloat::opOK)
1440 return nullptr;
1441
1442 if (!Expo2.isInteger())
1443 return nullptr;
1444
1445 Sqrt =
1446 getSqrtCall(Base, Pow->getCalledFunction()->getAttributes(),
1447 Pow->doesNotAccessMemory(), Pow->getModule(), B, TLI);
1448 }
1449
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001450 // We will memoize intermediate products of the Addition Chain.
1451 Value *InnerChain[33] = {nullptr};
1452 InnerChain[1] = Base;
1453 InnerChain[2] = B.CreateFMul(Base, Base, "square");
Weiming Zhao82130722015-12-04 22:00:47 +00001454
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001455 // We cannot readily convert a non-double type (like float) to a double.
1456 // So we first convert it to something which could be converted to double.
1457 ExpoA.convert(APFloat::IEEEdouble(), APFloat::rmTowardZero, &Ignored);
1458 Value *FMul = getPow(InnerChain, ExpoA.convertToDouble(), B);
Weiming Zhao82130722015-12-04 22:00:47 +00001459
Florian Hahncc9dc592018-09-03 17:37:39 +00001460 // Expand pow(x, y+0.5) to pow(x, y) * sqrt(x).
1461 if (Sqrt)
1462 FMul = B.CreateFMul(FMul, Sqrt);
1463
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001464 // If the exponent is negative, then get the reciprocal.
1465 if (ExpoF->isNegative())
1466 FMul = B.CreateFDiv(ConstantFP::get(Ty, 1.0), FMul, "reciprocal");
Evandro Menezes61e4e402018-07-31 22:11:02 +00001467
Evandro Menezes5ecd6c12018-08-13 16:12:37 +00001468 return FMul;
1469 }
Weiming Zhao82130722015-12-04 22:00:47 +00001470 }
1471
Evandro Menezes6e137cb2018-08-06 19:40:17 +00001472 return Shrunk;
Chris Bienemanad070d02014-09-17 20:55:46 +00001473}
Bob Wilsond8d92d92013-11-03 06:48:38 +00001474
Chris Bienemanad070d02014-09-17 20:55:46 +00001475Value *LibCallSimplifier::optimizeExp2(CallInst *CI, IRBuilder<> &B) {
1476 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001477 Value *Ret = nullptr;
Davide Italianoa3458772015-11-05 19:18:23 +00001478 StringRef Name = Callee->getName();
1479 if (UnsafeFPShrink && Name == "exp2" && hasFloatVersion(Name))
Chris Bienemanad070d02014-09-17 20:55:46 +00001480 Ret = optimizeUnaryDoubleFP(CI, B, true);
Bob Wilsond8d92d92013-11-03 06:48:38 +00001481
Chris Bienemanad070d02014-09-17 20:55:46 +00001482 Value *Op = CI->getArgOperand(0);
1483 // Turn exp2(sitofp(x)) -> ldexp(1.0, sext(x)) if sizeof(x) <= 32
1484 // Turn exp2(uitofp(x)) -> ldexp(1.0, zext(x)) if sizeof(x) < 32
David L. Jonesd21529f2017-01-23 23:16:46 +00001485 LibFunc LdExp = LibFunc_ldexpl;
Chris Bienemanad070d02014-09-17 20:55:46 +00001486 if (Op->getType()->isFloatTy())
David L. Jonesd21529f2017-01-23 23:16:46 +00001487 LdExp = LibFunc_ldexpf;
Chris Bienemanad070d02014-09-17 20:55:46 +00001488 else if (Op->getType()->isDoubleTy())
David L. Jonesd21529f2017-01-23 23:16:46 +00001489 LdExp = LibFunc_ldexp;
Chris Bienemanad070d02014-09-17 20:55:46 +00001490
1491 if (TLI->has(LdExp)) {
1492 Value *LdExpArg = nullptr;
1493 if (SIToFPInst *OpC = dyn_cast<SIToFPInst>(Op)) {
1494 if (OpC->getOperand(0)->getType()->getPrimitiveSizeInBits() <= 32)
1495 LdExpArg = B.CreateSExt(OpC->getOperand(0), B.getInt32Ty());
1496 } else if (UIToFPInst *OpC = dyn_cast<UIToFPInst>(Op)) {
1497 if (OpC->getOperand(0)->getType()->getPrimitiveSizeInBits() < 32)
1498 LdExpArg = B.CreateZExt(OpC->getOperand(0), B.getInt32Ty());
1499 }
1500
1501 if (LdExpArg) {
1502 Constant *One = ConstantFP::get(CI->getContext(), APFloat(1.0f));
1503 if (!Op->getType()->isFloatTy())
1504 One = ConstantExpr::getFPExtend(One, Op->getType());
1505
Sanjay Patel0e603fc2016-01-21 22:31:18 +00001506 Module *M = CI->getModule();
Mehdi Aminidb11fdf2017-04-06 20:23:57 +00001507 Value *NewCallee =
1508 M->getOrInsertFunction(TLI->getName(LdExp), Op->getType(),
Serge Guelton59a2d7b2017-04-11 15:01:18 +00001509 Op->getType(), B.getInt32Ty());
Sanjay Patel042aed902016-01-21 22:41:16 +00001510 CallInst *CI = B.CreateCall(NewCallee, {One, LdExpArg});
Chris Bienemanad070d02014-09-17 20:55:46 +00001511 if (const Function *F = dyn_cast<Function>(Callee->stripPointerCasts()))
1512 CI->setCallingConv(F->getCallingConv());
1513
1514 return CI;
1515 }
1516 }
1517 return Ret;
1518}
1519
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001520Value *LibCallSimplifier::optimizeFMinFMax(CallInst *CI, IRBuilder<> &B) {
Sanjay Patel9beec212016-01-21 22:58:01 +00001521 Function *Callee = CI->getCalledFunction();
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001522 // If we can shrink the call to a float function rather than a double
1523 // function, do that first.
Davide Italianoa3458772015-11-05 19:18:23 +00001524 StringRef Name = Callee->getName();
Sanjay Patelc7ddb7f2016-01-06 00:32:15 +00001525 if ((Name == "fmin" || Name == "fmax") && hasFloatVersion(Name))
1526 if (Value *Ret = optimizeBinaryDoubleFP(CI, B))
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001527 return Ret;
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001528
Benjamin Kramerbb70d752015-08-16 21:16:37 +00001529 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001530 FastMathFlags FMF;
Sanjay Patel629c4112017-11-06 16:27:15 +00001531 if (CI->isFast()) {
1532 // If the call is 'fast', then anything we create here will also be 'fast'.
1533 FMF.setFast();
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001534 } else {
1535 // At a minimum, no-nans-fp-math must be true.
Sanjay Patel29095ea2016-01-05 20:46:19 +00001536 if (!CI->hasNoNaNs())
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001537 return nullptr;
1538 // No-signed-zeros is implied by the definitions of fmax/fmin themselves:
1539 // "Ideally, fmax would be sensitive to the sign of zero, for example
NAKAMURA Takumi0d725392015-09-07 00:26:54 +00001540 // fmax(-0. 0, +0. 0) would return +0; however, implementation in software
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001541 // might be impractical."
1542 FMF.setNoSignedZeros();
1543 FMF.setNoNaNs();
1544 }
Sanjay Patela2528152016-01-12 18:03:37 +00001545 B.setFastMathFlags(FMF);
Sanjay Patel57fd1dc2015-08-16 20:18:19 +00001546
1547 // We have a relaxed floating-point environment. We can ignore NaN-handling
1548 // and transform to a compare and select. We do not have to consider errno or
1549 // exceptions, because fmin/fmax do not have those.
1550 Value *Op0 = CI->getArgOperand(0);
1551 Value *Op1 = CI->getArgOperand(1);
1552 Value *Cmp = Callee->getName().startswith("fmin") ?
1553 B.CreateFCmpOLT(Op0, Op1) : B.CreateFCmpOGT(Op0, Op1);
1554 return B.CreateSelect(Cmp, Op0, Op1);
1555}
1556
Davide Italianob8b71332015-11-29 20:58:04 +00001557Value *LibCallSimplifier::optimizeLog(CallInst *CI, IRBuilder<> &B) {
1558 Function *Callee = CI->getCalledFunction();
1559 Value *Ret = nullptr;
1560 StringRef Name = Callee->getName();
1561 if (UnsafeFPShrink && hasFloatVersion(Name))
1562 Ret = optimizeUnaryDoubleFP(CI, B, true);
Davide Italianob8b71332015-11-29 20:58:04 +00001563
Sanjay Patel629c4112017-11-06 16:27:15 +00001564 if (!CI->isFast())
Davide Italianob8b71332015-11-29 20:58:04 +00001565 return Ret;
1566 Value *Op1 = CI->getArgOperand(0);
1567 auto *OpC = dyn_cast<CallInst>(Op1);
Sanjay Patele896ede2016-01-11 23:31:48 +00001568
Sanjay Patel629c4112017-11-06 16:27:15 +00001569 // The earlier call must also be 'fast' in order to do these transforms.
1570 if (!OpC || !OpC->isFast())
Davide Italianob8b71332015-11-29 20:58:04 +00001571 return Ret;
1572
1573 // log(pow(x,y)) -> y*log(x)
1574 // This is only applicable to log, log2, log10.
1575 if (Name != "log" && Name != "log2" && Name != "log10")
1576 return Ret;
1577
1578 IRBuilder<>::FastMathFlagGuard Guard(B);
1579 FastMathFlags FMF;
Sanjay Patel629c4112017-11-06 16:27:15 +00001580 FMF.setFast();
Sanjay Patela2528152016-01-12 18:03:37 +00001581 B.setFastMathFlags(FMF);
Davide Italianob8b71332015-11-29 20:58:04 +00001582
David L. Jonesd21529f2017-01-23 23:16:46 +00001583 LibFunc Func;
Davide Italianob8b71332015-11-29 20:58:04 +00001584 Function *F = OpC->getCalledFunction();
Davide Italiano0b14f292015-11-29 21:58:56 +00001585 if (F && ((TLI->getLibFunc(F->getName(), Func) && TLI->has(Func) &&
David L. Jonesd21529f2017-01-23 23:16:46 +00001586 Func == LibFunc_pow) || F->getIntrinsicID() == Intrinsic::pow))
Davide Italianob8b71332015-11-29 20:58:04 +00001587 return B.CreateFMul(OpC->getArgOperand(1),
Sanjay Pateld3112a52016-01-19 19:46:10 +00001588 emitUnaryFloatFnCall(OpC->getOperand(0), Callee->getName(), B,
Davide Italianob8b71332015-11-29 20:58:04 +00001589 Callee->getAttributes()), "mul");
Davide Italiano1aeed6a2015-11-30 19:36:35 +00001590
1591 // log(exp2(y)) -> y*log(2)
1592 if (F && Name == "log" && TLI->getLibFunc(F->getName(), Func) &&
David L. Jonesd21529f2017-01-23 23:16:46 +00001593 TLI->has(Func) && Func == LibFunc_exp2)
Davide Italiano1aeed6a2015-11-30 19:36:35 +00001594 return B.CreateFMul(
1595 OpC->getArgOperand(0),
Sanjay Pateld3112a52016-01-19 19:46:10 +00001596 emitUnaryFloatFnCall(ConstantFP::get(CI->getType(), 2.0),
Davide Italiano1aeed6a2015-11-30 19:36:35 +00001597 Callee->getName(), B, Callee->getAttributes()),
1598 "logmul");
Davide Italianob8b71332015-11-29 20:58:04 +00001599 return Ret;
1600}
1601
Sanjay Patelc699a612014-10-16 18:48:17 +00001602Value *LibCallSimplifier::optimizeSqrt(CallInst *CI, IRBuilder<> &B) {
1603 Function *Callee = CI->getCalledFunction();
Sanjay Patelc699a612014-10-16 18:48:17 +00001604 Value *Ret = nullptr;
Justin Lebarcb9b41d2017-01-27 00:58:03 +00001605 // TODO: Once we have a way (other than checking for the existince of the
1606 // libcall) to tell whether our target can lower @llvm.sqrt, relax the
1607 // condition below.
David L. Jonesd21529f2017-01-23 23:16:46 +00001608 if (TLI->has(LibFunc_sqrtf) && (Callee->getName() == "sqrt" ||
Justin Lebarcb9b41d2017-01-27 00:58:03 +00001609 Callee->getIntrinsicID() == Intrinsic::sqrt))
Sanjay Patelc699a612014-10-16 18:48:17 +00001610 Ret = optimizeUnaryDoubleFP(CI, B, true);
Sanjay Patel683f2972016-01-11 22:34:19 +00001611
Sanjay Patel629c4112017-11-06 16:27:15 +00001612 if (!CI->isFast())
Davide Italianoa904e522015-10-29 02:58:44 +00001613 return Ret;
Sanjay Patelc699a612014-10-16 18:48:17 +00001614
Sanjay Patelc2d64612016-01-06 20:52:21 +00001615 Instruction *I = dyn_cast<Instruction>(CI->getArgOperand(0));
Sanjay Patel629c4112017-11-06 16:27:15 +00001616 if (!I || I->getOpcode() != Instruction::FMul || !I->isFast())
Sanjay Patelc2d64612016-01-06 20:52:21 +00001617 return Ret;
1618
1619 // We're looking for a repeated factor in a multiplication tree,
1620 // so we can do this fold: sqrt(x * x) -> fabs(x);
Sanjay Patel683f2972016-01-11 22:34:19 +00001621 // or this fold: sqrt((x * x) * y) -> fabs(x) * sqrt(y).
Sanjay Patelc2d64612016-01-06 20:52:21 +00001622 Value *Op0 = I->getOperand(0);
1623 Value *Op1 = I->getOperand(1);
1624 Value *RepeatOp = nullptr;
1625 Value *OtherOp = nullptr;
1626 if (Op0 == Op1) {
1627 // Simple match: the operands of the multiply are identical.
1628 RepeatOp = Op0;
1629 } else {
1630 // Look for a more complicated pattern: one of the operands is itself
1631 // a multiply, so search for a common factor in that multiply.
1632 // Note: We don't bother looking any deeper than this first level or for
1633 // variations of this pattern because instcombine's visitFMUL and/or the
1634 // reassociation pass should give us this form.
1635 Value *OtherMul0, *OtherMul1;
1636 if (match(Op0, m_FMul(m_Value(OtherMul0), m_Value(OtherMul1)))) {
1637 // Pattern: sqrt((x * y) * z)
Sanjay Patel629c4112017-11-06 16:27:15 +00001638 if (OtherMul0 == OtherMul1 && cast<Instruction>(Op0)->isFast()) {
Sanjay Patelc2d64612016-01-06 20:52:21 +00001639 // Matched: sqrt((x * x) * z)
1640 RepeatOp = OtherMul0;
1641 OtherOp = Op1;
Sanjay Patelc699a612014-10-16 18:48:17 +00001642 }
1643 }
1644 }
Sanjay Patelc2d64612016-01-06 20:52:21 +00001645 if (!RepeatOp)
1646 return Ret;
1647
1648 // Fast math flags for any created instructions should match the sqrt
1649 // and multiply.
Sanjay Patelc2d64612016-01-06 20:52:21 +00001650 IRBuilder<>::FastMathFlagGuard Guard(B);
Sanjay Patela2528152016-01-12 18:03:37 +00001651 B.setFastMathFlags(I->getFastMathFlags());
Sanjay Patel9f67dad2016-01-11 22:35:39 +00001652
Sanjay Patelc2d64612016-01-06 20:52:21 +00001653 // If we found a repeated factor, hoist it out of the square root and
1654 // replace it with the fabs of that factor.
1655 Module *M = Callee->getParent();
1656 Type *ArgType = I->getType();
1657 Value *Fabs = Intrinsic::getDeclaration(M, Intrinsic::fabs, ArgType);
1658 Value *FabsCall = B.CreateCall(Fabs, RepeatOp, "fabs");
1659 if (OtherOp) {
1660 // If we found a non-repeated factor, we still need to get its square
1661 // root. We then multiply that by the value that was simplified out
1662 // of the square root calculation.
1663 Value *Sqrt = Intrinsic::getDeclaration(M, Intrinsic::sqrt, ArgType);
1664 Value *SqrtCall = B.CreateCall(Sqrt, OtherOp, "sqrt");
1665 return B.CreateFMul(FabsCall, SqrtCall);
1666 }
1667 return FabsCall;
Sanjay Patelc699a612014-10-16 18:48:17 +00001668}
1669
Sanjay Patelcddcd722016-01-06 19:23:35 +00001670// TODO: Generalize to handle any trig function and its inverse.
Davide Italiano51507d22015-11-04 23:36:56 +00001671Value *LibCallSimplifier::optimizeTan(CallInst *CI, IRBuilder<> &B) {
1672 Function *Callee = CI->getCalledFunction();
1673 Value *Ret = nullptr;
Davide Italianoa3458772015-11-05 19:18:23 +00001674 StringRef Name = Callee->getName();
1675 if (UnsafeFPShrink && Name == "tan" && hasFloatVersion(Name))
Davide Italiano51507d22015-11-04 23:36:56 +00001676 Ret = optimizeUnaryDoubleFP(CI, B, true);
Davide Italiano51507d22015-11-04 23:36:56 +00001677
Davide Italiano51507d22015-11-04 23:36:56 +00001678 Value *Op1 = CI->getArgOperand(0);
1679 auto *OpC = dyn_cast<CallInst>(Op1);
1680 if (!OpC)
1681 return Ret;
1682
Sanjay Patel629c4112017-11-06 16:27:15 +00001683 // Both calls must be 'fast' in order to remove them.
1684 if (!CI->isFast() || !OpC->isFast())
Sanjay Patelcddcd722016-01-06 19:23:35 +00001685 return Ret;
1686
Davide Italiano51507d22015-11-04 23:36:56 +00001687 // tan(atan(x)) -> x
1688 // tanf(atanf(x)) -> x
1689 // tanl(atanl(x)) -> x
David L. Jonesd21529f2017-01-23 23:16:46 +00001690 LibFunc Func;
Davide Italiano51507d22015-11-04 23:36:56 +00001691 Function *F = OpC->getCalledFunction();
Benjamin Kramerfb419e72015-11-26 09:51:17 +00001692 if (F && TLI->getLibFunc(F->getName(), Func) && TLI->has(Func) &&
David L. Jonesd21529f2017-01-23 23:16:46 +00001693 ((Func == LibFunc_atan && Callee->getName() == "tan") ||
1694 (Func == LibFunc_atanf && Callee->getName() == "tanf") ||
1695 (Func == LibFunc_atanl && Callee->getName() == "tanl")))
Davide Italiano51507d22015-11-04 23:36:56 +00001696 Ret = OpC->getArgOperand(0);
1697 return Ret;
1698}
1699
Sanjay Patel57747212016-01-21 23:38:43 +00001700static bool isTrigLibCall(CallInst *CI) {
Sanjay Patel57747212016-01-21 23:38:43 +00001701 // We can only hope to do anything useful if we can ignore things like errno
1702 // and floating-point exceptions.
Ahmed Bougachad765a822016-04-27 19:04:35 +00001703 // We already checked the prototype.
1704 return CI->hasFnAttr(Attribute::NoUnwind) &&
1705 CI->hasFnAttr(Attribute::ReadNone);
Sanjay Patel57747212016-01-21 23:38:43 +00001706}
1707
Chris Bienemanad070d02014-09-17 20:55:46 +00001708static void insertSinCosCall(IRBuilder<> &B, Function *OrigCallee, Value *Arg,
1709 bool UseFloat, Value *&Sin, Value *&Cos,
Sanjay Patel57747212016-01-21 23:38:43 +00001710 Value *&SinCos) {
1711 Type *ArgTy = Arg->getType();
1712 Type *ResTy;
1713 StringRef Name;
1714
1715 Triple T(OrigCallee->getParent()->getTargetTriple());
1716 if (UseFloat) {
1717 Name = "__sincospif_stret";
1718
1719 assert(T.getArch() != Triple::x86 && "x86 messy and unsupported for now");
1720 // x86_64 can't use {float, float} since that would be returned in both
1721 // xmm0 and xmm1, which isn't what a real struct would do.
1722 ResTy = T.getArch() == Triple::x86_64
Serge Gueltone38003f2017-05-09 19:31:13 +00001723 ? static_cast<Type *>(VectorType::get(ArgTy, 2))
1724 : static_cast<Type *>(StructType::get(ArgTy, ArgTy));
Sanjay Patel57747212016-01-21 23:38:43 +00001725 } else {
1726 Name = "__sincospi_stret";
Serge Gueltone38003f2017-05-09 19:31:13 +00001727 ResTy = StructType::get(ArgTy, ArgTy);
Sanjay Patel57747212016-01-21 23:38:43 +00001728 }
1729
1730 Module *M = OrigCallee->getParent();
Mehdi Aminidb11fdf2017-04-06 20:23:57 +00001731 Value *Callee = M->getOrInsertFunction(Name, OrigCallee->getAttributes(),
Serge Guelton59a2d7b2017-04-11 15:01:18 +00001732 ResTy, ArgTy);
Sanjay Patel57747212016-01-21 23:38:43 +00001733
1734 if (Instruction *ArgInst = dyn_cast<Instruction>(Arg)) {
1735 // If the argument is an instruction, it must dominate all uses so put our
1736 // sincos call there.
1737 B.SetInsertPoint(ArgInst->getParent(), ++ArgInst->getIterator());
1738 } else {
1739 // Otherwise (e.g. for a constant) the beginning of the function is as
1740 // good a place as any.
1741 BasicBlock &EntryBB = B.GetInsertBlock()->getParent()->getEntryBlock();
1742 B.SetInsertPoint(&EntryBB, EntryBB.begin());
1743 }
1744
1745 SinCos = B.CreateCall(Callee, Arg, "sincospi");
1746
1747 if (SinCos->getType()->isStructTy()) {
1748 Sin = B.CreateExtractValue(SinCos, 0, "sinpi");
1749 Cos = B.CreateExtractValue(SinCos, 1, "cospi");
1750 } else {
1751 Sin = B.CreateExtractElement(SinCos, ConstantInt::get(B.getInt32Ty(), 0),
1752 "sinpi");
1753 Cos = B.CreateExtractElement(SinCos, ConstantInt::get(B.getInt32Ty(), 1),
1754 "cospi");
1755 }
1756}
Chris Bienemanad070d02014-09-17 20:55:46 +00001757
1758Value *LibCallSimplifier::optimizeSinCosPi(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001759 // Make sure the prototype is as expected, otherwise the rest of the
1760 // function is probably invalid and likely to abort.
1761 if (!isTrigLibCall(CI))
1762 return nullptr;
1763
1764 Value *Arg = CI->getArgOperand(0);
1765 SmallVector<CallInst *, 1> SinCalls;
1766 SmallVector<CallInst *, 1> CosCalls;
1767 SmallVector<CallInst *, 1> SinCosCalls;
1768
1769 bool IsFloat = Arg->getType()->isFloatTy();
1770
1771 // Look for all compatible sinpi, cospi and sincospi calls with the same
1772 // argument. If there are enough (in some sense) we can make the
1773 // substitution.
David Majnemerabae6b52016-03-19 04:53:02 +00001774 Function *F = CI->getFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001775 for (User *U : Arg->users())
David Majnemerabae6b52016-03-19 04:53:02 +00001776 classifyArgUse(U, F, IsFloat, SinCalls, CosCalls, SinCosCalls);
Chris Bienemanad070d02014-09-17 20:55:46 +00001777
1778 // It's only worthwhile if both sinpi and cospi are actually used.
1779 if (SinCosCalls.empty() && (SinCalls.empty() || CosCalls.empty()))
1780 return nullptr;
1781
1782 Value *Sin, *Cos, *SinCos;
1783 insertSinCosCall(B, CI->getCalledFunction(), Arg, IsFloat, Sin, Cos, SinCos);
1784
Davide Italianof024a562016-12-16 02:28:38 +00001785 auto replaceTrigInsts = [this](SmallVectorImpl<CallInst *> &Calls,
1786 Value *Res) {
1787 for (CallInst *C : Calls)
1788 replaceAllUsesWith(C, Res);
1789 };
1790
Chris Bienemanad070d02014-09-17 20:55:46 +00001791 replaceTrigInsts(SinCalls, Sin);
1792 replaceTrigInsts(CosCalls, Cos);
1793 replaceTrigInsts(SinCosCalls, SinCos);
1794
1795 return nullptr;
1796}
1797
David Majnemerabae6b52016-03-19 04:53:02 +00001798void LibCallSimplifier::classifyArgUse(
1799 Value *Val, Function *F, bool IsFloat,
1800 SmallVectorImpl<CallInst *> &SinCalls,
1801 SmallVectorImpl<CallInst *> &CosCalls,
1802 SmallVectorImpl<CallInst *> &SinCosCalls) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001803 CallInst *CI = dyn_cast<CallInst>(Val);
1804
1805 if (!CI)
1806 return;
1807
David Majnemerabae6b52016-03-19 04:53:02 +00001808 // Don't consider calls in other functions.
1809 if (CI->getFunction() != F)
1810 return;
1811
Chris Bienemanad070d02014-09-17 20:55:46 +00001812 Function *Callee = CI->getCalledFunction();
David L. Jonesd21529f2017-01-23 23:16:46 +00001813 LibFunc Func;
Ahmed Bougachad765a822016-04-27 19:04:35 +00001814 if (!Callee || !TLI->getLibFunc(*Callee, Func) || !TLI->has(Func) ||
Benjamin Kramer89766e52015-11-28 21:43:12 +00001815 !isTrigLibCall(CI))
Chris Bienemanad070d02014-09-17 20:55:46 +00001816 return;
1817
1818 if (IsFloat) {
David L. Jonesd21529f2017-01-23 23:16:46 +00001819 if (Func == LibFunc_sinpif)
Chris Bienemanad070d02014-09-17 20:55:46 +00001820 SinCalls.push_back(CI);
David L. Jonesd21529f2017-01-23 23:16:46 +00001821 else if (Func == LibFunc_cospif)
Chris Bienemanad070d02014-09-17 20:55:46 +00001822 CosCalls.push_back(CI);
David L. Jonesd21529f2017-01-23 23:16:46 +00001823 else if (Func == LibFunc_sincospif_stret)
Chris Bienemanad070d02014-09-17 20:55:46 +00001824 SinCosCalls.push_back(CI);
1825 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +00001826 if (Func == LibFunc_sinpi)
Chris Bienemanad070d02014-09-17 20:55:46 +00001827 SinCalls.push_back(CI);
David L. Jonesd21529f2017-01-23 23:16:46 +00001828 else if (Func == LibFunc_cospi)
Chris Bienemanad070d02014-09-17 20:55:46 +00001829 CosCalls.push_back(CI);
David L. Jonesd21529f2017-01-23 23:16:46 +00001830 else if (Func == LibFunc_sincospi_stret)
Chris Bienemanad070d02014-09-17 20:55:46 +00001831 SinCosCalls.push_back(CI);
1832 }
1833}
1834
Meador Inge7415f842012-11-25 20:45:27 +00001835//===----------------------------------------------------------------------===//
1836// Integer Library Call Optimizations
1837//===----------------------------------------------------------------------===//
1838
Chris Bienemanad070d02014-09-17 20:55:46 +00001839Value *LibCallSimplifier::optimizeFFS(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001840 // ffs(x) -> x != 0 ? (i32)llvm.cttz(x)+1 : 0
Davide Italiano890e8502016-12-15 23:11:00 +00001841 Value *Op = CI->getArgOperand(0);
Chris Bienemanad070d02014-09-17 20:55:46 +00001842 Type *ArgType = Op->getType();
Davide Italiano890e8502016-12-15 23:11:00 +00001843 Value *F = Intrinsic::getDeclaration(CI->getCalledFunction()->getParent(),
1844 Intrinsic::cttz, ArgType);
Davide Italianoa1953862015-08-13 20:34:26 +00001845 Value *V = B.CreateCall(F, {Op, B.getTrue()}, "cttz");
Chris Bienemanad070d02014-09-17 20:55:46 +00001846 V = B.CreateAdd(V, ConstantInt::get(V->getType(), 1));
1847 V = B.CreateIntCast(V, B.getInt32Ty(), false);
Meador Ingea0b6d872012-11-26 00:24:07 +00001848
Chris Bienemanad070d02014-09-17 20:55:46 +00001849 Value *Cond = B.CreateICmpNE(Op, Constant::getNullValue(ArgType));
1850 return B.CreateSelect(Cond, V, B.getInt32(0));
1851}
Meador Ingea0b6d872012-11-26 00:24:07 +00001852
Davide Italiano85ad36b2016-12-15 23:45:11 +00001853Value *LibCallSimplifier::optimizeFls(CallInst *CI, IRBuilder<> &B) {
1854 // fls(x) -> (i32)(sizeInBits(x) - llvm.ctlz(x, false))
1855 Value *Op = CI->getArgOperand(0);
1856 Type *ArgType = Op->getType();
1857 Value *F = Intrinsic::getDeclaration(CI->getCalledFunction()->getParent(),
1858 Intrinsic::ctlz, ArgType);
1859 Value *V = B.CreateCall(F, {Op, B.getFalse()}, "ctlz");
1860 V = B.CreateSub(ConstantInt::get(V->getType(), ArgType->getIntegerBitWidth()),
1861 V);
1862 return B.CreateIntCast(V, CI->getType(), false);
1863}
1864
Chris Bienemanad070d02014-09-17 20:55:46 +00001865Value *LibCallSimplifier::optimizeAbs(CallInst *CI, IRBuilder<> &B) {
Sanjay Patel4b969352018-05-22 23:29:40 +00001866 // abs(x) -> x <s 0 ? -x : x
1867 // The negation has 'nsw' because abs of INT_MIN is undefined.
1868 Value *X = CI->getArgOperand(0);
1869 Value *IsNeg = B.CreateICmpSLT(X, Constant::getNullValue(X->getType()));
1870 Value *NegX = B.CreateNSWNeg(X, "neg");
1871 return B.CreateSelect(IsNeg, NegX, X);
Chris Bienemanad070d02014-09-17 20:55:46 +00001872}
Meador Inge9a59ab62012-11-26 02:31:59 +00001873
Chris Bienemanad070d02014-09-17 20:55:46 +00001874Value *LibCallSimplifier::optimizeIsDigit(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001875 // isdigit(c) -> (c-'0') <u 10
1876 Value *Op = CI->getArgOperand(0);
1877 Op = B.CreateSub(Op, B.getInt32('0'), "isdigittmp");
1878 Op = B.CreateICmpULT(Op, B.getInt32(10), "isdigit");
1879 return B.CreateZExt(Op, CI->getType());
1880}
Meador Ingea62a39e2012-11-26 03:10:07 +00001881
Chris Bienemanad070d02014-09-17 20:55:46 +00001882Value *LibCallSimplifier::optimizeIsAscii(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001883 // isascii(c) -> c <u 128
1884 Value *Op = CI->getArgOperand(0);
1885 Op = B.CreateICmpULT(Op, B.getInt32(128), "isascii");
1886 return B.CreateZExt(Op, CI->getType());
1887}
1888
1889Value *LibCallSimplifier::optimizeToAscii(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00001890 // toascii(c) -> c & 0x7f
1891 return B.CreateAnd(CI->getArgOperand(0),
1892 ConstantInt::get(CI->getType(), 0x7F));
1893}
Meador Inge604937d2012-11-26 03:38:52 +00001894
David Bolvanskycb8ca5f32018-04-25 18:58:53 +00001895Value *LibCallSimplifier::optimizeAtoi(CallInst *CI, IRBuilder<> &B) {
1896 StringRef Str;
1897 if (!getConstantStringInfo(CI->getArgOperand(0), Str))
1898 return nullptr;
1899
1900 return convertStrToNumber(CI, Str, 10);
1901}
1902
1903Value *LibCallSimplifier::optimizeStrtol(CallInst *CI, IRBuilder<> &B) {
1904 StringRef Str;
1905 if (!getConstantStringInfo(CI->getArgOperand(0), Str))
1906 return nullptr;
1907
1908 if (!isa<ConstantPointerNull>(CI->getArgOperand(1)))
1909 return nullptr;
1910
1911 if (ConstantInt *CInt = dyn_cast<ConstantInt>(CI->getArgOperand(2))) {
1912 return convertStrToNumber(CI, Str, CInt->getSExtValue());
1913 }
1914
1915 return nullptr;
1916}
1917
Meador Inge08ca1152012-11-26 20:37:20 +00001918//===----------------------------------------------------------------------===//
1919// Formatting and IO Library Call Optimizations
1920//===----------------------------------------------------------------------===//
1921
Chris Bienemanad070d02014-09-17 20:55:46 +00001922static bool isReportingError(Function *Callee, CallInst *CI, int StreamArg);
Hal Finkel66cd3f12013-11-17 02:06:35 +00001923
Chris Bienemanad070d02014-09-17 20:55:46 +00001924Value *LibCallSimplifier::optimizeErrorReporting(CallInst *CI, IRBuilder<> &B,
1925 int StreamArg) {
Ahmed Bougachad765a822016-04-27 19:04:35 +00001926 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00001927 // Error reporting calls should be cold, mark them as such.
1928 // This applies even to non-builtin calls: it is only a hint and applies to
1929 // functions that the frontend might not understand as builtins.
Hal Finkel66cd3f12013-11-17 02:06:35 +00001930
Chris Bienemanad070d02014-09-17 20:55:46 +00001931 // This heuristic was suggested in:
1932 // Improving Static Branch Prediction in a Compiler
1933 // Brian L. Deitrich, Ben-Chung Cheng, Wen-mei W. Hwu
1934 // Proceedings of PACT'98, Oct. 1998, IEEE
Chris Bienemanad070d02014-09-17 20:55:46 +00001935 if (!CI->hasFnAttr(Attribute::Cold) &&
1936 isReportingError(Callee, CI, StreamArg)) {
Reid Klecknerb5180542017-03-21 16:57:19 +00001937 CI->addAttribute(AttributeList::FunctionIndex, Attribute::Cold);
Chris Bienemanad070d02014-09-17 20:55:46 +00001938 }
Hal Finkel66cd3f12013-11-17 02:06:35 +00001939
Chris Bienemanad070d02014-09-17 20:55:46 +00001940 return nullptr;
1941}
1942
1943static bool isReportingError(Function *Callee, CallInst *CI, int StreamArg) {
Davide Italiano5b65f122017-04-25 03:48:47 +00001944 if (!Callee || !Callee->isDeclaration())
Chris Bienemanad070d02014-09-17 20:55:46 +00001945 return false;
1946
1947 if (StreamArg < 0)
1948 return true;
1949
1950 // These functions might be considered cold, but only if their stream
1951 // argument is stderr.
1952
1953 if (StreamArg >= (int)CI->getNumArgOperands())
1954 return false;
1955 LoadInst *LI = dyn_cast<LoadInst>(CI->getArgOperand(StreamArg));
1956 if (!LI)
1957 return false;
1958 GlobalVariable *GV = dyn_cast<GlobalVariable>(LI->getPointerOperand());
1959 if (!GV || !GV->isDeclaration())
1960 return false;
1961 return GV->getName() == "stderr";
1962}
1963
1964Value *LibCallSimplifier::optimizePrintFString(CallInst *CI, IRBuilder<> &B) {
1965 // Check for a fixed format string.
1966 StringRef FormatStr;
1967 if (!getConstantStringInfo(CI->getArgOperand(0), FormatStr))
Craig Topperf40110f2014-04-25 05:29:35 +00001968 return nullptr;
Hal Finkel66cd3f12013-11-17 02:06:35 +00001969
Chris Bienemanad070d02014-09-17 20:55:46 +00001970 // Empty format string -> noop.
1971 if (FormatStr.empty()) // Tolerate printf's declared void.
1972 return CI->use_empty() ? (Value *)CI : ConstantInt::get(CI->getType(), 0);
Hal Finkel66cd3f12013-11-17 02:06:35 +00001973
Chris Bienemanad070d02014-09-17 20:55:46 +00001974 // Do not do any of the following transformations if the printf return value
1975 // is used, in general the printf return value is not compatible with either
1976 // putchar() or puts().
1977 if (!CI->use_empty())
Craig Topperf40110f2014-04-25 05:29:35 +00001978 return nullptr;
Chris Bienemanad070d02014-09-17 20:55:46 +00001979
Joerg Sonnenberger8ffe7ab2016-05-09 14:36:16 +00001980 // printf("x") -> putchar('x'), even for "%" and "%%".
1981 if (FormatStr.size() == 1 || FormatStr == "%%")
Davide Italianod4f5a052016-04-03 01:46:52 +00001982 return emitPutChar(B.getInt32(FormatStr[0]), B, TLI);
Meador Inge08ca1152012-11-26 20:37:20 +00001983
Davide Italiano6db1dcb2016-03-28 15:54:01 +00001984 // printf("%s", "a") --> putchar('a')
1985 if (FormatStr == "%s" && CI->getNumArgOperands() > 1) {
1986 StringRef ChrStr;
1987 if (!getConstantStringInfo(CI->getOperand(1), ChrStr))
1988 return nullptr;
1989 if (ChrStr.size() != 1)
1990 return nullptr;
Davide Italianod4f5a052016-04-03 01:46:52 +00001991 return emitPutChar(B.getInt32(ChrStr[0]), B, TLI);
Davide Italiano6db1dcb2016-03-28 15:54:01 +00001992 }
1993
Chris Bienemanad070d02014-09-17 20:55:46 +00001994 // printf("foo\n") --> puts("foo")
1995 if (FormatStr[FormatStr.size() - 1] == '\n' &&
1996 FormatStr.find('%') == StringRef::npos) { // No format characters.
1997 // Create a string literal with no \n on it. We expect the constant merge
1998 // pass to be run after this pass, to merge duplicate strings.
1999 FormatStr = FormatStr.drop_back();
2000 Value *GV = B.CreateGlobalString(FormatStr, "str");
Davide Italianod4f5a052016-04-03 01:46:52 +00002001 return emitPutS(GV, B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002002 }
Meador Inge08ca1152012-11-26 20:37:20 +00002003
Chris Bienemanad070d02014-09-17 20:55:46 +00002004 // Optimize specific format strings.
2005 // printf("%c", chr) --> putchar(chr)
2006 if (FormatStr == "%c" && CI->getNumArgOperands() > 1 &&
Davide Italianod4f5a052016-04-03 01:46:52 +00002007 CI->getArgOperand(1)->getType()->isIntegerTy())
2008 return emitPutChar(CI->getArgOperand(1), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002009
2010 // printf("%s\n", str) --> puts(str)
2011 if (FormatStr == "%s\n" && CI->getNumArgOperands() > 1 &&
Davide Italianod4f5a052016-04-03 01:46:52 +00002012 CI->getArgOperand(1)->getType()->isPointerTy())
Sanjay Pateld3112a52016-01-19 19:46:10 +00002013 return emitPutS(CI->getArgOperand(1), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002014 return nullptr;
2015}
2016
2017Value *LibCallSimplifier::optimizePrintF(CallInst *CI, IRBuilder<> &B) {
2018
2019 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00002020 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +00002021 if (Value *V = optimizePrintFString(CI, B)) {
2022 return V;
2023 }
2024
2025 // printf(format, ...) -> iprintf(format, ...) if no floating point
2026 // arguments.
David L. Jonesd21529f2017-01-23 23:16:46 +00002027 if (TLI->has(LibFunc_iprintf) && !callHasFloatingPointArgument(CI)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002028 Module *M = B.GetInsertBlock()->getParent()->getParent();
2029 Constant *IPrintFFn =
Meador Inge08ca1152012-11-26 20:37:20 +00002030 M->getOrInsertFunction("iprintf", FT, Callee->getAttributes());
Chris Bienemanad070d02014-09-17 20:55:46 +00002031 CallInst *New = cast<CallInst>(CI->clone());
2032 New->setCalledFunction(IPrintFFn);
2033 B.Insert(New);
2034 return New;
Meador Inge08ca1152012-11-26 20:37:20 +00002035 }
Chris Bienemanad070d02014-09-17 20:55:46 +00002036 return nullptr;
2037}
Meador Inge08ca1152012-11-26 20:37:20 +00002038
Chris Bienemanad070d02014-09-17 20:55:46 +00002039Value *LibCallSimplifier::optimizeSPrintFString(CallInst *CI, IRBuilder<> &B) {
2040 // Check for a fixed format string.
2041 StringRef FormatStr;
2042 if (!getConstantStringInfo(CI->getArgOperand(1), FormatStr))
Craig Topperf40110f2014-04-25 05:29:35 +00002043 return nullptr;
Meador Inge25c9b3b2012-11-27 05:57:54 +00002044
Chris Bienemanad070d02014-09-17 20:55:46 +00002045 // If we just have a format string (nothing else crazy) transform it.
2046 if (CI->getNumArgOperands() == 2) {
2047 // Make sure there's no % in the constant array. We could try to handle
2048 // %% -> % in the future if we cared.
David Bolvansky5430b7372018-05-31 16:39:27 +00002049 if (FormatStr.find('%') != StringRef::npos)
2050 return nullptr; // we found a format specifier, bail out.
Hal Finkel66cd3f12013-11-17 02:06:35 +00002051
Daniel Neilson8acd8b02018-02-05 21:23:22 +00002052 // sprintf(str, fmt) -> llvm.memcpy(align 1 str, align 1 fmt, strlen(fmt)+1)
2053 B.CreateMemCpy(CI->getArgOperand(0), 1, CI->getArgOperand(1), 1,
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002054 ConstantInt::get(DL.getIntPtrType(CI->getContext()),
Daniel Neilson8acd8b02018-02-05 21:23:22 +00002055 FormatStr.size() + 1)); // Copy the null byte.
Chris Bienemanad070d02014-09-17 20:55:46 +00002056 return ConstantInt::get(CI->getType(), FormatStr.size());
Meador Ingef8e72502012-11-29 15:45:43 +00002057 }
Meador Ingef8e72502012-11-29 15:45:43 +00002058
Chris Bienemanad070d02014-09-17 20:55:46 +00002059 // The remaining optimizations require the format string to be "%s" or "%c"
2060 // and have an extra operand.
2061 if (FormatStr.size() != 2 || FormatStr[0] != '%' ||
2062 CI->getNumArgOperands() < 3)
Craig Topperf40110f2014-04-25 05:29:35 +00002063 return nullptr;
Meador Inge75798bb2012-11-29 19:15:17 +00002064
Chris Bienemanad070d02014-09-17 20:55:46 +00002065 // Decode the second character of the format string.
2066 if (FormatStr[1] == 'c') {
2067 // sprintf(dst, "%c", chr) --> *(i8*)dst = chr; *((i8*)dst+1) = 0
2068 if (!CI->getArgOperand(2)->getType()->isIntegerTy())
2069 return nullptr;
2070 Value *V = B.CreateTrunc(CI->getArgOperand(2), B.getInt8Ty(), "char");
Sanjay Pateld3112a52016-01-19 19:46:10 +00002071 Value *Ptr = castToCStr(CI->getArgOperand(0), B);
Chris Bienemanad070d02014-09-17 20:55:46 +00002072 B.CreateStore(V, Ptr);
David Blaikie3909da72015-03-30 20:42:56 +00002073 Ptr = B.CreateGEP(B.getInt8Ty(), Ptr, B.getInt32(1), "nul");
Chris Bienemanad070d02014-09-17 20:55:46 +00002074 B.CreateStore(B.getInt8(0), Ptr);
Meador Ingedf796f82012-10-13 16:45:24 +00002075
Chris Bienemanad070d02014-09-17 20:55:46 +00002076 return ConstantInt::get(CI->getType(), 1);
Meador Ingedf796f82012-10-13 16:45:24 +00002077 }
2078
Chris Bienemanad070d02014-09-17 20:55:46 +00002079 if (FormatStr[1] == 's') {
Chris Bienemanad070d02014-09-17 20:55:46 +00002080 // sprintf(dest, "%s", str) -> llvm.memcpy(dest, str, strlen(str)+1, 1)
2081 if (!CI->getArgOperand(2)->getType()->isPointerTy())
2082 return nullptr;
2083
Sanjay Pateld3112a52016-01-19 19:46:10 +00002084 Value *Len = emitStrLen(CI->getArgOperand(2), B, DL, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002085 if (!Len)
2086 return nullptr;
David Majnemerabb9f552016-04-26 21:04:47 +00002087 Value *IncLen =
2088 B.CreateAdd(Len, ConstantInt::get(Len->getType(), 1), "leninc");
Daniel Neilson8acd8b02018-02-05 21:23:22 +00002089 B.CreateMemCpy(CI->getArgOperand(0), 1, CI->getArgOperand(2), 1, IncLen);
Chris Bienemanad070d02014-09-17 20:55:46 +00002090
2091 // The sprintf result is the unincremented number of bytes in the string.
2092 return B.CreateIntCast(Len, CI->getType(), false);
2093 }
2094 return nullptr;
2095}
2096
2097Value *LibCallSimplifier::optimizeSPrintF(CallInst *CI, IRBuilder<> &B) {
2098 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00002099 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +00002100 if (Value *V = optimizeSPrintFString(CI, B)) {
2101 return V;
2102 }
2103
2104 // sprintf(str, format, ...) -> siprintf(str, format, ...) if no floating
2105 // point arguments.
David L. Jonesd21529f2017-01-23 23:16:46 +00002106 if (TLI->has(LibFunc_siprintf) && !callHasFloatingPointArgument(CI)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002107 Module *M = B.GetInsertBlock()->getParent()->getParent();
2108 Constant *SIPrintFFn =
2109 M->getOrInsertFunction("siprintf", FT, Callee->getAttributes());
2110 CallInst *New = cast<CallInst>(CI->clone());
2111 New->setCalledFunction(SIPrintFFn);
2112 B.Insert(New);
2113 return New;
2114 }
2115 return nullptr;
2116}
2117
David Bolvanskycd93c4e2018-05-11 17:50:49 +00002118Value *LibCallSimplifier::optimizeSnPrintFString(CallInst *CI, IRBuilder<> &B) {
2119 // Check for a fixed format string.
2120 StringRef FormatStr;
2121 if (!getConstantStringInfo(CI->getArgOperand(2), FormatStr))
2122 return nullptr;
2123
2124 // Check for size
2125 ConstantInt *Size = dyn_cast<ConstantInt>(CI->getArgOperand(1));
2126 if (!Size)
2127 return nullptr;
2128
2129 uint64_t N = Size->getZExtValue();
2130
2131 // If we just have a format string (nothing else crazy) transform it.
2132 if (CI->getNumArgOperands() == 3) {
2133 // Make sure there's no % in the constant array. We could try to handle
2134 // %% -> % in the future if we cared.
David Bolvansky5430b7372018-05-31 16:39:27 +00002135 if (FormatStr.find('%') != StringRef::npos)
2136 return nullptr; // we found a format specifier, bail out.
David Bolvanskycd93c4e2018-05-11 17:50:49 +00002137
2138 if (N == 0)
2139 return ConstantInt::get(CI->getType(), FormatStr.size());
2140 else if (N < FormatStr.size() + 1)
2141 return nullptr;
2142
2143 // sprintf(str, size, fmt) -> llvm.memcpy(align 1 str, align 1 fmt,
2144 // strlen(fmt)+1)
2145 B.CreateMemCpy(
2146 CI->getArgOperand(0), 1, CI->getArgOperand(2), 1,
2147 ConstantInt::get(DL.getIntPtrType(CI->getContext()),
2148 FormatStr.size() + 1)); // Copy the null byte.
2149 return ConstantInt::get(CI->getType(), FormatStr.size());
2150 }
2151
2152 // The remaining optimizations require the format string to be "%s" or "%c"
2153 // and have an extra operand.
2154 if (FormatStr.size() == 2 && FormatStr[0] == '%' &&
2155 CI->getNumArgOperands() == 4) {
2156
2157 // Decode the second character of the format string.
2158 if (FormatStr[1] == 'c') {
2159 if (N == 0)
2160 return ConstantInt::get(CI->getType(), 1);
2161 else if (N == 1)
2162 return nullptr;
2163
2164 // snprintf(dst, size, "%c", chr) --> *(i8*)dst = chr; *((i8*)dst+1) = 0
2165 if (!CI->getArgOperand(3)->getType()->isIntegerTy())
2166 return nullptr;
2167 Value *V = B.CreateTrunc(CI->getArgOperand(3), B.getInt8Ty(), "char");
2168 Value *Ptr = castToCStr(CI->getArgOperand(0), B);
2169 B.CreateStore(V, Ptr);
2170 Ptr = B.CreateGEP(B.getInt8Ty(), Ptr, B.getInt32(1), "nul");
2171 B.CreateStore(B.getInt8(0), Ptr);
2172
2173 return ConstantInt::get(CI->getType(), 1);
2174 }
2175
2176 if (FormatStr[1] == 's') {
2177 // snprintf(dest, size, "%s", str) to llvm.memcpy(dest, str, len+1, 1)
2178 StringRef Str;
2179 if (!getConstantStringInfo(CI->getArgOperand(3), Str))
2180 return nullptr;
2181
2182 if (N == 0)
2183 return ConstantInt::get(CI->getType(), Str.size());
2184 else if (N < Str.size() + 1)
2185 return nullptr;
2186
2187 B.CreateMemCpy(CI->getArgOperand(0), 1, CI->getArgOperand(3), 1,
2188 ConstantInt::get(CI->getType(), Str.size() + 1));
2189
2190 // The snprintf result is the unincremented number of bytes in the string.
2191 return ConstantInt::get(CI->getType(), Str.size());
2192 }
2193 }
2194 return nullptr;
2195}
2196
2197Value *LibCallSimplifier::optimizeSnPrintF(CallInst *CI, IRBuilder<> &B) {
2198 if (Value *V = optimizeSnPrintFString(CI, B)) {
2199 return V;
2200 }
2201
2202 return nullptr;
2203}
2204
Chris Bienemanad070d02014-09-17 20:55:46 +00002205Value *LibCallSimplifier::optimizeFPrintFString(CallInst *CI, IRBuilder<> &B) {
2206 optimizeErrorReporting(CI, B, 0);
2207
2208 // All the optimizations depend on the format string.
2209 StringRef FormatStr;
2210 if (!getConstantStringInfo(CI->getArgOperand(1), FormatStr))
2211 return nullptr;
2212
2213 // Do not do any of the following transformations if the fprintf return
2214 // value is used, in general the fprintf return value is not compatible
2215 // with fwrite(), fputc() or fputs().
2216 if (!CI->use_empty())
2217 return nullptr;
2218
2219 // fprintf(F, "foo") --> fwrite("foo", 3, 1, F)
2220 if (CI->getNumArgOperands() == 2) {
David Bolvansky5430b7372018-05-31 16:39:27 +00002221 // Could handle %% -> % if we cared.
2222 if (FormatStr.find('%') != StringRef::npos)
2223 return nullptr; // We found a format specifier.
Chris Bienemanad070d02014-09-17 20:55:46 +00002224
Sanjay Pateld3112a52016-01-19 19:46:10 +00002225 return emitFWrite(
Chris Bienemanad070d02014-09-17 20:55:46 +00002226 CI->getArgOperand(1),
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002227 ConstantInt::get(DL.getIntPtrType(CI->getContext()), FormatStr.size()),
Chris Bienemanad070d02014-09-17 20:55:46 +00002228 CI->getArgOperand(0), B, DL, TLI);
2229 }
2230
2231 // The remaining optimizations require the format string to be "%s" or "%c"
2232 // and have an extra operand.
2233 if (FormatStr.size() != 2 || FormatStr[0] != '%' ||
2234 CI->getNumArgOperands() < 3)
2235 return nullptr;
2236
2237 // Decode the second character of the format string.
2238 if (FormatStr[1] == 'c') {
2239 // fprintf(F, "%c", chr) --> fputc(chr, F)
2240 if (!CI->getArgOperand(2)->getType()->isIntegerTy())
2241 return nullptr;
Sanjay Pateld3112a52016-01-19 19:46:10 +00002242 return emitFPutC(CI->getArgOperand(2), CI->getArgOperand(0), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002243 }
2244
2245 if (FormatStr[1] == 's') {
2246 // fprintf(F, "%s", str) --> fputs(str, F)
2247 if (!CI->getArgOperand(2)->getType()->isPointerTy())
2248 return nullptr;
Sanjay Pateld3112a52016-01-19 19:46:10 +00002249 return emitFPutS(CI->getArgOperand(2), CI->getArgOperand(0), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002250 }
2251 return nullptr;
2252}
2253
2254Value *LibCallSimplifier::optimizeFPrintF(CallInst *CI, IRBuilder<> &B) {
2255 Function *Callee = CI->getCalledFunction();
Chris Bienemanad070d02014-09-17 20:55:46 +00002256 FunctionType *FT = Callee->getFunctionType();
Chris Bienemanad070d02014-09-17 20:55:46 +00002257 if (Value *V = optimizeFPrintFString(CI, B)) {
2258 return V;
2259 }
2260
2261 // fprintf(stream, format, ...) -> fiprintf(stream, format, ...) if no
2262 // floating point arguments.
David L. Jonesd21529f2017-01-23 23:16:46 +00002263 if (TLI->has(LibFunc_fiprintf) && !callHasFloatingPointArgument(CI)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002264 Module *M = B.GetInsertBlock()->getParent()->getParent();
2265 Constant *FIPrintFFn =
2266 M->getOrInsertFunction("fiprintf", FT, Callee->getAttributes());
2267 CallInst *New = cast<CallInst>(CI->clone());
2268 New->setCalledFunction(FIPrintFFn);
2269 B.Insert(New);
2270 return New;
2271 }
2272 return nullptr;
2273}
2274
2275Value *LibCallSimplifier::optimizeFWrite(CallInst *CI, IRBuilder<> &B) {
2276 optimizeErrorReporting(CI, B, 3);
2277
Chris Bienemanad070d02014-09-17 20:55:46 +00002278 // Get the element size and count.
2279 ConstantInt *SizeC = dyn_cast<ConstantInt>(CI->getArgOperand(1));
2280 ConstantInt *CountC = dyn_cast<ConstantInt>(CI->getArgOperand(2));
David Bolvanskyca22d422018-05-16 11:39:52 +00002281 if (SizeC && CountC) {
2282 uint64_t Bytes = SizeC->getZExtValue() * CountC->getZExtValue();
Chris Bienemanad070d02014-09-17 20:55:46 +00002283
David Bolvanskyca22d422018-05-16 11:39:52 +00002284 // If this is writing zero records, remove the call (it's a noop).
2285 if (Bytes == 0)
2286 return ConstantInt::get(CI->getType(), 0);
Chris Bienemanad070d02014-09-17 20:55:46 +00002287
David Bolvanskyca22d422018-05-16 11:39:52 +00002288 // If this is writing one byte, turn it into fputc.
2289 // This optimisation is only valid, if the return value is unused.
2290 if (Bytes == 1 && CI->use_empty()) { // fwrite(S,1,1,F) -> fputc(S[0],F)
2291 Value *Char = B.CreateLoad(castToCStr(CI->getArgOperand(0), B), "char");
2292 Value *NewCI = emitFPutC(Char, CI->getArgOperand(3), B, TLI);
2293 return NewCI ? ConstantInt::get(CI->getType(), 1) : nullptr;
2294 }
Chris Bienemanad070d02014-09-17 20:55:46 +00002295 }
2296
David Bolvanskyca22d422018-05-16 11:39:52 +00002297 if (isLocallyOpenedFile(CI->getArgOperand(3), CI, B, TLI))
2298 return emitFWriteUnlocked(CI->getArgOperand(0), CI->getArgOperand(1),
2299 CI->getArgOperand(2), CI->getArgOperand(3), B, DL,
2300 TLI);
2301
Chris Bienemanad070d02014-09-17 20:55:46 +00002302 return nullptr;
2303}
2304
2305Value *LibCallSimplifier::optimizeFPuts(CallInst *CI, IRBuilder<> &B) {
2306 optimizeErrorReporting(CI, B, 1);
2307
Sjoerd Meijer7435a912016-07-07 14:31:19 +00002308 // Don't rewrite fputs to fwrite when optimising for size because fwrite
2309 // requires more arguments and thus extra MOVs are required.
David Bolvansky5430b7372018-05-31 16:39:27 +00002310 if (CI->getFunction()->optForSize())
Sjoerd Meijer7435a912016-07-07 14:31:19 +00002311 return nullptr;
2312
David Bolvanskyca22d422018-05-16 11:39:52 +00002313 // Check if has any use
2314 if (!CI->use_empty()) {
2315 if (isLocallyOpenedFile(CI->getArgOperand(1), CI, B, TLI))
2316 return emitFPutSUnlocked(CI->getArgOperand(0), CI->getArgOperand(1), B,
2317 TLI);
2318 else
2319 // We can't optimize if return value is used.
2320 return nullptr;
2321 }
Chris Bienemanad070d02014-09-17 20:55:46 +00002322
2323 // fputs(s,F) --> fwrite(s,1,strlen(s),F)
David Bolvansky1f343fa2018-05-22 20:27:36 +00002324 uint64_t Len = GetStringLength(CI->getArgOperand(0));
Chris Bienemanad070d02014-09-17 20:55:46 +00002325 if (!Len)
2326 return nullptr;
2327
2328 // Known to have no uses (see above).
Sanjay Pateld3112a52016-01-19 19:46:10 +00002329 return emitFWrite(
Chris Bienemanad070d02014-09-17 20:55:46 +00002330 CI->getArgOperand(0),
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002331 ConstantInt::get(DL.getIntPtrType(CI->getContext()), Len - 1),
Chris Bienemanad070d02014-09-17 20:55:46 +00002332 CI->getArgOperand(1), B, DL, TLI);
2333}
2334
David Bolvanskyca22d422018-05-16 11:39:52 +00002335Value *LibCallSimplifier::optimizeFPutc(CallInst *CI, IRBuilder<> &B) {
2336 optimizeErrorReporting(CI, B, 1);
2337
2338 if (isLocallyOpenedFile(CI->getArgOperand(1), CI, B, TLI))
2339 return emitFPutCUnlocked(CI->getArgOperand(0), CI->getArgOperand(1), B,
2340 TLI);
2341
2342 return nullptr;
2343}
2344
2345Value *LibCallSimplifier::optimizeFGetc(CallInst *CI, IRBuilder<> &B) {
2346 if (isLocallyOpenedFile(CI->getArgOperand(0), CI, B, TLI))
2347 return emitFGetCUnlocked(CI->getArgOperand(0), B, TLI);
2348
2349 return nullptr;
2350}
2351
2352Value *LibCallSimplifier::optimizeFGets(CallInst *CI, IRBuilder<> &B) {
2353 if (isLocallyOpenedFile(CI->getArgOperand(2), CI, B, TLI))
2354 return emitFGetSUnlocked(CI->getArgOperand(0), CI->getArgOperand(1),
2355 CI->getArgOperand(2), B, TLI);
2356
2357 return nullptr;
2358}
2359
2360Value *LibCallSimplifier::optimizeFRead(CallInst *CI, IRBuilder<> &B) {
2361 if (isLocallyOpenedFile(CI->getArgOperand(3), CI, B, TLI))
2362 return emitFReadUnlocked(CI->getArgOperand(0), CI->getArgOperand(1),
2363 CI->getArgOperand(2), CI->getArgOperand(3), B, DL,
2364 TLI);
2365
2366 return nullptr;
2367}
2368
Chris Bienemanad070d02014-09-17 20:55:46 +00002369Value *LibCallSimplifier::optimizePuts(CallInst *CI, IRBuilder<> &B) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002370 // Check for a constant string.
2371 StringRef Str;
2372 if (!getConstantStringInfo(CI->getArgOperand(0), Str))
2373 return nullptr;
2374
2375 if (Str.empty() && CI->use_empty()) {
2376 // puts("") -> putchar('\n')
Sanjay Pateld3112a52016-01-19 19:46:10 +00002377 Value *Res = emitPutChar(B.getInt32('\n'), B, TLI);
Chris Bienemanad070d02014-09-17 20:55:46 +00002378 if (CI->use_empty() || !Res)
2379 return Res;
2380 return B.CreateIntCast(Res, CI->getType(), true);
2381 }
2382
2383 return nullptr;
2384}
2385
2386bool LibCallSimplifier::hasFloatVersion(StringRef FuncName) {
David L. Jonesd21529f2017-01-23 23:16:46 +00002387 LibFunc Func;
Meador Inge20255ef2013-03-12 00:08:29 +00002388 SmallString<20> FloatFuncName = FuncName;
2389 FloatFuncName += 'f';
2390 if (TLI->getLibFunc(FloatFuncName, Func))
2391 return TLI->has(Func);
2392 return false;
2393}
Meador Inge7fb2f732012-10-13 16:45:32 +00002394
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002395Value *LibCallSimplifier::optimizeStringMemoryLibCall(CallInst *CI,
2396 IRBuilder<> &Builder) {
David L. Jonesd21529f2017-01-23 23:16:46 +00002397 LibFunc Func;
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002398 Function *Callee = CI->getCalledFunction();
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002399 // Check for string/memory library functions.
Ahmed Bougachad765a822016-04-27 19:04:35 +00002400 if (TLI->getLibFunc(*Callee, Func) && TLI->has(Func)) {
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002401 // Make sure we never change the calling convention.
2402 assert((ignoreCallingConv(Func) ||
Sam Parker214f7bf2016-09-13 12:10:14 +00002403 isCallingConvCCompatible(CI)) &&
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002404 "Optimizing string/memory libcall would change the calling convention");
2405 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +00002406 case LibFunc_strcat:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002407 return optimizeStrCat(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002408 case LibFunc_strncat:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002409 return optimizeStrNCat(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002410 case LibFunc_strchr:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002411 return optimizeStrChr(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002412 case LibFunc_strrchr:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002413 return optimizeStrRChr(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002414 case LibFunc_strcmp:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002415 return optimizeStrCmp(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002416 case LibFunc_strncmp:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002417 return optimizeStrNCmp(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002418 case LibFunc_strcpy:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002419 return optimizeStrCpy(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002420 case LibFunc_stpcpy:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002421 return optimizeStpCpy(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002422 case LibFunc_strncpy:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002423 return optimizeStrNCpy(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002424 case LibFunc_strlen:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002425 return optimizeStrLen(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002426 case LibFunc_strpbrk:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002427 return optimizeStrPBrk(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002428 case LibFunc_strtol:
2429 case LibFunc_strtod:
2430 case LibFunc_strtof:
2431 case LibFunc_strtoul:
2432 case LibFunc_strtoll:
2433 case LibFunc_strtold:
2434 case LibFunc_strtoull:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002435 return optimizeStrTo(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002436 case LibFunc_strspn:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002437 return optimizeStrSpn(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002438 case LibFunc_strcspn:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002439 return optimizeStrCSpn(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002440 case LibFunc_strstr:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002441 return optimizeStrStr(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002442 case LibFunc_memchr:
Benjamin Kramer691363e2015-03-21 15:36:21 +00002443 return optimizeMemChr(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002444 case LibFunc_memcmp:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002445 return optimizeMemCmp(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002446 case LibFunc_memcpy:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002447 return optimizeMemCpy(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002448 case LibFunc_memmove:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002449 return optimizeMemMove(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002450 case LibFunc_memset:
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002451 return optimizeMemSet(CI, Builder);
Sanjay Patelb2ab3f22018-04-18 14:21:31 +00002452 case LibFunc_realloc:
2453 return optimizeRealloc(CI, Builder);
Matthias Braun50ec0b52017-05-19 22:37:09 +00002454 case LibFunc_wcslen:
2455 return optimizeWcslen(CI, Builder);
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002456 default:
2457 break;
2458 }
2459 }
2460 return nullptr;
2461}
2462
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002463Value *LibCallSimplifier::optimizeFloatingPointLibCall(CallInst *CI,
2464 LibFunc Func,
2465 IRBuilder<> &Builder) {
2466 // Don't optimize calls that require strict floating point semantics.
2467 if (CI->isStrictFP())
2468 return nullptr;
2469
Sanjay Patele45a83d2018-08-13 19:24:41 +00002470 if (Value *V = optimizeTrigReflections(CI, Func, Builder))
2471 return V;
2472
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002473 switch (Func) {
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002474 case LibFunc_sinpif:
2475 case LibFunc_sinpi:
2476 case LibFunc_cospif:
2477 case LibFunc_cospi:
2478 return optimizeSinCosPi(CI, Builder);
2479 case LibFunc_powf:
2480 case LibFunc_pow:
2481 case LibFunc_powl:
2482 return optimizePow(CI, Builder);
2483 case LibFunc_exp2l:
2484 case LibFunc_exp2:
2485 case LibFunc_exp2f:
2486 return optimizeExp2(CI, Builder);
2487 case LibFunc_fabsf:
2488 case LibFunc_fabs:
2489 case LibFunc_fabsl:
2490 return replaceUnaryCall(CI, Builder, Intrinsic::fabs);
2491 case LibFunc_sqrtf:
2492 case LibFunc_sqrt:
2493 case LibFunc_sqrtl:
2494 return optimizeSqrt(CI, Builder);
2495 case LibFunc_log:
2496 case LibFunc_log10:
2497 case LibFunc_log1p:
2498 case LibFunc_log2:
2499 case LibFunc_logb:
2500 return optimizeLog(CI, Builder);
2501 case LibFunc_tan:
2502 case LibFunc_tanf:
2503 case LibFunc_tanl:
2504 return optimizeTan(CI, Builder);
2505 case LibFunc_ceil:
2506 return replaceUnaryCall(CI, Builder, Intrinsic::ceil);
2507 case LibFunc_floor:
2508 return replaceUnaryCall(CI, Builder, Intrinsic::floor);
2509 case LibFunc_round:
2510 return replaceUnaryCall(CI, Builder, Intrinsic::round);
2511 case LibFunc_nearbyint:
2512 return replaceUnaryCall(CI, Builder, Intrinsic::nearbyint);
2513 case LibFunc_rint:
2514 return replaceUnaryCall(CI, Builder, Intrinsic::rint);
2515 case LibFunc_trunc:
2516 return replaceUnaryCall(CI, Builder, Intrinsic::trunc);
2517 case LibFunc_acos:
2518 case LibFunc_acosh:
2519 case LibFunc_asin:
2520 case LibFunc_asinh:
2521 case LibFunc_atan:
2522 case LibFunc_atanh:
2523 case LibFunc_cbrt:
2524 case LibFunc_cosh:
2525 case LibFunc_exp:
2526 case LibFunc_exp10:
2527 case LibFunc_expm1:
Sanjay Patele45a83d2018-08-13 19:24:41 +00002528 case LibFunc_cos:
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002529 case LibFunc_sin:
2530 case LibFunc_sinh:
2531 case LibFunc_tanh:
2532 if (UnsafeFPShrink && hasFloatVersion(CI->getCalledFunction()->getName()))
2533 return optimizeUnaryDoubleFP(CI, Builder, true);
2534 return nullptr;
2535 case LibFunc_copysign:
2536 if (hasFloatVersion(CI->getCalledFunction()->getName()))
2537 return optimizeBinaryDoubleFP(CI, Builder);
2538 return nullptr;
2539 case LibFunc_fminf:
2540 case LibFunc_fmin:
2541 case LibFunc_fminl:
2542 case LibFunc_fmaxf:
2543 case LibFunc_fmax:
2544 case LibFunc_fmaxl:
2545 return optimizeFMinFMax(CI, Builder);
Hal Finkel2ff24732017-12-16 01:26:25 +00002546 case LibFunc_cabs:
2547 case LibFunc_cabsf:
2548 case LibFunc_cabsl:
2549 return optimizeCAbs(CI, Builder);
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002550 default:
2551 return nullptr;
2552 }
2553}
2554
Chris Bienemanad070d02014-09-17 20:55:46 +00002555Value *LibCallSimplifier::optimizeCall(CallInst *CI) {
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002556 // TODO: Split out the code below that operates on FP calls so that
2557 // we can all non-FP calls with the StrictFP attribute to be
2558 // optimized.
Chris Bienemanad070d02014-09-17 20:55:46 +00002559 if (CI->isNoBuiltin())
2560 return nullptr;
Meador Inge4d2827c2012-11-11 05:11:20 +00002561
David L. Jonesd21529f2017-01-23 23:16:46 +00002562 LibFunc Func;
Meador Inge20255ef2013-03-12 00:08:29 +00002563 Function *Callee = CI->getCalledFunction();
David Majnemerb70e23c2016-01-06 05:01:34 +00002564
2565 SmallVector<OperandBundleDef, 2> OpBundles;
2566 CI->getOperandBundlesAsDefs(OpBundles);
2567 IRBuilder<> Builder(CI, /*FPMathTag=*/nullptr, OpBundles);
Sam Parker214f7bf2016-09-13 12:10:14 +00002568 bool isCallingConvC = isCallingConvCCompatible(CI);
Meador Inge20255ef2013-03-12 00:08:29 +00002569
Sanjay Pateld1f4f032016-01-19 18:38:52 +00002570 // Command-line parameter overrides instruction attribute.
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002571 // This can't be moved to optimizeFloatingPointLibCall() because it may be
Sanjay Patel629c4112017-11-06 16:27:15 +00002572 // used by the intrinsic optimizations.
Sanjay Patela92fa442014-10-22 15:29:23 +00002573 if (EnableUnsafeFPShrink.getNumOccurrences() > 0)
2574 UnsafeFPShrink = EnableUnsafeFPShrink;
Sanjay Patel629c4112017-11-06 16:27:15 +00002575 else if (isa<FPMathOperator>(CI) && CI->isFast())
Davide Italianoa904e522015-10-29 02:58:44 +00002576 UnsafeFPShrink = true;
Sanjay Patela92fa442014-10-22 15:29:23 +00002577
Sanjay Patel848309d2014-10-23 21:52:45 +00002578 // First, check for intrinsics.
Meador Inge20255ef2013-03-12 00:08:29 +00002579 if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CI)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002580 if (!isCallingConvC)
2581 return nullptr;
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002582 // The FP intrinsics have corresponding constrained versions so we don't
2583 // need to check for the StrictFP attribute here.
Meador Inge20255ef2013-03-12 00:08:29 +00002584 switch (II->getIntrinsicID()) {
2585 case Intrinsic::pow:
Chris Bienemanad070d02014-09-17 20:55:46 +00002586 return optimizePow(CI, Builder);
Meador Inge20255ef2013-03-12 00:08:29 +00002587 case Intrinsic::exp2:
Chris Bienemanad070d02014-09-17 20:55:46 +00002588 return optimizeExp2(CI, Builder);
Davide Italianob8b71332015-11-29 20:58:04 +00002589 case Intrinsic::log:
2590 return optimizeLog(CI, Builder);
Sanjay Patelc699a612014-10-16 18:48:17 +00002591 case Intrinsic::sqrt:
2592 return optimizeSqrt(CI, Builder);
Sanjay Patel980b2802016-01-26 16:17:24 +00002593 // TODO: Use foldMallocMemset() with memset intrinsic.
Meador Inge20255ef2013-03-12 00:08:29 +00002594 default:
Chris Bienemanad070d02014-09-17 20:55:46 +00002595 return nullptr;
Meador Inge20255ef2013-03-12 00:08:29 +00002596 }
2597 }
2598
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002599 // Also try to simplify calls to fortified library functions.
2600 if (Value *SimplifiedFortifiedCI = FortifiedSimplifier.optimizeCall(CI)) {
2601 // Try to further simplify the result.
Ahmed Bougacha71d7b182015-01-14 00:55:05 +00002602 CallInst *SimplifiedCI = dyn_cast<CallInst>(SimplifiedFortifiedCI);
Bruno Cardoso Lopesb491a2d2015-10-01 22:43:53 +00002603 if (SimplifiedCI && SimplifiedCI->getCalledFunction()) {
2604 // Use an IR Builder from SimplifiedCI if available instead of CI
2605 // to guarantee we reach all uses we might replace later on.
2606 IRBuilder<> TmpBuilder(SimplifiedCI);
2607 if (Value *V = optimizeStringMemoryLibCall(SimplifiedCI, TmpBuilder)) {
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002608 // If we were able to further simplify, remove the now redundant call.
2609 SimplifiedCI->replaceAllUsesWith(V);
Amara Emerson54f60252018-10-11 14:51:11 +00002610 eraseFromParent(SimplifiedCI);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002611 return V;
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002612 }
Bruno Cardoso Lopesb491a2d2015-10-01 22:43:53 +00002613 }
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002614 return SimplifiedFortifiedCI;
2615 }
2616
Meador Inge20255ef2013-03-12 00:08:29 +00002617 // Then check for known library functions.
Ahmed Bougachad765a822016-04-27 19:04:35 +00002618 if (TLI->getLibFunc(*Callee, Func) && TLI->has(Func)) {
Chris Bienemanad070d02014-09-17 20:55:46 +00002619 // We never change the calling convention.
2620 if (!ignoreCallingConv(Func) && !isCallingConvC)
2621 return nullptr;
Ahmed Bougacha6722f5e2015-01-12 17:20:06 +00002622 if (Value *V = optimizeStringMemoryLibCall(CI, Builder))
2623 return V;
Andrew Kaylor53a5fbb2017-08-14 21:15:13 +00002624 if (Value *V = optimizeFloatingPointLibCall(CI, Func, Builder))
2625 return V;
Meador Inge20255ef2013-03-12 00:08:29 +00002626 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +00002627 case LibFunc_ffs:
2628 case LibFunc_ffsl:
2629 case LibFunc_ffsll:
Chris Bienemanad070d02014-09-17 20:55:46 +00002630 return optimizeFFS(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002631 case LibFunc_fls:
2632 case LibFunc_flsl:
2633 case LibFunc_flsll:
Davide Italiano85ad36b2016-12-15 23:45:11 +00002634 return optimizeFls(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002635 case LibFunc_abs:
2636 case LibFunc_labs:
2637 case LibFunc_llabs:
Chris Bienemanad070d02014-09-17 20:55:46 +00002638 return optimizeAbs(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002639 case LibFunc_isdigit:
Chris Bienemanad070d02014-09-17 20:55:46 +00002640 return optimizeIsDigit(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002641 case LibFunc_isascii:
Chris Bienemanad070d02014-09-17 20:55:46 +00002642 return optimizeIsAscii(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002643 case LibFunc_toascii:
Chris Bienemanad070d02014-09-17 20:55:46 +00002644 return optimizeToAscii(CI, Builder);
David Bolvanskycb8ca5f32018-04-25 18:58:53 +00002645 case LibFunc_atoi:
2646 case LibFunc_atol:
2647 case LibFunc_atoll:
2648 return optimizeAtoi(CI, Builder);
2649 case LibFunc_strtol:
2650 case LibFunc_strtoll:
2651 return optimizeStrtol(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002652 case LibFunc_printf:
Chris Bienemanad070d02014-09-17 20:55:46 +00002653 return optimizePrintF(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002654 case LibFunc_sprintf:
Chris Bienemanad070d02014-09-17 20:55:46 +00002655 return optimizeSPrintF(CI, Builder);
David Bolvanskycd93c4e2018-05-11 17:50:49 +00002656 case LibFunc_snprintf:
2657 return optimizeSnPrintF(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002658 case LibFunc_fprintf:
Chris Bienemanad070d02014-09-17 20:55:46 +00002659 return optimizeFPrintF(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002660 case LibFunc_fwrite:
Chris Bienemanad070d02014-09-17 20:55:46 +00002661 return optimizeFWrite(CI, Builder);
David Bolvanskyca22d422018-05-16 11:39:52 +00002662 case LibFunc_fread:
2663 return optimizeFRead(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002664 case LibFunc_fputs:
Chris Bienemanad070d02014-09-17 20:55:46 +00002665 return optimizeFPuts(CI, Builder);
David Bolvanskyca22d422018-05-16 11:39:52 +00002666 case LibFunc_fgets:
2667 return optimizeFGets(CI, Builder);
2668 case LibFunc_fputc:
2669 return optimizeFPutc(CI, Builder);
2670 case LibFunc_fgetc:
2671 return optimizeFGetc(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002672 case LibFunc_puts:
Chris Bienemanad070d02014-09-17 20:55:46 +00002673 return optimizePuts(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002674 case LibFunc_perror:
Chris Bienemanad070d02014-09-17 20:55:46 +00002675 return optimizeErrorReporting(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002676 case LibFunc_vfprintf:
2677 case LibFunc_fiprintf:
Chris Bienemanad070d02014-09-17 20:55:46 +00002678 return optimizeErrorReporting(CI, Builder, 0);
Chris Bienemanad070d02014-09-17 20:55:46 +00002679 default:
2680 return nullptr;
2681 }
Meador Inge20255ef2013-03-12 00:08:29 +00002682 }
Craig Topperf40110f2014-04-25 05:29:35 +00002683 return nullptr;
Meador Ingedf796f82012-10-13 16:45:24 +00002684}
2685
Chandler Carruth92803822015-01-21 02:11:59 +00002686LibCallSimplifier::LibCallSimplifier(
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002687 const DataLayout &DL, const TargetLibraryInfo *TLI,
Adam Nemetea06e6e2017-07-26 19:03:18 +00002688 OptimizationRemarkEmitter &ORE,
Amara Emerson54f60252018-10-11 14:51:11 +00002689 function_ref<void(Instruction *, Value *)> Replacer,
2690 function_ref<void(Instruction *)> Eraser)
Adam Nemetea06e6e2017-07-26 19:03:18 +00002691 : FortifiedSimplifier(TLI), DL(DL), TLI(TLI), ORE(ORE),
Amara Emerson54f60252018-10-11 14:51:11 +00002692 UnsafeFPShrink(false), Replacer(Replacer), Eraser(Eraser) {}
Chandler Carruth92803822015-01-21 02:11:59 +00002693
2694void LibCallSimplifier::replaceAllUsesWith(Instruction *I, Value *With) {
2695 // Indirect through the replacer used in this instance.
2696 Replacer(I, With);
Meador Ingedf796f82012-10-13 16:45:24 +00002697}
2698
Amara Emerson54f60252018-10-11 14:51:11 +00002699void LibCallSimplifier::eraseFromParent(Instruction *I) {
2700 Eraser(I);
2701}
2702
Meador Ingedfb08a22013-06-20 19:48:07 +00002703// TODO:
2704// Additional cases that we need to add to this file:
2705//
2706// cbrt:
2707// * cbrt(expN(X)) -> expN(x/3)
2708// * cbrt(sqrt(x)) -> pow(x,1/6)
David Majnemer3354fe42015-08-26 18:30:16 +00002709// * cbrt(cbrt(x)) -> pow(x,1/9)
Meador Ingedfb08a22013-06-20 19:48:07 +00002710//
2711// exp, expf, expl:
2712// * exp(log(x)) -> x
2713//
2714// log, logf, logl:
2715// * log(exp(x)) -> x
Meador Ingedfb08a22013-06-20 19:48:07 +00002716// * log(exp(y)) -> y*log(e)
Meador Ingedfb08a22013-06-20 19:48:07 +00002717// * log(exp10(y)) -> y*log(10)
2718// * log(sqrt(x)) -> 0.5*log(x)
Meador Ingedfb08a22013-06-20 19:48:07 +00002719//
Meador Ingedfb08a22013-06-20 19:48:07 +00002720// pow, powf, powl:
Meador Ingedfb08a22013-06-20 19:48:07 +00002721// * pow(sqrt(x),y) -> pow(x,y*0.5)
2722// * pow(pow(x,y),z)-> pow(x,y*z)
2723//
Meador Ingedfb08a22013-06-20 19:48:07 +00002724// signbit:
2725// * signbit(cnst) -> cnst'
2726// * signbit(nncst) -> 0 (if pstv is a non-negative constant)
2727//
2728// sqrt, sqrtf, sqrtl:
2729// * sqrt(expN(x)) -> expN(x*0.5)
2730// * sqrt(Nroot(x)) -> pow(x,1/(2*N))
2731// * sqrt(pow(x,y)) -> pow(|x|,y*0.5)
2732//
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002733
2734//===----------------------------------------------------------------------===//
2735// Fortified Library Call Optimizations
2736//===----------------------------------------------------------------------===//
2737
2738bool FortifiedLibCallSimplifier::isFortifiedCallFoldable(CallInst *CI,
2739 unsigned ObjSizeOp,
2740 unsigned SizeOp,
2741 bool isString) {
2742 if (CI->getArgOperand(ObjSizeOp) == CI->getArgOperand(SizeOp))
2743 return true;
2744 if (ConstantInt *ObjSizeCI =
2745 dyn_cast<ConstantInt>(CI->getArgOperand(ObjSizeOp))) {
Craig Topper79ab6432017-07-06 18:39:47 +00002746 if (ObjSizeCI->isMinusOne())
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002747 return true;
2748 // If the object size wasn't -1 (unknown), bail out if we were asked to.
2749 if (OnlyLowerUnknownSize)
2750 return false;
2751 if (isString) {
David Bolvansky1f343fa2018-05-22 20:27:36 +00002752 uint64_t Len = GetStringLength(CI->getArgOperand(SizeOp));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002753 // If the length is 0 we don't know how long it is and so we can't
2754 // remove the check.
2755 if (Len == 0)
2756 return false;
2757 return ObjSizeCI->getZExtValue() >= Len;
2758 }
2759 if (ConstantInt *SizeCI = dyn_cast<ConstantInt>(CI->getArgOperand(SizeOp)))
2760 return ObjSizeCI->getZExtValue() >= SizeCI->getZExtValue();
2761 }
2762 return false;
2763}
2764
Sanjay Pateld707db92015-12-31 16:10:49 +00002765Value *FortifiedLibCallSimplifier::optimizeMemCpyChk(CallInst *CI,
2766 IRBuilder<> &B) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002767 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
Daniel Neilson8acd8b02018-02-05 21:23:22 +00002768 B.CreateMemCpy(CI->getArgOperand(0), 1, CI->getArgOperand(1), 1,
2769 CI->getArgOperand(2));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002770 return CI->getArgOperand(0);
2771 }
2772 return nullptr;
2773}
2774
Sanjay Pateld707db92015-12-31 16:10:49 +00002775Value *FortifiedLibCallSimplifier::optimizeMemMoveChk(CallInst *CI,
2776 IRBuilder<> &B) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002777 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
Daniel Neilson8acd8b02018-02-05 21:23:22 +00002778 B.CreateMemMove(CI->getArgOperand(0), 1, CI->getArgOperand(1), 1,
2779 CI->getArgOperand(2));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002780 return CI->getArgOperand(0);
2781 }
2782 return nullptr;
2783}
2784
Sanjay Pateld707db92015-12-31 16:10:49 +00002785Value *FortifiedLibCallSimplifier::optimizeMemSetChk(CallInst *CI,
2786 IRBuilder<> &B) {
Sanjay Patel980b2802016-01-26 16:17:24 +00002787 // TODO: Try foldMallocMemset() here.
2788
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002789 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
2790 Value *Val = B.CreateIntCast(CI->getArgOperand(1), B.getInt8Ty(), false);
2791 B.CreateMemSet(CI->getArgOperand(0), Val, CI->getArgOperand(2), 1);
2792 return CI->getArgOperand(0);
2793 }
2794 return nullptr;
2795}
2796
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002797Value *FortifiedLibCallSimplifier::optimizeStrpCpyChk(CallInst *CI,
2798 IRBuilder<> &B,
David L. Jonesd21529f2017-01-23 23:16:46 +00002799 LibFunc Func) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002800 Function *Callee = CI->getCalledFunction();
2801 StringRef Name = Callee->getName();
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002802 const DataLayout &DL = CI->getModule()->getDataLayout();
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002803 Value *Dst = CI->getArgOperand(0), *Src = CI->getArgOperand(1),
2804 *ObjSize = CI->getArgOperand(2);
2805
2806 // __stpcpy_chk(x,x,...) -> x+strlen(x)
David L. Jonesd21529f2017-01-23 23:16:46 +00002807 if (Func == LibFunc_stpcpy_chk && !OnlyLowerUnknownSize && Dst == Src) {
Sanjay Pateld3112a52016-01-19 19:46:10 +00002808 Value *StrLen = emitStrLen(Src, B, DL, TLI);
David Blaikieaa41cd52015-04-03 21:33:42 +00002809 return StrLen ? B.CreateInBoundsGEP(B.getInt8Ty(), Dst, StrLen) : nullptr;
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002810 }
2811
2812 // If a) we don't have any length information, or b) we know this will
2813 // fit then just lower to a plain st[rp]cpy. Otherwise we'll keep our
2814 // st[rp]cpy_chk call which may fail at runtime if the size is too long.
2815 // TODO: It might be nice to get a maximum length out of the possible
2816 // string lengths for varying.
David Blaikie65fab6d2015-04-03 21:32:06 +00002817 if (isFortifiedCallFoldable(CI, 2, 1, true))
Sanjay Pateld3112a52016-01-19 19:46:10 +00002818 return emitStrCpy(Dst, Src, B, TLI, Name.substr(2, 6));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002819
David Blaikie65fab6d2015-04-03 21:32:06 +00002820 if (OnlyLowerUnknownSize)
2821 return nullptr;
2822
2823 // Maybe we can stil fold __st[rp]cpy_chk to __memcpy_chk.
David Bolvansky1f343fa2018-05-22 20:27:36 +00002824 uint64_t Len = GetStringLength(Src);
David Blaikie65fab6d2015-04-03 21:32:06 +00002825 if (Len == 0)
2826 return nullptr;
2827
2828 Type *SizeTTy = DL.getIntPtrType(CI->getContext());
2829 Value *LenV = ConstantInt::get(SizeTTy, Len);
Sanjay Pateld3112a52016-01-19 19:46:10 +00002830 Value *Ret = emitMemCpyChk(Dst, Src, LenV, ObjSize, B, DL, TLI);
David Blaikie65fab6d2015-04-03 21:32:06 +00002831 // If the function was an __stpcpy_chk, and we were able to fold it into
2832 // a __memcpy_chk, we still need to return the correct end pointer.
David L. Jonesd21529f2017-01-23 23:16:46 +00002833 if (Ret && Func == LibFunc_stpcpy_chk)
David Blaikie65fab6d2015-04-03 21:32:06 +00002834 return B.CreateGEP(B.getInt8Ty(), Dst, ConstantInt::get(SizeTTy, Len - 1));
2835 return Ret;
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002836}
2837
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002838Value *FortifiedLibCallSimplifier::optimizeStrpNCpyChk(CallInst *CI,
2839 IRBuilder<> &B,
David L. Jonesd21529f2017-01-23 23:16:46 +00002840 LibFunc Func) {
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002841 Function *Callee = CI->getCalledFunction();
2842 StringRef Name = Callee->getName();
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002843 if (isFortifiedCallFoldable(CI, 3, 2, false)) {
Sanjay Pateld3112a52016-01-19 19:46:10 +00002844 Value *Ret = emitStrNCpy(CI->getArgOperand(0), CI->getArgOperand(1),
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002845 CI->getArgOperand(2), B, TLI, Name.substr(2, 7));
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002846 return Ret;
2847 }
2848 return nullptr;
2849}
2850
2851Value *FortifiedLibCallSimplifier::optimizeCall(CallInst *CI) {
Ahmed Bougacha408d0102015-04-01 00:45:09 +00002852 // FIXME: We shouldn't be changing "nobuiltin" or TLI unavailable calls here.
2853 // Some clang users checked for _chk libcall availability using:
2854 // __has_builtin(__builtin___memcpy_chk)
2855 // When compiling with -fno-builtin, this is always true.
2856 // When passing -ffreestanding/-mkernel, which both imply -fno-builtin, we
2857 // end up with fortified libcalls, which isn't acceptable in a freestanding
2858 // environment which only provides their non-fortified counterparts.
2859 //
2860 // Until we change clang and/or teach external users to check for availability
2861 // differently, disregard the "nobuiltin" attribute and TLI::has.
2862 //
2863 // PR23093.
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002864
David L. Jonesd21529f2017-01-23 23:16:46 +00002865 LibFunc Func;
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002866 Function *Callee = CI->getCalledFunction();
David Majnemerb70e23c2016-01-06 05:01:34 +00002867
2868 SmallVector<OperandBundleDef, 2> OpBundles;
2869 CI->getOperandBundlesAsDefs(OpBundles);
2870 IRBuilder<> Builder(CI, /*FPMathTag=*/nullptr, OpBundles);
Sam Parker214f7bf2016-09-13 12:10:14 +00002871 bool isCallingConvC = isCallingConvCCompatible(CI);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002872
Ahmed Bougachad765a822016-04-27 19:04:35 +00002873 // First, check that this is a known library functions and that the prototype
2874 // is correct.
2875 if (!TLI->getLibFunc(*Callee, Func))
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002876 return nullptr;
2877
2878 // We never change the calling convention.
2879 if (!ignoreCallingConv(Func) && !isCallingConvC)
2880 return nullptr;
2881
2882 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +00002883 case LibFunc_memcpy_chk:
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002884 return optimizeMemCpyChk(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002885 case LibFunc_memmove_chk:
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002886 return optimizeMemMoveChk(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002887 case LibFunc_memset_chk:
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002888 return optimizeMemSetChk(CI, Builder);
David L. Jonesd21529f2017-01-23 23:16:46 +00002889 case LibFunc_stpcpy_chk:
2890 case LibFunc_strcpy_chk:
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002891 return optimizeStrpCpyChk(CI, Builder, Func);
David L. Jonesd21529f2017-01-23 23:16:46 +00002892 case LibFunc_stpncpy_chk:
2893 case LibFunc_strncpy_chk:
Ahmed Bougacha1ac93562015-01-27 21:52:16 +00002894 return optimizeStrpNCpyChk(CI, Builder, Func);
Ahmed Bougachae03bef72015-01-12 17:22:43 +00002895 default:
2896 break;
2897 }
2898 return nullptr;
2899}
2900
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002901FortifiedLibCallSimplifier::FortifiedLibCallSimplifier(
2902 const TargetLibraryInfo *TLI, bool OnlyLowerUnknownSize)
Sanjay Patel4b969352018-05-22 23:29:40 +00002903 : TLI(TLI), OnlyLowerUnknownSize(OnlyLowerUnknownSize) {}