blob: 77842749154faddb7806d7e7a50572123be99906 [file] [log] [blame]
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001//===- InstCombineCalls.cpp -----------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the visitCall and visitInvoke functions.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carrutha9174582015-01-22 05:25:13 +000014#include "InstCombineInternal.h"
Meador Ingee3f2b262012-11-30 04:05:06 +000015#include "llvm/ADT/Statistic.h"
David Majnemer15032582015-05-22 03:56:46 +000016#include "llvm/Analysis/InstructionSimplify.h"
Chris Lattner7a9e47a2010-01-05 07:32:13 +000017#include "llvm/Analysis/MemoryBuiltins.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000018#include "llvm/IR/CallSite.h"
Hal Finkel04a15612014-10-04 21:27:06 +000019#include "llvm/IR/Dominators.h"
Chandler Carruth820a9082014-03-04 11:08:18 +000020#include "llvm/IR/PatternMatch.h"
Philip Reames1a1bdb22014-12-02 18:50:36 +000021#include "llvm/IR/Statepoint.h"
Eric Christophera7fb58f2010-03-06 10:50:38 +000022#include "llvm/Transforms/Utils/BuildLibCalls.h"
Chris Lattner6fcd32e2010-12-25 20:37:57 +000023#include "llvm/Transforms/Utils/Local.h"
Chandler Carruthba4c5172015-01-21 11:23:40 +000024#include "llvm/Transforms/Utils/SimplifyLibCalls.h"
Chris Lattner7a9e47a2010-01-05 07:32:13 +000025using namespace llvm;
Michael Ilseman536cc322012-12-13 03:13:36 +000026using namespace PatternMatch;
Chris Lattner7a9e47a2010-01-05 07:32:13 +000027
Chandler Carruth964daaa2014-04-22 02:55:47 +000028#define DEBUG_TYPE "instcombine"
29
Meador Ingee3f2b262012-11-30 04:05:06 +000030STATISTIC(NumSimplified, "Number of library calls simplified");
31
Sanjay Patelcd4377c2016-01-20 22:24:38 +000032/// Return the specified type promoted as it would be to pass though a va_arg
33/// area.
Chris Lattner229907c2011-07-18 04:54:35 +000034static Type *getPromotedType(Type *Ty) {
35 if (IntegerType* ITy = dyn_cast<IntegerType>(Ty)) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +000036 if (ITy->getBitWidth() < 32)
37 return Type::getInt32Ty(Ty->getContext());
38 }
39 return Ty;
40}
41
Sanjay Patelcd4377c2016-01-20 22:24:38 +000042/// Given an aggregate type which ultimately holds a single scalar element,
43/// like {{{type}}} or [1 x type], return type.
Dan Gohmand0080c42012-09-13 18:19:06 +000044static Type *reduceToSingleValueType(Type *T) {
45 while (!T->isSingleValueType()) {
46 if (StructType *STy = dyn_cast<StructType>(T)) {
47 if (STy->getNumElements() == 1)
48 T = STy->getElementType(0);
49 else
50 break;
51 } else if (ArrayType *ATy = dyn_cast<ArrayType>(T)) {
52 if (ATy->getNumElements() == 1)
53 T = ATy->getElementType();
54 else
55 break;
56 } else
57 break;
58 }
59
60 return T;
61}
Chris Lattner7a9e47a2010-01-05 07:32:13 +000062
Pete Cooper67cf9a72015-11-19 05:56:52 +000063Instruction *InstCombiner::SimplifyMemTransfer(MemIntrinsic *MI) {
Mehdi Aminia28d91d2015-03-10 02:37:25 +000064 unsigned DstAlign = getKnownAlignment(MI->getArgOperand(0), DL, MI, AC, DT);
65 unsigned SrcAlign = getKnownAlignment(MI->getArgOperand(1), DL, MI, AC, DT);
Pete Cooper67cf9a72015-11-19 05:56:52 +000066 unsigned MinAlign = std::min(DstAlign, SrcAlign);
67 unsigned CopyAlign = MI->getAlignment();
Chris Lattner7a9e47a2010-01-05 07:32:13 +000068
Pete Cooper67cf9a72015-11-19 05:56:52 +000069 if (CopyAlign < MinAlign) {
70 MI->setAlignment(ConstantInt::get(MI->getAlignmentType(), MinAlign, false));
Chris Lattner7a9e47a2010-01-05 07:32:13 +000071 return MI;
72 }
Jim Grosbach7815f562012-02-03 00:07:04 +000073
Chris Lattner7a9e47a2010-01-05 07:32:13 +000074 // If MemCpyInst length is 1/2/4/8 bytes then replace memcpy with
75 // load/store.
Gabor Greif0a136c92010-06-24 13:54:33 +000076 ConstantInt *MemOpLength = dyn_cast<ConstantInt>(MI->getArgOperand(2));
Craig Topperf40110f2014-04-25 05:29:35 +000077 if (!MemOpLength) return nullptr;
Jim Grosbach7815f562012-02-03 00:07:04 +000078
Chris Lattner7a9e47a2010-01-05 07:32:13 +000079 // Source and destination pointer types are always "i8*" for intrinsic. See
80 // if the size is something we can handle with a single primitive load/store.
81 // A single load+store correctly handles overlapping memory in the memmove
82 // case.
Michael Liao69e172a2012-08-15 03:49:59 +000083 uint64_t Size = MemOpLength->getLimitedValue();
Alp Tokercb402912014-01-24 17:20:08 +000084 assert(Size && "0-sized memory transferring should be removed already.");
Jim Grosbach7815f562012-02-03 00:07:04 +000085
Chris Lattner7a9e47a2010-01-05 07:32:13 +000086 if (Size > 8 || (Size&(Size-1)))
Craig Topperf40110f2014-04-25 05:29:35 +000087 return nullptr; // If not 1/2/4/8 bytes, exit.
Jim Grosbach7815f562012-02-03 00:07:04 +000088
Chris Lattner7a9e47a2010-01-05 07:32:13 +000089 // Use an integer load+store unless we can find something better.
Mon P Wangc576ee92010-04-04 03:10:48 +000090 unsigned SrcAddrSp =
Gabor Greif0a136c92010-06-24 13:54:33 +000091 cast<PointerType>(MI->getArgOperand(1)->getType())->getAddressSpace();
Gabor Greiff3755202010-04-16 15:33:14 +000092 unsigned DstAddrSp =
Gabor Greif0a136c92010-06-24 13:54:33 +000093 cast<PointerType>(MI->getArgOperand(0)->getType())->getAddressSpace();
Mon P Wangc576ee92010-04-04 03:10:48 +000094
Chris Lattner229907c2011-07-18 04:54:35 +000095 IntegerType* IntType = IntegerType::get(MI->getContext(), Size<<3);
Mon P Wangc576ee92010-04-04 03:10:48 +000096 Type *NewSrcPtrTy = PointerType::get(IntType, SrcAddrSp);
97 Type *NewDstPtrTy = PointerType::get(IntType, DstAddrSp);
Jim Grosbach7815f562012-02-03 00:07:04 +000098
Chris Lattner7a9e47a2010-01-05 07:32:13 +000099 // Memcpy forces the use of i8* for the source and destination. That means
100 // that if you're using memcpy to move one double around, you'll get a cast
101 // from double* to i8*. We'd much rather use a double load+store rather than
102 // an i64 load+store, here because this improves the odds that the source or
103 // dest address will be promotable. See if we can find a better type than the
104 // integer datatype.
Gabor Greif589a0b92010-06-24 12:58:35 +0000105 Value *StrippedDest = MI->getArgOperand(0)->stripPointerCasts();
Craig Topperf40110f2014-04-25 05:29:35 +0000106 MDNode *CopyMD = nullptr;
Gabor Greif589a0b92010-06-24 12:58:35 +0000107 if (StrippedDest != MI->getArgOperand(0)) {
Chris Lattner229907c2011-07-18 04:54:35 +0000108 Type *SrcETy = cast<PointerType>(StrippedDest->getType())
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000109 ->getElementType();
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000110 if (SrcETy->isSized() && DL.getTypeStoreSize(SrcETy) == Size) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000111 // The SrcETy might be something like {{{double}}} or [1 x double]. Rip
112 // down through these levels if so.
Dan Gohmand0080c42012-09-13 18:19:06 +0000113 SrcETy = reduceToSingleValueType(SrcETy);
Jim Grosbach7815f562012-02-03 00:07:04 +0000114
Mon P Wangc576ee92010-04-04 03:10:48 +0000115 if (SrcETy->isSingleValueType()) {
116 NewSrcPtrTy = PointerType::get(SrcETy, SrcAddrSp);
117 NewDstPtrTy = PointerType::get(SrcETy, DstAddrSp);
Dan Gohman3f553c22012-09-13 21:51:01 +0000118
119 // If the memcpy has metadata describing the members, see if we can
120 // get the TBAA tag describing our copy.
Duncan P. N. Exon Smithde36e802014-11-11 21:30:22 +0000121 if (MDNode *M = MI->getMetadata(LLVMContext::MD_tbaa_struct)) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000122 if (M->getNumOperands() == 3 && M->getOperand(0) &&
123 mdconst::hasa<ConstantInt>(M->getOperand(0)) &&
124 mdconst::extract<ConstantInt>(M->getOperand(0))->isNullValue() &&
Nick Lewycky49ac81a2012-10-11 02:05:23 +0000125 M->getOperand(1) &&
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000126 mdconst::hasa<ConstantInt>(M->getOperand(1)) &&
127 mdconst::extract<ConstantInt>(M->getOperand(1))->getValue() ==
128 Size &&
129 M->getOperand(2) && isa<MDNode>(M->getOperand(2)))
Dan Gohman3f553c22012-09-13 21:51:01 +0000130 CopyMD = cast<MDNode>(M->getOperand(2));
131 }
Mon P Wangc576ee92010-04-04 03:10:48 +0000132 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000133 }
134 }
Jim Grosbach7815f562012-02-03 00:07:04 +0000135
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000136 // If the memcpy/memmove provides better alignment info than we can
137 // infer, use it.
Pete Cooper67cf9a72015-11-19 05:56:52 +0000138 SrcAlign = std::max(SrcAlign, CopyAlign);
139 DstAlign = std::max(DstAlign, CopyAlign);
Jim Grosbach7815f562012-02-03 00:07:04 +0000140
Gabor Greif5f3e6562010-06-25 07:57:14 +0000141 Value *Src = Builder->CreateBitCast(MI->getArgOperand(1), NewSrcPtrTy);
142 Value *Dest = Builder->CreateBitCast(MI->getArgOperand(0), NewDstPtrTy);
Eli Friedman49346012011-05-18 19:57:14 +0000143 LoadInst *L = Builder->CreateLoad(Src, MI->isVolatile());
144 L->setAlignment(SrcAlign);
Dan Gohman3f553c22012-09-13 21:51:01 +0000145 if (CopyMD)
146 L->setMetadata(LLVMContext::MD_tbaa, CopyMD);
Eli Friedman49346012011-05-18 19:57:14 +0000147 StoreInst *S = Builder->CreateStore(L, Dest, MI->isVolatile());
148 S->setAlignment(DstAlign);
Dan Gohman3f553c22012-09-13 21:51:01 +0000149 if (CopyMD)
150 S->setMetadata(LLVMContext::MD_tbaa, CopyMD);
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000151
152 // Set the size of the copy to 0, it will be deleted on the next iteration.
Gabor Greif5b1370e2010-06-28 16:50:57 +0000153 MI->setArgOperand(2, Constant::getNullValue(MemOpLength->getType()));
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000154 return MI;
155}
156
157Instruction *InstCombiner::SimplifyMemSet(MemSetInst *MI) {
Mehdi Aminia28d91d2015-03-10 02:37:25 +0000158 unsigned Alignment = getKnownAlignment(MI->getDest(), DL, MI, AC, DT);
Pete Cooper67cf9a72015-11-19 05:56:52 +0000159 if (MI->getAlignment() < Alignment) {
160 MI->setAlignment(ConstantInt::get(MI->getAlignmentType(),
161 Alignment, false));
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000162 return MI;
163 }
Jim Grosbach7815f562012-02-03 00:07:04 +0000164
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000165 // Extract the length and alignment and fill if they are constant.
166 ConstantInt *LenC = dyn_cast<ConstantInt>(MI->getLength());
167 ConstantInt *FillC = dyn_cast<ConstantInt>(MI->getValue());
Duncan Sands9dff9be2010-02-15 16:12:20 +0000168 if (!LenC || !FillC || !FillC->getType()->isIntegerTy(8))
Craig Topperf40110f2014-04-25 05:29:35 +0000169 return nullptr;
Michael Liao69e172a2012-08-15 03:49:59 +0000170 uint64_t Len = LenC->getLimitedValue();
Pete Cooper67cf9a72015-11-19 05:56:52 +0000171 Alignment = MI->getAlignment();
Michael Liao69e172a2012-08-15 03:49:59 +0000172 assert(Len && "0-sized memory setting should be removed already.");
Jim Grosbach7815f562012-02-03 00:07:04 +0000173
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000174 // memset(s,c,n) -> store s, c (for n=1,2,4,8)
175 if (Len <= 8 && isPowerOf2_32((uint32_t)Len)) {
Chris Lattner229907c2011-07-18 04:54:35 +0000176 Type *ITy = IntegerType::get(MI->getContext(), Len*8); // n=1 -> i8.
Jim Grosbach7815f562012-02-03 00:07:04 +0000177
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000178 Value *Dest = MI->getDest();
Mon P Wang1991c472010-12-20 01:05:30 +0000179 unsigned DstAddrSp = cast<PointerType>(Dest->getType())->getAddressSpace();
180 Type *NewDstPtrTy = PointerType::get(ITy, DstAddrSp);
181 Dest = Builder->CreateBitCast(Dest, NewDstPtrTy);
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000182
183 // Alignment 0 is identity for alignment 1 for memset, but not store.
184 if (Alignment == 0) Alignment = 1;
Jim Grosbach7815f562012-02-03 00:07:04 +0000185
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000186 // Extract the fill value and store.
187 uint64_t Fill = FillC->getZExtValue()*0x0101010101010101ULL;
Eli Friedman49346012011-05-18 19:57:14 +0000188 StoreInst *S = Builder->CreateStore(ConstantInt::get(ITy, Fill), Dest,
189 MI->isVolatile());
190 S->setAlignment(Alignment);
Jim Grosbach7815f562012-02-03 00:07:04 +0000191
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000192 // Set the size of the copy to 0, it will be deleted on the next iteration.
193 MI->setLength(Constant::getNullValue(LenC->getType()));
194 return MI;
195 }
196
Simon Pilgrim18617d12015-08-05 08:18:00 +0000197 return nullptr;
198}
199
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000200static Value *simplifyX86immShift(const IntrinsicInst &II,
Simon Pilgrimbecd5e82015-08-13 07:39:03 +0000201 InstCombiner::BuilderTy &Builder) {
202 bool LogicalShift = false;
203 bool ShiftLeft = false;
204
205 switch (II.getIntrinsicID()) {
206 default:
207 return nullptr;
208 case Intrinsic::x86_sse2_psra_d:
209 case Intrinsic::x86_sse2_psra_w:
210 case Intrinsic::x86_sse2_psrai_d:
211 case Intrinsic::x86_sse2_psrai_w:
212 case Intrinsic::x86_avx2_psra_d:
213 case Intrinsic::x86_avx2_psra_w:
214 case Intrinsic::x86_avx2_psrai_d:
215 case Intrinsic::x86_avx2_psrai_w:
216 LogicalShift = false; ShiftLeft = false;
217 break;
218 case Intrinsic::x86_sse2_psrl_d:
219 case Intrinsic::x86_sse2_psrl_q:
220 case Intrinsic::x86_sse2_psrl_w:
221 case Intrinsic::x86_sse2_psrli_d:
222 case Intrinsic::x86_sse2_psrli_q:
223 case Intrinsic::x86_sse2_psrli_w:
224 case Intrinsic::x86_avx2_psrl_d:
225 case Intrinsic::x86_avx2_psrl_q:
226 case Intrinsic::x86_avx2_psrl_w:
227 case Intrinsic::x86_avx2_psrli_d:
228 case Intrinsic::x86_avx2_psrli_q:
229 case Intrinsic::x86_avx2_psrli_w:
230 LogicalShift = true; ShiftLeft = false;
231 break;
232 case Intrinsic::x86_sse2_psll_d:
233 case Intrinsic::x86_sse2_psll_q:
234 case Intrinsic::x86_sse2_psll_w:
235 case Intrinsic::x86_sse2_pslli_d:
236 case Intrinsic::x86_sse2_pslli_q:
237 case Intrinsic::x86_sse2_pslli_w:
238 case Intrinsic::x86_avx2_psll_d:
239 case Intrinsic::x86_avx2_psll_q:
240 case Intrinsic::x86_avx2_psll_w:
241 case Intrinsic::x86_avx2_pslli_d:
242 case Intrinsic::x86_avx2_pslli_q:
243 case Intrinsic::x86_avx2_pslli_w:
244 LogicalShift = true; ShiftLeft = true;
245 break;
246 }
Simon Pilgrima3a72b42015-08-10 20:21:15 +0000247 assert((LogicalShift || !ShiftLeft) && "Only logical shifts can shift left");
248
Simon Pilgrim3815c162015-08-07 18:22:50 +0000249 // Simplify if count is constant.
250 auto Arg1 = II.getArgOperand(1);
251 auto CAZ = dyn_cast<ConstantAggregateZero>(Arg1);
252 auto CDV = dyn_cast<ConstantDataVector>(Arg1);
253 auto CInt = dyn_cast<ConstantInt>(Arg1);
254 if (!CAZ && !CDV && !CInt)
Simon Pilgrim18617d12015-08-05 08:18:00 +0000255 return nullptr;
Simon Pilgrim3815c162015-08-07 18:22:50 +0000256
257 APInt Count(64, 0);
258 if (CDV) {
259 // SSE2/AVX2 uses all the first 64-bits of the 128-bit vector
260 // operand to compute the shift amount.
261 auto VT = cast<VectorType>(CDV->getType());
262 unsigned BitWidth = VT->getElementType()->getPrimitiveSizeInBits();
263 assert((64 % BitWidth) == 0 && "Unexpected packed shift size");
264 unsigned NumSubElts = 64 / BitWidth;
265
266 // Concatenate the sub-elements to create the 64-bit value.
267 for (unsigned i = 0; i != NumSubElts; ++i) {
268 unsigned SubEltIdx = (NumSubElts - 1) - i;
269 auto SubElt = cast<ConstantInt>(CDV->getElementAsConstant(SubEltIdx));
270 Count = Count.shl(BitWidth);
271 Count |= SubElt->getValue().zextOrTrunc(64);
272 }
273 }
274 else if (CInt)
275 Count = CInt->getValue();
Simon Pilgrim18617d12015-08-05 08:18:00 +0000276
277 auto Vec = II.getArgOperand(0);
278 auto VT = cast<VectorType>(Vec->getType());
279 auto SVT = VT->getElementType();
Simon Pilgrim3815c162015-08-07 18:22:50 +0000280 unsigned VWidth = VT->getNumElements();
281 unsigned BitWidth = SVT->getPrimitiveSizeInBits();
282
283 // If shift-by-zero then just return the original value.
284 if (Count == 0)
285 return Vec;
286
Simon Pilgrima3a72b42015-08-10 20:21:15 +0000287 // Handle cases when Shift >= BitWidth.
288 if (Count.uge(BitWidth)) {
289 // If LogicalShift - just return zero.
290 if (LogicalShift)
291 return ConstantAggregateZero::get(VT);
292
293 // If ArithmeticShift - clamp Shift to (BitWidth - 1).
294 Count = APInt(64, BitWidth - 1);
295 }
Simon Pilgrim18617d12015-08-05 08:18:00 +0000296
Simon Pilgrim18617d12015-08-05 08:18:00 +0000297 // Get a constant vector of the same type as the first operand.
Simon Pilgrim3815c162015-08-07 18:22:50 +0000298 auto ShiftAmt = ConstantInt::get(SVT, Count.zextOrTrunc(BitWidth));
299 auto ShiftVec = Builder.CreateVectorSplat(VWidth, ShiftAmt);
Simon Pilgrim18617d12015-08-05 08:18:00 +0000300
301 if (ShiftLeft)
Simon Pilgrim3815c162015-08-07 18:22:50 +0000302 return Builder.CreateShl(Vec, ShiftVec);
Simon Pilgrim18617d12015-08-05 08:18:00 +0000303
Simon Pilgrima3a72b42015-08-10 20:21:15 +0000304 if (LogicalShift)
305 return Builder.CreateLShr(Vec, ShiftVec);
306
307 return Builder.CreateAShr(Vec, ShiftVec);
Simon Pilgrim18617d12015-08-05 08:18:00 +0000308}
309
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000310static Value *simplifyX86extend(const IntrinsicInst &II,
Simon Pilgrim18617d12015-08-05 08:18:00 +0000311 InstCombiner::BuilderTy &Builder,
312 bool SignExtend) {
Simon Pilgrim15c0a592015-07-27 18:52:15 +0000313 VectorType *SrcTy = cast<VectorType>(II.getArgOperand(0)->getType());
314 VectorType *DstTy = cast<VectorType>(II.getType());
315 unsigned NumDstElts = DstTy->getNumElements();
316
317 // Extract a subvector of the first NumDstElts lanes and sign/zero extend.
318 SmallVector<int, 8> ShuffleMask;
Simon Pilgrim074c0d92015-07-27 19:07:15 +0000319 for (int i = 0; i != (int)NumDstElts; ++i)
Simon Pilgrim15c0a592015-07-27 18:52:15 +0000320 ShuffleMask.push_back(i);
321
322 Value *SV = Builder.CreateShuffleVector(II.getArgOperand(0),
323 UndefValue::get(SrcTy), ShuffleMask);
324 return SignExtend ? Builder.CreateSExt(SV, DstTy)
325 : Builder.CreateZExt(SV, DstTy);
326}
327
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000328static Value *simplifyX86insertps(const IntrinsicInst &II,
Sanjay Patelc86867c2015-04-16 17:52:13 +0000329 InstCombiner::BuilderTy &Builder) {
Sanjay Patel03c03f52016-01-28 00:03:16 +0000330 auto *CInt = dyn_cast<ConstantInt>(II.getArgOperand(2));
331 if (!CInt)
332 return nullptr;
Simon Pilgrim54fcd622015-07-25 20:41:00 +0000333
Sanjay Patel03c03f52016-01-28 00:03:16 +0000334 VectorType *VecTy = cast<VectorType>(II.getType());
335 assert(VecTy->getNumElements() == 4 && "insertps with wrong vector type");
Sanjay Patelc86867c2015-04-16 17:52:13 +0000336
Sanjay Patel03c03f52016-01-28 00:03:16 +0000337 // The immediate permute control byte looks like this:
338 // [3:0] - zero mask for each 32-bit lane
339 // [5:4] - select one 32-bit destination lane
340 // [7:6] - select one 32-bit source lane
Sanjay Patelc86867c2015-04-16 17:52:13 +0000341
Sanjay Patel03c03f52016-01-28 00:03:16 +0000342 uint8_t Imm = CInt->getZExtValue();
343 uint8_t ZMask = Imm & 0xf;
344 uint8_t DestLane = (Imm >> 4) & 0x3;
345 uint8_t SourceLane = (Imm >> 6) & 0x3;
Sanjay Patelc1d20a32015-04-25 20:55:25 +0000346
Sanjay Patel03c03f52016-01-28 00:03:16 +0000347 ConstantAggregateZero *ZeroVector = ConstantAggregateZero::get(VecTy);
Sanjay Patelc86867c2015-04-16 17:52:13 +0000348
Sanjay Patel03c03f52016-01-28 00:03:16 +0000349 // If all zero mask bits are set, this was just a weird way to
350 // generate a zero vector.
351 if (ZMask == 0xf)
352 return ZeroVector;
Sanjay Patelc1d20a32015-04-25 20:55:25 +0000353
Sanjay Patel03c03f52016-01-28 00:03:16 +0000354 // Initialize by passing all of the first source bits through.
355 int ShuffleMask[4] = { 0, 1, 2, 3 };
Sanjay Patelc1d20a32015-04-25 20:55:25 +0000356
Sanjay Patel03c03f52016-01-28 00:03:16 +0000357 // We may replace the second operand with the zero vector.
358 Value *V1 = II.getArgOperand(1);
359
360 if (ZMask) {
361 // If the zero mask is being used with a single input or the zero mask
362 // overrides the destination lane, this is a shuffle with the zero vector.
363 if ((II.getArgOperand(0) == II.getArgOperand(1)) ||
364 (ZMask & (1 << DestLane))) {
365 V1 = ZeroVector;
366 // We may still move 32-bits of the first source vector from one lane
367 // to another.
368 ShuffleMask[DestLane] = SourceLane;
369 // The zero mask may override the previous insert operation.
370 for (unsigned i = 0; i < 4; ++i)
371 if ((ZMask >> i) & 0x1)
372 ShuffleMask[i] = i + 4;
Sanjay Patelc1d20a32015-04-25 20:55:25 +0000373 } else {
Sanjay Patel03c03f52016-01-28 00:03:16 +0000374 // TODO: Model this case as 2 shuffles or a 'logical and' plus shuffle?
375 return nullptr;
Sanjay Patelc1d20a32015-04-25 20:55:25 +0000376 }
Sanjay Patel03c03f52016-01-28 00:03:16 +0000377 } else {
378 // Replace the selected destination lane with the selected source lane.
379 ShuffleMask[DestLane] = SourceLane + 4;
Sanjay Patelc86867c2015-04-16 17:52:13 +0000380 }
Sanjay Patel03c03f52016-01-28 00:03:16 +0000381
382 return Builder.CreateShuffleVector(II.getArgOperand(0), V1, ShuffleMask);
Sanjay Patelc86867c2015-04-16 17:52:13 +0000383}
384
Simon Pilgrim216b1bf2015-10-17 11:40:05 +0000385/// Attempt to simplify SSE4A EXTRQ/EXTRQI instructions using constant folding
386/// or conversion to a shuffle vector.
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000387static Value *simplifyX86extrq(IntrinsicInst &II, Value *Op0,
Simon Pilgrim216b1bf2015-10-17 11:40:05 +0000388 ConstantInt *CILength, ConstantInt *CIIndex,
389 InstCombiner::BuilderTy &Builder) {
390 auto LowConstantHighUndef = [&](uint64_t Val) {
391 Type *IntTy64 = Type::getInt64Ty(II.getContext());
392 Constant *Args[] = {ConstantInt::get(IntTy64, Val),
393 UndefValue::get(IntTy64)};
394 return ConstantVector::get(Args);
395 };
396
397 // See if we're dealing with constant values.
398 Constant *C0 = dyn_cast<Constant>(Op0);
399 ConstantInt *CI0 =
400 C0 ? dyn_cast<ConstantInt>(C0->getAggregateElement((unsigned)0))
401 : nullptr;
402
403 // Attempt to constant fold.
404 if (CILength && CIIndex) {
405 // From AMD documentation: "The bit index and field length are each six
406 // bits in length other bits of the field are ignored."
407 APInt APIndex = CIIndex->getValue().zextOrTrunc(6);
408 APInt APLength = CILength->getValue().zextOrTrunc(6);
409
410 unsigned Index = APIndex.getZExtValue();
411
412 // From AMD documentation: "a value of zero in the field length is
413 // defined as length of 64".
414 unsigned Length = APLength == 0 ? 64 : APLength.getZExtValue();
415
416 // From AMD documentation: "If the sum of the bit index + length field
417 // is greater than 64, the results are undefined".
418 unsigned End = Index + Length;
419
420 // Note that both field index and field length are 8-bit quantities.
421 // Since variables 'Index' and 'Length' are unsigned values
422 // obtained from zero-extending field index and field length
423 // respectively, their sum should never wrap around.
424 if (End > 64)
425 return UndefValue::get(II.getType());
426
427 // If we are inserting whole bytes, we can convert this to a shuffle.
428 // Lowering can recognize EXTRQI shuffle masks.
429 if ((Length % 8) == 0 && (Index % 8) == 0) {
430 // Convert bit indices to byte indices.
431 Length /= 8;
432 Index /= 8;
433
434 Type *IntTy8 = Type::getInt8Ty(II.getContext());
435 Type *IntTy32 = Type::getInt32Ty(II.getContext());
436 VectorType *ShufTy = VectorType::get(IntTy8, 16);
437
438 SmallVector<Constant *, 16> ShuffleMask;
439 for (int i = 0; i != (int)Length; ++i)
440 ShuffleMask.push_back(
441 Constant::getIntegerValue(IntTy32, APInt(32, i + Index)));
442 for (int i = Length; i != 8; ++i)
443 ShuffleMask.push_back(
444 Constant::getIntegerValue(IntTy32, APInt(32, i + 16)));
445 for (int i = 8; i != 16; ++i)
446 ShuffleMask.push_back(UndefValue::get(IntTy32));
447
448 Value *SV = Builder.CreateShuffleVector(
449 Builder.CreateBitCast(Op0, ShufTy),
450 ConstantAggregateZero::get(ShufTy), ConstantVector::get(ShuffleMask));
451 return Builder.CreateBitCast(SV, II.getType());
452 }
453
454 // Constant Fold - shift Index'th bit to lowest position and mask off
455 // Length bits.
456 if (CI0) {
457 APInt Elt = CI0->getValue();
458 Elt = Elt.lshr(Index).zextOrTrunc(Length);
459 return LowConstantHighUndef(Elt.getZExtValue());
460 }
461
462 // If we were an EXTRQ call, we'll save registers if we convert to EXTRQI.
463 if (II.getIntrinsicID() == Intrinsic::x86_sse4a_extrq) {
464 Value *Args[] = {Op0, CILength, CIIndex};
Sanjay Patelaf674fb2015-12-14 17:24:23 +0000465 Module *M = II.getModule();
Simon Pilgrim216b1bf2015-10-17 11:40:05 +0000466 Value *F = Intrinsic::getDeclaration(M, Intrinsic::x86_sse4a_extrqi);
467 return Builder.CreateCall(F, Args);
468 }
469 }
470
471 // Constant Fold - extraction from zero is always {zero, undef}.
472 if (CI0 && CI0->equalsInt(0))
473 return LowConstantHighUndef(0);
474
475 return nullptr;
476}
477
478/// Attempt to simplify SSE4A INSERTQ/INSERTQI instructions using constant
479/// folding or conversion to a shuffle vector.
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000480static Value *simplifyX86insertq(IntrinsicInst &II, Value *Op0, Value *Op1,
Simon Pilgrim216b1bf2015-10-17 11:40:05 +0000481 APInt APLength, APInt APIndex,
482 InstCombiner::BuilderTy &Builder) {
483
484 // From AMD documentation: "The bit index and field length are each six bits
485 // in length other bits of the field are ignored."
486 APIndex = APIndex.zextOrTrunc(6);
487 APLength = APLength.zextOrTrunc(6);
488
489 // Attempt to constant fold.
490 unsigned Index = APIndex.getZExtValue();
491
492 // From AMD documentation: "a value of zero in the field length is
493 // defined as length of 64".
494 unsigned Length = APLength == 0 ? 64 : APLength.getZExtValue();
495
496 // From AMD documentation: "If the sum of the bit index + length field
497 // is greater than 64, the results are undefined".
498 unsigned End = Index + Length;
499
500 // Note that both field index and field length are 8-bit quantities.
501 // Since variables 'Index' and 'Length' are unsigned values
502 // obtained from zero-extending field index and field length
503 // respectively, their sum should never wrap around.
504 if (End > 64)
505 return UndefValue::get(II.getType());
506
507 // If we are inserting whole bytes, we can convert this to a shuffle.
508 // Lowering can recognize INSERTQI shuffle masks.
509 if ((Length % 8) == 0 && (Index % 8) == 0) {
510 // Convert bit indices to byte indices.
511 Length /= 8;
512 Index /= 8;
513
514 Type *IntTy8 = Type::getInt8Ty(II.getContext());
515 Type *IntTy32 = Type::getInt32Ty(II.getContext());
516 VectorType *ShufTy = VectorType::get(IntTy8, 16);
517
518 SmallVector<Constant *, 16> ShuffleMask;
519 for (int i = 0; i != (int)Index; ++i)
520 ShuffleMask.push_back(Constant::getIntegerValue(IntTy32, APInt(32, i)));
521 for (int i = 0; i != (int)Length; ++i)
522 ShuffleMask.push_back(
523 Constant::getIntegerValue(IntTy32, APInt(32, i + 16)));
524 for (int i = Index + Length; i != 8; ++i)
525 ShuffleMask.push_back(Constant::getIntegerValue(IntTy32, APInt(32, i)));
526 for (int i = 8; i != 16; ++i)
527 ShuffleMask.push_back(UndefValue::get(IntTy32));
528
529 Value *SV = Builder.CreateShuffleVector(Builder.CreateBitCast(Op0, ShufTy),
530 Builder.CreateBitCast(Op1, ShufTy),
531 ConstantVector::get(ShuffleMask));
532 return Builder.CreateBitCast(SV, II.getType());
533 }
534
535 // See if we're dealing with constant values.
536 Constant *C0 = dyn_cast<Constant>(Op0);
537 Constant *C1 = dyn_cast<Constant>(Op1);
538 ConstantInt *CI00 =
539 C0 ? dyn_cast<ConstantInt>(C0->getAggregateElement((unsigned)0))
540 : nullptr;
541 ConstantInt *CI10 =
542 C1 ? dyn_cast<ConstantInt>(C1->getAggregateElement((unsigned)0))
543 : nullptr;
544
545 // Constant Fold - insert bottom Length bits starting at the Index'th bit.
546 if (CI00 && CI10) {
547 APInt V00 = CI00->getValue();
548 APInt V10 = CI10->getValue();
549 APInt Mask = APInt::getLowBitsSet(64, Length).shl(Index);
550 V00 = V00 & ~Mask;
551 V10 = V10.zextOrTrunc(Length).zextOrTrunc(64).shl(Index);
552 APInt Val = V00 | V10;
553 Type *IntTy64 = Type::getInt64Ty(II.getContext());
554 Constant *Args[] = {ConstantInt::get(IntTy64, Val.getZExtValue()),
555 UndefValue::get(IntTy64)};
556 return ConstantVector::get(Args);
557 }
558
559 // If we were an INSERTQ call, we'll save demanded elements if we convert to
560 // INSERTQI.
561 if (II.getIntrinsicID() == Intrinsic::x86_sse4a_insertq) {
562 Type *IntTy8 = Type::getInt8Ty(II.getContext());
563 Constant *CILength = ConstantInt::get(IntTy8, Length, false);
564 Constant *CIIndex = ConstantInt::get(IntTy8, Index, false);
565
566 Value *Args[] = {Op0, Op1, CILength, CIIndex};
Sanjay Patelaf674fb2015-12-14 17:24:23 +0000567 Module *M = II.getModule();
Simon Pilgrim216b1bf2015-10-17 11:40:05 +0000568 Value *F = Intrinsic::getDeclaration(M, Intrinsic::x86_sse4a_insertqi);
569 return Builder.CreateCall(F, Args);
570 }
571
572 return nullptr;
573}
574
Sanjay Patelccf5f242015-03-20 21:47:56 +0000575/// The shuffle mask for a perm2*128 selects any two halves of two 256-bit
576/// source vectors, unless a zero bit is set. If a zero bit is set,
577/// then ignore that half of the mask and clear that half of the vector.
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000578static Value *simplifyX86vperm2(const IntrinsicInst &II,
Sanjay Patelccf5f242015-03-20 21:47:56 +0000579 InstCombiner::BuilderTy &Builder) {
Sanjay Patel03c03f52016-01-28 00:03:16 +0000580 auto *CInt = dyn_cast<ConstantInt>(II.getArgOperand(2));
581 if (!CInt)
582 return nullptr;
Sanjay Patelccf5f242015-03-20 21:47:56 +0000583
Sanjay Patel03c03f52016-01-28 00:03:16 +0000584 VectorType *VecTy = cast<VectorType>(II.getType());
585 ConstantAggregateZero *ZeroVector = ConstantAggregateZero::get(VecTy);
Sanjay Patel43a87fd2015-03-24 20:36:42 +0000586
Sanjay Patel03c03f52016-01-28 00:03:16 +0000587 // The immediate permute control byte looks like this:
588 // [1:0] - select 128 bits from sources for low half of destination
589 // [2] - ignore
590 // [3] - zero low half of destination
591 // [5:4] - select 128 bits from sources for high half of destination
592 // [6] - ignore
593 // [7] - zero high half of destination
Sanjay Patel43a87fd2015-03-24 20:36:42 +0000594
Sanjay Patel03c03f52016-01-28 00:03:16 +0000595 uint8_t Imm = CInt->getZExtValue();
Sanjay Patel43a87fd2015-03-24 20:36:42 +0000596
Sanjay Patel03c03f52016-01-28 00:03:16 +0000597 bool LowHalfZero = Imm & 0x08;
598 bool HighHalfZero = Imm & 0x80;
Sanjay Patel43a87fd2015-03-24 20:36:42 +0000599
Sanjay Patel03c03f52016-01-28 00:03:16 +0000600 // If both zero mask bits are set, this was just a weird way to
601 // generate a zero vector.
602 if (LowHalfZero && HighHalfZero)
603 return ZeroVector;
Sanjay Patel43a87fd2015-03-24 20:36:42 +0000604
Sanjay Patel03c03f52016-01-28 00:03:16 +0000605 // If 0 or 1 zero mask bits are set, this is a simple shuffle.
606 unsigned NumElts = VecTy->getNumElements();
607 unsigned HalfSize = NumElts / 2;
608 SmallVector<int, 8> ShuffleMask(NumElts);
Simon Pilgrim54fcd622015-07-25 20:41:00 +0000609
Sanjay Patel03c03f52016-01-28 00:03:16 +0000610 // The high bit of the selection field chooses the 1st or 2nd operand.
611 bool LowInputSelect = Imm & 0x02;
612 bool HighInputSelect = Imm & 0x20;
Sanjay Patelccf5f242015-03-20 21:47:56 +0000613
Sanjay Patel03c03f52016-01-28 00:03:16 +0000614 // The low bit of the selection field chooses the low or high half
615 // of the selected operand.
616 bool LowHalfSelect = Imm & 0x01;
617 bool HighHalfSelect = Imm & 0x10;
Simon Pilgrim54fcd622015-07-25 20:41:00 +0000618
Sanjay Patel03c03f52016-01-28 00:03:16 +0000619 // Determine which operand(s) are actually in use for this instruction.
620 Value *V0 = LowInputSelect ? II.getArgOperand(1) : II.getArgOperand(0);
621 Value *V1 = HighInputSelect ? II.getArgOperand(1) : II.getArgOperand(0);
Simon Pilgrim54fcd622015-07-25 20:41:00 +0000622
Sanjay Patel03c03f52016-01-28 00:03:16 +0000623 // If needed, replace operands based on zero mask.
624 V0 = LowHalfZero ? ZeroVector : V0;
625 V1 = HighHalfZero ? ZeroVector : V1;
Sanjay Patelccf5f242015-03-20 21:47:56 +0000626
Sanjay Patel03c03f52016-01-28 00:03:16 +0000627 // Permute low half of result.
628 unsigned StartIndex = LowHalfSelect ? HalfSize : 0;
629 for (unsigned i = 0; i < HalfSize; ++i)
630 ShuffleMask[i] = StartIndex + i;
Sanjay Patel43a87fd2015-03-24 20:36:42 +0000631
Sanjay Patel03c03f52016-01-28 00:03:16 +0000632 // Permute high half of result.
633 StartIndex = HighHalfSelect ? HalfSize : 0;
634 StartIndex += NumElts;
635 for (unsigned i = 0; i < HalfSize; ++i)
636 ShuffleMask[i + HalfSize] = StartIndex + i;
637
638 return Builder.CreateShuffleVector(V0, V1, ShuffleMask);
Sanjay Patelccf5f242015-03-20 21:47:56 +0000639}
640
Simon Pilgrim1d1c56e22015-10-11 14:38:34 +0000641/// Decode XOP integer vector comparison intrinsics.
Sanjay Patel6038d3e2016-01-29 23:27:03 +0000642static Value *simplifyX86vpcom(const IntrinsicInst &II,
Sanjay Patelf9f5d3c2016-01-29 23:14:58 +0000643 InstCombiner::BuilderTy &Builder,
644 bool IsSigned) {
Simon Pilgrim1d1c56e22015-10-11 14:38:34 +0000645 if (auto *CInt = dyn_cast<ConstantInt>(II.getArgOperand(2))) {
646 uint64_t Imm = CInt->getZExtValue() & 0x7;
647 VectorType *VecTy = cast<VectorType>(II.getType());
648 CmpInst::Predicate Pred = ICmpInst::BAD_ICMP_PREDICATE;
649
650 switch (Imm) {
651 case 0x0:
652 Pred = IsSigned ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT;
653 break;
654 case 0x1:
655 Pred = IsSigned ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE;
656 break;
657 case 0x2:
658 Pred = IsSigned ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT;
659 break;
660 case 0x3:
661 Pred = IsSigned ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE;
662 break;
663 case 0x4:
664 Pred = ICmpInst::ICMP_EQ; break;
665 case 0x5:
666 Pred = ICmpInst::ICMP_NE; break;
667 case 0x6:
668 return ConstantInt::getSigned(VecTy, 0); // FALSE
669 case 0x7:
670 return ConstantInt::getSigned(VecTy, -1); // TRUE
671 }
672
Sanjay Patelf9f5d3c2016-01-29 23:14:58 +0000673 if (Value *Cmp = Builder.CreateICmp(Pred, II.getArgOperand(0),
674 II.getArgOperand(1)))
Simon Pilgrim1d1c56e22015-10-11 14:38:34 +0000675 return Builder.CreateSExtOrTrunc(Cmp, VecTy);
676 }
677 return nullptr;
678}
679
Sanjay Patel0069f562016-01-31 16:35:23 +0000680static Value *simplifyMinnumMaxnum(const IntrinsicInst &II) {
681 Value *Arg0 = II.getArgOperand(0);
682 Value *Arg1 = II.getArgOperand(1);
683
684 // fmin(x, x) -> x
685 if (Arg0 == Arg1)
686 return Arg0;
687
688 const auto *C1 = dyn_cast<ConstantFP>(Arg1);
689
690 // fmin(x, nan) -> x
691 if (C1 && C1->isNaN())
692 return Arg0;
693
694 // This is the value because if undef were NaN, we would return the other
695 // value and cannot return a NaN unless both operands are.
696 //
697 // fmin(undef, x) -> x
698 if (isa<UndefValue>(Arg0))
699 return Arg1;
700
701 // fmin(x, undef) -> x
702 if (isa<UndefValue>(Arg1))
703 return Arg0;
704
705 Value *X = nullptr;
706 Value *Y = nullptr;
707 if (II.getIntrinsicID() == Intrinsic::minnum) {
708 // fmin(x, fmin(x, y)) -> fmin(x, y)
709 // fmin(y, fmin(x, y)) -> fmin(x, y)
710 if (match(Arg1, m_FMin(m_Value(X), m_Value(Y)))) {
711 if (Arg0 == X || Arg0 == Y)
712 return Arg1;
713 }
714
715 // fmin(fmin(x, y), x) -> fmin(x, y)
716 // fmin(fmin(x, y), y) -> fmin(x, y)
717 if (match(Arg0, m_FMin(m_Value(X), m_Value(Y)))) {
718 if (Arg1 == X || Arg1 == Y)
719 return Arg0;
720 }
721
722 // TODO: fmin(nnan x, inf) -> x
723 // TODO: fmin(nnan ninf x, flt_max) -> x
724 if (C1 && C1->isInfinity()) {
725 // fmin(x, -inf) -> -inf
726 if (C1->isNegative())
727 return Arg1;
728 }
729 } else {
730 assert(II.getIntrinsicID() == Intrinsic::maxnum);
731 // fmax(x, fmax(x, y)) -> fmax(x, y)
732 // fmax(y, fmax(x, y)) -> fmax(x, y)
733 if (match(Arg1, m_FMax(m_Value(X), m_Value(Y)))) {
734 if (Arg0 == X || Arg0 == Y)
735 return Arg1;
736 }
737
738 // fmax(fmax(x, y), x) -> fmax(x, y)
739 // fmax(fmax(x, y), y) -> fmax(x, y)
740 if (match(Arg0, m_FMax(m_Value(X), m_Value(Y)))) {
741 if (Arg1 == X || Arg1 == Y)
742 return Arg0;
743 }
744
745 // TODO: fmax(nnan x, -inf) -> x
746 // TODO: fmax(nnan ninf x, -flt_max) -> x
747 if (C1 && C1->isInfinity()) {
748 // fmax(x, inf) -> inf
749 if (!C1->isNegative())
750 return Arg1;
751 }
752 }
753 return nullptr;
754}
755
Sanjay Patelb695c552016-02-01 17:00:10 +0000756static Value *simplifyMaskedLoad(const IntrinsicInst &II,
757 InstCombiner::BuilderTy &Builder) {
758 auto *ConstMask = dyn_cast<Constant>(II.getArgOperand(2));
759 if (!ConstMask)
760 return nullptr;
761
762 // If the mask is all zeros, the "passthru" argument is the result.
763 if (ConstMask->isNullValue())
764 return II.getArgOperand(3);
765
766 // If the mask is all ones, this is a plain vector load of the 1st argument.
767 if (ConstMask->isAllOnesValue()) {
768 Value *LoadPtr = II.getArgOperand(0);
769 unsigned Alignment = cast<ConstantInt>(II.getArgOperand(1))->getZExtValue();
770 return Builder.CreateAlignedLoad(LoadPtr, Alignment, "unmaskedload");
771 }
772
773 return nullptr;
774}
775
Sanjay Patel04f792b2016-02-01 19:39:52 +0000776static Instruction *simplifyMaskedStore(IntrinsicInst &II, InstCombiner &IC) {
777 auto *ConstMask = dyn_cast<Constant>(II.getArgOperand(3));
778 if (!ConstMask)
779 return nullptr;
780
781 // If the mask is all zeros, this instruction does nothing.
782 if (ConstMask->isNullValue())
Sanjay Patel4b198802016-02-01 22:23:39 +0000783 return IC.eraseInstFromFunction(II);
Sanjay Patel04f792b2016-02-01 19:39:52 +0000784
785 // If the mask is all ones, this is a plain vector store of the 1st argument.
786 if (ConstMask->isAllOnesValue()) {
787 Value *StorePtr = II.getArgOperand(1);
788 unsigned Alignment = cast<ConstantInt>(II.getArgOperand(2))->getZExtValue();
789 return new StoreInst(II.getArgOperand(0), StorePtr, false, Alignment);
790 }
791
792 return nullptr;
793}
794
Sanjay Patel103ab7d2016-02-01 22:10:26 +0000795static Instruction *simplifyMaskedGather(IntrinsicInst &II, InstCombiner &IC) {
796 // If the mask is all zeros, return the "passthru" argument of the gather.
797 auto *ConstMask = dyn_cast<Constant>(II.getArgOperand(2));
798 if (ConstMask && ConstMask->isNullValue())
Sanjay Patel4b198802016-02-01 22:23:39 +0000799 return IC.replaceInstUsesWith(II, II.getArgOperand(3));
Sanjay Patel103ab7d2016-02-01 22:10:26 +0000800
801 return nullptr;
802}
803
804static Instruction *simplifyMaskedScatter(IntrinsicInst &II, InstCombiner &IC) {
805 // If the mask is all zeros, a scatter does nothing.
806 auto *ConstMask = dyn_cast<Constant>(II.getArgOperand(3));
807 if (ConstMask && ConstMask->isNullValue())
Sanjay Patel4b198802016-02-01 22:23:39 +0000808 return IC.eraseInstFromFunction(II);
Sanjay Patel103ab7d2016-02-01 22:10:26 +0000809
810 return nullptr;
811}
812
Sanjay Patelcd4377c2016-01-20 22:24:38 +0000813/// CallInst simplification. This mostly only handles folding of intrinsic
814/// instructions. For normal calls, it allows visitCallSite to do the heavy
815/// lifting.
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000816Instruction *InstCombiner::visitCallInst(CallInst &CI) {
David Majnemer15032582015-05-22 03:56:46 +0000817 auto Args = CI.arg_operands();
818 if (Value *V = SimplifyCall(CI.getCalledValue(), Args.begin(), Args.end(), DL,
819 TLI, DT, AC))
Sanjay Patel4b198802016-02-01 22:23:39 +0000820 return replaceInstUsesWith(CI, V);
David Majnemer15032582015-05-22 03:56:46 +0000821
Benjamin Kramer8bcc9712012-08-29 15:32:21 +0000822 if (isFreeCall(&CI, TLI))
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000823 return visitFree(CI);
824
825 // If the caller function is nounwind, mark the call as nounwind, even if the
826 // callee isn't.
827 if (CI.getParent()->getParent()->doesNotThrow() &&
828 !CI.doesNotThrow()) {
829 CI.setDoesNotThrow();
830 return &CI;
831 }
Jim Grosbach7815f562012-02-03 00:07:04 +0000832
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000833 IntrinsicInst *II = dyn_cast<IntrinsicInst>(&CI);
834 if (!II) return visitCallSite(&CI);
Gabor Greif589a0b92010-06-24 12:58:35 +0000835
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000836 // Intrinsics cannot occur in an invoke, so handle them here instead of in
837 // visitCallSite.
838 if (MemIntrinsic *MI = dyn_cast<MemIntrinsic>(II)) {
839 bool Changed = false;
840
841 // memmove/cpy/set of zero bytes is a noop.
842 if (Constant *NumBytes = dyn_cast<Constant>(MI->getLength())) {
Chris Lattnerc663a672010-10-01 05:51:02 +0000843 if (NumBytes->isNullValue())
Sanjay Patel4b198802016-02-01 22:23:39 +0000844 return eraseInstFromFunction(CI);
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000845
846 if (ConstantInt *CI = dyn_cast<ConstantInt>(NumBytes))
847 if (CI->getZExtValue() == 1) {
848 // Replace the instruction with just byte operations. We would
849 // transform other cases to loads/stores, but we don't know if
850 // alignment is sufficient.
851 }
852 }
Jim Grosbach7815f562012-02-03 00:07:04 +0000853
Chris Lattnerc663a672010-10-01 05:51:02 +0000854 // No other transformations apply to volatile transfers.
855 if (MI->isVolatile())
Craig Topperf40110f2014-04-25 05:29:35 +0000856 return nullptr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000857
858 // If we have a memmove and the source operation is a constant global,
859 // then the source and dest pointers can't alias, so we can change this
860 // into a call to memcpy.
861 if (MemMoveInst *MMI = dyn_cast<MemMoveInst>(MI)) {
862 if (GlobalVariable *GVSrc = dyn_cast<GlobalVariable>(MMI->getSource()))
863 if (GVSrc->isConstant()) {
Sanjay Patelaf674fb2015-12-14 17:24:23 +0000864 Module *M = CI.getModule();
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000865 Intrinsic::ID MemCpyID = Intrinsic::memcpy;
Jay Foadb804a2b2011-07-12 14:06:48 +0000866 Type *Tys[3] = { CI.getArgOperand(0)->getType(),
867 CI.getArgOperand(1)->getType(),
868 CI.getArgOperand(2)->getType() };
Benjamin Kramere6e19332011-07-14 17:45:39 +0000869 CI.setCalledFunction(Intrinsic::getDeclaration(M, MemCpyID, Tys));
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000870 Changed = true;
871 }
872 }
873
874 if (MemTransferInst *MTI = dyn_cast<MemTransferInst>(MI)) {
875 // memmove(x,x,size) -> noop.
876 if (MTI->getSource() == MTI->getDest())
Sanjay Patel4b198802016-02-01 22:23:39 +0000877 return eraseInstFromFunction(CI);
Eric Christopher7258dcd2010-04-16 23:37:20 +0000878 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000879
Eric Christopher7258dcd2010-04-16 23:37:20 +0000880 // If we can determine a pointer alignment that is bigger than currently
881 // set, update the alignment.
Pete Cooper67cf9a72015-11-19 05:56:52 +0000882 if (isa<MemTransferInst>(MI)) {
883 if (Instruction *I = SimplifyMemTransfer(MI))
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000884 return I;
885 } else if (MemSetInst *MSI = dyn_cast<MemSetInst>(MI)) {
886 if (Instruction *I = SimplifyMemSet(MSI))
887 return I;
888 }
Gabor Greif590d95e2010-06-24 13:42:49 +0000889
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000890 if (Changed) return II;
891 }
Jim Grosbach7815f562012-02-03 00:07:04 +0000892
Sanjay Patel1c600c62016-01-20 16:41:43 +0000893 auto SimplifyDemandedVectorEltsLow = [this](Value *Op, unsigned Width,
894 unsigned DemandedWidth) {
Simon Pilgrim61116dd2015-09-17 20:32:45 +0000895 APInt UndefElts(Width, 0);
896 APInt DemandedElts = APInt::getLowBitsSet(Width, DemandedWidth);
897 return SimplifyDemandedVectorElts(Op, DemandedElts, UndefElts);
898 };
899
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000900 switch (II->getIntrinsicID()) {
901 default: break;
Eric Christopher7b7028f2010-02-09 21:24:27 +0000902 case Intrinsic::objectsize: {
Nuno Lopes55fff832012-06-21 15:45:28 +0000903 uint64_t Size;
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000904 if (getObjectSize(II->getArgOperand(0), Size, DL, TLI))
Sanjay Patel4b198802016-02-01 22:23:39 +0000905 return replaceInstUsesWith(CI, ConstantInt::get(CI.getType(), Size));
Craig Topperf40110f2014-04-25 05:29:35 +0000906 return nullptr;
Eric Christopher7b7028f2010-02-09 21:24:27 +0000907 }
Michael Ilseman536cc322012-12-13 03:13:36 +0000908 case Intrinsic::bswap: {
909 Value *IIOperand = II->getArgOperand(0);
Craig Topperf40110f2014-04-25 05:29:35 +0000910 Value *X = nullptr;
Michael Ilseman536cc322012-12-13 03:13:36 +0000911
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000912 // bswap(bswap(x)) -> x
Michael Ilseman536cc322012-12-13 03:13:36 +0000913 if (match(IIOperand, m_BSwap(m_Value(X))))
Sanjay Patel4b198802016-02-01 22:23:39 +0000914 return replaceInstUsesWith(CI, X);
Jim Grosbach7815f562012-02-03 00:07:04 +0000915
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000916 // bswap(trunc(bswap(x))) -> trunc(lshr(x, c))
Michael Ilseman536cc322012-12-13 03:13:36 +0000917 if (match(IIOperand, m_Trunc(m_BSwap(m_Value(X))))) {
918 unsigned C = X->getType()->getPrimitiveSizeInBits() -
919 IIOperand->getType()->getPrimitiveSizeInBits();
920 Value *CV = ConstantInt::get(X->getType(), C);
921 Value *V = Builder->CreateLShr(X, CV);
922 return new TruncInst(V, IIOperand->getType());
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000923 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000924 break;
Michael Ilseman536cc322012-12-13 03:13:36 +0000925 }
926
James Molloy2d09c002015-11-12 12:39:41 +0000927 case Intrinsic::bitreverse: {
928 Value *IIOperand = II->getArgOperand(0);
929 Value *X = nullptr;
930
931 // bitreverse(bitreverse(x)) -> x
932 if (match(IIOperand, m_Intrinsic<Intrinsic::bitreverse>(m_Value(X))))
Sanjay Patel4b198802016-02-01 22:23:39 +0000933 return replaceInstUsesWith(CI, X);
James Molloy2d09c002015-11-12 12:39:41 +0000934 break;
935 }
936
Sanjay Patelb695c552016-02-01 17:00:10 +0000937 case Intrinsic::masked_load:
938 if (Value *SimplifiedMaskedOp = simplifyMaskedLoad(*II, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +0000939 return replaceInstUsesWith(CI, SimplifiedMaskedOp);
Sanjay Patelb695c552016-02-01 17:00:10 +0000940 break;
Sanjay Patel04f792b2016-02-01 19:39:52 +0000941 case Intrinsic::masked_store:
942 return simplifyMaskedStore(*II, *this);
Sanjay Patel103ab7d2016-02-01 22:10:26 +0000943 case Intrinsic::masked_gather:
944 return simplifyMaskedGather(*II, *this);
945 case Intrinsic::masked_scatter:
946 return simplifyMaskedScatter(*II, *this);
Sanjay Patelb695c552016-02-01 17:00:10 +0000947
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000948 case Intrinsic::powi:
Gabor Greif589a0b92010-06-24 12:58:35 +0000949 if (ConstantInt *Power = dyn_cast<ConstantInt>(II->getArgOperand(1))) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000950 // powi(x, 0) -> 1.0
951 if (Power->isZero())
Sanjay Patel4b198802016-02-01 22:23:39 +0000952 return replaceInstUsesWith(CI, ConstantFP::get(CI.getType(), 1.0));
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000953 // powi(x, 1) -> x
954 if (Power->isOne())
Sanjay Patel4b198802016-02-01 22:23:39 +0000955 return replaceInstUsesWith(CI, II->getArgOperand(0));
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000956 // powi(x, -1) -> 1/x
957 if (Power->isAllOnesValue())
958 return BinaryOperator::CreateFDiv(ConstantFP::get(CI.getType(), 1.0),
Gabor Greif589a0b92010-06-24 12:58:35 +0000959 II->getArgOperand(0));
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000960 }
961 break;
962 case Intrinsic::cttz: {
963 // If all bits below the first known one are known zero,
964 // this value is constant.
Chris Lattner229907c2011-07-18 04:54:35 +0000965 IntegerType *IT = dyn_cast<IntegerType>(II->getArgOperand(0)->getType());
Owen Anderson2f37bdc2011-07-01 21:52:38 +0000966 // FIXME: Try to simplify vectors of integers.
967 if (!IT) break;
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000968 uint32_t BitWidth = IT->getBitWidth();
969 APInt KnownZero(BitWidth, 0);
970 APInt KnownOne(BitWidth, 0);
Hal Finkel60db0582014-09-07 18:57:58 +0000971 computeKnownBits(II->getArgOperand(0), KnownZero, KnownOne, 0, II);
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000972 unsigned TrailingZeros = KnownOne.countTrailingZeros();
973 APInt Mask(APInt::getLowBitsSet(BitWidth, TrailingZeros));
974 if ((Mask & KnownZero) == Mask)
Sanjay Patel4b198802016-02-01 22:23:39 +0000975 return replaceInstUsesWith(CI, ConstantInt::get(IT,
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000976 APInt(BitWidth, TrailingZeros)));
Jim Grosbach7815f562012-02-03 00:07:04 +0000977
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000978 }
979 break;
980 case Intrinsic::ctlz: {
981 // If all bits above the first known one are known zero,
982 // this value is constant.
Chris Lattner229907c2011-07-18 04:54:35 +0000983 IntegerType *IT = dyn_cast<IntegerType>(II->getArgOperand(0)->getType());
Owen Anderson2f37bdc2011-07-01 21:52:38 +0000984 // FIXME: Try to simplify vectors of integers.
985 if (!IT) break;
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000986 uint32_t BitWidth = IT->getBitWidth();
987 APInt KnownZero(BitWidth, 0);
988 APInt KnownOne(BitWidth, 0);
Hal Finkel60db0582014-09-07 18:57:58 +0000989 computeKnownBits(II->getArgOperand(0), KnownZero, KnownOne, 0, II);
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000990 unsigned LeadingZeros = KnownOne.countLeadingZeros();
991 APInt Mask(APInt::getHighBitsSet(BitWidth, LeadingZeros));
992 if ((Mask & KnownZero) == Mask)
Sanjay Patel4b198802016-02-01 22:23:39 +0000993 return replaceInstUsesWith(CI, ConstantInt::get(IT,
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000994 APInt(BitWidth, LeadingZeros)));
Jim Grosbach7815f562012-02-03 00:07:04 +0000995
Chris Lattner7a9e47a2010-01-05 07:32:13 +0000996 }
997 break;
Sanjoy Dasb0984472015-04-08 04:27:22 +0000998
Nick Lewyckyabe2cc12015-04-13 19:17:37 +0000999 case Intrinsic::uadd_with_overflow:
1000 case Intrinsic::sadd_with_overflow:
1001 case Intrinsic::umul_with_overflow:
1002 case Intrinsic::smul_with_overflow:
Gabor Greif5b1370e2010-06-28 16:50:57 +00001003 if (isa<Constant>(II->getArgOperand(0)) &&
1004 !isa<Constant>(II->getArgOperand(1))) {
Sanjoy Dasb0984472015-04-08 04:27:22 +00001005 // Canonicalize constants into the RHS.
Gabor Greif5b1370e2010-06-28 16:50:57 +00001006 Value *LHS = II->getArgOperand(0);
1007 II->setArgOperand(0, II->getArgOperand(1));
1008 II->setArgOperand(1, LHS);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001009 return II;
1010 }
Nick Lewyckyd6f241d2015-04-13 20:03:08 +00001011 // fall through
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001012
Nick Lewyckyabe2cc12015-04-13 19:17:37 +00001013 case Intrinsic::usub_with_overflow:
1014 case Intrinsic::ssub_with_overflow: {
Sanjoy Dasb0984472015-04-08 04:27:22 +00001015 OverflowCheckFlavor OCF =
1016 IntrinsicIDToOverflowCheckFlavor(II->getIntrinsicID());
1017 assert(OCF != OCF_INVALID && "unexpected!");
Jim Grosbach7815f562012-02-03 00:07:04 +00001018
Sanjoy Dasb0984472015-04-08 04:27:22 +00001019 Value *OperationResult = nullptr;
1020 Constant *OverflowResult = nullptr;
1021 if (OptimizeOverflowCheck(OCF, II->getArgOperand(0), II->getArgOperand(1),
1022 *II, OperationResult, OverflowResult))
1023 return CreateOverflowTuple(II, OperationResult, OverflowResult);
Benjamin Kramera420df22014-07-04 10:22:21 +00001024
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001025 break;
Erik Eckstein096ff7d2014-12-11 08:02:30 +00001026 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001027
Matt Arsenaultd6511b42014-10-21 23:00:20 +00001028 case Intrinsic::minnum:
1029 case Intrinsic::maxnum: {
1030 Value *Arg0 = II->getArgOperand(0);
1031 Value *Arg1 = II->getArgOperand(1);
Sanjay Patel0069f562016-01-31 16:35:23 +00001032 // Canonicalize constants to the RHS.
1033 if (isa<ConstantFP>(Arg0) && !isa<ConstantFP>(Arg1)) {
Matt Arsenaultd6511b42014-10-21 23:00:20 +00001034 II->setArgOperand(0, Arg1);
1035 II->setArgOperand(1, Arg0);
1036 return II;
1037 }
Sanjay Patel0069f562016-01-31 16:35:23 +00001038 if (Value *V = simplifyMinnumMaxnum(*II))
Sanjay Patel4b198802016-02-01 22:23:39 +00001039 return replaceInstUsesWith(*II, V);
Matt Arsenaultd6511b42014-10-21 23:00:20 +00001040 break;
1041 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001042 case Intrinsic::ppc_altivec_lvx:
1043 case Intrinsic::ppc_altivec_lvxl:
Bill Wendlingb902f1d2011-04-13 00:36:11 +00001044 // Turn PPC lvx -> load if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001045 if (getOrEnforceKnownAlignment(II->getArgOperand(0), 16, DL, II, AC, DT) >=
Chandler Carruth66b31302015-01-04 12:03:27 +00001046 16) {
Gabor Greif589a0b92010-06-24 12:58:35 +00001047 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(0),
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001048 PointerType::getUnqual(II->getType()));
1049 return new LoadInst(Ptr);
1050 }
1051 break;
Bill Schmidt72954782014-11-12 04:19:40 +00001052 case Intrinsic::ppc_vsx_lxvw4x:
1053 case Intrinsic::ppc_vsx_lxvd2x: {
1054 // Turn PPC VSX loads into normal loads.
1055 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(0),
1056 PointerType::getUnqual(II->getType()));
1057 return new LoadInst(Ptr, Twine(""), false, 1);
1058 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001059 case Intrinsic::ppc_altivec_stvx:
1060 case Intrinsic::ppc_altivec_stvxl:
1061 // Turn stvx -> store if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001062 if (getOrEnforceKnownAlignment(II->getArgOperand(1), 16, DL, II, AC, DT) >=
Chandler Carruth66b31302015-01-04 12:03:27 +00001063 16) {
Jim Grosbach7815f562012-02-03 00:07:04 +00001064 Type *OpPtrTy =
Gabor Greifa6d75e22010-06-24 15:51:11 +00001065 PointerType::getUnqual(II->getArgOperand(0)->getType());
1066 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(1), OpPtrTy);
1067 return new StoreInst(II->getArgOperand(0), Ptr);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001068 }
1069 break;
Bill Schmidt72954782014-11-12 04:19:40 +00001070 case Intrinsic::ppc_vsx_stxvw4x:
1071 case Intrinsic::ppc_vsx_stxvd2x: {
1072 // Turn PPC VSX stores into normal stores.
1073 Type *OpPtrTy = PointerType::getUnqual(II->getArgOperand(0)->getType());
1074 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(1), OpPtrTy);
1075 return new StoreInst(II->getArgOperand(0), Ptr, false, 1);
1076 }
Hal Finkel221f4672015-02-26 18:56:03 +00001077 case Intrinsic::ppc_qpx_qvlfs:
1078 // Turn PPC QPX qvlfs -> load if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001079 if (getOrEnforceKnownAlignment(II->getArgOperand(0), 16, DL, II, AC, DT) >=
Hal Finkel221f4672015-02-26 18:56:03 +00001080 16) {
Hal Finkelf0d68d72015-05-11 06:37:03 +00001081 Type *VTy = VectorType::get(Builder->getFloatTy(),
1082 II->getType()->getVectorNumElements());
Hal Finkel221f4672015-02-26 18:56:03 +00001083 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(0),
Hal Finkelf0d68d72015-05-11 06:37:03 +00001084 PointerType::getUnqual(VTy));
1085 Value *Load = Builder->CreateLoad(Ptr);
1086 return new FPExtInst(Load, II->getType());
Hal Finkel221f4672015-02-26 18:56:03 +00001087 }
1088 break;
1089 case Intrinsic::ppc_qpx_qvlfd:
1090 // Turn PPC QPX qvlfd -> load if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001091 if (getOrEnforceKnownAlignment(II->getArgOperand(0), 32, DL, II, AC, DT) >=
Hal Finkel221f4672015-02-26 18:56:03 +00001092 32) {
1093 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(0),
1094 PointerType::getUnqual(II->getType()));
1095 return new LoadInst(Ptr);
1096 }
1097 break;
1098 case Intrinsic::ppc_qpx_qvstfs:
1099 // Turn PPC QPX qvstfs -> store if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001100 if (getOrEnforceKnownAlignment(II->getArgOperand(1), 16, DL, II, AC, DT) >=
Hal Finkel221f4672015-02-26 18:56:03 +00001101 16) {
Hal Finkelf0d68d72015-05-11 06:37:03 +00001102 Type *VTy = VectorType::get(Builder->getFloatTy(),
1103 II->getArgOperand(0)->getType()->getVectorNumElements());
1104 Value *TOp = Builder->CreateFPTrunc(II->getArgOperand(0), VTy);
1105 Type *OpPtrTy = PointerType::getUnqual(VTy);
Hal Finkel221f4672015-02-26 18:56:03 +00001106 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(1), OpPtrTy);
Hal Finkelf0d68d72015-05-11 06:37:03 +00001107 return new StoreInst(TOp, Ptr);
Hal Finkel221f4672015-02-26 18:56:03 +00001108 }
1109 break;
1110 case Intrinsic::ppc_qpx_qvstfd:
1111 // Turn PPC QPX qvstfd -> store if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001112 if (getOrEnforceKnownAlignment(II->getArgOperand(1), 32, DL, II, AC, DT) >=
Hal Finkel221f4672015-02-26 18:56:03 +00001113 32) {
1114 Type *OpPtrTy =
1115 PointerType::getUnqual(II->getArgOperand(0)->getType());
1116 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(1), OpPtrTy);
1117 return new StoreInst(II->getArgOperand(0), Ptr);
1118 }
1119 break;
Simon Pilgrim20c607b2015-09-12 13:39:53 +00001120
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001121 case Intrinsic::x86_sse_storeu_ps:
1122 case Intrinsic::x86_sse2_storeu_pd:
1123 case Intrinsic::x86_sse2_storeu_dq:
1124 // Turn X86 storeu -> store if the pointer is known aligned.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001125 if (getOrEnforceKnownAlignment(II->getArgOperand(0), 16, DL, II, AC, DT) >=
Chandler Carruth66b31302015-01-04 12:03:27 +00001126 16) {
Jim Grosbach7815f562012-02-03 00:07:04 +00001127 Type *OpPtrTy =
Gabor Greifa6d75e22010-06-24 15:51:11 +00001128 PointerType::getUnqual(II->getArgOperand(1)->getType());
1129 Value *Ptr = Builder->CreateBitCast(II->getArgOperand(0), OpPtrTy);
1130 return new StoreInst(II->getArgOperand(1), Ptr);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001131 }
1132 break;
Chandler Carruthcf414cf2011-01-10 07:19:37 +00001133
Simon Pilgrim20c607b2015-09-12 13:39:53 +00001134 case Intrinsic::x86_vcvtph2ps_128:
1135 case Intrinsic::x86_vcvtph2ps_256: {
1136 auto Arg = II->getArgOperand(0);
1137 auto ArgType = cast<VectorType>(Arg->getType());
1138 auto RetType = cast<VectorType>(II->getType());
1139 unsigned ArgWidth = ArgType->getNumElements();
1140 unsigned RetWidth = RetType->getNumElements();
1141 assert(RetWidth <= ArgWidth && "Unexpected input/return vector widths");
1142 assert(ArgType->isIntOrIntVectorTy() &&
1143 ArgType->getScalarSizeInBits() == 16 &&
1144 "CVTPH2PS input type should be 16-bit integer vector");
1145 assert(RetType->getScalarType()->isFloatTy() &&
1146 "CVTPH2PS output type should be 32-bit float vector");
1147
1148 // Constant folding: Convert to generic half to single conversion.
Simon Pilgrim48ffca02015-09-12 14:00:17 +00001149 if (isa<ConstantAggregateZero>(Arg))
Sanjay Patel4b198802016-02-01 22:23:39 +00001150 return replaceInstUsesWith(*II, ConstantAggregateZero::get(RetType));
Simon Pilgrim20c607b2015-09-12 13:39:53 +00001151
Simon Pilgrim48ffca02015-09-12 14:00:17 +00001152 if (isa<ConstantDataVector>(Arg)) {
Simon Pilgrim20c607b2015-09-12 13:39:53 +00001153 auto VectorHalfAsShorts = Arg;
1154 if (RetWidth < ArgWidth) {
1155 SmallVector<int, 8> SubVecMask;
1156 for (unsigned i = 0; i != RetWidth; ++i)
1157 SubVecMask.push_back((int)i);
1158 VectorHalfAsShorts = Builder->CreateShuffleVector(
1159 Arg, UndefValue::get(ArgType), SubVecMask);
1160 }
1161
1162 auto VectorHalfType =
1163 VectorType::get(Type::getHalfTy(II->getContext()), RetWidth);
1164 auto VectorHalfs =
1165 Builder->CreateBitCast(VectorHalfAsShorts, VectorHalfType);
1166 auto VectorFloats = Builder->CreateFPExt(VectorHalfs, RetType);
Sanjay Patel4b198802016-02-01 22:23:39 +00001167 return replaceInstUsesWith(*II, VectorFloats);
Simon Pilgrim20c607b2015-09-12 13:39:53 +00001168 }
1169
1170 // We only use the lowest lanes of the argument.
Simon Pilgrim996725e2015-09-19 11:41:53 +00001171 if (Value *V = SimplifyDemandedVectorEltsLow(Arg, ArgWidth, RetWidth)) {
Simon Pilgrim20c607b2015-09-12 13:39:53 +00001172 II->setArgOperand(0, V);
1173 return II;
1174 }
1175 break;
1176 }
1177
Chandler Carruthcf414cf2011-01-10 07:19:37 +00001178 case Intrinsic::x86_sse_cvtss2si:
1179 case Intrinsic::x86_sse_cvtss2si64:
1180 case Intrinsic::x86_sse_cvttss2si:
1181 case Intrinsic::x86_sse_cvttss2si64:
1182 case Intrinsic::x86_sse2_cvtsd2si:
1183 case Intrinsic::x86_sse2_cvtsd2si64:
1184 case Intrinsic::x86_sse2_cvttsd2si:
1185 case Intrinsic::x86_sse2_cvttsd2si64: {
1186 // These intrinsics only demand the 0th element of their input vectors. If
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001187 // we can simplify the input based on that, do so now.
Simon Pilgrim996725e2015-09-19 11:41:53 +00001188 Value *Arg = II->getArgOperand(0);
1189 unsigned VWidth = Arg->getType()->getVectorNumElements();
1190 if (Value *V = SimplifyDemandedVectorEltsLow(Arg, VWidth, 1)) {
Gabor Greif5b1370e2010-06-28 16:50:57 +00001191 II->setArgOperand(0, V);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001192 return II;
1193 }
Simon Pilgrim18617d12015-08-05 08:18:00 +00001194 break;
1195 }
1196
Simon Pilgrima3a72b42015-08-10 20:21:15 +00001197 // Constant fold ashr( <A x Bi>, Ci ).
Simon Pilgrimbecd5e82015-08-13 07:39:03 +00001198 // Constant fold lshr( <A x Bi>, Ci ).
1199 // Constant fold shl( <A x Bi>, Ci ).
Simon Pilgrima3a72b42015-08-10 20:21:15 +00001200 case Intrinsic::x86_sse2_psrai_d:
1201 case Intrinsic::x86_sse2_psrai_w:
Simon Pilgrima3a72b42015-08-10 20:21:15 +00001202 case Intrinsic::x86_avx2_psrai_d:
1203 case Intrinsic::x86_avx2_psrai_w:
Simon Pilgrim18617d12015-08-05 08:18:00 +00001204 case Intrinsic::x86_sse2_psrli_d:
1205 case Intrinsic::x86_sse2_psrli_q:
1206 case Intrinsic::x86_sse2_psrli_w:
Simon Pilgrim18617d12015-08-05 08:18:00 +00001207 case Intrinsic::x86_avx2_psrli_d:
1208 case Intrinsic::x86_avx2_psrli_q:
1209 case Intrinsic::x86_avx2_psrli_w:
Michael J. Spencerdee4b2c2014-04-24 00:58:18 +00001210 case Intrinsic::x86_sse2_pslli_d:
1211 case Intrinsic::x86_sse2_pslli_q:
1212 case Intrinsic::x86_sse2_pslli_w:
Simon Pilgrim18617d12015-08-05 08:18:00 +00001213 case Intrinsic::x86_avx2_pslli_d:
1214 case Intrinsic::x86_avx2_pslli_q:
1215 case Intrinsic::x86_avx2_pslli_w:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001216 if (Value *V = simplifyX86immShift(*II, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001217 return replaceInstUsesWith(*II, V);
Simon Pilgrim18617d12015-08-05 08:18:00 +00001218 break;
1219
Simon Pilgrimbecd5e82015-08-13 07:39:03 +00001220 case Intrinsic::x86_sse2_psra_d:
1221 case Intrinsic::x86_sse2_psra_w:
1222 case Intrinsic::x86_avx2_psra_d:
1223 case Intrinsic::x86_avx2_psra_w:
1224 case Intrinsic::x86_sse2_psrl_d:
1225 case Intrinsic::x86_sse2_psrl_q:
1226 case Intrinsic::x86_sse2_psrl_w:
1227 case Intrinsic::x86_avx2_psrl_d:
1228 case Intrinsic::x86_avx2_psrl_q:
1229 case Intrinsic::x86_avx2_psrl_w:
1230 case Intrinsic::x86_sse2_psll_d:
1231 case Intrinsic::x86_sse2_psll_q:
1232 case Intrinsic::x86_sse2_psll_w:
1233 case Intrinsic::x86_avx2_psll_d:
1234 case Intrinsic::x86_avx2_psll_q:
1235 case Intrinsic::x86_avx2_psll_w: {
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001236 if (Value *V = simplifyX86immShift(*II, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001237 return replaceInstUsesWith(*II, V);
Simon Pilgrimbecd5e82015-08-13 07:39:03 +00001238
1239 // SSE2/AVX2 uses only the first 64-bits of the 128-bit vector
1240 // operand to compute the shift amount.
Simon Pilgrim996725e2015-09-19 11:41:53 +00001241 Value *Arg1 = II->getArgOperand(1);
1242 assert(Arg1->getType()->getPrimitiveSizeInBits() == 128 &&
Simon Pilgrimbecd5e82015-08-13 07:39:03 +00001243 "Unexpected packed shift size");
Simon Pilgrim996725e2015-09-19 11:41:53 +00001244 unsigned VWidth = Arg1->getType()->getVectorNumElements();
Simon Pilgrimbecd5e82015-08-13 07:39:03 +00001245
Simon Pilgrim996725e2015-09-19 11:41:53 +00001246 if (Value *V = SimplifyDemandedVectorEltsLow(Arg1, VWidth, VWidth / 2)) {
Simon Pilgrimbecd5e82015-08-13 07:39:03 +00001247 II->setArgOperand(1, V);
1248 return II;
1249 }
1250 break;
1251 }
1252
Simon Pilgrim15c0a592015-07-27 18:52:15 +00001253 case Intrinsic::x86_avx2_pmovsxbd:
1254 case Intrinsic::x86_avx2_pmovsxbq:
1255 case Intrinsic::x86_avx2_pmovsxbw:
1256 case Intrinsic::x86_avx2_pmovsxdq:
1257 case Intrinsic::x86_avx2_pmovsxwd:
1258 case Intrinsic::x86_avx2_pmovsxwq:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001259 if (Value *V = simplifyX86extend(*II, *Builder, true))
Sanjay Patel4b198802016-02-01 22:23:39 +00001260 return replaceInstUsesWith(*II, V);
Stuart Hastings5bd18b62011-05-17 22:13:31 +00001261 break;
Simon Pilgrim15c0a592015-07-27 18:52:15 +00001262
1263 case Intrinsic::x86_sse41_pmovzxbd:
1264 case Intrinsic::x86_sse41_pmovzxbq:
1265 case Intrinsic::x86_sse41_pmovzxbw:
1266 case Intrinsic::x86_sse41_pmovzxdq:
1267 case Intrinsic::x86_sse41_pmovzxwd:
1268 case Intrinsic::x86_sse41_pmovzxwq:
1269 case Intrinsic::x86_avx2_pmovzxbd:
1270 case Intrinsic::x86_avx2_pmovzxbq:
1271 case Intrinsic::x86_avx2_pmovzxbw:
1272 case Intrinsic::x86_avx2_pmovzxdq:
1273 case Intrinsic::x86_avx2_pmovzxwd:
1274 case Intrinsic::x86_avx2_pmovzxwq:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001275 if (Value *V = simplifyX86extend(*II, *Builder, false))
Sanjay Patel4b198802016-02-01 22:23:39 +00001276 return replaceInstUsesWith(*II, V);
Simon Pilgrim15c0a592015-07-27 18:52:15 +00001277 break;
1278
Sanjay Patelc86867c2015-04-16 17:52:13 +00001279 case Intrinsic::x86_sse41_insertps:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001280 if (Value *V = simplifyX86insertps(*II, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001281 return replaceInstUsesWith(*II, V);
Sanjay Patelc86867c2015-04-16 17:52:13 +00001282 break;
Simon Pilgrim54fcd622015-07-25 20:41:00 +00001283
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001284 case Intrinsic::x86_sse4a_extrq: {
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001285 Value *Op0 = II->getArgOperand(0);
1286 Value *Op1 = II->getArgOperand(1);
1287 unsigned VWidth0 = Op0->getType()->getVectorNumElements();
1288 unsigned VWidth1 = Op1->getType()->getVectorNumElements();
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001289 assert(Op0->getType()->getPrimitiveSizeInBits() == 128 &&
1290 Op1->getType()->getPrimitiveSizeInBits() == 128 && VWidth0 == 2 &&
1291 VWidth1 == 16 && "Unexpected operand sizes");
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001292
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001293 // See if we're dealing with constant values.
1294 Constant *C1 = dyn_cast<Constant>(Op1);
1295 ConstantInt *CILength =
1296 C1 ? dyn_cast<ConstantInt>(C1->getAggregateElement((unsigned)0))
1297 : nullptr;
1298 ConstantInt *CIIndex =
1299 C1 ? dyn_cast<ConstantInt>(C1->getAggregateElement((unsigned)1))
1300 : nullptr;
1301
1302 // Attempt to simplify to a constant, shuffle vector or EXTRQI call.
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001303 if (Value *V = simplifyX86extrq(*II, Op0, CILength, CIIndex, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001304 return replaceInstUsesWith(*II, V);
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001305
1306 // EXTRQ only uses the lowest 64-bits of the first 128-bit vector
1307 // operands and the lowest 16-bits of the second.
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001308 if (Value *V = SimplifyDemandedVectorEltsLow(Op0, VWidth0, 1)) {
1309 II->setArgOperand(0, V);
1310 return II;
1311 }
1312 if (Value *V = SimplifyDemandedVectorEltsLow(Op1, VWidth1, 2)) {
1313 II->setArgOperand(1, V);
1314 return II;
1315 }
1316 break;
1317 }
1318
1319 case Intrinsic::x86_sse4a_extrqi: {
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001320 // EXTRQI: Extract Length bits starting from Index. Zero pad the remaining
1321 // bits of the lower 64-bits. The upper 64-bits are undefined.
1322 Value *Op0 = II->getArgOperand(0);
1323 unsigned VWidth = Op0->getType()->getVectorNumElements();
1324 assert(Op0->getType()->getPrimitiveSizeInBits() == 128 && VWidth == 2 &&
1325 "Unexpected operand size");
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001326
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001327 // See if we're dealing with constant values.
1328 ConstantInt *CILength = dyn_cast<ConstantInt>(II->getArgOperand(1));
1329 ConstantInt *CIIndex = dyn_cast<ConstantInt>(II->getArgOperand(2));
1330
1331 // Attempt to simplify to a constant or shuffle vector.
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001332 if (Value *V = simplifyX86extrq(*II, Op0, CILength, CIIndex, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001333 return replaceInstUsesWith(*II, V);
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001334
1335 // EXTRQI only uses the lowest 64-bits of the first 128-bit vector
1336 // operand.
1337 if (Value *V = SimplifyDemandedVectorEltsLow(Op0, VWidth, 1)) {
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001338 II->setArgOperand(0, V);
1339 return II;
1340 }
1341 break;
1342 }
1343
1344 case Intrinsic::x86_sse4a_insertq: {
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001345 Value *Op0 = II->getArgOperand(0);
1346 Value *Op1 = II->getArgOperand(1);
1347 unsigned VWidth = Op0->getType()->getVectorNumElements();
1348 assert(Op0->getType()->getPrimitiveSizeInBits() == 128 &&
1349 Op1->getType()->getPrimitiveSizeInBits() == 128 && VWidth == 2 &&
1350 Op1->getType()->getVectorNumElements() == 2 &&
1351 "Unexpected operand size");
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001352
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001353 // See if we're dealing with constant values.
1354 Constant *C1 = dyn_cast<Constant>(Op1);
1355 ConstantInt *CI11 =
1356 C1 ? dyn_cast<ConstantInt>(C1->getAggregateElement((unsigned)1))
1357 : nullptr;
1358
1359 // Attempt to simplify to a constant, shuffle vector or INSERTQI call.
1360 if (CI11) {
1361 APInt V11 = CI11->getValue();
1362 APInt Len = V11.zextOrTrunc(6);
1363 APInt Idx = V11.lshr(8).zextOrTrunc(6);
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001364 if (Value *V = simplifyX86insertq(*II, Op0, Op1, Len, Idx, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001365 return replaceInstUsesWith(*II, V);
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001366 }
1367
1368 // INSERTQ only uses the lowest 64-bits of the first 128-bit vector
1369 // operand.
1370 if (Value *V = SimplifyDemandedVectorEltsLow(Op0, VWidth, 1)) {
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001371 II->setArgOperand(0, V);
1372 return II;
1373 }
1374 break;
1375 }
1376
Filipe Cabecinhas1a805952014-04-24 00:38:14 +00001377 case Intrinsic::x86_sse4a_insertqi: {
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001378 // INSERTQI: Extract lowest Length bits from lower half of second source and
1379 // insert over first source starting at Index bit. The upper 64-bits are
1380 // undefined.
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001381 Value *Op0 = II->getArgOperand(0);
1382 Value *Op1 = II->getArgOperand(1);
1383 unsigned VWidth0 = Op0->getType()->getVectorNumElements();
1384 unsigned VWidth1 = Op1->getType()->getVectorNumElements();
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001385 assert(Op0->getType()->getPrimitiveSizeInBits() == 128 &&
1386 Op1->getType()->getPrimitiveSizeInBits() == 128 && VWidth0 == 2 &&
1387 VWidth1 == 2 && "Unexpected operand sizes");
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001388
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001389 // See if we're dealing with constant values.
1390 ConstantInt *CILength = dyn_cast<ConstantInt>(II->getArgOperand(2));
1391 ConstantInt *CIIndex = dyn_cast<ConstantInt>(II->getArgOperand(3));
1392
1393 // Attempt to simplify to a constant or shuffle vector.
1394 if (CILength && CIIndex) {
1395 APInt Len = CILength->getValue().zextOrTrunc(6);
1396 APInt Idx = CIIndex->getValue().zextOrTrunc(6);
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001397 if (Value *V = simplifyX86insertq(*II, Op0, Op1, Len, Idx, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001398 return replaceInstUsesWith(*II, V);
Simon Pilgrim216b1bf2015-10-17 11:40:05 +00001399 }
1400
1401 // INSERTQI only uses the lowest 64-bits of the first two 128-bit vector
1402 // operands.
Simon Pilgrim61116dd2015-09-17 20:32:45 +00001403 if (Value *V = SimplifyDemandedVectorEltsLow(Op0, VWidth0, 1)) {
1404 II->setArgOperand(0, V);
1405 return II;
1406 }
1407
1408 if (Value *V = SimplifyDemandedVectorEltsLow(Op1, VWidth1, 1)) {
1409 II->setArgOperand(1, V);
1410 return II;
1411 }
Filipe Cabecinhas1a805952014-04-24 00:38:14 +00001412 break;
1413 }
1414
Filipe Cabecinhas82ac07c2014-05-27 03:42:20 +00001415 case Intrinsic::x86_sse41_pblendvb:
1416 case Intrinsic::x86_sse41_blendvps:
1417 case Intrinsic::x86_sse41_blendvpd:
1418 case Intrinsic::x86_avx_blendv_ps_256:
1419 case Intrinsic::x86_avx_blendv_pd_256:
1420 case Intrinsic::x86_avx2_pblendvb: {
1421 // Convert blendv* to vector selects if the mask is constant.
1422 // This optimization is convoluted because the intrinsic is defined as
1423 // getting a vector of floats or doubles for the ps and pd versions.
1424 // FIXME: That should be changed.
Simon Pilgrim8c049d52015-08-12 08:08:56 +00001425
1426 Value *Op0 = II->getArgOperand(0);
1427 Value *Op1 = II->getArgOperand(1);
Filipe Cabecinhas82ac07c2014-05-27 03:42:20 +00001428 Value *Mask = II->getArgOperand(2);
Simon Pilgrim8c049d52015-08-12 08:08:56 +00001429
1430 // fold (blend A, A, Mask) -> A
1431 if (Op0 == Op1)
Sanjay Patel4b198802016-02-01 22:23:39 +00001432 return replaceInstUsesWith(CI, Op0);
Simon Pilgrim8c049d52015-08-12 08:08:56 +00001433
1434 // Zero Mask - select 1st argument.
Simon Pilgrim93f59f52015-08-12 08:23:36 +00001435 if (isa<ConstantAggregateZero>(Mask))
Sanjay Patel4b198802016-02-01 22:23:39 +00001436 return replaceInstUsesWith(CI, Op0);
Simon Pilgrim8c049d52015-08-12 08:08:56 +00001437
1438 // Constant Mask - select 1st/2nd argument lane based on top bit of mask.
Filipe Cabecinhas82ac07c2014-05-27 03:42:20 +00001439 if (auto C = dyn_cast<ConstantDataVector>(Mask)) {
1440 auto Tyi1 = Builder->getInt1Ty();
1441 auto SelectorType = cast<VectorType>(Mask->getType());
1442 auto EltTy = SelectorType->getElementType();
1443 unsigned Size = SelectorType->getNumElements();
Filipe Cabecinhase8d6a1e2014-05-27 16:54:33 +00001444 unsigned BitWidth =
1445 EltTy->isFloatTy()
1446 ? 32
1447 : (EltTy->isDoubleTy() ? 64 : EltTy->getIntegerBitWidth());
Daniel Jasper73458c92014-05-27 09:55:37 +00001448 assert((BitWidth == 64 || BitWidth == 32 || BitWidth == 8) &&
1449 "Wrong arguments for variable blend intrinsic");
Filipe Cabecinhase8d6a1e2014-05-27 16:54:33 +00001450 SmallVector<Constant *, 32> Selectors;
Filipe Cabecinhas82ac07c2014-05-27 03:42:20 +00001451 for (unsigned I = 0; I < Size; ++I) {
1452 // The intrinsics only read the top bit
1453 uint64_t Selector;
1454 if (BitWidth == 8)
1455 Selector = C->getElementAsInteger(I);
1456 else
1457 Selector = C->getElementAsAPFloat(I).bitcastToAPInt().getZExtValue();
1458 Selectors.push_back(ConstantInt::get(Tyi1, Selector >> (BitWidth - 1)));
1459 }
1460 auto NewSelector = ConstantVector::get(Selectors);
Simon Pilgrim8c049d52015-08-12 08:08:56 +00001461 return SelectInst::Create(NewSelector, Op1, Op0, "blendv");
Filipe Cabecinhas82ac07c2014-05-27 03:42:20 +00001462 }
Simon Pilgrim8c049d52015-08-12 08:08:56 +00001463 break;
Filipe Cabecinhas82ac07c2014-05-27 03:42:20 +00001464 }
1465
Andrea Di Biagio0594e2a2015-09-30 16:44:39 +00001466 case Intrinsic::x86_ssse3_pshuf_b_128:
1467 case Intrinsic::x86_avx2_pshuf_b: {
1468 // Turn pshufb(V1,mask) -> shuffle(V1,Zero,mask) if mask is a constant.
1469 auto *V = II->getArgOperand(1);
1470 auto *VTy = cast<VectorType>(V->getType());
1471 unsigned NumElts = VTy->getNumElements();
1472 assert((NumElts == 16 || NumElts == 32) &&
1473 "Unexpected number of elements in shuffle mask!");
1474 // Initialize the resulting shuffle mask to all zeroes.
1475 uint32_t Indexes[32] = {0};
1476
1477 if (auto *Mask = dyn_cast<ConstantDataVector>(V)) {
1478 // Each byte in the shuffle control mask forms an index to permute the
1479 // corresponding byte in the destination operand.
1480 for (unsigned I = 0; I < NumElts; ++I) {
1481 int8_t Index = Mask->getElementAsInteger(I);
1482 // If the most significant bit (bit[7]) of each byte of the shuffle
1483 // control mask is set, then zero is written in the result byte.
1484 // The zero vector is in the right-hand side of the resulting
1485 // shufflevector.
Simon Pilgrim3c2b30f2015-10-13 14:48:54 +00001486
Andrea Di Biagio0594e2a2015-09-30 16:44:39 +00001487 // The value of each index is the least significant 4 bits of the
Simon Pilgrim3c2b30f2015-10-13 14:48:54 +00001488 // shuffle control byte.
Andrea Di Biagio0594e2a2015-09-30 16:44:39 +00001489 Indexes[I] = (Index < 0) ? NumElts : Index & 0xF;
1490 }
1491 } else if (!isa<ConstantAggregateZero>(V))
1492 break;
1493
1494 // The value of each index for the high 128-bit lane is the least
1495 // significant 4 bits of the respective shuffle control byte.
1496 for (unsigned I = 16; I < NumElts; ++I)
1497 Indexes[I] += I & 0xF0;
1498
1499 auto NewC = ConstantDataVector::get(V->getContext(),
1500 makeArrayRef(Indexes, NumElts));
1501 auto V1 = II->getArgOperand(0);
1502 auto V2 = Constant::getNullValue(II->getType());
1503 auto Shuffle = Builder->CreateShuffleVector(V1, V2, NewC);
Sanjay Patel4b198802016-02-01 22:23:39 +00001504 return replaceInstUsesWith(CI, Shuffle);
Andrea Di Biagio0594e2a2015-09-30 16:44:39 +00001505 }
1506
Rafael Espindolabad3f772014-04-21 22:06:04 +00001507 case Intrinsic::x86_avx_vpermilvar_ps:
1508 case Intrinsic::x86_avx_vpermilvar_ps_256:
1509 case Intrinsic::x86_avx_vpermilvar_pd:
1510 case Intrinsic::x86_avx_vpermilvar_pd_256: {
1511 // Convert vpermil* to shufflevector if the mask is constant.
1512 Value *V = II->getArgOperand(1);
Rafael Espindola85f36102014-04-29 22:20:40 +00001513 unsigned Size = cast<VectorType>(V->getType())->getNumElements();
1514 assert(Size == 8 || Size == 4 || Size == 2);
1515 uint32_t Indexes[8];
Rafael Espindolabad3f772014-04-21 22:06:04 +00001516 if (auto C = dyn_cast<ConstantDataVector>(V)) {
Rafael Espindolaeb7bdbd2014-04-29 20:41:54 +00001517 // The intrinsics only read one or two bits, clear the rest.
1518 for (unsigned I = 0; I < Size; ++I) {
Rafael Espindola152ee212014-04-29 21:02:37 +00001519 uint32_t Index = C->getElementAsInteger(I) & 0x3;
1520 if (II->getIntrinsicID() == Intrinsic::x86_avx_vpermilvar_pd ||
1521 II->getIntrinsicID() == Intrinsic::x86_avx_vpermilvar_pd_256)
1522 Index >>= 1;
Rafael Espindolaeb7bdbd2014-04-29 20:41:54 +00001523 Indexes[I] = Index;
1524 }
Rafael Espindola85f36102014-04-29 22:20:40 +00001525 } else if (isa<ConstantAggregateZero>(V)) {
1526 for (unsigned I = 0; I < Size; ++I)
1527 Indexes[I] = 0;
1528 } else {
1529 break;
Rafael Espindolabad3f772014-04-21 22:06:04 +00001530 }
Rafael Espindola85f36102014-04-29 22:20:40 +00001531 // The _256 variants are a bit trickier since the mask bits always index
1532 // into the corresponding 128 half. In order to convert to a generic
1533 // shuffle, we have to make that explicit.
1534 if (II->getIntrinsicID() == Intrinsic::x86_avx_vpermilvar_ps_256 ||
1535 II->getIntrinsicID() == Intrinsic::x86_avx_vpermilvar_pd_256) {
1536 for (unsigned I = Size / 2; I < Size; ++I)
1537 Indexes[I] += Size / 2;
1538 }
1539 auto NewC =
1540 ConstantDataVector::get(V->getContext(), makeArrayRef(Indexes, Size));
1541 auto V1 = II->getArgOperand(0);
1542 auto V2 = UndefValue::get(V1->getType());
1543 auto Shuffle = Builder->CreateShuffleVector(V1, V2, NewC);
Sanjay Patel4b198802016-02-01 22:23:39 +00001544 return replaceInstUsesWith(CI, Shuffle);
Rafael Espindolabad3f772014-04-21 22:06:04 +00001545 }
1546
Sanjay Patelccf5f242015-03-20 21:47:56 +00001547 case Intrinsic::x86_avx_vperm2f128_pd_256:
1548 case Intrinsic::x86_avx_vperm2f128_ps_256:
1549 case Intrinsic::x86_avx_vperm2f128_si_256:
Sanjay Patele304bea2015-03-24 22:39:29 +00001550 case Intrinsic::x86_avx2_vperm2i128:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001551 if (Value *V = simplifyX86vperm2(*II, *Builder))
Sanjay Patel4b198802016-02-01 22:23:39 +00001552 return replaceInstUsesWith(*II, V);
Sanjay Patelccf5f242015-03-20 21:47:56 +00001553 break;
1554
Simon Pilgrim1d1c56e22015-10-11 14:38:34 +00001555 case Intrinsic::x86_xop_vpcomb:
1556 case Intrinsic::x86_xop_vpcomd:
1557 case Intrinsic::x86_xop_vpcomq:
1558 case Intrinsic::x86_xop_vpcomw:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001559 if (Value *V = simplifyX86vpcom(*II, *Builder, true))
Sanjay Patel4b198802016-02-01 22:23:39 +00001560 return replaceInstUsesWith(*II, V);
Simon Pilgrim1d1c56e22015-10-11 14:38:34 +00001561 break;
1562
1563 case Intrinsic::x86_xop_vpcomub:
1564 case Intrinsic::x86_xop_vpcomud:
1565 case Intrinsic::x86_xop_vpcomuq:
1566 case Intrinsic::x86_xop_vpcomuw:
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001567 if (Value *V = simplifyX86vpcom(*II, *Builder, false))
Sanjay Patel4b198802016-02-01 22:23:39 +00001568 return replaceInstUsesWith(*II, V);
Simon Pilgrim1d1c56e22015-10-11 14:38:34 +00001569 break;
1570
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001571 case Intrinsic::ppc_altivec_vperm:
1572 // Turn vperm(V1,V2,mask) -> shuffle(V1,V2,mask) if mask is a constant.
Bill Schmidta1184632014-06-05 19:46:04 +00001573 // Note that ppc_altivec_vperm has a big-endian bias, so when creating
1574 // a vectorshuffle for little endian, we must undo the transformation
1575 // performed on vec_perm in altivec.h. That is, we must complement
1576 // the permutation mask with respect to 31 and reverse the order of
1577 // V1 and V2.
Chris Lattner0256be92012-01-27 03:08:05 +00001578 if (Constant *Mask = dyn_cast<Constant>(II->getArgOperand(2))) {
1579 assert(Mask->getType()->getVectorNumElements() == 16 &&
1580 "Bad type for intrinsic!");
Jim Grosbach7815f562012-02-03 00:07:04 +00001581
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001582 // Check that all of the elements are integer constants or undefs.
1583 bool AllEltsOk = true;
1584 for (unsigned i = 0; i != 16; ++i) {
Chris Lattner0256be92012-01-27 03:08:05 +00001585 Constant *Elt = Mask->getAggregateElement(i);
Craig Topperf40110f2014-04-25 05:29:35 +00001586 if (!Elt || !(isa<ConstantInt>(Elt) || isa<UndefValue>(Elt))) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001587 AllEltsOk = false;
1588 break;
1589 }
1590 }
Jim Grosbach7815f562012-02-03 00:07:04 +00001591
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001592 if (AllEltsOk) {
1593 // Cast the input vectors to byte vectors.
Gabor Greif3e44ea12010-07-22 10:37:47 +00001594 Value *Op0 = Builder->CreateBitCast(II->getArgOperand(0),
1595 Mask->getType());
1596 Value *Op1 = Builder->CreateBitCast(II->getArgOperand(1),
1597 Mask->getType());
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001598 Value *Result = UndefValue::get(Op0->getType());
Jim Grosbach7815f562012-02-03 00:07:04 +00001599
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001600 // Only extract each element once.
1601 Value *ExtractedElts[32];
1602 memset(ExtractedElts, 0, sizeof(ExtractedElts));
Jim Grosbach7815f562012-02-03 00:07:04 +00001603
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001604 for (unsigned i = 0; i != 16; ++i) {
Chris Lattner0256be92012-01-27 03:08:05 +00001605 if (isa<UndefValue>(Mask->getAggregateElement(i)))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001606 continue;
Jim Grosbach7815f562012-02-03 00:07:04 +00001607 unsigned Idx =
Chris Lattner0256be92012-01-27 03:08:05 +00001608 cast<ConstantInt>(Mask->getAggregateElement(i))->getZExtValue();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001609 Idx &= 31; // Match the hardware behavior.
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001610 if (DL.isLittleEndian())
Bill Schmidta1184632014-06-05 19:46:04 +00001611 Idx = 31 - Idx;
Jim Grosbach7815f562012-02-03 00:07:04 +00001612
Craig Topperf40110f2014-04-25 05:29:35 +00001613 if (!ExtractedElts[Idx]) {
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001614 Value *Op0ToUse = (DL.isLittleEndian()) ? Op1 : Op0;
1615 Value *Op1ToUse = (DL.isLittleEndian()) ? Op0 : Op1;
Jim Grosbach7815f562012-02-03 00:07:04 +00001616 ExtractedElts[Idx] =
Bill Schmidta1184632014-06-05 19:46:04 +00001617 Builder->CreateExtractElement(Idx < 16 ? Op0ToUse : Op1ToUse,
Benjamin Kramer547b6c52011-09-27 20:39:19 +00001618 Builder->getInt32(Idx&15));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001619 }
Jim Grosbach7815f562012-02-03 00:07:04 +00001620
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001621 // Insert this value into the result vector.
1622 Result = Builder->CreateInsertElement(Result, ExtractedElts[Idx],
Benjamin Kramer547b6c52011-09-27 20:39:19 +00001623 Builder->getInt32(i));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001624 }
1625 return CastInst::Create(Instruction::BitCast, Result, CI.getType());
1626 }
1627 }
1628 break;
1629
Bob Wilsona4e231c2010-10-22 21:41:48 +00001630 case Intrinsic::arm_neon_vld1:
1631 case Intrinsic::arm_neon_vld2:
1632 case Intrinsic::arm_neon_vld3:
1633 case Intrinsic::arm_neon_vld4:
1634 case Intrinsic::arm_neon_vld2lane:
1635 case Intrinsic::arm_neon_vld3lane:
1636 case Intrinsic::arm_neon_vld4lane:
1637 case Intrinsic::arm_neon_vst1:
1638 case Intrinsic::arm_neon_vst2:
1639 case Intrinsic::arm_neon_vst3:
1640 case Intrinsic::arm_neon_vst4:
1641 case Intrinsic::arm_neon_vst2lane:
1642 case Intrinsic::arm_neon_vst3lane:
1643 case Intrinsic::arm_neon_vst4lane: {
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001644 unsigned MemAlign = getKnownAlignment(II->getArgOperand(0), DL, II, AC, DT);
Bob Wilsona4e231c2010-10-22 21:41:48 +00001645 unsigned AlignArg = II->getNumArgOperands() - 1;
1646 ConstantInt *IntrAlign = dyn_cast<ConstantInt>(II->getArgOperand(AlignArg));
1647 if (IntrAlign && IntrAlign->getZExtValue() < MemAlign) {
1648 II->setArgOperand(AlignArg,
1649 ConstantInt::get(Type::getInt32Ty(II->getContext()),
1650 MemAlign, false));
1651 return II;
1652 }
1653 break;
1654 }
1655
Lang Hames3a90fab2012-05-01 00:20:38 +00001656 case Intrinsic::arm_neon_vmulls:
Tim Northover00ed9962014-03-29 10:18:08 +00001657 case Intrinsic::arm_neon_vmullu:
Tim Northover3b0846e2014-05-24 12:50:23 +00001658 case Intrinsic::aarch64_neon_smull:
1659 case Intrinsic::aarch64_neon_umull: {
Lang Hames3a90fab2012-05-01 00:20:38 +00001660 Value *Arg0 = II->getArgOperand(0);
1661 Value *Arg1 = II->getArgOperand(1);
1662
1663 // Handle mul by zero first:
1664 if (isa<ConstantAggregateZero>(Arg0) || isa<ConstantAggregateZero>(Arg1)) {
Sanjay Patel4b198802016-02-01 22:23:39 +00001665 return replaceInstUsesWith(CI, ConstantAggregateZero::get(II->getType()));
Lang Hames3a90fab2012-05-01 00:20:38 +00001666 }
1667
1668 // Check for constant LHS & RHS - in this case we just simplify.
Tim Northover00ed9962014-03-29 10:18:08 +00001669 bool Zext = (II->getIntrinsicID() == Intrinsic::arm_neon_vmullu ||
Tim Northover3b0846e2014-05-24 12:50:23 +00001670 II->getIntrinsicID() == Intrinsic::aarch64_neon_umull);
Lang Hames3a90fab2012-05-01 00:20:38 +00001671 VectorType *NewVT = cast<VectorType>(II->getType());
Benjamin Kramer92040952014-02-13 18:23:24 +00001672 if (Constant *CV0 = dyn_cast<Constant>(Arg0)) {
1673 if (Constant *CV1 = dyn_cast<Constant>(Arg1)) {
1674 CV0 = ConstantExpr::getIntegerCast(CV0, NewVT, /*isSigned=*/!Zext);
1675 CV1 = ConstantExpr::getIntegerCast(CV1, NewVT, /*isSigned=*/!Zext);
1676
Sanjay Patel4b198802016-02-01 22:23:39 +00001677 return replaceInstUsesWith(CI, ConstantExpr::getMul(CV0, CV1));
Lang Hames3a90fab2012-05-01 00:20:38 +00001678 }
1679
Alp Tokercb402912014-01-24 17:20:08 +00001680 // Couldn't simplify - canonicalize constant to the RHS.
Lang Hames3a90fab2012-05-01 00:20:38 +00001681 std::swap(Arg0, Arg1);
1682 }
1683
1684 // Handle mul by one:
Benjamin Kramer92040952014-02-13 18:23:24 +00001685 if (Constant *CV1 = dyn_cast<Constant>(Arg1))
Lang Hames3a90fab2012-05-01 00:20:38 +00001686 if (ConstantInt *Splat =
Benjamin Kramer92040952014-02-13 18:23:24 +00001687 dyn_cast_or_null<ConstantInt>(CV1->getSplatValue()))
1688 if (Splat->isOne())
1689 return CastInst::CreateIntegerCast(Arg0, II->getType(),
1690 /*isSigned=*/!Zext);
Lang Hames3a90fab2012-05-01 00:20:38 +00001691
1692 break;
1693 }
1694
Matt Arsenaultbef34e22016-01-22 21:30:34 +00001695 case Intrinsic::amdgcn_rcp: {
Matt Arsenaulta0050b02014-06-19 01:19:19 +00001696 if (const ConstantFP *C = dyn_cast<ConstantFP>(II->getArgOperand(0))) {
1697 const APFloat &ArgVal = C->getValueAPF();
1698 APFloat Val(ArgVal.getSemantics(), 1.0);
1699 APFloat::opStatus Status = Val.divide(ArgVal,
1700 APFloat::rmNearestTiesToEven);
1701 // Only do this if it was exact and therefore not dependent on the
1702 // rounding mode.
1703 if (Status == APFloat::opOK)
Sanjay Patel4b198802016-02-01 22:23:39 +00001704 return replaceInstUsesWith(CI, ConstantFP::get(II->getContext(), Val));
Matt Arsenaulta0050b02014-06-19 01:19:19 +00001705 }
1706
1707 break;
1708 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001709 case Intrinsic::stackrestore: {
1710 // If the save is right next to the restore, remove the restore. This can
1711 // happen when variable allocas are DCE'd.
Gabor Greif589a0b92010-06-24 12:58:35 +00001712 if (IntrinsicInst *SS = dyn_cast<IntrinsicInst>(II->getArgOperand(0))) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001713 if (SS->getIntrinsicID() == Intrinsic::stacksave) {
Duncan P. N. Exon Smith9f8aaf22015-10-13 16:59:33 +00001714 if (&*++SS->getIterator() == II)
Sanjay Patel4b198802016-02-01 22:23:39 +00001715 return eraseInstFromFunction(CI);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001716 }
1717 }
Jim Grosbach7815f562012-02-03 00:07:04 +00001718
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001719 // Scan down this block to see if there is another stack restore in the
1720 // same block without an intervening call/alloca.
Duncan P. N. Exon Smith9f8aaf22015-10-13 16:59:33 +00001721 BasicBlock::iterator BI(II);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001722 TerminatorInst *TI = II->getParent()->getTerminator();
1723 bool CannotRemove = false;
1724 for (++BI; &*BI != TI; ++BI) {
Nuno Lopes55fff832012-06-21 15:45:28 +00001725 if (isa<AllocaInst>(BI)) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001726 CannotRemove = true;
1727 break;
1728 }
1729 if (CallInst *BCI = dyn_cast<CallInst>(BI)) {
1730 if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(BCI)) {
1731 // If there is a stackrestore below this one, remove this one.
1732 if (II->getIntrinsicID() == Intrinsic::stackrestore)
Sanjay Patel4b198802016-02-01 22:23:39 +00001733 return eraseInstFromFunction(CI);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001734 // Otherwise, ignore the intrinsic.
1735 } else {
1736 // If we found a non-intrinsic call, we can't remove the stack
1737 // restore.
1738 CannotRemove = true;
1739 break;
1740 }
1741 }
1742 }
Jim Grosbach7815f562012-02-03 00:07:04 +00001743
Bill Wendlingf891bf82011-07-31 06:30:59 +00001744 // If the stack restore is in a return, resume, or unwind block and if there
1745 // are no allocas or calls between the restore and the return, nuke the
1746 // restore.
Bill Wendlingd5d95b02012-02-06 21:16:41 +00001747 if (!CannotRemove && (isa<ReturnInst>(TI) || isa<ResumeInst>(TI)))
Sanjay Patel4b198802016-02-01 22:23:39 +00001748 return eraseInstFromFunction(CI);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001749 break;
1750 }
Arnaud A. de Grandmaison849f3bf2015-10-01 14:54:31 +00001751 case Intrinsic::lifetime_start: {
1752 // Remove trivially empty lifetime_start/end ranges, i.e. a start
1753 // immediately followed by an end (ignoring debuginfo or other
1754 // lifetime markers in between).
Duncan P. N. Exon Smith9f8aaf22015-10-13 16:59:33 +00001755 BasicBlock::iterator BI = II->getIterator(), BE = II->getParent()->end();
Arnaud A. de Grandmaison849f3bf2015-10-01 14:54:31 +00001756 for (++BI; BI != BE; ++BI) {
1757 if (IntrinsicInst *LTE = dyn_cast<IntrinsicInst>(BI)) {
1758 if (isa<DbgInfoIntrinsic>(LTE) ||
1759 LTE->getIntrinsicID() == Intrinsic::lifetime_start)
1760 continue;
1761 if (LTE->getIntrinsicID() == Intrinsic::lifetime_end) {
1762 if (II->getOperand(0) == LTE->getOperand(0) &&
1763 II->getOperand(1) == LTE->getOperand(1)) {
Sanjay Patel4b198802016-02-01 22:23:39 +00001764 eraseInstFromFunction(*LTE);
1765 return eraseInstFromFunction(*II);
Arnaud A. de Grandmaison849f3bf2015-10-01 14:54:31 +00001766 }
1767 continue;
1768 }
1769 }
1770 break;
1771 }
1772 break;
1773 }
Hal Finkelf5867a72014-07-25 21:45:17 +00001774 case Intrinsic::assume: {
1775 // Canonicalize assume(a && b) -> assume(a); assume(b);
Hal Finkel74c2f352014-09-07 12:44:26 +00001776 // Note: New assumption intrinsics created here are registered by
1777 // the InstCombineIRInserter object.
Hal Finkelf5867a72014-07-25 21:45:17 +00001778 Value *IIOperand = II->getArgOperand(0), *A, *B,
1779 *AssumeIntrinsic = II->getCalledValue();
1780 if (match(IIOperand, m_And(m_Value(A), m_Value(B)))) {
1781 Builder->CreateCall(AssumeIntrinsic, A, II->getName());
1782 Builder->CreateCall(AssumeIntrinsic, B, II->getName());
Sanjay Patel4b198802016-02-01 22:23:39 +00001783 return eraseInstFromFunction(*II);
Hal Finkelf5867a72014-07-25 21:45:17 +00001784 }
1785 // assume(!(a || b)) -> assume(!a); assume(!b);
1786 if (match(IIOperand, m_Not(m_Or(m_Value(A), m_Value(B))))) {
Hal Finkel74c2f352014-09-07 12:44:26 +00001787 Builder->CreateCall(AssumeIntrinsic, Builder->CreateNot(A),
1788 II->getName());
1789 Builder->CreateCall(AssumeIntrinsic, Builder->CreateNot(B),
1790 II->getName());
Sanjay Patel4b198802016-02-01 22:23:39 +00001791 return eraseInstFromFunction(*II);
Hal Finkelf5867a72014-07-25 21:45:17 +00001792 }
Hal Finkel04a15612014-10-04 21:27:06 +00001793
Philip Reames66c6de62014-11-11 23:33:19 +00001794 // assume( (load addr) != null ) -> add 'nonnull' metadata to load
1795 // (if assume is valid at the load)
1796 if (ICmpInst* ICmp = dyn_cast<ICmpInst>(IIOperand)) {
1797 Value *LHS = ICmp->getOperand(0);
1798 Value *RHS = ICmp->getOperand(1);
1799 if (ICmpInst::ICMP_NE == ICmp->getPredicate() &&
1800 isa<LoadInst>(LHS) &&
1801 isa<Constant>(RHS) &&
1802 RHS->getType()->isPointerTy() &&
1803 cast<Constant>(RHS)->isNullValue()) {
1804 LoadInst* LI = cast<LoadInst>(LHS);
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001805 if (isValidAssumeForContext(II, LI, DT)) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +00001806 MDNode *MD = MDNode::get(II->getContext(), None);
Philip Reames66c6de62014-11-11 23:33:19 +00001807 LI->setMetadata(LLVMContext::MD_nonnull, MD);
Sanjay Patel4b198802016-02-01 22:23:39 +00001808 return eraseInstFromFunction(*II);
Philip Reames66c6de62014-11-11 23:33:19 +00001809 }
1810 }
Chandler Carruth24969102015-02-10 08:07:32 +00001811 // TODO: apply nonnull return attributes to calls and invokes
Philip Reames66c6de62014-11-11 23:33:19 +00001812 // TODO: apply range metadata for range check patterns?
1813 }
Hal Finkel04a15612014-10-04 21:27:06 +00001814 // If there is a dominating assume with the same condition as this one,
1815 // then this one is redundant, and should be removed.
Hal Finkel45646882014-10-05 00:53:02 +00001816 APInt KnownZero(1, 0), KnownOne(1, 0);
1817 computeKnownBits(IIOperand, KnownZero, KnownOne, 0, II);
1818 if (KnownOne.isAllOnesValue())
Sanjay Patel4b198802016-02-01 22:23:39 +00001819 return eraseInstFromFunction(*II);
Hal Finkel04a15612014-10-04 21:27:06 +00001820
Hal Finkelf5867a72014-07-25 21:45:17 +00001821 break;
1822 }
Philip Reames9db26ff2014-12-29 23:27:30 +00001823 case Intrinsic::experimental_gc_relocate: {
1824 // Translate facts known about a pointer before relocating into
1825 // facts about the relocate value, while being careful to
1826 // preserve relocation semantics.
Manuel Jacob83eefa62016-01-05 04:03:00 +00001827 Value *DerivedPtr = cast<GCRelocateInst>(II)->getDerivedPtr();
Philip Reames9db26ff2014-12-29 23:27:30 +00001828
1829 // Remove the relocation if unused, note that this check is required
1830 // to prevent the cases below from looping forever.
1831 if (II->use_empty())
Sanjay Patel4b198802016-02-01 22:23:39 +00001832 return eraseInstFromFunction(*II);
Philip Reames9db26ff2014-12-29 23:27:30 +00001833
1834 // Undef is undef, even after relocation.
1835 // TODO: provide a hook for this in GCStrategy. This is clearly legal for
1836 // most practical collectors, but there was discussion in the review thread
1837 // about whether it was legal for all possible collectors.
Philip Reamesea4d8e82016-02-09 21:09:22 +00001838 if (isa<UndefValue>(DerivedPtr))
1839 // Use undef of gc_relocate's type to replace it.
1840 return replaceInstUsesWith(*II, UndefValue::get(II->getType()));
Philip Reames9db26ff2014-12-29 23:27:30 +00001841
Philip Reamesea4d8e82016-02-09 21:09:22 +00001842 if (auto *PT = dyn_cast<PointerType>(II->getType())) {
1843 // The relocation of null will be null for most any collector.
1844 // TODO: provide a hook for this in GCStrategy. There might be some
1845 // weird collector this property does not hold for.
1846 if (isa<ConstantPointerNull>(DerivedPtr))
1847 // Use null-pointer of gc_relocate's type to replace it.
1848 return replaceInstUsesWith(*II, ConstantPointerNull::get(PT));
1849
1850 // isKnownNonNull -> nonnull attribute
1851 if (isKnownNonNullAt(DerivedPtr, II, DT, TLI))
1852 II->addAttribute(AttributeSet::ReturnIndex, Attribute::NonNull);
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +00001853 }
Philip Reames9db26ff2014-12-29 23:27:30 +00001854
1855 // TODO: bitcast(relocate(p)) -> relocate(bitcast(p))
1856 // Canonicalize on the type from the uses to the defs
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +00001857
Philip Reames9db26ff2014-12-29 23:27:30 +00001858 // TODO: relocate((gep p, C, C2, ...)) -> gep(relocate(p), C, C2, ...)
Philip Reamesea4d8e82016-02-09 21:09:22 +00001859 break;
Philip Reames9db26ff2014-12-29 23:27:30 +00001860 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001861 }
1862
1863 return visitCallSite(II);
1864}
1865
1866// InvokeInst simplification
1867//
1868Instruction *InstCombiner::visitInvokeInst(InvokeInst &II) {
1869 return visitCallSite(&II);
1870}
1871
Sanjay Patelcd4377c2016-01-20 22:24:38 +00001872/// If this cast does not affect the value passed through the varargs area, we
1873/// can eliminate the use of the cast.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001874static bool isSafeToEliminateVarargsCast(const CallSite CS,
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001875 const DataLayout &DL,
1876 const CastInst *const CI,
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001877 const int ix) {
1878 if (!CI->isLosslessCast())
1879 return false;
1880
Philip Reames1a1bdb22014-12-02 18:50:36 +00001881 // If this is a GC intrinsic, avoid munging types. We need types for
1882 // statepoint reconstruction in SelectionDAG.
1883 // TODO: This is probably something which should be expanded to all
1884 // intrinsics since the entire point of intrinsics is that
1885 // they are understandable by the optimizer.
1886 if (isStatepoint(CS) || isGCRelocate(CS) || isGCResult(CS))
1887 return false;
1888
Reid Kleckner26af2ca2014-01-28 02:38:36 +00001889 // The size of ByVal or InAlloca arguments is derived from the type, so we
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001890 // can't change to a type with a different size. If the size were
1891 // passed explicitly we could avoid this check.
Reid Kleckner26af2ca2014-01-28 02:38:36 +00001892 if (!CS.isByValOrInAllocaArgument(ix))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001893 return true;
1894
Jim Grosbach7815f562012-02-03 00:07:04 +00001895 Type* SrcTy =
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001896 cast<PointerType>(CI->getOperand(0)->getType())->getElementType();
Chris Lattner229907c2011-07-18 04:54:35 +00001897 Type* DstTy = cast<PointerType>(CI->getType())->getElementType();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001898 if (!SrcTy->isSized() || !DstTy->isSized())
1899 return false;
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001900 if (DL.getTypeAllocSize(SrcTy) != DL.getTypeAllocSize(DstTy))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001901 return false;
1902 return true;
1903}
1904
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001905Instruction *InstCombiner::tryOptimizeCall(CallInst *CI) {
Craig Topperf40110f2014-04-25 05:29:35 +00001906 if (!CI->getCalledFunction()) return nullptr;
Eric Christophera7fb58f2010-03-06 10:50:38 +00001907
Chandler Carruthba4c5172015-01-21 11:23:40 +00001908 auto InstCombineRAUW = [this](Instruction *From, Value *With) {
Sanjay Patel4b198802016-02-01 22:23:39 +00001909 replaceInstUsesWith(*From, With);
Chandler Carruthba4c5172015-01-21 11:23:40 +00001910 };
1911 LibCallSimplifier Simplifier(DL, TLI, InstCombineRAUW);
1912 if (Value *With = Simplifier.optimizeCall(CI)) {
Meador Ingee3f2b262012-11-30 04:05:06 +00001913 ++NumSimplified;
Sanjay Patel4b198802016-02-01 22:23:39 +00001914 return CI->use_empty() ? CI : replaceInstUsesWith(*CI, With);
Meador Ingee3f2b262012-11-30 04:05:06 +00001915 }
Meador Ingedf796f82012-10-13 16:45:24 +00001916
Craig Topperf40110f2014-04-25 05:29:35 +00001917 return nullptr;
Eric Christophera7fb58f2010-03-06 10:50:38 +00001918}
1919
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001920static IntrinsicInst *findInitTrampolineFromAlloca(Value *TrampMem) {
Duncan Sandsa0984362011-09-06 13:37:06 +00001921 // Strip off at most one level of pointer casts, looking for an alloca. This
1922 // is good enough in practice and simpler than handling any number of casts.
1923 Value *Underlying = TrampMem->stripPointerCasts();
1924 if (Underlying != TrampMem &&
Chandler Carruthcdf47882014-03-09 03:16:01 +00001925 (!Underlying->hasOneUse() || Underlying->user_back() != TrampMem))
Craig Topperf40110f2014-04-25 05:29:35 +00001926 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001927 if (!isa<AllocaInst>(Underlying))
Craig Topperf40110f2014-04-25 05:29:35 +00001928 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001929
Craig Topperf40110f2014-04-25 05:29:35 +00001930 IntrinsicInst *InitTrampoline = nullptr;
Chandler Carruthcdf47882014-03-09 03:16:01 +00001931 for (User *U : TrampMem->users()) {
1932 IntrinsicInst *II = dyn_cast<IntrinsicInst>(U);
Duncan Sandsa0984362011-09-06 13:37:06 +00001933 if (!II)
Craig Topperf40110f2014-04-25 05:29:35 +00001934 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001935 if (II->getIntrinsicID() == Intrinsic::init_trampoline) {
1936 if (InitTrampoline)
1937 // More than one init_trampoline writes to this value. Give up.
Craig Topperf40110f2014-04-25 05:29:35 +00001938 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001939 InitTrampoline = II;
1940 continue;
1941 }
1942 if (II->getIntrinsicID() == Intrinsic::adjust_trampoline)
1943 // Allow any number of calls to adjust.trampoline.
1944 continue;
Craig Topperf40110f2014-04-25 05:29:35 +00001945 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001946 }
1947
1948 // No call to init.trampoline found.
1949 if (!InitTrampoline)
Craig Topperf40110f2014-04-25 05:29:35 +00001950 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001951
1952 // Check that the alloca is being used in the expected way.
1953 if (InitTrampoline->getOperand(0) != TrampMem)
Craig Topperf40110f2014-04-25 05:29:35 +00001954 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001955
1956 return InitTrampoline;
1957}
1958
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001959static IntrinsicInst *findInitTrampolineFromBB(IntrinsicInst *AdjustTramp,
Duncan Sandsa0984362011-09-06 13:37:06 +00001960 Value *TrampMem) {
1961 // Visit all the previous instructions in the basic block, and try to find a
1962 // init.trampoline which has a direct path to the adjust.trampoline.
Duncan P. N. Exon Smith9f8aaf22015-10-13 16:59:33 +00001963 for (BasicBlock::iterator I = AdjustTramp->getIterator(),
1964 E = AdjustTramp->getParent()->begin();
1965 I != E;) {
1966 Instruction *Inst = &*--I;
Duncan Sandsa0984362011-09-06 13:37:06 +00001967 if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(I))
1968 if (II->getIntrinsicID() == Intrinsic::init_trampoline &&
1969 II->getOperand(0) == TrampMem)
1970 return II;
1971 if (Inst->mayWriteToMemory())
Craig Topperf40110f2014-04-25 05:29:35 +00001972 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001973 }
Craig Topperf40110f2014-04-25 05:29:35 +00001974 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001975}
1976
1977// Given a call to llvm.adjust.trampoline, find and return the corresponding
1978// call to llvm.init.trampoline if the call to the trampoline can be optimized
1979// to a direct call to a function. Otherwise return NULL.
1980//
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001981static IntrinsicInst *findInitTrampoline(Value *Callee) {
Duncan Sandsa0984362011-09-06 13:37:06 +00001982 Callee = Callee->stripPointerCasts();
1983 IntrinsicInst *AdjustTramp = dyn_cast<IntrinsicInst>(Callee);
1984 if (!AdjustTramp ||
1985 AdjustTramp->getIntrinsicID() != Intrinsic::adjust_trampoline)
Craig Topperf40110f2014-04-25 05:29:35 +00001986 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001987
1988 Value *TrampMem = AdjustTramp->getOperand(0);
1989
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001990 if (IntrinsicInst *IT = findInitTrampolineFromAlloca(TrampMem))
Duncan Sandsa0984362011-09-06 13:37:06 +00001991 return IT;
Sanjay Patel6038d3e2016-01-29 23:27:03 +00001992 if (IntrinsicInst *IT = findInitTrampolineFromBB(AdjustTramp, TrampMem))
Duncan Sandsa0984362011-09-06 13:37:06 +00001993 return IT;
Craig Topperf40110f2014-04-25 05:29:35 +00001994 return nullptr;
Duncan Sandsa0984362011-09-06 13:37:06 +00001995}
1996
Sanjay Patelcd4377c2016-01-20 22:24:38 +00001997/// Improvements for call and invoke instructions.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00001998Instruction *InstCombiner::visitCallSite(CallSite CS) {
Philip Reamesc25df112015-06-16 20:24:25 +00001999
Benjamin Kramer8bcc9712012-08-29 15:32:21 +00002000 if (isAllocLikeFn(CS.getInstruction(), TLI))
Nuno Lopes95cc4f32012-07-09 18:38:20 +00002001 return visitAllocSite(*CS.getInstruction());
Nuno Lopesdc6085e2012-06-21 21:25:05 +00002002
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002003 bool Changed = false;
2004
Philip Reamesc25df112015-06-16 20:24:25 +00002005 // Mark any parameters that are known to be non-null with the nonnull
2006 // attribute. This is helpful for inlining calls to functions with null
2007 // checks on their arguments.
Akira Hatanaka237916b2015-12-02 06:58:49 +00002008 SmallVector<unsigned, 4> Indices;
Philip Reamesc25df112015-06-16 20:24:25 +00002009 unsigned ArgNo = 0;
Akira Hatanaka237916b2015-12-02 06:58:49 +00002010
Philip Reamesc25df112015-06-16 20:24:25 +00002011 for (Value *V : CS.args()) {
Sanjay Patelf9f5d3c2016-01-29 23:14:58 +00002012 if (V->getType()->isPointerTy() &&
2013 !CS.paramHasAttr(ArgNo + 1, Attribute::NonNull) &&
Akira Hatanaka237916b2015-12-02 06:58:49 +00002014 isKnownNonNullAt(V, CS.getInstruction(), DT, TLI))
2015 Indices.push_back(ArgNo + 1);
Philip Reamesc25df112015-06-16 20:24:25 +00002016 ArgNo++;
2017 }
Akira Hatanaka237916b2015-12-02 06:58:49 +00002018
Philip Reamesc25df112015-06-16 20:24:25 +00002019 assert(ArgNo == CS.arg_size() && "sanity check");
2020
Akira Hatanaka237916b2015-12-02 06:58:49 +00002021 if (!Indices.empty()) {
2022 AttributeSet AS = CS.getAttributes();
2023 LLVMContext &Ctx = CS.getInstruction()->getContext();
2024 AS = AS.addAttribute(Ctx, Indices,
2025 Attribute::get(Ctx, Attribute::NonNull));
2026 CS.setAttributes(AS);
2027 Changed = true;
2028 }
2029
Chris Lattner73989652010-12-20 08:25:06 +00002030 // If the callee is a pointer to a function, attempt to move any casts to the
2031 // arguments of the call/invoke.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002032 Value *Callee = CS.getCalledValue();
Chris Lattner73989652010-12-20 08:25:06 +00002033 if (!isa<Function>(Callee) && transformConstExprCastCall(CS))
Craig Topperf40110f2014-04-25 05:29:35 +00002034 return nullptr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002035
2036 if (Function *CalleeF = dyn_cast<Function>(Callee))
Chris Lattner846a52e2010-02-01 18:11:34 +00002037 // If the call and callee calling conventions don't match, this call must
2038 // be unreachable, as the call is undefined.
2039 if (CalleeF->getCallingConv() != CS.getCallingConv() &&
2040 // Only do this for calls to a function with a body. A prototype may
2041 // not actually end up matching the implementation's calling conv for a
2042 // variety of reasons (e.g. it may be written in assembly).
2043 !CalleeF->isDeclaration()) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002044 Instruction *OldCall = CS.getInstruction();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002045 new StoreInst(ConstantInt::getTrue(Callee->getContext()),
Jim Grosbach7815f562012-02-03 00:07:04 +00002046 UndefValue::get(Type::getInt1PtrTy(Callee->getContext())),
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002047 OldCall);
Chad Rosiere28ae302012-12-13 00:18:46 +00002048 // If OldCall does not return void then replaceAllUsesWith undef.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002049 // This allows ValueHandlers and custom metadata to adjust itself.
2050 if (!OldCall->getType()->isVoidTy())
Sanjay Patel4b198802016-02-01 22:23:39 +00002051 replaceInstUsesWith(*OldCall, UndefValue::get(OldCall->getType()));
Chris Lattner2cecedf2010-02-01 18:04:58 +00002052 if (isa<CallInst>(OldCall))
Sanjay Patel4b198802016-02-01 22:23:39 +00002053 return eraseInstFromFunction(*OldCall);
Jim Grosbach7815f562012-02-03 00:07:04 +00002054
Chris Lattner2cecedf2010-02-01 18:04:58 +00002055 // We cannot remove an invoke, because it would change the CFG, just
2056 // change the callee to a null pointer.
Gabor Greiffebf6ab2010-03-20 21:00:25 +00002057 cast<InvokeInst>(OldCall)->setCalledFunction(
Chris Lattner2cecedf2010-02-01 18:04:58 +00002058 Constant::getNullValue(CalleeF->getType()));
Craig Topperf40110f2014-04-25 05:29:35 +00002059 return nullptr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002060 }
2061
2062 if (isa<ConstantPointerNull>(Callee) || isa<UndefValue>(Callee)) {
Gabor Greif589a0b92010-06-24 12:58:35 +00002063 // If CS does not return void then replaceAllUsesWith undef.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002064 // This allows ValueHandlers and custom metadata to adjust itself.
2065 if (!CS.getInstruction()->getType()->isVoidTy())
Sanjay Patel4b198802016-02-01 22:23:39 +00002066 replaceInstUsesWith(*CS.getInstruction(),
Eli Friedmanb9ed18f2011-05-18 00:32:01 +00002067 UndefValue::get(CS.getInstruction()->getType()));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002068
Nuno Lopes771e7bd2012-06-21 23:52:14 +00002069 if (isa<InvokeInst>(CS.getInstruction())) {
2070 // Can't remove an invoke because we cannot change the CFG.
Craig Topperf40110f2014-04-25 05:29:35 +00002071 return nullptr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002072 }
Nuno Lopes771e7bd2012-06-21 23:52:14 +00002073
2074 // This instruction is not reachable, just remove it. We insert a store to
2075 // undef so that we know that this code is not reachable, despite the fact
2076 // that we can't modify the CFG here.
2077 new StoreInst(ConstantInt::getTrue(Callee->getContext()),
2078 UndefValue::get(Type::getInt1PtrTy(Callee->getContext())),
2079 CS.getInstruction());
2080
Sanjay Patel4b198802016-02-01 22:23:39 +00002081 return eraseInstFromFunction(*CS.getInstruction());
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002082 }
2083
Sanjay Patel6038d3e2016-01-29 23:27:03 +00002084 if (IntrinsicInst *II = findInitTrampoline(Callee))
Duncan Sandsa0984362011-09-06 13:37:06 +00002085 return transformCallThroughTrampoline(CS, II);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002086
Chris Lattner229907c2011-07-18 04:54:35 +00002087 PointerType *PTy = cast<PointerType>(Callee->getType());
2088 FunctionType *FTy = cast<FunctionType>(PTy->getElementType());
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002089 if (FTy->isVarArg()) {
Eli Friedman7534b4682011-11-29 01:18:23 +00002090 int ix = FTy->getNumParams();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002091 // See if we can optimize any arguments passed through the varargs area of
2092 // the call.
Matt Arsenault5d2e85f2013-06-28 00:25:40 +00002093 for (CallSite::arg_iterator I = CS.arg_begin() + FTy->getNumParams(),
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002094 E = CS.arg_end(); I != E; ++I, ++ix) {
2095 CastInst *CI = dyn_cast<CastInst>(*I);
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002096 if (CI && isSafeToEliminateVarargsCast(CS, DL, CI, ix)) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002097 *I = CI->getOperand(0);
2098 Changed = true;
2099 }
2100 }
2101 }
2102
2103 if (isa<InlineAsm>(Callee) && !CS.doesNotThrow()) {
2104 // Inline asm calls cannot throw - mark them 'nounwind'.
2105 CS.setDoesNotThrow();
2106 Changed = true;
2107 }
2108
Micah Villmowcdfe20b2012-10-08 16:38:25 +00002109 // Try to optimize the call if possible, we require DataLayout for most of
Eric Christophera7fb58f2010-03-06 10:50:38 +00002110 // this. None of these calls are seen as possibly dead so go ahead and
2111 // delete the instruction now.
2112 if (CallInst *CI = dyn_cast<CallInst>(CS.getInstruction())) {
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002113 Instruction *I = tryOptimizeCall(CI);
Eric Christopher1810d772010-03-06 10:59:25 +00002114 // If we changed something return the result, etc. Otherwise let
2115 // the fallthrough check.
Sanjay Patel4b198802016-02-01 22:23:39 +00002116 if (I) return eraseInstFromFunction(*I);
Eric Christophera7fb58f2010-03-06 10:50:38 +00002117 }
2118
Craig Topperf40110f2014-04-25 05:29:35 +00002119 return Changed ? CS.getInstruction() : nullptr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002120}
2121
Sanjay Patelcd4377c2016-01-20 22:24:38 +00002122/// If the callee is a constexpr cast of a function, attempt to move the cast to
2123/// the arguments of the call/invoke.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002124bool InstCombiner::transformConstExprCastCall(CallSite CS) {
Chris Lattner73989652010-12-20 08:25:06 +00002125 Function *Callee =
2126 dyn_cast<Function>(CS.getCalledValue()->stripPointerCasts());
Craig Topperf40110f2014-04-25 05:29:35 +00002127 if (!Callee)
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002128 return false;
David Majnemer4c0a6e92015-01-21 22:32:04 +00002129 // The prototype of thunks are a lie, don't try to directly call such
2130 // functions.
2131 if (Callee->hasFnAttribute("thunk"))
2132 return false;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002133 Instruction *Caller = CS.getInstruction();
Bill Wendlinge94d8432012-12-07 23:16:57 +00002134 const AttributeSet &CallerPAL = CS.getAttributes();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002135
2136 // Okay, this is a cast from a function to a different type. Unless doing so
2137 // would cause a type conversion of one of our arguments, change this call to
2138 // be a direct call with arguments casted to the appropriate types.
2139 //
Chris Lattner229907c2011-07-18 04:54:35 +00002140 FunctionType *FT = Callee->getFunctionType();
2141 Type *OldRetTy = Caller->getType();
2142 Type *NewRetTy = FT->getReturnType();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002143
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002144 // Check to see if we are changing the return type...
2145 if (OldRetTy != NewRetTy) {
Nick Lewyckya6a17d72014-01-18 22:47:12 +00002146
2147 if (NewRetTy->isStructTy())
2148 return false; // TODO: Handle multiple return values.
2149
David Majnemer9b6b8222015-01-06 08:41:31 +00002150 if (!CastInst::isBitOrNoopPointerCastable(NewRetTy, OldRetTy, DL)) {
Matt Arsenaulte6952f22013-09-17 21:10:14 +00002151 if (Callee->isDeclaration())
2152 return false; // Cannot transform this return value.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002153
Matt Arsenaulte6952f22013-09-17 21:10:14 +00002154 if (!Caller->use_empty() &&
2155 // void -> non-void is handled specially
2156 !NewRetTy->isVoidTy())
Frederic Rissc1892e22014-10-23 04:08:42 +00002157 return false; // Cannot transform this return value.
Matt Arsenaulte6952f22013-09-17 21:10:14 +00002158 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002159
2160 if (!CallerPAL.isEmpty() && !Caller->use_empty()) {
Bill Wendling658d24d2013-01-18 21:53:16 +00002161 AttrBuilder RAttrs(CallerPAL, AttributeSet::ReturnIndex);
Pete Cooper2777d8872015-05-06 23:19:56 +00002162 if (RAttrs.overlaps(AttributeFuncs::typeIncompatible(NewRetTy)))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002163 return false; // Attribute not compatible with transformed value.
2164 }
2165
2166 // If the callsite is an invoke instruction, and the return value is used by
2167 // a PHI node in a successor, we cannot change the return type of the call
2168 // because there is no place to put the cast instruction (without breaking
2169 // the critical edge). Bail out in this case.
2170 if (!Caller->use_empty())
2171 if (InvokeInst *II = dyn_cast<InvokeInst>(Caller))
Chandler Carruthcdf47882014-03-09 03:16:01 +00002172 for (User *U : II->users())
2173 if (PHINode *PN = dyn_cast<PHINode>(U))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002174 if (PN->getParent() == II->getNormalDest() ||
2175 PN->getParent() == II->getUnwindDest())
2176 return false;
2177 }
2178
Matt Arsenault5d2e85f2013-06-28 00:25:40 +00002179 unsigned NumActualArgs = CS.arg_size();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002180 unsigned NumCommonArgs = std::min(FT->getNumParams(), NumActualArgs);
2181
David Majnemer9b6b8222015-01-06 08:41:31 +00002182 // Prevent us turning:
2183 // declare void @takes_i32_inalloca(i32* inalloca)
2184 // call void bitcast (void (i32*)* @takes_i32_inalloca to void (i32)*)(i32 0)
2185 //
2186 // into:
2187 // call void @takes_i32_inalloca(i32* null)
David Majnemerd61a6fd2015-03-11 18:03:05 +00002188 //
2189 // Similarly, avoid folding away bitcasts of byval calls.
2190 if (Callee->getAttributes().hasAttrSomewhere(Attribute::InAlloca) ||
2191 Callee->getAttributes().hasAttrSomewhere(Attribute::ByVal))
David Majnemer9b6b8222015-01-06 08:41:31 +00002192 return false;
2193
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002194 CallSite::arg_iterator AI = CS.arg_begin();
2195 for (unsigned i = 0, e = NumCommonArgs; i != e; ++i, ++AI) {
Chris Lattner229907c2011-07-18 04:54:35 +00002196 Type *ParamTy = FT->getParamType(i);
2197 Type *ActTy = (*AI)->getType();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002198
David Majnemer9b6b8222015-01-06 08:41:31 +00002199 if (!CastInst::isBitOrNoopPointerCastable(ActTy, ParamTy, DL))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002200 return false; // Cannot transform this parameter value.
2201
Bill Wendling49bc76c2013-01-23 06:14:59 +00002202 if (AttrBuilder(CallerPAL.getParamAttributes(i + 1), i + 1).
Pete Cooper2777d8872015-05-06 23:19:56 +00002203 overlaps(AttributeFuncs::typeIncompatible(ParamTy)))
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002204 return false; // Attribute not compatible with transformed value.
Jim Grosbach7815f562012-02-03 00:07:04 +00002205
Reid Kleckner26af2ca2014-01-28 02:38:36 +00002206 if (CS.isInAllocaArgument(i))
2207 return false; // Cannot transform to and from inalloca.
2208
Chris Lattner27ca8eb2010-12-20 08:36:38 +00002209 // If the parameter is passed as a byval argument, then we have to have a
2210 // sized type and the sized type has to have the same size as the old type.
Bill Wendling49bc76c2013-01-23 06:14:59 +00002211 if (ParamTy != ActTy &&
2212 CallerPAL.getParamAttributes(i + 1).hasAttribute(i + 1,
2213 Attribute::ByVal)) {
Chris Lattner229907c2011-07-18 04:54:35 +00002214 PointerType *ParamPTy = dyn_cast<PointerType>(ParamTy);
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002215 if (!ParamPTy || !ParamPTy->getElementType()->isSized())
Chris Lattner27ca8eb2010-12-20 08:36:38 +00002216 return false;
Jim Grosbach7815f562012-02-03 00:07:04 +00002217
Matt Arsenaultfa252722013-09-27 22:18:51 +00002218 Type *CurElTy = ActTy->getPointerElementType();
Mehdi Aminia28d91d2015-03-10 02:37:25 +00002219 if (DL.getTypeAllocSize(CurElTy) !=
2220 DL.getTypeAllocSize(ParamPTy->getElementType()))
Chris Lattner27ca8eb2010-12-20 08:36:38 +00002221 return false;
2222 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002223 }
2224
Chris Lattneradf38b32011-02-24 05:10:56 +00002225 if (Callee->isDeclaration()) {
2226 // Do not delete arguments unless we have a function body.
2227 if (FT->getNumParams() < NumActualArgs && !FT->isVarArg())
2228 return false;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002229
Chris Lattneradf38b32011-02-24 05:10:56 +00002230 // If the callee is just a declaration, don't change the varargsness of the
2231 // call. We don't want to introduce a varargs call where one doesn't
2232 // already exist.
Chris Lattner229907c2011-07-18 04:54:35 +00002233 PointerType *APTy = cast<PointerType>(CS.getCalledValue()->getType());
Chris Lattneradf38b32011-02-24 05:10:56 +00002234 if (FT->isVarArg()!=cast<FunctionType>(APTy->getElementType())->isVarArg())
2235 return false;
Jim Grosbache84ae7b2012-02-03 00:00:55 +00002236
2237 // If both the callee and the cast type are varargs, we still have to make
2238 // sure the number of fixed parameters are the same or we have the same
2239 // ABI issues as if we introduce a varargs call.
Jim Grosbach1df8cdc2012-02-03 00:26:07 +00002240 if (FT->isVarArg() &&
2241 cast<FunctionType>(APTy->getElementType())->isVarArg() &&
2242 FT->getNumParams() !=
Jim Grosbache84ae7b2012-02-03 00:00:55 +00002243 cast<FunctionType>(APTy->getElementType())->getNumParams())
2244 return false;
Chris Lattneradf38b32011-02-24 05:10:56 +00002245 }
Jim Grosbach7815f562012-02-03 00:07:04 +00002246
Jim Grosbach0ab54182012-02-03 00:00:50 +00002247 if (FT->getNumParams() < NumActualArgs && FT->isVarArg() &&
2248 !CallerPAL.isEmpty())
2249 // In this case we have more arguments than the new function type, but we
2250 // won't be dropping them. Check that these extra arguments have attributes
2251 // that are compatible with being a vararg call argument.
2252 for (unsigned i = CallerPAL.getNumSlots(); i; --i) {
Bill Wendling57625a42013-01-25 23:09:36 +00002253 unsigned Index = CallerPAL.getSlotIndex(i - 1);
2254 if (Index <= FT->getNumParams())
Jim Grosbach0ab54182012-02-03 00:00:50 +00002255 break;
Bill Wendling57625a42013-01-25 23:09:36 +00002256
Bill Wendlingd97b75d2012-12-19 08:57:40 +00002257 // Check if it has an attribute that's incompatible with varargs.
Bill Wendling57625a42013-01-25 23:09:36 +00002258 AttributeSet PAttrs = CallerPAL.getSlotAttributes(i - 1);
2259 if (PAttrs.hasAttribute(Index, Attribute::StructRet))
Jim Grosbach0ab54182012-02-03 00:00:50 +00002260 return false;
2261 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002262
Jim Grosbach7815f562012-02-03 00:07:04 +00002263
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002264 // Okay, we decided that this is a safe thing to do: go ahead and start
Chris Lattneradf38b32011-02-24 05:10:56 +00002265 // inserting cast instructions as necessary.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002266 std::vector<Value*> Args;
2267 Args.reserve(NumActualArgs);
Bill Wendling3575c8c2013-01-27 02:08:22 +00002268 SmallVector<AttributeSet, 8> attrVec;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002269 attrVec.reserve(NumCommonArgs);
2270
2271 // Get any return attributes.
Bill Wendling658d24d2013-01-18 21:53:16 +00002272 AttrBuilder RAttrs(CallerPAL, AttributeSet::ReturnIndex);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002273
2274 // If the return value is not being used, the type may not be compatible
2275 // with the existing attributes. Wipe out any problematic attributes.
Pete Cooper2777d8872015-05-06 23:19:56 +00002276 RAttrs.remove(AttributeFuncs::typeIncompatible(NewRetTy));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002277
2278 // Add the new return attributes.
Bill Wendling70f39172012-10-09 00:01:21 +00002279 if (RAttrs.hasAttributes())
Bill Wendling3575c8c2013-01-27 02:08:22 +00002280 attrVec.push_back(AttributeSet::get(Caller->getContext(),
2281 AttributeSet::ReturnIndex, RAttrs));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002282
2283 AI = CS.arg_begin();
2284 for (unsigned i = 0; i != NumCommonArgs; ++i, ++AI) {
Chris Lattner229907c2011-07-18 04:54:35 +00002285 Type *ParamTy = FT->getParamType(i);
Matt Arsenaultcacbb232013-07-30 20:45:05 +00002286
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002287 if ((*AI)->getType() == ParamTy) {
2288 Args.push_back(*AI);
2289 } else {
David Majnemer9b6b8222015-01-06 08:41:31 +00002290 Args.push_back(Builder->CreateBitOrPointerCast(*AI, ParamTy));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002291 }
2292
2293 // Add any parameter attributes.
Bill Wendling49bc76c2013-01-23 06:14:59 +00002294 AttrBuilder PAttrs(CallerPAL.getParamAttributes(i + 1), i + 1);
Bill Wendling76d2cd22012-10-14 08:54:26 +00002295 if (PAttrs.hasAttributes())
Bill Wendling3575c8c2013-01-27 02:08:22 +00002296 attrVec.push_back(AttributeSet::get(Caller->getContext(), i + 1,
2297 PAttrs));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002298 }
2299
2300 // If the function takes more arguments than the call was taking, add them
2301 // now.
2302 for (unsigned i = NumCommonArgs; i != FT->getNumParams(); ++i)
2303 Args.push_back(Constant::getNullValue(FT->getParamType(i)));
2304
2305 // If we are removing arguments to the function, emit an obnoxious warning.
2306 if (FT->getNumParams() < NumActualArgs) {
Nick Lewycky90053a12012-12-26 22:00:35 +00002307 // TODO: if (!FT->isVarArg()) this call may be unreachable. PR14722
2308 if (FT->isVarArg()) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002309 // Add all of the arguments in their promoted form to the arg list.
2310 for (unsigned i = FT->getNumParams(); i != NumActualArgs; ++i, ++AI) {
Chris Lattner229907c2011-07-18 04:54:35 +00002311 Type *PTy = getPromotedType((*AI)->getType());
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002312 if (PTy != (*AI)->getType()) {
2313 // Must promote to pass through va_arg area!
2314 Instruction::CastOps opcode =
2315 CastInst::getCastOpcode(*AI, false, PTy, false);
Benjamin Kramer547b6c52011-09-27 20:39:19 +00002316 Args.push_back(Builder->CreateCast(opcode, *AI, PTy));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002317 } else {
2318 Args.push_back(*AI);
2319 }
2320
2321 // Add any parameter attributes.
Bill Wendling49bc76c2013-01-23 06:14:59 +00002322 AttrBuilder PAttrs(CallerPAL.getParamAttributes(i + 1), i + 1);
Bill Wendling76d2cd22012-10-14 08:54:26 +00002323 if (PAttrs.hasAttributes())
Bill Wendling3575c8c2013-01-27 02:08:22 +00002324 attrVec.push_back(AttributeSet::get(FT->getContext(), i + 1,
2325 PAttrs));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002326 }
2327 }
2328 }
2329
Bill Wendlingbd4ea162013-01-21 21:57:28 +00002330 AttributeSet FnAttrs = CallerPAL.getFnAttributes();
Bill Wendling77543892013-01-18 21:11:39 +00002331 if (CallerPAL.hasAttributes(AttributeSet::FunctionIndex))
Bill Wendling3575c8c2013-01-27 02:08:22 +00002332 attrVec.push_back(AttributeSet::get(Callee->getContext(), FnAttrs));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002333
2334 if (NewRetTy->isVoidTy())
2335 Caller->setName(""); // Void type should not have a name.
2336
Bill Wendlinge94d8432012-12-07 23:16:57 +00002337 const AttributeSet &NewCallerPAL = AttributeSet::get(Callee->getContext(),
Bill Wendlingbd4ea162013-01-21 21:57:28 +00002338 attrVec);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002339
Sanjoy Das76293462015-11-25 00:42:19 +00002340 SmallVector<OperandBundleDef, 1> OpBundles;
Sanjoy Dasc521c7b2015-11-25 00:42:24 +00002341 CS.getOperandBundlesAsDefs(OpBundles);
Sanjoy Das76293462015-11-25 00:42:19 +00002342
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002343 Instruction *NC;
2344 if (InvokeInst *II = dyn_cast<InvokeInst>(Caller)) {
Sanjoy Das76293462015-11-25 00:42:19 +00002345 NC = Builder->CreateInvoke(Callee, II->getNormalDest(), II->getUnwindDest(),
2346 Args, OpBundles);
Eli Friedman96254a02011-05-18 01:28:27 +00002347 NC->takeName(II);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002348 cast<InvokeInst>(NC)->setCallingConv(II->getCallingConv());
2349 cast<InvokeInst>(NC)->setAttributes(NewCallerPAL);
2350 } else {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002351 CallInst *CI = cast<CallInst>(Caller);
Sanjoy Das76293462015-11-25 00:42:19 +00002352 NC = Builder->CreateCall(Callee, Args, OpBundles);
Eli Friedman96254a02011-05-18 01:28:27 +00002353 NC->takeName(CI);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002354 if (CI->isTailCall())
2355 cast<CallInst>(NC)->setTailCall();
2356 cast<CallInst>(NC)->setCallingConv(CI->getCallingConv());
2357 cast<CallInst>(NC)->setAttributes(NewCallerPAL);
2358 }
2359
2360 // Insert a cast of the return type as necessary.
2361 Value *NV = NC;
2362 if (OldRetTy != NV->getType() && !Caller->use_empty()) {
2363 if (!NV->getType()->isVoidTy()) {
David Majnemer9b6b8222015-01-06 08:41:31 +00002364 NV = NC = CastInst::CreateBitOrPointerCast(NC, OldRetTy);
Eli Friedman35211c62011-05-27 00:19:40 +00002365 NC->setDebugLoc(Caller->getDebugLoc());
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002366
2367 // If this is an invoke instruction, we should insert it after the first
2368 // non-phi, instruction in the normal successor block.
2369 if (InvokeInst *II = dyn_cast<InvokeInst>(Caller)) {
Bill Wendling07efd6f2011-08-25 01:08:34 +00002370 BasicBlock::iterator I = II->getNormalDest()->getFirstInsertionPt();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002371 InsertNewInstBefore(NC, *I);
2372 } else {
Chris Lattner73989652010-12-20 08:25:06 +00002373 // Otherwise, it's a call, just insert cast right after the call.
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002374 InsertNewInstBefore(NC, *Caller);
2375 }
2376 Worklist.AddUsersToWorkList(*Caller);
2377 } else {
2378 NV = UndefValue::get(Caller->getType());
2379 }
2380 }
2381
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002382 if (!Caller->use_empty())
Sanjay Patel4b198802016-02-01 22:23:39 +00002383 replaceInstUsesWith(*Caller, NV);
Frederic Rissc1892e22014-10-23 04:08:42 +00002384 else if (Caller->hasValueHandle()) {
2385 if (OldRetTy == NV->getType())
2386 ValueHandleBase::ValueIsRAUWd(Caller, NV);
2387 else
2388 // We cannot call ValueIsRAUWd with a different type, and the
2389 // actual tracked value will disappear.
2390 ValueHandleBase::ValueIsDeleted(Caller);
2391 }
Eli Friedmanb9ed18f2011-05-18 00:32:01 +00002392
Sanjay Patel4b198802016-02-01 22:23:39 +00002393 eraseInstFromFunction(*Caller);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002394 return true;
2395}
2396
Sanjay Patelcd4377c2016-01-20 22:24:38 +00002397/// Turn a call to a function created by init_trampoline / adjust_trampoline
2398/// intrinsic pair into a direct call to the underlying function.
Duncan Sandsa0984362011-09-06 13:37:06 +00002399Instruction *
2400InstCombiner::transformCallThroughTrampoline(CallSite CS,
2401 IntrinsicInst *Tramp) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002402 Value *Callee = CS.getCalledValue();
Chris Lattner229907c2011-07-18 04:54:35 +00002403 PointerType *PTy = cast<PointerType>(Callee->getType());
2404 FunctionType *FTy = cast<FunctionType>(PTy->getElementType());
Bill Wendlinge94d8432012-12-07 23:16:57 +00002405 const AttributeSet &Attrs = CS.getAttributes();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002406
2407 // If the call already has the 'nest' attribute somewhere then give up -
2408 // otherwise 'nest' would occur twice after splicing in the chain.
Bill Wendling6e95ae82012-12-31 00:49:59 +00002409 if (Attrs.hasAttrSomewhere(Attribute::Nest))
Craig Topperf40110f2014-04-25 05:29:35 +00002410 return nullptr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002411
Duncan Sandsa0984362011-09-06 13:37:06 +00002412 assert(Tramp &&
2413 "transformCallThroughTrampoline called with incorrect CallSite.");
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002414
Gabor Greif3e44ea12010-07-22 10:37:47 +00002415 Function *NestF =cast<Function>(Tramp->getArgOperand(1)->stripPointerCasts());
Manuel Jacob5f6eaac2016-01-16 20:30:46 +00002416 FunctionType *NestFTy = cast<FunctionType>(NestF->getValueType());
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002417
Bill Wendlinge94d8432012-12-07 23:16:57 +00002418 const AttributeSet &NestAttrs = NestF->getAttributes();
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002419 if (!NestAttrs.isEmpty()) {
2420 unsigned NestIdx = 1;
Craig Topperf40110f2014-04-25 05:29:35 +00002421 Type *NestTy = nullptr;
Bill Wendling49bc76c2013-01-23 06:14:59 +00002422 AttributeSet NestAttr;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002423
2424 // Look for a parameter marked with the 'nest' attribute.
2425 for (FunctionType::param_iterator I = NestFTy->param_begin(),
2426 E = NestFTy->param_end(); I != E; ++NestIdx, ++I)
Bill Wendling49bc76c2013-01-23 06:14:59 +00002427 if (NestAttrs.hasAttribute(NestIdx, Attribute::Nest)) {
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002428 // Record the parameter type and any other attributes.
2429 NestTy = *I;
2430 NestAttr = NestAttrs.getParamAttributes(NestIdx);
2431 break;
2432 }
2433
2434 if (NestTy) {
2435 Instruction *Caller = CS.getInstruction();
2436 std::vector<Value*> NewArgs;
Matt Arsenault5d2e85f2013-06-28 00:25:40 +00002437 NewArgs.reserve(CS.arg_size() + 1);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002438
Bill Wendling3575c8c2013-01-27 02:08:22 +00002439 SmallVector<AttributeSet, 8> NewAttrs;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002440 NewAttrs.reserve(Attrs.getNumSlots() + 1);
2441
2442 // Insert the nest argument into the call argument list, which may
2443 // mean appending it. Likewise for attributes.
2444
2445 // Add any result attributes.
Bill Wendling658d24d2013-01-18 21:53:16 +00002446 if (Attrs.hasAttributes(AttributeSet::ReturnIndex))
Bill Wendling3575c8c2013-01-27 02:08:22 +00002447 NewAttrs.push_back(AttributeSet::get(Caller->getContext(),
2448 Attrs.getRetAttributes()));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002449
2450 {
2451 unsigned Idx = 1;
2452 CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end();
2453 do {
2454 if (Idx == NestIdx) {
2455 // Add the chain argument and attributes.
Gabor Greif589a0b92010-06-24 12:58:35 +00002456 Value *NestVal = Tramp->getArgOperand(2);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002457 if (NestVal->getType() != NestTy)
Eli Friedman41e509a2011-05-18 23:58:37 +00002458 NestVal = Builder->CreateBitCast(NestVal, NestTy, "nest");
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002459 NewArgs.push_back(NestVal);
Bill Wendling3575c8c2013-01-27 02:08:22 +00002460 NewAttrs.push_back(AttributeSet::get(Caller->getContext(),
2461 NestAttr));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002462 }
2463
2464 if (I == E)
2465 break;
2466
2467 // Add the original argument and attributes.
2468 NewArgs.push_back(*I);
Bill Wendling49bc76c2013-01-23 06:14:59 +00002469 AttributeSet Attr = Attrs.getParamAttributes(Idx);
2470 if (Attr.hasAttributes(Idx)) {
Bill Wendling3575c8c2013-01-27 02:08:22 +00002471 AttrBuilder B(Attr, Idx);
2472 NewAttrs.push_back(AttributeSet::get(Caller->getContext(),
2473 Idx + (Idx >= NestIdx), B));
Bill Wendling49bc76c2013-01-23 06:14:59 +00002474 }
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002475
2476 ++Idx, ++I;
2477 } while (1);
2478 }
2479
2480 // Add any function attributes.
Bill Wendling77543892013-01-18 21:11:39 +00002481 if (Attrs.hasAttributes(AttributeSet::FunctionIndex))
Bill Wendling3575c8c2013-01-27 02:08:22 +00002482 NewAttrs.push_back(AttributeSet::get(FTy->getContext(),
2483 Attrs.getFnAttributes()));
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002484
2485 // The trampoline may have been bitcast to a bogus type (FTy).
2486 // Handle this by synthesizing a new function type, equal to FTy
2487 // with the chain parameter inserted.
2488
Jay Foadb804a2b2011-07-12 14:06:48 +00002489 std::vector<Type*> NewTypes;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002490 NewTypes.reserve(FTy->getNumParams()+1);
2491
2492 // Insert the chain's type into the list of parameter types, which may
2493 // mean appending it.
2494 {
2495 unsigned Idx = 1;
2496 FunctionType::param_iterator I = FTy->param_begin(),
2497 E = FTy->param_end();
2498
2499 do {
2500 if (Idx == NestIdx)
2501 // Add the chain's type.
2502 NewTypes.push_back(NestTy);
2503
2504 if (I == E)
2505 break;
2506
2507 // Add the original type.
2508 NewTypes.push_back(*I);
2509
2510 ++Idx, ++I;
2511 } while (1);
2512 }
2513
2514 // Replace the trampoline call with a direct call. Let the generic
2515 // code sort out any function type mismatches.
Jim Grosbach7815f562012-02-03 00:07:04 +00002516 FunctionType *NewFTy = FunctionType::get(FTy->getReturnType(), NewTypes,
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002517 FTy->isVarArg());
2518 Constant *NewCallee =
2519 NestF->getType() == PointerType::getUnqual(NewFTy) ?
Jim Grosbach7815f562012-02-03 00:07:04 +00002520 NestF : ConstantExpr::getBitCast(NestF,
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002521 PointerType::getUnqual(NewFTy));
Jim Grosbachbdbd7342013-04-05 21:20:12 +00002522 const AttributeSet &NewPAL =
2523 AttributeSet::get(FTy->getContext(), NewAttrs);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002524
2525 Instruction *NewCaller;
2526 if (InvokeInst *II = dyn_cast<InvokeInst>(Caller)) {
2527 NewCaller = InvokeInst::Create(NewCallee,
2528 II->getNormalDest(), II->getUnwindDest(),
Jay Foad5bd375a2011-07-15 08:37:34 +00002529 NewArgs);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002530 cast<InvokeInst>(NewCaller)->setCallingConv(II->getCallingConv());
2531 cast<InvokeInst>(NewCaller)->setAttributes(NewPAL);
2532 } else {
Jay Foad5bd375a2011-07-15 08:37:34 +00002533 NewCaller = CallInst::Create(NewCallee, NewArgs);
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002534 if (cast<CallInst>(Caller)->isTailCall())
2535 cast<CallInst>(NewCaller)->setTailCall();
2536 cast<CallInst>(NewCaller)->
2537 setCallingConv(cast<CallInst>(Caller)->getCallingConv());
2538 cast<CallInst>(NewCaller)->setAttributes(NewPAL);
2539 }
Eli Friedman49346012011-05-18 19:57:14 +00002540
2541 return NewCaller;
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002542 }
2543 }
2544
2545 // Replace the trampoline call with a direct call. Since there is no 'nest'
2546 // parameter, there is no need to adjust the argument list. Let the generic
2547 // code sort out any function type mismatches.
2548 Constant *NewCallee =
Jim Grosbach7815f562012-02-03 00:07:04 +00002549 NestF->getType() == PTy ? NestF :
Chris Lattner7a9e47a2010-01-05 07:32:13 +00002550 ConstantExpr::getBitCast(NestF, PTy);
2551 CS.setCalledFunction(NewCallee);
2552 return CS.getInstruction();
2553}