blob: a98189956770970f1780f9f27cd729255b9da899 [file] [log] [blame]
Eugene Zelenkoae117792018-03-30 00:47:31 +00001//===- IRBuilder.cpp - Builder for LLVM Instrs ----------------------------===//
Chris Lattnera53cfd12009-12-28 21:28:46 +00002//
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 IRBuilder class, which is used as a convenient way
11// to create LLVM instructions with a consistent and simplified interface.
12//
13//===----------------------------------------------------------------------===//
14
Chandler Carruthe3e43d92017-06-06 11:49:48 +000015#include "llvm/IR/IRBuilder.h"
Eugene Zelenkoae117792018-03-30 00:47:31 +000016#include "llvm/ADT/ArrayRef.h"
17#include "llvm/ADT/None.h"
18#include "llvm/IR/Constant.h"
19#include "llvm/IR/Constants.h"
20#include "llvm/IR/DerivedTypes.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000021#include "llvm/IR/Function.h"
Eugene Zelenkoae117792018-03-30 00:47:31 +000022#include "llvm/IR/GlobalValue.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000023#include "llvm/IR/GlobalVariable.h"
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +000024#include "llvm/IR/IntrinsicInst.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000025#include "llvm/IR/Intrinsics.h"
26#include "llvm/IR/LLVMContext.h"
Eugene Zelenkoae117792018-03-30 00:47:31 +000027#include "llvm/IR/Operator.h"
Pat Gavlin5c7f7462015-05-08 18:07:42 +000028#include "llvm/IR/Statepoint.h"
Eugene Zelenkoae117792018-03-30 00:47:31 +000029#include "llvm/IR/Type.h"
30#include "llvm/IR/Value.h"
31#include "llvm/Support/Casting.h"
32#include "llvm/Support/MathExtras.h"
33#include <cassert>
34#include <cstdint>
35#include <vector>
36
Chris Lattnera53cfd12009-12-28 21:28:46 +000037using namespace llvm;
38
39/// CreateGlobalString - Make a new global variable with an initializer that
Dan Gohmanf3b11aa2010-02-10 20:04:19 +000040/// has array of i8 type filled in with the nul terminated string value
Chris Lattnera53cfd12009-12-28 21:28:46 +000041/// specified. If Name is specified, it is the name of the global variable
42/// created.
David Blaikie4a86b382015-04-03 21:33:42 +000043GlobalVariable *IRBuilderBase::CreateGlobalString(StringRef Str,
Tobias Grosser8921b272015-06-19 02:12:07 +000044 const Twine &Name,
45 unsigned AddressSpace) {
Chris Lattner18c7f802012-02-05 02:29:43 +000046 Constant *StrConstant = ConstantDataArray::getString(Context, Str);
Chris Lattnera53cfd12009-12-28 21:28:46 +000047 Module &M = *BB->getParent()->getParent();
Eugene Zelenkoae117792018-03-30 00:47:31 +000048 auto *GV = new GlobalVariable(M, StrConstant->getType(), true,
49 GlobalValue::PrivateLinkage, StrConstant, Name,
50 nullptr, GlobalVariable::NotThreadLocal,
51 AddressSpace);
Peter Collingbourne63b34cd2016-06-14 21:01:22 +000052 GV->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
David Green139b3ea2018-09-06 08:42:17 +000053 GV->setAlignment(1);
Chris Lattnera53cfd12009-12-28 21:28:46 +000054 return GV;
55}
Chris Lattner43469b62009-12-28 21:45:40 +000056
Chris Lattnera17ce802011-07-12 04:14:22 +000057Type *IRBuilderBase::getCurrentFunctionReturnType() const {
Chris Lattner2ad32752009-12-28 21:50:56 +000058 assert(BB && BB->getParent() && "No current function!");
59 return BB->getParent()->getReturnType();
60}
Chris Lattnerc0d54962010-12-26 22:49:25 +000061
62Value *IRBuilderBase::getCastedInt8PtrValue(Value *Ptr) {
Eugene Zelenkoae117792018-03-30 00:47:31 +000063 auto *PT = cast<PointerType>(Ptr->getType());
Chris Lattnerc0d54962010-12-26 22:49:25 +000064 if (PT->getElementType()->isIntegerTy(8))
65 return Ptr;
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +000066
Chris Lattnerc0d54962010-12-26 22:49:25 +000067 // Otherwise, we need to insert a bitcast.
68 PT = getInt8PtrTy(PT->getAddressSpace());
69 BitCastInst *BCI = new BitCastInst(Ptr, PT, "");
70 BB->getInstList().insert(InsertPt, BCI);
71 SetInstDebugLocation(BCI);
72 return BCI;
73}
74
Jay Foada3efbb12011-07-15 08:37:34 +000075static CallInst *createCallHelper(Value *Callee, ArrayRef<Value *> Ops,
Philip Reamese46577f2014-12-30 05:55:58 +000076 IRBuilderBase *Builder,
Sanjay Patel9d9603f2018-02-23 21:16:12 +000077 const Twine &Name = "",
78 Instruction *FMFSource = nullptr) {
Philip Reamese46577f2014-12-30 05:55:58 +000079 CallInst *CI = CallInst::Create(Callee, Ops, Name);
Sanjay Patel9d9603f2018-02-23 21:16:12 +000080 if (FMFSource)
81 CI->copyFastMathFlags(FMFSource);
Chris Lattnerc0d54962010-12-26 22:49:25 +000082 Builder->GetInsertBlock()->getInstList().insert(Builder->GetInsertPoint(),CI);
83 Builder->SetInstDebugLocation(CI);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +000084 return CI;
Chris Lattnerc0d54962010-12-26 22:49:25 +000085}
86
Sanjoy Das8a86e252015-05-06 23:53:09 +000087static InvokeInst *createInvokeHelper(Value *Invokee, BasicBlock *NormalDest,
88 BasicBlock *UnwindDest,
89 ArrayRef<Value *> Ops,
90 IRBuilderBase *Builder,
91 const Twine &Name = "") {
92 InvokeInst *II =
93 InvokeInst::Create(Invokee, NormalDest, UnwindDest, Ops, Name);
94 Builder->GetInsertBlock()->getInstList().insert(Builder->GetInsertPoint(),
95 II);
96 Builder->SetInstDebugLocation(II);
97 return II;
98}
99
Chris Lattnerc0d54962010-12-26 22:49:25 +0000100CallInst *IRBuilderBase::
Pete Cooper6d024c62015-11-19 05:56:52 +0000101CreateMemSet(Value *Ptr, Value *Val, Value *Size, unsigned Align,
Hal Finkel16fd27b2014-07-24 14:25:39 +0000102 bool isVolatile, MDNode *TBAATag, MDNode *ScopeTag,
103 MDNode *NoAliasTag) {
Chris Lattnerc0d54962010-12-26 22:49:25 +0000104 Ptr = getCastedInt8PtrValue(Ptr);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000105 Value *Ops[] = {Ptr, Val, Size, getInt1(isVolatile)};
Jay Foad5fdd6c82011-07-12 14:06:48 +0000106 Type *Tys[] = { Ptr->getType(), Size->getType() };
Chris Lattnerc0d54962010-12-26 22:49:25 +0000107 Module *M = BB->getParent()->getParent();
Benjamin Kramereb9a85f2011-07-14 17:45:39 +0000108 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::memset, Tys);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000109
Jay Foada3efbb12011-07-15 08:37:34 +0000110 CallInst *CI = createCallHelper(TheFn, Ops, this);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000111
112 if (Align > 0)
113 cast<MemSetInst>(CI)->setDestAlignment(Align);
114
Chris Lattnerc0d54962010-12-26 22:49:25 +0000115 // Set the TBAA info if present.
116 if (TBAATag)
117 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
Hal Finkel16fd27b2014-07-24 14:25:39 +0000118
119 if (ScopeTag)
120 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000121
Hal Finkel16fd27b2014-07-24 14:25:39 +0000122 if (NoAliasTag)
123 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000124
Chris Lattnerc0d54962010-12-26 22:49:25 +0000125 return CI;
126}
127
Daniel Neilsone33ce292018-05-30 20:02:56 +0000128CallInst *IRBuilderBase::CreateElementUnorderedAtomicMemSet(
129 Value *Ptr, Value *Val, Value *Size, unsigned Align, uint32_t ElementSize,
130 MDNode *TBAATag, MDNode *ScopeTag, MDNode *NoAliasTag) {
131 assert(Align >= ElementSize &&
132 "Pointer alignment must be at least element size.");
133
134 Ptr = getCastedInt8PtrValue(Ptr);
135 Value *Ops[] = {Ptr, Val, Size, getInt32(ElementSize)};
136 Type *Tys[] = {Ptr->getType(), Size->getType()};
137 Module *M = BB->getParent()->getParent();
138 Value *TheFn = Intrinsic::getDeclaration(
139 M, Intrinsic::memset_element_unordered_atomic, Tys);
140
141 CallInst *CI = createCallHelper(TheFn, Ops, this);
142
143 cast<AtomicMemSetInst>(CI)->setDestAlignment(Align);
144
145 // Set the TBAA info if present.
146 if (TBAATag)
147 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
148
149 if (ScopeTag)
150 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
151
152 if (NoAliasTag)
153 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
154
155 return CI;
156}
157
Chris Lattnerc0d54962010-12-26 22:49:25 +0000158CallInst *IRBuilderBase::
Daniel Neilsone2b8d972018-01-27 17:59:10 +0000159CreateMemCpy(Value *Dst, unsigned DstAlign, Value *Src, unsigned SrcAlign,
160 Value *Size, bool isVolatile, MDNode *TBAATag,
161 MDNode *TBAAStructTag, MDNode *ScopeTag, MDNode *NoAliasTag) {
162 assert((DstAlign == 0 || isPowerOf2_32(DstAlign)) && "Must be 0 or a power of 2");
163 assert((SrcAlign == 0 || isPowerOf2_32(SrcAlign)) && "Must be 0 or a power of 2");
Chris Lattnerc0d54962010-12-26 22:49:25 +0000164 Dst = getCastedInt8PtrValue(Dst);
165 Src = getCastedInt8PtrValue(Src);
166
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000167 Value *Ops[] = {Dst, Src, Size, getInt1(isVolatile)};
Jay Foad5fdd6c82011-07-12 14:06:48 +0000168 Type *Tys[] = { Dst->getType(), Src->getType(), Size->getType() };
Chris Lattnerc0d54962010-12-26 22:49:25 +0000169 Module *M = BB->getParent()->getParent();
Benjamin Kramereb9a85f2011-07-14 17:45:39 +0000170 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::memcpy, Tys);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000171
Jay Foada3efbb12011-07-15 08:37:34 +0000172 CallInst *CI = createCallHelper(TheFn, Ops, this);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000173
Daniel Neilsone2b8d972018-01-27 17:59:10 +0000174 auto* MCI = cast<MemCpyInst>(CI);
175 if (DstAlign > 0)
176 MCI->setDestAlignment(DstAlign);
177 if (SrcAlign > 0)
178 MCI->setSourceAlignment(SrcAlign);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000179
Chris Lattnerc0d54962010-12-26 22:49:25 +0000180 // Set the TBAA info if present.
181 if (TBAATag)
182 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
Dan Gohman8a63f992012-09-26 22:17:14 +0000183
184 // Set the TBAA Struct info if present.
185 if (TBAAStructTag)
186 CI->setMetadata(LLVMContext::MD_tbaa_struct, TBAAStructTag);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000187
Hal Finkel16fd27b2014-07-24 14:25:39 +0000188 if (ScopeTag)
189 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000190
Hal Finkel16fd27b2014-07-24 14:25:39 +0000191 if (NoAliasTag)
192 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000193
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000194 return CI;
Chris Lattnerc0d54962010-12-26 22:49:25 +0000195}
196
Daniel Neilson470c6952017-06-16 14:43:59 +0000197CallInst *IRBuilderBase::CreateElementUnorderedAtomicMemCpy(
Daniel Neilson6850d912017-11-10 19:38:12 +0000198 Value *Dst, unsigned DstAlign, Value *Src, unsigned SrcAlign, Value *Size,
199 uint32_t ElementSize, MDNode *TBAATag, MDNode *TBAAStructTag,
200 MDNode *ScopeTag, MDNode *NoAliasTag) {
201 assert(DstAlign >= ElementSize &&
202 "Pointer alignment must be at least element size");
203 assert(SrcAlign >= ElementSize &&
204 "Pointer alignment must be at least element size");
Anna Thomasbacc8332017-06-06 16:45:25 +0000205 Dst = getCastedInt8PtrValue(Dst);
206 Src = getCastedInt8PtrValue(Src);
207
Daniel Neilson470c6952017-06-16 14:43:59 +0000208 Value *Ops[] = {Dst, Src, Size, getInt32(ElementSize)};
209 Type *Tys[] = {Dst->getType(), Src->getType(), Size->getType()};
Anna Thomasbacc8332017-06-06 16:45:25 +0000210 Module *M = BB->getParent()->getParent();
Daniel Neilson470c6952017-06-16 14:43:59 +0000211 Value *TheFn = Intrinsic::getDeclaration(
212 M, Intrinsic::memcpy_element_unordered_atomic, Tys);
Anna Thomasbacc8332017-06-06 16:45:25 +0000213
214 CallInst *CI = createCallHelper(TheFn, Ops, this);
215
Daniel Neilson6850d912017-11-10 19:38:12 +0000216 // Set the alignment of the pointer args.
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000217 auto *AMCI = cast<AtomicMemCpyInst>(CI);
218 AMCI->setDestAlignment(DstAlign);
219 AMCI->setSourceAlignment(SrcAlign);
Daniel Neilson6850d912017-11-10 19:38:12 +0000220
Anna Thomasbacc8332017-06-06 16:45:25 +0000221 // Set the TBAA info if present.
222 if (TBAATag)
223 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
224
225 // Set the TBAA Struct info if present.
226 if (TBAAStructTag)
227 CI->setMetadata(LLVMContext::MD_tbaa_struct, TBAAStructTag);
228
229 if (ScopeTag)
230 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
231
232 if (NoAliasTag)
233 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
234
235 return CI;
236}
237
Chris Lattnerc0d54962010-12-26 22:49:25 +0000238CallInst *IRBuilderBase::
Daniel Neilsone2b8d972018-01-27 17:59:10 +0000239CreateMemMove(Value *Dst, unsigned DstAlign, Value *Src, unsigned SrcAlign,
240 Value *Size, bool isVolatile, MDNode *TBAATag, MDNode *ScopeTag,
Hal Finkel16fd27b2014-07-24 14:25:39 +0000241 MDNode *NoAliasTag) {
Daniel Neilsone2b8d972018-01-27 17:59:10 +0000242 assert((DstAlign == 0 || isPowerOf2_32(DstAlign)) && "Must be 0 or a power of 2");
243 assert((SrcAlign == 0 || isPowerOf2_32(SrcAlign)) && "Must be 0 or a power of 2");
Chris Lattnerc0d54962010-12-26 22:49:25 +0000244 Dst = getCastedInt8PtrValue(Dst);
245 Src = getCastedInt8PtrValue(Src);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000246
247 Value *Ops[] = {Dst, Src, Size, getInt1(isVolatile)};
Jay Foad5fdd6c82011-07-12 14:06:48 +0000248 Type *Tys[] = { Dst->getType(), Src->getType(), Size->getType() };
Chris Lattnerc0d54962010-12-26 22:49:25 +0000249 Module *M = BB->getParent()->getParent();
Benjamin Kramereb9a85f2011-07-14 17:45:39 +0000250 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::memmove, Tys);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000251
Jay Foada3efbb12011-07-15 08:37:34 +0000252 CallInst *CI = createCallHelper(TheFn, Ops, this);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000253
254 auto *MMI = cast<MemMoveInst>(CI);
Daniel Neilsone2b8d972018-01-27 17:59:10 +0000255 if (DstAlign > 0)
256 MMI->setDestAlignment(DstAlign);
257 if (SrcAlign > 0)
258 MMI->setSourceAlignment(SrcAlign);
Daniel Neilsonafa2e7e2018-01-19 17:13:12 +0000259
Chris Lattnerc0d54962010-12-26 22:49:25 +0000260 // Set the TBAA info if present.
261 if (TBAATag)
262 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000263
Hal Finkel16fd27b2014-07-24 14:25:39 +0000264 if (ScopeTag)
265 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000266
Hal Finkel16fd27b2014-07-24 14:25:39 +0000267 if (NoAliasTag)
268 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
Bjorn Petterssona1ff84e2018-07-03 12:39:52 +0000269
270 return CI;
Chris Lattnerc0d54962010-12-26 22:49:25 +0000271}
Nick Lewycky0cf51562011-05-21 23:14:36 +0000272
Daniel Neilsone33ce292018-05-30 20:02:56 +0000273CallInst *IRBuilderBase::CreateElementUnorderedAtomicMemMove(
274 Value *Dst, unsigned DstAlign, Value *Src, unsigned SrcAlign, Value *Size,
275 uint32_t ElementSize, MDNode *TBAATag, MDNode *TBAAStructTag,
276 MDNode *ScopeTag, MDNode *NoAliasTag) {
277 assert(DstAlign >= ElementSize &&
278 "Pointer alignment must be at least element size");
279 assert(SrcAlign >= ElementSize &&
280 "Pointer alignment must be at least element size");
281 Dst = getCastedInt8PtrValue(Dst);
282 Src = getCastedInt8PtrValue(Src);
283
284 Value *Ops[] = {Dst, Src, Size, getInt32(ElementSize)};
285 Type *Tys[] = {Dst->getType(), Src->getType(), Size->getType()};
286 Module *M = BB->getParent()->getParent();
287 Value *TheFn = Intrinsic::getDeclaration(
288 M, Intrinsic::memmove_element_unordered_atomic, Tys);
289
290 CallInst *CI = createCallHelper(TheFn, Ops, this);
291
292 // Set the alignment of the pointer args.
293 CI->addParamAttr(0, Attribute::getWithAlignment(CI->getContext(), DstAlign));
294 CI->addParamAttr(1, Attribute::getWithAlignment(CI->getContext(), SrcAlign));
295
296 // Set the TBAA info if present.
297 if (TBAATag)
298 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
299
300 // Set the TBAA Struct info if present.
301 if (TBAAStructTag)
302 CI->setMetadata(LLVMContext::MD_tbaa_struct, TBAAStructTag);
303
304 if (ScopeTag)
305 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
306
307 if (NoAliasTag)
308 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
309
310 return CI;
311}
312
Amara Emerson8f1f7ce2017-05-09 10:43:25 +0000313static CallInst *getReductionIntrinsic(IRBuilderBase *Builder, Intrinsic::ID ID,
314 Value *Src) {
315 Module *M = Builder->GetInsertBlock()->getParent()->getParent();
316 Value *Ops[] = {Src};
317 Type *Tys[] = { Src->getType()->getVectorElementType(), Src->getType() };
318 auto Decl = Intrinsic::getDeclaration(M, ID, Tys);
319 return createCallHelper(Decl, Ops, Builder);
320}
321
322CallInst *IRBuilderBase::CreateFAddReduce(Value *Acc, Value *Src) {
323 Module *M = GetInsertBlock()->getParent()->getParent();
324 Value *Ops[] = {Acc, Src};
325 Type *Tys[] = {Src->getType()->getVectorElementType(), Acc->getType(),
326 Src->getType()};
327 auto Decl = Intrinsic::getDeclaration(
328 M, Intrinsic::experimental_vector_reduce_fadd, Tys);
329 return createCallHelper(Decl, Ops, this);
330}
331
332CallInst *IRBuilderBase::CreateFMulReduce(Value *Acc, Value *Src) {
333 Module *M = GetInsertBlock()->getParent()->getParent();
334 Value *Ops[] = {Acc, Src};
335 Type *Tys[] = {Src->getType()->getVectorElementType(), Acc->getType(),
336 Src->getType()};
337 auto Decl = Intrinsic::getDeclaration(
338 M, Intrinsic::experimental_vector_reduce_fmul, Tys);
339 return createCallHelper(Decl, Ops, this);
340}
341
342CallInst *IRBuilderBase::CreateAddReduce(Value *Src) {
343 return getReductionIntrinsic(this, Intrinsic::experimental_vector_reduce_add,
344 Src);
345}
346
347CallInst *IRBuilderBase::CreateMulReduce(Value *Src) {
348 return getReductionIntrinsic(this, Intrinsic::experimental_vector_reduce_mul,
349 Src);
350}
351
352CallInst *IRBuilderBase::CreateAndReduce(Value *Src) {
353 return getReductionIntrinsic(this, Intrinsic::experimental_vector_reduce_and,
354 Src);
355}
356
357CallInst *IRBuilderBase::CreateOrReduce(Value *Src) {
358 return getReductionIntrinsic(this, Intrinsic::experimental_vector_reduce_or,
359 Src);
360}
361
362CallInst *IRBuilderBase::CreateXorReduce(Value *Src) {
363 return getReductionIntrinsic(this, Intrinsic::experimental_vector_reduce_xor,
364 Src);
365}
366
367CallInst *IRBuilderBase::CreateIntMaxReduce(Value *Src, bool IsSigned) {
368 auto ID = IsSigned ? Intrinsic::experimental_vector_reduce_smax
369 : Intrinsic::experimental_vector_reduce_umax;
370 return getReductionIntrinsic(this, ID, Src);
371}
372
373CallInst *IRBuilderBase::CreateIntMinReduce(Value *Src, bool IsSigned) {
374 auto ID = IsSigned ? Intrinsic::experimental_vector_reduce_smin
375 : Intrinsic::experimental_vector_reduce_umin;
376 return getReductionIntrinsic(this, ID, Src);
377}
378
379CallInst *IRBuilderBase::CreateFPMaxReduce(Value *Src, bool NoNaN) {
380 auto Rdx = getReductionIntrinsic(
381 this, Intrinsic::experimental_vector_reduce_fmax, Src);
382 if (NoNaN) {
383 FastMathFlags FMF;
384 FMF.setNoNaNs();
385 Rdx->setFastMathFlags(FMF);
386 }
387 return Rdx;
388}
389
390CallInst *IRBuilderBase::CreateFPMinReduce(Value *Src, bool NoNaN) {
391 auto Rdx = getReductionIntrinsic(
392 this, Intrinsic::experimental_vector_reduce_fmin, Src);
393 if (NoNaN) {
394 FastMathFlags FMF;
395 FMF.setNoNaNs();
396 Rdx->setFastMathFlags(FMF);
397 }
398 return Rdx;
399}
400
Nick Lewycky0cf51562011-05-21 23:14:36 +0000401CallInst *IRBuilderBase::CreateLifetimeStart(Value *Ptr, ConstantInt *Size) {
402 assert(isa<PointerType>(Ptr->getType()) &&
Bill Wendling56cb2292012-07-19 00:11:40 +0000403 "lifetime.start only applies to pointers.");
Nick Lewycky0cf51562011-05-21 23:14:36 +0000404 Ptr = getCastedInt8PtrValue(Ptr);
405 if (!Size)
406 Size = getInt64(-1);
407 else
408 assert(Size->getType() == getInt64Ty() &&
Bill Wendling56cb2292012-07-19 00:11:40 +0000409 "lifetime.start requires the size to be an i64");
Nick Lewycky0cf51562011-05-21 23:14:36 +0000410 Value *Ops[] = { Size, Ptr };
411 Module *M = BB->getParent()->getParent();
Matt Arsenaultbdbe8282017-04-10 20:18:21 +0000412 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::lifetime_start,
413 { Ptr->getType() });
Jay Foada3efbb12011-07-15 08:37:34 +0000414 return createCallHelper(TheFn, Ops, this);
Nick Lewycky0cf51562011-05-21 23:14:36 +0000415}
416
417CallInst *IRBuilderBase::CreateLifetimeEnd(Value *Ptr, ConstantInt *Size) {
418 assert(isa<PointerType>(Ptr->getType()) &&
Bill Wendling56cb2292012-07-19 00:11:40 +0000419 "lifetime.end only applies to pointers.");
Nick Lewycky0cf51562011-05-21 23:14:36 +0000420 Ptr = getCastedInt8PtrValue(Ptr);
421 if (!Size)
422 Size = getInt64(-1);
423 else
424 assert(Size->getType() == getInt64Ty() &&
Bill Wendling56cb2292012-07-19 00:11:40 +0000425 "lifetime.end requires the size to be an i64");
Nick Lewycky0cf51562011-05-21 23:14:36 +0000426 Value *Ops[] = { Size, Ptr };
427 Module *M = BB->getParent()->getParent();
Matt Arsenaultbdbe8282017-04-10 20:18:21 +0000428 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::lifetime_end,
429 { Ptr->getType() });
Jay Foada3efbb12011-07-15 08:37:34 +0000430 return createCallHelper(TheFn, Ops, this);
Nick Lewycky0cf51562011-05-21 23:14:36 +0000431}
Hal Finkel76ce6142014-10-15 23:44:22 +0000432
Anna Thomas3b6613c2016-07-22 20:57:23 +0000433CallInst *IRBuilderBase::CreateInvariantStart(Value *Ptr, ConstantInt *Size) {
434
435 assert(isa<PointerType>(Ptr->getType()) &&
436 "invariant.start only applies to pointers.");
437 Ptr = getCastedInt8PtrValue(Ptr);
438 if (!Size)
439 Size = getInt64(-1);
440 else
441 assert(Size->getType() == getInt64Ty() &&
442 "invariant.start requires the size to be an i64");
443
444 Value *Ops[] = {Size, Ptr};
445 // Fill in the single overloaded type: memory object type.
446 Type *ObjectPtr[1] = {Ptr->getType()};
447 Module *M = BB->getParent()->getParent();
448 Value *TheFn =
449 Intrinsic::getDeclaration(M, Intrinsic::invariant_start, ObjectPtr);
450 return createCallHelper(TheFn, Ops, this);
451}
452
Hal Finkel76ce6142014-10-15 23:44:22 +0000453CallInst *IRBuilderBase::CreateAssumption(Value *Cond) {
454 assert(Cond->getType() == getInt1Ty() &&
455 "an assumption condition must be of type i1");
456
457 Value *Ops[] = { Cond };
458 Module *M = BB->getParent()->getParent();
459 Value *FnAssume = Intrinsic::getDeclaration(M, Intrinsic::assume);
460 return createCallHelper(FnAssume, Ops, this);
461}
462
Adrian Prantl26b584c2018-05-01 15:54:18 +0000463/// Create a call to a Masked Load intrinsic.
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000464/// \p Ptr - base pointer for the load
465/// \p Align - alignment of the source location
466/// \p Mask - vector of booleans which indicates what vector lanes should
467/// be accessed in memory
468/// \p PassThru - pass-through value that is used to fill the masked-off lanes
469/// of the result
470/// \p Name - name of the result variable
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000471CallInst *IRBuilderBase::CreateMaskedLoad(Value *Ptr, unsigned Align,
472 Value *Mask, Value *PassThru,
473 const Twine &Name) {
Eugene Zelenkoae117792018-03-30 00:47:31 +0000474 auto *PtrTy = cast<PointerType>(Ptr->getType());
Artur Pilipenko48917c92016-06-28 18:27:25 +0000475 Type *DataTy = PtrTy->getElementType();
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000476 assert(DataTy->isVectorTy() && "Ptr should point to a vector");
Ayal Zaks343f60c2017-07-31 13:21:42 +0000477 assert(Mask && "Mask should not be all-ones (null)");
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000478 if (!PassThru)
479 PassThru = UndefValue::get(DataTy);
Artur Pilipenko48917c92016-06-28 18:27:25 +0000480 Type *OverloadedTypes[] = { DataTy, PtrTy };
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000481 Value *Ops[] = { Ptr, getInt32(Align), Mask, PassThru};
Artur Pilipenko48917c92016-06-28 18:27:25 +0000482 return CreateMaskedIntrinsic(Intrinsic::masked_load, Ops,
483 OverloadedTypes, Name);
Elena Demikhovsky73ae1df2014-12-04 09:40:44 +0000484}
485
Adrian Prantl26b584c2018-05-01 15:54:18 +0000486/// Create a call to a Masked Store intrinsic.
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000487/// \p Val - data to be stored,
488/// \p Ptr - base pointer for the store
489/// \p Align - alignment of the destination location
490/// \p Mask - vector of booleans which indicates what vector lanes should
491/// be accessed in memory
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000492CallInst *IRBuilderBase::CreateMaskedStore(Value *Val, Value *Ptr,
493 unsigned Align, Value *Mask) {
Eugene Zelenkoae117792018-03-30 00:47:31 +0000494 auto *PtrTy = cast<PointerType>(Ptr->getType());
Artur Pilipenko48917c92016-06-28 18:27:25 +0000495 Type *DataTy = PtrTy->getElementType();
496 assert(DataTy->isVectorTy() && "Ptr should point to a vector");
Ayal Zaks343f60c2017-07-31 13:21:42 +0000497 assert(Mask && "Mask should not be all-ones (null)");
Artur Pilipenko48917c92016-06-28 18:27:25 +0000498 Type *OverloadedTypes[] = { DataTy, PtrTy };
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000499 Value *Ops[] = { Val, Ptr, getInt32(Align), Mask };
Artur Pilipenko48917c92016-06-28 18:27:25 +0000500 return CreateMaskedIntrinsic(Intrinsic::masked_store, Ops, OverloadedTypes);
Elena Demikhovsky73ae1df2014-12-04 09:40:44 +0000501}
502
503/// Create a call to a Masked intrinsic, with given intrinsic Id,
Artur Pilipenko48917c92016-06-28 18:27:25 +0000504/// an array of operands - Ops, and an array of overloaded types -
505/// OverloadedTypes.
Pete Cooper9584e072015-05-20 17:16:39 +0000506CallInst *IRBuilderBase::CreateMaskedIntrinsic(Intrinsic::ID Id,
Elena Demikhovsky73ae1df2014-12-04 09:40:44 +0000507 ArrayRef<Value *> Ops,
Artur Pilipenko48917c92016-06-28 18:27:25 +0000508 ArrayRef<Type *> OverloadedTypes,
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000509 const Twine &Name) {
Elena Demikhovsky73ae1df2014-12-04 09:40:44 +0000510 Module *M = BB->getParent()->getParent();
Pete Cooper9584e072015-05-20 17:16:39 +0000511 Value *TheFn = Intrinsic::getDeclaration(M, Id, OverloadedTypes);
Elena Demikhovskycc794da2014-12-30 14:28:14 +0000512 return createCallHelper(TheFn, Ops, this, Name);
Elena Demikhovsky73ae1df2014-12-04 09:40:44 +0000513}
Philip Reamese46577f2014-12-30 05:55:58 +0000514
Adrian Prantl26b584c2018-05-01 15:54:18 +0000515/// Create a call to a Masked Gather intrinsic.
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000516/// \p Ptrs - vector of pointers for loading
517/// \p Align - alignment for one element
518/// \p Mask - vector of booleans which indicates what vector lanes should
519/// be accessed in memory
520/// \p PassThru - pass-through value that is used to fill the masked-off lanes
521/// of the result
522/// \p Name - name of the result variable
523CallInst *IRBuilderBase::CreateMaskedGather(Value *Ptrs, unsigned Align,
524 Value *Mask, Value *PassThru,
525 const Twine& Name) {
526 auto PtrsTy = cast<VectorType>(Ptrs->getType());
527 auto PtrTy = cast<PointerType>(PtrsTy->getElementType());
528 unsigned NumElts = PtrsTy->getVectorNumElements();
529 Type *DataTy = VectorType::get(PtrTy->getElementType(), NumElts);
530
531 if (!Mask)
532 Mask = Constant::getAllOnesValue(VectorType::get(Type::getInt1Ty(Context),
533 NumElts));
534
Amara Emersonfc4cf8d2017-05-19 10:40:18 +0000535 if (!PassThru)
536 PassThru = UndefValue::get(DataTy);
537
Elad Cohenea59a242017-05-03 12:28:54 +0000538 Type *OverloadedTypes[] = {DataTy, PtrsTy};
Amara Emersonfc4cf8d2017-05-19 10:40:18 +0000539 Value * Ops[] = {Ptrs, getInt32(Align), Mask, PassThru};
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000540
541 // We specify only one type when we create this intrinsic. Types of other
542 // arguments are derived from this type.
Elad Cohenea59a242017-05-03 12:28:54 +0000543 return CreateMaskedIntrinsic(Intrinsic::masked_gather, Ops, OverloadedTypes,
544 Name);
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000545}
546
Adrian Prantl26b584c2018-05-01 15:54:18 +0000547/// Create a call to a Masked Scatter intrinsic.
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000548/// \p Data - data to be stored,
549/// \p Ptrs - the vector of pointers, where the \p Data elements should be
550/// stored
551/// \p Align - alignment for one element
552/// \p Mask - vector of booleans which indicates what vector lanes should
553/// be accessed in memory
554CallInst *IRBuilderBase::CreateMaskedScatter(Value *Data, Value *Ptrs,
555 unsigned Align, Value *Mask) {
556 auto PtrsTy = cast<VectorType>(Ptrs->getType());
557 auto DataTy = cast<VectorType>(Data->getType());
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000558 unsigned NumElts = PtrsTy->getVectorNumElements();
559
Tim Northover6470a5d2016-02-17 21:16:59 +0000560#ifndef NDEBUG
561 auto PtrTy = cast<PointerType>(PtrsTy->getElementType());
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000562 assert(NumElts == DataTy->getVectorNumElements() &&
Tim Northover6470a5d2016-02-17 21:16:59 +0000563 PtrTy->getElementType() == DataTy->getElementType() &&
564 "Incompatible pointer and data types");
565#endif
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000566
567 if (!Mask)
568 Mask = Constant::getAllOnesValue(VectorType::get(Type::getInt1Ty(Context),
569 NumElts));
Elad Cohenea59a242017-05-03 12:28:54 +0000570
571 Type *OverloadedTypes[] = {DataTy, PtrsTy};
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000572 Value * Ops[] = {Data, Ptrs, getInt32(Align), Mask};
573
574 // We specify only one type when we create this intrinsic. Types of other
575 // arguments are derived from this type.
Elad Cohenea59a242017-05-03 12:28:54 +0000576 return CreateMaskedIntrinsic(Intrinsic::masked_scatter, Ops, OverloadedTypes);
Elena Demikhovsky2c7551b2016-02-17 19:23:04 +0000577}
578
Sanjoy Dase3445772015-10-07 19:52:12 +0000579template <typename T0, typename T1, typename T2, typename T3>
Sanjoy Dasead2d1f2015-05-12 23:52:24 +0000580static std::vector<Value *>
581getStatepointArgs(IRBuilderBase &B, uint64_t ID, uint32_t NumPatchBytes,
Sanjoy Das67567032015-10-08 23:18:33 +0000582 Value *ActualCallee, uint32_t Flags, ArrayRef<T0> CallArgs,
583 ArrayRef<T1> TransitionArgs, ArrayRef<T2> DeoptArgs,
584 ArrayRef<T3> GCArgs) {
Sanjoy Das8a86e252015-05-06 23:53:09 +0000585 std::vector<Value *> Args;
Sanjoy Dasead2d1f2015-05-12 23:52:24 +0000586 Args.push_back(B.getInt64(ID));
587 Args.push_back(B.getInt32(NumPatchBytes));
Sanjoy Das8a86e252015-05-06 23:53:09 +0000588 Args.push_back(ActualCallee);
589 Args.push_back(B.getInt32(CallArgs.size()));
Sanjoy Das67567032015-10-08 23:18:33 +0000590 Args.push_back(B.getInt32(Flags));
Sanjoy Das8a86e252015-05-06 23:53:09 +0000591 Args.insert(Args.end(), CallArgs.begin(), CallArgs.end());
Sanjoy Dase3445772015-10-07 19:52:12 +0000592 Args.push_back(B.getInt32(TransitionArgs.size()));
593 Args.insert(Args.end(), TransitionArgs.begin(), TransitionArgs.end());
Sanjoy Das8a86e252015-05-06 23:53:09 +0000594 Args.push_back(B.getInt32(DeoptArgs.size()));
595 Args.insert(Args.end(), DeoptArgs.begin(), DeoptArgs.end());
596 Args.insert(Args.end(), GCArgs.begin(), GCArgs.end());
597
598 return Args;
599}
600
Sanjoy Dase3445772015-10-07 19:52:12 +0000601template <typename T0, typename T1, typename T2, typename T3>
602static CallInst *CreateGCStatepointCallCommon(
603 IRBuilderBase *Builder, uint64_t ID, uint32_t NumPatchBytes,
Sanjoy Das67567032015-10-08 23:18:33 +0000604 Value *ActualCallee, uint32_t Flags, ArrayRef<T0> CallArgs,
Sanjoy Dase3445772015-10-07 19:52:12 +0000605 ArrayRef<T1> TransitionArgs, ArrayRef<T2> DeoptArgs, ArrayRef<T3> GCArgs,
606 const Twine &Name) {
Sanjoy Das5c175aa2015-05-06 02:36:34 +0000607 // Extract out the type of the callee.
Eugene Zelenkoae117792018-03-30 00:47:31 +0000608 auto *FuncPtrType = cast<PointerType>(ActualCallee->getType());
Sanjoy Das5c175aa2015-05-06 02:36:34 +0000609 assert(isa<FunctionType>(FuncPtrType->getElementType()) &&
610 "actual callee must be a callable value");
Philip Reamese46577f2014-12-30 05:55:58 +0000611
Sanjoy Dase3445772015-10-07 19:52:12 +0000612 Module *M = Builder->GetInsertBlock()->getParent()->getParent();
Sanjoy Das5c175aa2015-05-06 02:36:34 +0000613 // Fill in the one generic type'd argument (the function is also vararg)
614 Type *ArgTypes[] = { FuncPtrType };
615 Function *FnStatepoint =
616 Intrinsic::getDeclaration(M, Intrinsic::experimental_gc_statepoint,
617 ArgTypes);
Philip Reamese46577f2014-12-30 05:55:58 +0000618
Eugene Zelenkoae117792018-03-30 00:47:31 +0000619 std::vector<Value *> Args =
Sanjoy Dase3445772015-10-07 19:52:12 +0000620 getStatepointArgs(*Builder, ID, NumPatchBytes, ActualCallee, Flags,
621 CallArgs, TransitionArgs, DeoptArgs, GCArgs);
622 return createCallHelper(FnStatepoint, Args, Builder, Name);
623}
624
625CallInst *IRBuilderBase::CreateGCStatepointCall(
626 uint64_t ID, uint32_t NumPatchBytes, Value *ActualCallee,
627 ArrayRef<Value *> CallArgs, ArrayRef<Value *> DeoptArgs,
628 ArrayRef<Value *> GCArgs, const Twine &Name) {
629 return CreateGCStatepointCallCommon<Value *, Value *, Value *, Value *>(
Sanjoy Das67567032015-10-08 23:18:33 +0000630 this, ID, NumPatchBytes, ActualCallee, uint32_t(StatepointFlags::None),
631 CallArgs, None /* No Transition Args */, DeoptArgs, GCArgs, Name);
Sanjoy Dase3445772015-10-07 19:52:12 +0000632}
633
634CallInst *IRBuilderBase::CreateGCStatepointCall(
Sanjoy Das67567032015-10-08 23:18:33 +0000635 uint64_t ID, uint32_t NumPatchBytes, Value *ActualCallee, uint32_t Flags,
636 ArrayRef<Use> CallArgs, ArrayRef<Use> TransitionArgs,
Sanjoy Dase3445772015-10-07 19:52:12 +0000637 ArrayRef<Use> DeoptArgs, ArrayRef<Value *> GCArgs, const Twine &Name) {
638 return CreateGCStatepointCallCommon<Use, Use, Use, Value *>(
639 this, ID, NumPatchBytes, ActualCallee, Flags, CallArgs, TransitionArgs,
640 DeoptArgs, GCArgs, Name);
Philip Reamese46577f2014-12-30 05:55:58 +0000641}
642
Sanjoy Dasead2d1f2015-05-12 23:52:24 +0000643CallInst *IRBuilderBase::CreateGCStatepointCall(
644 uint64_t ID, uint32_t NumPatchBytes, Value *ActualCallee,
645 ArrayRef<Use> CallArgs, ArrayRef<Value *> DeoptArgs,
646 ArrayRef<Value *> GCArgs, const Twine &Name) {
Sanjoy Dase3445772015-10-07 19:52:12 +0000647 return CreateGCStatepointCallCommon<Use, Value *, Value *, Value *>(
Sanjoy Das67567032015-10-08 23:18:33 +0000648 this, ID, NumPatchBytes, ActualCallee, uint32_t(StatepointFlags::None),
649 CallArgs, None, DeoptArgs, GCArgs, Name);
Sanjoy Dase3445772015-10-07 19:52:12 +0000650}
651
652template <typename T0, typename T1, typename T2, typename T3>
653static InvokeInst *CreateGCStatepointInvokeCommon(
654 IRBuilderBase *Builder, uint64_t ID, uint32_t NumPatchBytes,
655 Value *ActualInvokee, BasicBlock *NormalDest, BasicBlock *UnwindDest,
Sanjoy Das67567032015-10-08 23:18:33 +0000656 uint32_t Flags, ArrayRef<T0> InvokeArgs, ArrayRef<T1> TransitionArgs,
Sanjoy Dase3445772015-10-07 19:52:12 +0000657 ArrayRef<T2> DeoptArgs, ArrayRef<T3> GCArgs, const Twine &Name) {
658 // Extract out the type of the callee.
Eugene Zelenkoae117792018-03-30 00:47:31 +0000659 auto *FuncPtrType = cast<PointerType>(ActualInvokee->getType());
Sanjoy Dase3445772015-10-07 19:52:12 +0000660 assert(isa<FunctionType>(FuncPtrType->getElementType()) &&
661 "actual callee must be a callable value");
662
663 Module *M = Builder->GetInsertBlock()->getParent()->getParent();
664 // Fill in the one generic type'd argument (the function is also vararg)
665 Function *FnStatepoint = Intrinsic::getDeclaration(
666 M, Intrinsic::experimental_gc_statepoint, {FuncPtrType});
667
Eugene Zelenkoae117792018-03-30 00:47:31 +0000668 std::vector<Value *> Args =
Sanjoy Dase3445772015-10-07 19:52:12 +0000669 getStatepointArgs(*Builder, ID, NumPatchBytes, ActualInvokee, Flags,
670 InvokeArgs, TransitionArgs, DeoptArgs, GCArgs);
671 return createInvokeHelper(FnStatepoint, NormalDest, UnwindDest, Args, Builder,
672 Name);
Sanjoy Das8a86e252015-05-06 23:53:09 +0000673}
674
675InvokeInst *IRBuilderBase::CreateGCStatepointInvoke(
Sanjoy Dasead2d1f2015-05-12 23:52:24 +0000676 uint64_t ID, uint32_t NumPatchBytes, Value *ActualInvokee,
677 BasicBlock *NormalDest, BasicBlock *UnwindDest,
Sanjoy Das8a86e252015-05-06 23:53:09 +0000678 ArrayRef<Value *> InvokeArgs, ArrayRef<Value *> DeoptArgs,
679 ArrayRef<Value *> GCArgs, const Twine &Name) {
Sanjoy Dase3445772015-10-07 19:52:12 +0000680 return CreateGCStatepointInvokeCommon<Value *, Value *, Value *, Value *>(
681 this, ID, NumPatchBytes, ActualInvokee, NormalDest, UnwindDest,
Sanjoy Das67567032015-10-08 23:18:33 +0000682 uint32_t(StatepointFlags::None), InvokeArgs, None /* No Transition Args*/,
Sanjoy Dase3445772015-10-07 19:52:12 +0000683 DeoptArgs, GCArgs, Name);
684}
Sanjoy Das8a86e252015-05-06 23:53:09 +0000685
Sanjoy Dase3445772015-10-07 19:52:12 +0000686InvokeInst *IRBuilderBase::CreateGCStatepointInvoke(
687 uint64_t ID, uint32_t NumPatchBytes, Value *ActualInvokee,
Sanjoy Das67567032015-10-08 23:18:33 +0000688 BasicBlock *NormalDest, BasicBlock *UnwindDest, uint32_t Flags,
Sanjoy Dase3445772015-10-07 19:52:12 +0000689 ArrayRef<Use> InvokeArgs, ArrayRef<Use> TransitionArgs,
690 ArrayRef<Use> DeoptArgs, ArrayRef<Value *> GCArgs, const Twine &Name) {
691 return CreateGCStatepointInvokeCommon<Use, Use, Use, Value *>(
692 this, ID, NumPatchBytes, ActualInvokee, NormalDest, UnwindDest, Flags,
693 InvokeArgs, TransitionArgs, DeoptArgs, GCArgs, Name);
Sanjoy Das8a86e252015-05-06 23:53:09 +0000694}
695
696InvokeInst *IRBuilderBase::CreateGCStatepointInvoke(
Sanjoy Dasead2d1f2015-05-12 23:52:24 +0000697 uint64_t ID, uint32_t NumPatchBytes, Value *ActualInvokee,
698 BasicBlock *NormalDest, BasicBlock *UnwindDest, ArrayRef<Use> InvokeArgs,
699 ArrayRef<Value *> DeoptArgs, ArrayRef<Value *> GCArgs, const Twine &Name) {
Sanjoy Dase3445772015-10-07 19:52:12 +0000700 return CreateGCStatepointInvokeCommon<Use, Value *, Value *, Value *>(
701 this, ID, NumPatchBytes, ActualInvokee, NormalDest, UnwindDest,
Sanjoy Das67567032015-10-08 23:18:33 +0000702 uint32_t(StatepointFlags::None), InvokeArgs, None, DeoptArgs, GCArgs,
703 Name);
Ramkumar Ramachandrae10581a2015-02-26 00:35:56 +0000704}
705
Philip Reamese46577f2014-12-30 05:55:58 +0000706CallInst *IRBuilderBase::CreateGCResult(Instruction *Statepoint,
707 Type *ResultType,
708 const Twine &Name) {
Ramkumar Ramachandra230796b2015-01-22 20:14:38 +0000709 Intrinsic::ID ID = Intrinsic::experimental_gc_result;
Philip Reamese46577f2014-12-30 05:55:58 +0000710 Module *M = BB->getParent()->getParent();
711 Type *Types[] = {ResultType};
712 Value *FnGCResult = Intrinsic::getDeclaration(M, ID, Types);
713
714 Value *Args[] = {Statepoint};
715 return createCallHelper(FnGCResult, Args, this, Name);
716}
717
718CallInst *IRBuilderBase::CreateGCRelocate(Instruction *Statepoint,
719 int BaseOffset,
720 int DerivedOffset,
721 Type *ResultType,
722 const Twine &Name) {
723 Module *M = BB->getParent()->getParent();
724 Type *Types[] = {ResultType};
725 Value *FnGCRelocate =
726 Intrinsic::getDeclaration(M, Intrinsic::experimental_gc_relocate, Types);
727
728 Value *Args[] = {Statepoint,
729 getInt32(BaseOffset),
730 getInt32(DerivedOffset)};
731 return createCallHelper(FnGCRelocate, Args, this, Name);
732}
Matt Arsenaultf5567ad2017-02-27 23:08:49 +0000733
Neil Henning74655972018-10-08 10:32:33 +0000734CallInst *IRBuilderBase::CreateUnaryIntrinsic(Intrinsic::ID ID, Value *V,
735 Instruction *FMFSource,
736 const Twine &Name) {
737 Module *M = BB->getModule();
738 Function *Fn = Intrinsic::getDeclaration(M, ID, {V->getType()});
739 return createCallHelper(Fn, {V}, this, Name, FMFSource);
740}
741
742CallInst *IRBuilderBase::CreateBinaryIntrinsic(Intrinsic::ID ID, Value *LHS,
743 Value *RHS,
744 Instruction *FMFSource,
Matt Arsenaultf5567ad2017-02-27 23:08:49 +0000745 const Twine &Name) {
Sanjay Patel9d9603f2018-02-23 21:16:12 +0000746 Module *M = BB->getModule();
747 Function *Fn = Intrinsic::getDeclaration(M, ID, { LHS->getType() });
Neil Henning74655972018-10-08 10:32:33 +0000748 return createCallHelper(Fn, {LHS, RHS}, this, Name, FMFSource);
Matt Arsenaultf5567ad2017-02-27 23:08:49 +0000749}
Sanjay Patel9d9603f2018-02-23 21:16:12 +0000750
751CallInst *IRBuilderBase::CreateIntrinsic(Intrinsic::ID ID,
Neil Henning74655972018-10-08 10:32:33 +0000752 ArrayRef<Type *> Types,
Sanjay Patel9d9603f2018-02-23 21:16:12 +0000753 ArrayRef<Value *> Args,
754 Instruction *FMFSource,
755 const Twine &Name) {
Sanjay Patel9d9603f2018-02-23 21:16:12 +0000756 Module *M = BB->getModule();
Neil Henning74655972018-10-08 10:32:33 +0000757 Function *Fn = Intrinsic::getDeclaration(M, ID, Types);
Sanjay Patel9d9603f2018-02-23 21:16:12 +0000758 return createCallHelper(Fn, Args, this, Name, FMFSource);
759}