1 //===---- IRBuilder.cpp - Builder for LLVM Instrs -------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
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.
13 //===----------------------------------------------------------------------===//
15 #include "llvm/IR/Function.h"
16 #include "llvm/IR/GlobalVariable.h"
17 #include "llvm/IR/IRBuilder.h"
18 #include "llvm/IR/Intrinsics.h"
19 #include "llvm/IR/LLVMContext.h"
20 #include "llvm/IR/Statepoint.h"
23 /// CreateGlobalString - Make a new global variable with an initializer that
24 /// has array of i8 type filled in with the nul terminated string value
25 /// specified. If Name is specified, it is the name of the global variable
27 GlobalVariable *IRBuilderBase::CreateGlobalString(StringRef Str,
29 unsigned AddressSpace) {
30 Constant *StrConstant = ConstantDataArray::getString(Context, Str);
31 Module &M = *BB->getParent()->getParent();
32 GlobalVariable *GV = new GlobalVariable(M, StrConstant->getType(),
33 true, GlobalValue::PrivateLinkage,
34 StrConstant, Name, nullptr,
35 GlobalVariable::NotThreadLocal,
37 GV->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
41 Type *IRBuilderBase::getCurrentFunctionReturnType() const {
42 assert(BB && BB->getParent() && "No current function!");
43 return BB->getParent()->getReturnType();
46 Value *IRBuilderBase::getCastedInt8PtrValue(Value *Ptr) {
47 PointerType *PT = cast<PointerType>(Ptr->getType());
48 if (PT->getElementType()->isIntegerTy(8))
51 // Otherwise, we need to insert a bitcast.
52 PT = getInt8PtrTy(PT->getAddressSpace());
53 BitCastInst *BCI = new BitCastInst(Ptr, PT, "");
54 BB->getInstList().insert(InsertPt, BCI);
55 SetInstDebugLocation(BCI);
59 static CallInst *createCallHelper(Value *Callee, ArrayRef<Value *> Ops,
60 IRBuilderBase *Builder,
61 const Twine& Name="") {
62 CallInst *CI = CallInst::Create(Callee, Ops, Name);
63 Builder->GetInsertBlock()->getInstList().insert(Builder->GetInsertPoint(),CI);
64 Builder->SetInstDebugLocation(CI);
68 static InvokeInst *createInvokeHelper(Value *Invokee, BasicBlock *NormalDest,
69 BasicBlock *UnwindDest,
70 ArrayRef<Value *> Ops,
71 IRBuilderBase *Builder,
72 const Twine &Name = "") {
74 InvokeInst::Create(Invokee, NormalDest, UnwindDest, Ops, Name);
75 Builder->GetInsertBlock()->getInstList().insert(Builder->GetInsertPoint(),
77 Builder->SetInstDebugLocation(II);
81 CallInst *IRBuilderBase::
82 CreateMemSet(Value *Ptr, Value *Val, Value *Size, unsigned Align,
83 bool isVolatile, MDNode *TBAATag, MDNode *ScopeTag,
85 Ptr = getCastedInt8PtrValue(Ptr);
86 Value *Ops[] = { Ptr, Val, Size, getInt32(Align), getInt1(isVolatile) };
87 Type *Tys[] = { Ptr->getType(), Size->getType() };
88 Module *M = BB->getParent()->getParent();
89 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::memset, Tys);
91 CallInst *CI = createCallHelper(TheFn, Ops, this);
93 // Set the TBAA info if present.
95 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
98 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
101 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
106 CallInst *IRBuilderBase::
107 CreateMemCpy(Value *Dst, Value *Src, Value *Size, unsigned Align,
108 bool isVolatile, MDNode *TBAATag, MDNode *TBAAStructTag,
109 MDNode *ScopeTag, MDNode *NoAliasTag) {
110 Dst = getCastedInt8PtrValue(Dst);
111 Src = getCastedInt8PtrValue(Src);
113 Value *Ops[] = { Dst, Src, Size, getInt32(Align), getInt1(isVolatile) };
114 Type *Tys[] = { Dst->getType(), Src->getType(), Size->getType() };
115 Module *M = BB->getParent()->getParent();
116 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::memcpy, Tys);
118 CallInst *CI = createCallHelper(TheFn, Ops, this);
120 // Set the TBAA info if present.
122 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
124 // Set the TBAA Struct info if present.
126 CI->setMetadata(LLVMContext::MD_tbaa_struct, TBAAStructTag);
129 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
132 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
137 CallInst *IRBuilderBase::
138 CreateMemMove(Value *Dst, Value *Src, Value *Size, unsigned Align,
139 bool isVolatile, MDNode *TBAATag, MDNode *ScopeTag,
140 MDNode *NoAliasTag) {
141 Dst = getCastedInt8PtrValue(Dst);
142 Src = getCastedInt8PtrValue(Src);
144 Value *Ops[] = { Dst, Src, Size, getInt32(Align), getInt1(isVolatile) };
145 Type *Tys[] = { Dst->getType(), Src->getType(), Size->getType() };
146 Module *M = BB->getParent()->getParent();
147 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::memmove, Tys);
149 CallInst *CI = createCallHelper(TheFn, Ops, this);
151 // Set the TBAA info if present.
153 CI->setMetadata(LLVMContext::MD_tbaa, TBAATag);
156 CI->setMetadata(LLVMContext::MD_alias_scope, ScopeTag);
159 CI->setMetadata(LLVMContext::MD_noalias, NoAliasTag);
164 CallInst *IRBuilderBase::CreateLifetimeStart(Value *Ptr, ConstantInt *Size) {
165 assert(isa<PointerType>(Ptr->getType()) &&
166 "lifetime.start only applies to pointers.");
167 Ptr = getCastedInt8PtrValue(Ptr);
171 assert(Size->getType() == getInt64Ty() &&
172 "lifetime.start requires the size to be an i64");
173 Value *Ops[] = { Size, Ptr };
174 Module *M = BB->getParent()->getParent();
175 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::lifetime_start,
177 return createCallHelper(TheFn, Ops, this);
180 CallInst *IRBuilderBase::CreateLifetimeEnd(Value *Ptr, ConstantInt *Size) {
181 assert(isa<PointerType>(Ptr->getType()) &&
182 "lifetime.end only applies to pointers.");
183 Ptr = getCastedInt8PtrValue(Ptr);
187 assert(Size->getType() == getInt64Ty() &&
188 "lifetime.end requires the size to be an i64");
189 Value *Ops[] = { Size, Ptr };
190 Module *M = BB->getParent()->getParent();
191 Value *TheFn = Intrinsic::getDeclaration(M, Intrinsic::lifetime_end,
193 return createCallHelper(TheFn, Ops, this);
196 CallInst *IRBuilderBase::CreateInvariantStart(Value *Ptr, ConstantInt *Size) {
198 assert(isa<PointerType>(Ptr->getType()) &&
199 "invariant.start only applies to pointers.");
200 Ptr = getCastedInt8PtrValue(Ptr);
204 assert(Size->getType() == getInt64Ty() &&
205 "invariant.start requires the size to be an i64");
207 Value *Ops[] = {Size, Ptr};
208 // Fill in the single overloaded type: memory object type.
209 Type *ObjectPtr[1] = {Ptr->getType()};
210 Module *M = BB->getParent()->getParent();
212 Intrinsic::getDeclaration(M, Intrinsic::invariant_start, ObjectPtr);
213 return createCallHelper(TheFn, Ops, this);
216 CallInst *IRBuilderBase::CreateAssumption(Value *Cond) {
217 assert(Cond->getType() == getInt1Ty() &&
218 "an assumption condition must be of type i1");
220 Value *Ops[] = { Cond };
221 Module *M = BB->getParent()->getParent();
222 Value *FnAssume = Intrinsic::getDeclaration(M, Intrinsic::assume);
223 return createCallHelper(FnAssume, Ops, this);
226 /// \brief Create a call to a Masked Load intrinsic.
227 /// \p Ptr - base pointer for the load
228 /// \p Align - alignment of the source location
229 /// \p Mask - vector of booleans which indicates what vector lanes should
230 /// be accessed in memory
231 /// \p PassThru - pass-through value that is used to fill the masked-off lanes
233 /// \p Name - name of the result variable
234 CallInst *IRBuilderBase::CreateMaskedLoad(Value *Ptr, unsigned Align,
235 Value *Mask, Value *PassThru,
237 PointerType *PtrTy = cast<PointerType>(Ptr->getType());
238 Type *DataTy = PtrTy->getElementType();
239 assert(DataTy->isVectorTy() && "Ptr should point to a vector");
241 PassThru = UndefValue::get(DataTy);
242 Type *OverloadedTypes[] = { DataTy, PtrTy };
243 Value *Ops[] = { Ptr, getInt32(Align), Mask, PassThru};
244 return CreateMaskedIntrinsic(Intrinsic::masked_load, Ops,
245 OverloadedTypes, Name);
248 /// \brief Create a call to a Masked Store intrinsic.
249 /// \p Val - data to be stored,
250 /// \p Ptr - base pointer for the store
251 /// \p Align - alignment of the destination location
252 /// \p Mask - vector of booleans which indicates what vector lanes should
253 /// be accessed in memory
254 CallInst *IRBuilderBase::CreateMaskedStore(Value *Val, Value *Ptr,
255 unsigned Align, Value *Mask) {
256 PointerType *PtrTy = cast<PointerType>(Ptr->getType());
257 Type *DataTy = PtrTy->getElementType();
258 assert(DataTy->isVectorTy() && "Ptr should point to a vector");
259 Type *OverloadedTypes[] = { DataTy, PtrTy };
260 Value *Ops[] = { Val, Ptr, getInt32(Align), Mask };
261 return CreateMaskedIntrinsic(Intrinsic::masked_store, Ops, OverloadedTypes);
264 /// Create a call to a Masked intrinsic, with given intrinsic Id,
265 /// an array of operands - Ops, and an array of overloaded types -
267 CallInst *IRBuilderBase::CreateMaskedIntrinsic(Intrinsic::ID Id,
268 ArrayRef<Value *> Ops,
269 ArrayRef<Type *> OverloadedTypes,
271 Module *M = BB->getParent()->getParent();
272 Value *TheFn = Intrinsic::getDeclaration(M, Id, OverloadedTypes);
273 return createCallHelper(TheFn, Ops, this, Name);
276 /// \brief Create a call to a Masked Gather intrinsic.
277 /// \p Ptrs - vector of pointers for loading
278 /// \p Align - alignment for one element
279 /// \p Mask - vector of booleans which indicates what vector lanes should
280 /// be accessed in memory
281 /// \p PassThru - pass-through value that is used to fill the masked-off lanes
283 /// \p Name - name of the result variable
284 CallInst *IRBuilderBase::CreateMaskedGather(Value *Ptrs, unsigned Align,
285 Value *Mask, Value *PassThru,
287 auto PtrsTy = cast<VectorType>(Ptrs->getType());
288 auto PtrTy = cast<PointerType>(PtrsTy->getElementType());
289 unsigned NumElts = PtrsTy->getVectorNumElements();
290 Type *DataTy = VectorType::get(PtrTy->getElementType(), NumElts);
293 Mask = Constant::getAllOnesValue(VectorType::get(Type::getInt1Ty(Context),
296 Value * Ops[] = {Ptrs, getInt32(Align), Mask, UndefValue::get(DataTy)};
298 // We specify only one type when we create this intrinsic. Types of other
299 // arguments are derived from this type.
300 return CreateMaskedIntrinsic(Intrinsic::masked_gather, Ops, { DataTy }, Name);
303 /// \brief Create a call to a Masked Scatter intrinsic.
304 /// \p Data - data to be stored,
305 /// \p Ptrs - the vector of pointers, where the \p Data elements should be
307 /// \p Align - alignment for one element
308 /// \p Mask - vector of booleans which indicates what vector lanes should
309 /// be accessed in memory
310 CallInst *IRBuilderBase::CreateMaskedScatter(Value *Data, Value *Ptrs,
311 unsigned Align, Value *Mask) {
312 auto PtrsTy = cast<VectorType>(Ptrs->getType());
313 auto DataTy = cast<VectorType>(Data->getType());
314 unsigned NumElts = PtrsTy->getVectorNumElements();
317 auto PtrTy = cast<PointerType>(PtrsTy->getElementType());
318 assert(NumElts == DataTy->getVectorNumElements() &&
319 PtrTy->getElementType() == DataTy->getElementType() &&
320 "Incompatible pointer and data types");
324 Mask = Constant::getAllOnesValue(VectorType::get(Type::getInt1Ty(Context),
326 Value * Ops[] = {Data, Ptrs, getInt32(Align), Mask};
328 // We specify only one type when we create this intrinsic. Types of other
329 // arguments are derived from this type.
330 return CreateMaskedIntrinsic(Intrinsic::masked_scatter, Ops, { DataTy });
333 template <typename T0, typename T1, typename T2, typename T3>
334 static std::vector<Value *>
335 getStatepointArgs(IRBuilderBase &B, uint64_t ID, uint32_t NumPatchBytes,
336 Value *ActualCallee, uint32_t Flags, ArrayRef<T0> CallArgs,
337 ArrayRef<T1> TransitionArgs, ArrayRef<T2> DeoptArgs,
338 ArrayRef<T3> GCArgs) {
339 std::vector<Value *> Args;
340 Args.push_back(B.getInt64(ID));
341 Args.push_back(B.getInt32(NumPatchBytes));
342 Args.push_back(ActualCallee);
343 Args.push_back(B.getInt32(CallArgs.size()));
344 Args.push_back(B.getInt32(Flags));
345 Args.insert(Args.end(), CallArgs.begin(), CallArgs.end());
346 Args.push_back(B.getInt32(TransitionArgs.size()));
347 Args.insert(Args.end(), TransitionArgs.begin(), TransitionArgs.end());
348 Args.push_back(B.getInt32(DeoptArgs.size()));
349 Args.insert(Args.end(), DeoptArgs.begin(), DeoptArgs.end());
350 Args.insert(Args.end(), GCArgs.begin(), GCArgs.end());
355 template <typename T0, typename T1, typename T2, typename T3>
356 static CallInst *CreateGCStatepointCallCommon(
357 IRBuilderBase *Builder, uint64_t ID, uint32_t NumPatchBytes,
358 Value *ActualCallee, uint32_t Flags, ArrayRef<T0> CallArgs,
359 ArrayRef<T1> TransitionArgs, ArrayRef<T2> DeoptArgs, ArrayRef<T3> GCArgs,
361 // Extract out the type of the callee.
362 PointerType *FuncPtrType = cast<PointerType>(ActualCallee->getType());
363 assert(isa<FunctionType>(FuncPtrType->getElementType()) &&
364 "actual callee must be a callable value");
366 Module *M = Builder->GetInsertBlock()->getParent()->getParent();
367 // Fill in the one generic type'd argument (the function is also vararg)
368 Type *ArgTypes[] = { FuncPtrType };
369 Function *FnStatepoint =
370 Intrinsic::getDeclaration(M, Intrinsic::experimental_gc_statepoint,
373 std::vector<llvm::Value *> Args =
374 getStatepointArgs(*Builder, ID, NumPatchBytes, ActualCallee, Flags,
375 CallArgs, TransitionArgs, DeoptArgs, GCArgs);
376 return createCallHelper(FnStatepoint, Args, Builder, Name);
379 CallInst *IRBuilderBase::CreateGCStatepointCall(
380 uint64_t ID, uint32_t NumPatchBytes, Value *ActualCallee,
381 ArrayRef<Value *> CallArgs, ArrayRef<Value *> DeoptArgs,
382 ArrayRef<Value *> GCArgs, const Twine &Name) {
383 return CreateGCStatepointCallCommon<Value *, Value *, Value *, Value *>(
384 this, ID, NumPatchBytes, ActualCallee, uint32_t(StatepointFlags::None),
385 CallArgs, None /* No Transition Args */, DeoptArgs, GCArgs, Name);
388 CallInst *IRBuilderBase::CreateGCStatepointCall(
389 uint64_t ID, uint32_t NumPatchBytes, Value *ActualCallee, uint32_t Flags,
390 ArrayRef<Use> CallArgs, ArrayRef<Use> TransitionArgs,
391 ArrayRef<Use> DeoptArgs, ArrayRef<Value *> GCArgs, const Twine &Name) {
392 return CreateGCStatepointCallCommon<Use, Use, Use, Value *>(
393 this, ID, NumPatchBytes, ActualCallee, Flags, CallArgs, TransitionArgs,
394 DeoptArgs, GCArgs, Name);
397 CallInst *IRBuilderBase::CreateGCStatepointCall(
398 uint64_t ID, uint32_t NumPatchBytes, Value *ActualCallee,
399 ArrayRef<Use> CallArgs, ArrayRef<Value *> DeoptArgs,
400 ArrayRef<Value *> GCArgs, const Twine &Name) {
401 return CreateGCStatepointCallCommon<Use, Value *, Value *, Value *>(
402 this, ID, NumPatchBytes, ActualCallee, uint32_t(StatepointFlags::None),
403 CallArgs, None, DeoptArgs, GCArgs, Name);
406 template <typename T0, typename T1, typename T2, typename T3>
407 static InvokeInst *CreateGCStatepointInvokeCommon(
408 IRBuilderBase *Builder, uint64_t ID, uint32_t NumPatchBytes,
409 Value *ActualInvokee, BasicBlock *NormalDest, BasicBlock *UnwindDest,
410 uint32_t Flags, ArrayRef<T0> InvokeArgs, ArrayRef<T1> TransitionArgs,
411 ArrayRef<T2> DeoptArgs, ArrayRef<T3> GCArgs, const Twine &Name) {
412 // Extract out the type of the callee.
413 PointerType *FuncPtrType = cast<PointerType>(ActualInvokee->getType());
414 assert(isa<FunctionType>(FuncPtrType->getElementType()) &&
415 "actual callee must be a callable value");
417 Module *M = Builder->GetInsertBlock()->getParent()->getParent();
418 // Fill in the one generic type'd argument (the function is also vararg)
419 Function *FnStatepoint = Intrinsic::getDeclaration(
420 M, Intrinsic::experimental_gc_statepoint, {FuncPtrType});
422 std::vector<llvm::Value *> Args =
423 getStatepointArgs(*Builder, ID, NumPatchBytes, ActualInvokee, Flags,
424 InvokeArgs, TransitionArgs, DeoptArgs, GCArgs);
425 return createInvokeHelper(FnStatepoint, NormalDest, UnwindDest, Args, Builder,
429 InvokeInst *IRBuilderBase::CreateGCStatepointInvoke(
430 uint64_t ID, uint32_t NumPatchBytes, Value *ActualInvokee,
431 BasicBlock *NormalDest, BasicBlock *UnwindDest,
432 ArrayRef<Value *> InvokeArgs, ArrayRef<Value *> DeoptArgs,
433 ArrayRef<Value *> GCArgs, const Twine &Name) {
434 return CreateGCStatepointInvokeCommon<Value *, Value *, Value *, Value *>(
435 this, ID, NumPatchBytes, ActualInvokee, NormalDest, UnwindDest,
436 uint32_t(StatepointFlags::None), InvokeArgs, None /* No Transition Args*/,
437 DeoptArgs, GCArgs, Name);
440 InvokeInst *IRBuilderBase::CreateGCStatepointInvoke(
441 uint64_t ID, uint32_t NumPatchBytes, Value *ActualInvokee,
442 BasicBlock *NormalDest, BasicBlock *UnwindDest, uint32_t Flags,
443 ArrayRef<Use> InvokeArgs, ArrayRef<Use> TransitionArgs,
444 ArrayRef<Use> DeoptArgs, ArrayRef<Value *> GCArgs, const Twine &Name) {
445 return CreateGCStatepointInvokeCommon<Use, Use, Use, Value *>(
446 this, ID, NumPatchBytes, ActualInvokee, NormalDest, UnwindDest, Flags,
447 InvokeArgs, TransitionArgs, DeoptArgs, GCArgs, Name);
450 InvokeInst *IRBuilderBase::CreateGCStatepointInvoke(
451 uint64_t ID, uint32_t NumPatchBytes, Value *ActualInvokee,
452 BasicBlock *NormalDest, BasicBlock *UnwindDest, ArrayRef<Use> InvokeArgs,
453 ArrayRef<Value *> DeoptArgs, ArrayRef<Value *> GCArgs, const Twine &Name) {
454 return CreateGCStatepointInvokeCommon<Use, Value *, Value *, Value *>(
455 this, ID, NumPatchBytes, ActualInvokee, NormalDest, UnwindDest,
456 uint32_t(StatepointFlags::None), InvokeArgs, None, DeoptArgs, GCArgs,
460 CallInst *IRBuilderBase::CreateGCResult(Instruction *Statepoint,
463 Intrinsic::ID ID = Intrinsic::experimental_gc_result;
464 Module *M = BB->getParent()->getParent();
465 Type *Types[] = {ResultType};
466 Value *FnGCResult = Intrinsic::getDeclaration(M, ID, Types);
468 Value *Args[] = {Statepoint};
469 return createCallHelper(FnGCResult, Args, this, Name);
472 CallInst *IRBuilderBase::CreateGCRelocate(Instruction *Statepoint,
477 Module *M = BB->getParent()->getParent();
478 Type *Types[] = {ResultType};
479 Value *FnGCRelocate =
480 Intrinsic::getDeclaration(M, Intrinsic::experimental_gc_relocate, Types);
482 Value *Args[] = {Statepoint,
483 getInt32(BaseOffset),
484 getInt32(DerivedOffset)};
485 return createCallHelper(FnGCRelocate, Args, this, Name);
488 CallInst *IRBuilderBase::CreateBinaryIntrinsic(Intrinsic::ID ID,
489 Value *LHS, Value *RHS,
491 Module *M = BB->getParent()->getParent();
492 Function *Fn = Intrinsic::getDeclaration(M, ID, { LHS->getType() });
493 return createCallHelper(Fn, { LHS, RHS }, this, Name);