LLVM 23.0.0git
NVPTXLowerArgs.cpp
Go to the documentation of this file.
1//===-- NVPTXLowerArgs.cpp - Lower arguments ------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9//
10// Arguments to kernel and device functions are passed via param space,
11// which imposes certain restrictions:
12// http://docs.nvidia.com/cuda/parallel-thread-execution/#state-spaces
13//
14// Kernel parameters are read-only and accessible only via ld.param
15// instruction, directly or via a pointer.
16//
17// Device function parameters are directly accessible via
18// ld.param/st.param, but taking the address of one returns a pointer
19// to a copy created in local space which *can't* be used with
20// ld.param/st.param.
21//
22// Copying a byval struct into local memory in IR allows us to enforce
23// the param space restrictions, gives the rest of IR a pointer w/o
24// param space restrictions, and gives us an opportunity to eliminate
25// the copy.
26//
27// Pointer arguments to kernel functions need more work to be lowered:
28//
29// 1. Convert non-byval pointer arguments of CUDA kernels to pointers in the
30// global address space. This allows later optimizations to emit
31// ld.global.*/st.global.* for accessing these pointer arguments. For
32// example,
33//
34// define void @foo(float* %input) {
35// %v = load float, float* %input, align 4
36// ...
37// }
38//
39// becomes
40//
41// define void @foo(float* %input) {
42// %input2 = addrspacecast float* %input to float addrspace(1)*
43// %input3 = addrspacecast float addrspace(1)* %input2 to float*
44// %v = load float, float* %input3, align 4
45// ...
46// }
47//
48// Later, NVPTXInferAddressSpaces will optimize it to
49//
50// define void @foo(float* %input) {
51// %input2 = addrspacecast float* %input to float addrspace(1)*
52// %v = load float, float addrspace(1)* %input2, align 4
53// ...
54// }
55//
56// 2. Convert byval kernel parameters to pointers in the param address space
57// (so that NVPTX emits ld/st.param). Convert pointers *within* a byval
58// kernel parameter to pointers in the global address space. This allows
59// NVPTX to emit ld/st.global.
60//
61// struct S {
62// int *x;
63// int *y;
64// };
65// __global__ void foo(S s) {
66// int *b = s.y;
67// // use b
68// }
69//
70// "b" points to the global address space. In the IR level,
71//
72// define void @foo(ptr byval %input) {
73// %b_ptr = getelementptr {ptr, ptr}, ptr %input, i64 0, i32 1
74// %b = load ptr, ptr %b_ptr
75// ; use %b
76// }
77//
78// becomes
79//
80// define void @foo({i32*, i32*}* byval %input) {
81// %b_param = addrspacecat ptr %input to ptr addrspace(101)
82// %b_ptr = getelementptr {ptr, ptr}, ptr addrspace(101) %b_param, i64 0, i32 1
83// %b = load ptr, ptr addrspace(101) %b_ptr
84// %b_global = addrspacecast ptr %b to ptr addrspace(1)
85// ; use %b_generic
86// }
87//
88// Create a local copy of kernel byval parameters used in a way that *might* mutate
89// the parameter, by storing it in an alloca. Mutations to "grid_constant" parameters
90// are undefined behaviour, and don't require local copies.
91//
92// define void @foo(ptr byval(%struct.s) align 4 %input) {
93// store i32 42, ptr %input
94// ret void
95// }
96//
97// becomes
98//
99// define void @foo(ptr byval(%struct.s) align 4 %input) #1 {
100// %input1 = alloca %struct.s, align 4
101// %input2 = addrspacecast ptr %input to ptr addrspace(101)
102// %input3 = load %struct.s, ptr addrspace(101) %input2, align 4
103// store %struct.s %input3, ptr %input1, align 4
104// store i32 42, ptr %input1, align 4
105// ret void
106// }
107//
108// If %input were passed to a device function, or written to memory,
109// conservatively assume that %input gets mutated, and create a local copy.
110//
111// Convert param pointers to grid_constant byval kernel parameters that are
112// passed into calls (device functions, intrinsics, inline asm), or otherwise
113// "escape" (into stores/ptrtoints) to the generic address space, using the
114// `nvvm.ptr.param.to.gen` intrinsic, so that NVPTX emits cvta.param
115// (available for sm70+)
116//
117// define void @foo(ptr byval(%struct.s) %input) {
118// ; %input is a grid_constant
119// %call = call i32 @escape(ptr %input)
120// ret void
121// }
122//
123// becomes
124//
125// define void @foo(ptr byval(%struct.s) %input) {
126// %input1 = addrspacecast ptr %input to ptr addrspace(101)
127// ; the following intrinsic converts pointer to generic. We don't use an addrspacecast
128// ; to prevent generic -> param -> generic from getting cancelled out
129// %input1.gen = call ptr @llvm.nvvm.ptr.param.to.gen.p0.p101(ptr addrspace(101) %input1)
130// %call = call i32 @escape(ptr %input1.gen)
131// ret void
132// }
133//
134// TODO: merge this pass with NVPTXInferAddressSpaces so that other passes don't
135// cancel the addrspacecast pair this pass emits.
136//===----------------------------------------------------------------------===//
137
138#include "NVPTX.h"
139#include "NVPTXTargetMachine.h"
140#include "NVPTXUtilities.h"
141#include "NVVMProperties.h"
142#include "llvm/ADT/STLExtras.h"
146#include "llvm/IR/Attributes.h"
147#include "llvm/IR/Function.h"
148#include "llvm/IR/IRBuilder.h"
149#include "llvm/IR/Instructions.h"
151#include "llvm/IR/IntrinsicsNVPTX.h"
152#include "llvm/IR/Type.h"
154#include "llvm/Pass.h"
155#include "llvm/Support/Debug.h"
159#include <queue>
160
161#define DEBUG_TYPE "nvptx-lower-args"
162
163using namespace llvm;
164using namespace NVPTXAS;
165
166namespace {
167class NVPTXLowerArgsLegacyPass : public FunctionPass {
168 bool runOnFunction(Function &F) override;
169
170public:
171 static char ID; // Pass identification, replacement for typeid
172 NVPTXLowerArgsLegacyPass() : FunctionPass(ID) {}
173 StringRef getPassName() const override {
174 return "Lower pointer arguments of CUDA kernels";
175 }
176 void getAnalysisUsage(AnalysisUsage &AU) const override {
178 }
179};
180} // namespace
181
182char NVPTXLowerArgsLegacyPass::ID = 1;
183
184INITIALIZE_PASS_BEGIN(NVPTXLowerArgsLegacyPass, "nvptx-lower-args",
185 "Lower arguments (NVPTX)", false, false)
187INITIALIZE_PASS_END(NVPTXLowerArgsLegacyPass, "nvptx-lower-args",
188 "Lower arguments (NVPTX)", false, false)
189
190// =============================================================================
191// If the function had a byval struct ptr arg, say foo(ptr byval(%struct.x) %d),
192// and we can't guarantee that the only accesses are loads,
193// then add the following instructions to the first basic block:
194//
195// %temp = alloca %struct.x, align 8
196// %tempd = addrspacecast ptr %d to ptr addrspace(101)
197// %tv = load %struct.x, ptr addrspace(101) %tempd
198// store %struct.x %tv, ptr %temp, align 8
199//
200// The above code allocates some space in the stack and copies the incoming
201// struct from param space to local space.
202// Then replace all occurrences of %d by %temp.
203//
204// In case we know that all users are GEPs or Loads, replace them with the same
205// ones in parameter AS, so we can access them using ld.param.
206// =============================================================================
207
208/// Recursively convert the users of a param to the param address space.
209static void convertToParamAS(ArrayRef<Use *> OldUses, Value *Param) {
210 struct IP {
211 Use *OldUse;
212 Value *NewParam;
213 };
214
215 const auto CloneInstInParamAS = [](const IP &I) -> Value * {
216 auto *OldInst = cast<Instruction>(I.OldUse->getUser());
217 if (auto *LI = dyn_cast<LoadInst>(OldInst)) {
218 LI->setOperand(0, I.NewParam);
219 return LI;
220 }
221 if (auto *GEP = dyn_cast<GetElementPtrInst>(OldInst)) {
222 SmallVector<Value *, 4> Indices(GEP->indices());
223 auto *NewGEP = GetElementPtrInst::Create(
224 GEP->getSourceElementType(), I.NewParam, Indices, GEP->getName(),
225 GEP->getIterator());
226 NewGEP->setNoWrapFlags(GEP->getNoWrapFlags());
227 return NewGEP;
228 }
229 if (auto *BC = dyn_cast<BitCastInst>(OldInst)) {
230 auto *NewBCType =
232 return BitCastInst::Create(BC->getOpcode(), I.NewParam, NewBCType,
233 BC->getName(), BC->getIterator());
234 }
235 if (auto *ASC = dyn_cast<AddrSpaceCastInst>(OldInst)) {
236 assert(ASC->getDestAddressSpace() == ADDRESS_SPACE_ENTRY_PARAM);
237 (void)ASC;
238 // Just pass through the argument, the old ASC is no longer needed.
239 return I.NewParam;
240 }
241 if (auto *MI = dyn_cast<MemTransferInst>(OldInst)) {
242 if (MI->getRawSource() == I.OldUse->get()) {
243 // convert to memcpy/memmove from param space.
244 IRBuilder<> Builder(OldInst);
245 Intrinsic::ID ID = MI->getIntrinsicID();
246
247 CallInst *B = Builder.CreateMemTransferInst(
248 ID, MI->getRawDest(), MI->getDestAlign(), I.NewParam,
249 MI->getSourceAlign(), MI->getLength(), MI->isVolatile());
250 for (unsigned I : {0, 1})
251 if (uint64_t Bytes = MI->getParamDereferenceableBytes(I))
252 B->addDereferenceableParamAttr(I, Bytes);
253 return B;
254 }
255 }
256
257 llvm_unreachable("Unsupported instruction");
258 };
259
260 auto ItemsToConvert =
261 map_to_vector(OldUses, [=](Use *U) -> IP { return {U, Param}; });
262 SmallVector<Instruction *> InstructionsToDelete;
263
264 while (!ItemsToConvert.empty()) {
265 IP I = ItemsToConvert.pop_back_val();
266 Value *NewInst = CloneInstInParamAS(I);
267 Instruction *OldInst = cast<Instruction>(I.OldUse->getUser());
268
269 if (NewInst && NewInst != OldInst) {
270 // We've created a new instruction. Queue users of the old instruction to
271 // be converted and the instruction itself to be deleted. We can't delete
272 // the old instruction yet, because it's still in use by a load somewhere.
273 for (Use &U : OldInst->uses())
274 ItemsToConvert.push_back({&U, NewInst});
275
276 InstructionsToDelete.push_back(OldInst);
277 }
278 }
279
280 // Now we know that all argument loads are using addresses in parameter space
281 // and we can finally remove the old instructions in generic AS. Instructions
282 // scheduled for removal should be processed in reverse order so the ones
283 // closest to the load are deleted first. Otherwise they may still be in use.
284 // E.g if we have Value = Load(BitCast(GEP(arg))), InstructionsToDelete will
285 // have {GEP,BitCast}. GEP can't be deleted first, because it's still used by
286 // the BitCast.
287 for (Instruction *I : llvm::reverse(InstructionsToDelete))
288 I->eraseFromParent();
289}
290
292 Function *F = Arg->getParent();
293 Type *ByValType = Arg->getParamByValType();
294 const DataLayout &DL = F->getDataLayout();
295
296 const Align OptimizedAlign = getFunctionParamOptimizedAlign(F, ByValType, DL);
297 const Align CurrentAlign = Arg->getParamAlign().valueOrOne();
298
299 if (CurrentAlign >= OptimizedAlign)
300 return CurrentAlign;
301
302 LLVM_DEBUG(dbgs() << "Try to use alignment " << OptimizedAlign.value()
303 << " instead of " << CurrentAlign.value() << " for " << *Arg
304 << '\n');
305
306 Arg->removeAttr(Attribute::Alignment);
307 Arg->addAttr(Attribute::getWithAlignment(F->getContext(), OptimizedAlign));
308
309 return OptimizedAlign;
310}
311
312// Adjust alignment of arguments passed byval in .param address space. We can
313// increase alignment of such arguments in a way that ensures that we can
314// effectively vectorize their loads. We should also traverse all loads from
315// byval pointer and adjust their alignment, if those were using known offset.
316// Such alignment changes must be conformed with parameter store and load in
317// NVPTXTargetLowering::LowerCall.
318static void propagateAlignmentToLoads(Value *Val, Align NewAlign,
319 const DataLayout &DL) {
320 struct Load {
321 LoadInst *Inst;
323 };
324
325 struct LoadContext {
326 Value *InitialVal;
328 };
329
330 SmallVector<Load> Loads;
331 std::queue<LoadContext> Worklist;
332 Worklist.push({Val, 0});
333
334 while (!Worklist.empty()) {
335 LoadContext Ctx = Worklist.front();
336 Worklist.pop();
337
338 for (User *CurUser : Ctx.InitialVal->users()) {
339 if (auto *I = dyn_cast<LoadInst>(CurUser))
340 Loads.push_back({I, Ctx.Offset});
341 else if (isa<BitCastInst>(CurUser) || isa<AddrSpaceCastInst>(CurUser))
342 Worklist.push({cast<Instruction>(CurUser), Ctx.Offset});
343 else if (auto *I = dyn_cast<GetElementPtrInst>(CurUser)) {
344 APInt OffsetAccumulated =
345 APInt::getZero(DL.getIndexSizeInBits(ADDRESS_SPACE_ENTRY_PARAM));
346
347 if (!I->accumulateConstantOffset(DL, OffsetAccumulated))
348 continue;
349
350 uint64_t OffsetLimit = -1;
351 uint64_t Offset = OffsetAccumulated.getLimitedValue(OffsetLimit);
352 assert(Offset != OffsetLimit && "Expect Offset less than UINT64_MAX");
353
354 Worklist.push({I, Ctx.Offset + Offset});
355 }
356 }
357 }
358
359 for (Load &CurLoad : Loads) {
360 Align NewLoadAlign = commonAlignment(NewAlign, CurLoad.Offset);
361 Align CurLoadAlign = CurLoad.Inst->getAlign();
362 CurLoad.Inst->setAlignment(std::max(NewLoadAlign, CurLoadAlign));
363 }
364}
365
366// Create a call to the nvvm_internal_addrspace_wrap intrinsic and set the
367// alignment of the return value based on the alignment of the argument.
369 Argument &Arg) {
370 CallInst *ArgInParam = IRB.CreateIntrinsic(
371 Intrinsic::nvvm_internal_addrspace_wrap,
372 {IRB.getPtrTy(ADDRESS_SPACE_ENTRY_PARAM), Arg.getType()}, &Arg, {},
373 Arg.getName() + ".param");
374
375 if (MaybeAlign ParamAlign = Arg.getParamAlign())
376 ArgInParam->addRetAttr(
377 Attribute::getWithAlignment(ArgInParam->getContext(), *ParamAlign));
378
380 Arg.addAttr(Attribute::ReadOnly);
381
382 return ArgInParam;
383}
384
385namespace {
386struct ArgUseChecker : PtrUseVisitor<ArgUseChecker> {
387 using Base = PtrUseVisitor<ArgUseChecker>;
388 // Set of phi/select instructions using the Arg
389 SmallPtrSet<Instruction *, 4> Conditionals;
390
391 ArgUseChecker(const DataLayout &DL) : PtrUseVisitor(DL) {}
392
393 PtrInfo visitArgPtr(Argument &A) {
394 assert(A.getType()->isPointerTy());
395 IntegerType *IntIdxTy = cast<IntegerType>(DL.getIndexType(A.getType()));
396 IsOffsetKnown = false;
397 Offset = APInt(IntIdxTy->getBitWidth(), 0);
398 PI.reset();
399
400 LLVM_DEBUG(dbgs() << "Checking Argument " << A << "\n");
401 // Enqueue the uses of this pointer.
402 enqueueUsers(A);
403
404 // Visit all the uses off the worklist until it is empty.
405 // Note that unlike PtrUseVisitor we intentionally do not track offsets.
406 // We're only interested in how we use the pointer.
407 while (!(Worklist.empty() || PI.isAborted())) {
408 UseToVisit ToVisit = Worklist.pop_back_val();
409 U = ToVisit.UseAndIsOffsetKnown.getPointer();
410 Instruction *I = cast<Instruction>(U->getUser());
411 LLVM_DEBUG(dbgs() << "Processing " << *I << "\n");
412 Base::visit(I);
413 }
414 if (PI.isEscaped())
415 LLVM_DEBUG(dbgs() << "Argument pointer escaped: " << *PI.getEscapingInst()
416 << "\n");
417 else if (PI.isAborted())
418 LLVM_DEBUG(dbgs() << "Pointer use needs a copy: " << *PI.getAbortingInst()
419 << "\n");
420 LLVM_DEBUG(dbgs() << "Traversed " << Conditionals.size()
421 << " conditionals\n");
422 return PI;
423 }
424
425 void visitStoreInst(StoreInst &SI) {
426 // Storing the pointer escapes it.
427 if (U->get() == SI.getValueOperand())
428 return PI.setEscapedAndAborted(&SI);
429
430 PI.setAborted(&SI);
431 }
432
433 void visitAddrSpaceCastInst(AddrSpaceCastInst &ASC) {
434 // ASC to param space are no-ops and do not need a copy
436 return PI.setEscapedAndAborted(&ASC);
438 }
439
440 void visitPtrToIntInst(PtrToIntInst &I) { Base::visitPtrToIntInst(I); }
441
442 void visitPHINodeOrSelectInst(Instruction &I) {
444 enqueueUsers(I);
445 Conditionals.insert(&I);
446 }
447 // PHI and select just pass through the pointers.
448 void visitPHINode(PHINode &PN) { visitPHINodeOrSelectInst(PN); }
449 void visitSelectInst(SelectInst &SI) { visitPHINodeOrSelectInst(SI); }
450
451 // memcpy/memmove are OK when the pointer is source. We can convert them to
452 // AS-specific memcpy.
453 void visitMemTransferInst(MemTransferInst &II) {
454 if (*U == II.getRawDest())
455 PI.setAborted(&II);
456 }
457
458 void visitMemSetInst(MemSetInst &II) { PI.setAborted(&II); }
459}; // struct ArgUseChecker
460
461void copyByValParam(Function &F, Argument &Arg) {
462 LLVM_DEBUG(dbgs() << "Creating a local copy of " << Arg << "\n");
463 Type *ByValType = Arg.getParamByValType();
464 const DataLayout &DL = F.getDataLayout();
465 IRBuilder<> IRB(&F.getEntryBlock().front());
466 AllocaInst *AllocA = IRB.CreateAlloca(ByValType, nullptr, Arg.getName());
467 // Set the alignment to alignment of the byval parameter. This is because,
468 // later load/stores assume that alignment, and we are going to replace
469 // the use of the byval parameter with this alloca instruction.
470 AllocA->setAlignment(
471 Arg.getParamAlign().value_or(DL.getPrefTypeAlign(ByValType)));
472 Arg.replaceAllUsesWith(AllocA);
473
474 Value *ArgInParamAS = createNVVMInternalAddrspaceWrap(IRB, Arg);
475
476 // Be sure to propagate alignment to this load; LLVM doesn't know that NVPTX
477 // addrspacecast preserves alignment. Since params are constant, this load
478 // is definitely not volatile.
479 const auto ArgSize = *AllocA->getAllocationSize(DL);
480 IRB.CreateMemCpy(AllocA, AllocA->getAlign(), ArgInParamAS, AllocA->getAlign(),
481 ArgSize);
482}
483} // namespace
484
485static bool argIsProcessed(Argument *Arg) {
486 if (Arg->use_empty())
487 return true;
488
489 // If the argument is already wrapped, it was processed by this pass before.
490 if (Arg->hasOneUse())
491 if (const auto *II = dyn_cast<IntrinsicInst>(*Arg->user_begin()))
492 if (II->getIntrinsicID() == Intrinsic::nvvm_internal_addrspace_wrap)
493 return true;
494
495 return false;
496}
497
499 const bool HasCvtaParam) {
501
502 const DataLayout &DL = F.getDataLayout();
503 IRBuilder<> IRB(&F.getEntryBlock().front());
504
505 if (argIsProcessed(Arg))
506 return;
507
508 const Align NewArgAlign = setByValParamAlign(Arg);
509
510 // (1) First check the easy case, if were able to trace through all the uses
511 // and we can convert them all to param AS, then we'll do this.
512 ArgUseChecker AUC(DL);
513 ArgUseChecker::PtrInfo PI = AUC.visitArgPtr(*Arg);
514 const bool ArgUseIsReadOnly = !(PI.isEscaped() || PI.isAborted());
515 if (ArgUseIsReadOnly && AUC.Conditionals.empty()) {
516 // Convert all loads and intermediate operations to use parameter AS and
517 // skip creation of a local copy of the argument.
519 Value *ArgInParamAS = createNVVMInternalAddrspaceWrap(IRB, *Arg);
520 for (Use *U : UsesToUpdate)
521 convertToParamAS(U, ArgInParamAS);
522
523 propagateAlignmentToLoads(ArgInParamAS, NewArgAlign, DL);
524 return;
525 }
526
527 // (2) If the argument is grid constant, we get to use the pointer directly.
528 if (HasCvtaParam && (ArgUseIsReadOnly || isParamGridConstant(*Arg))) {
529 LLVM_DEBUG(dbgs() << "Using non-copy pointer to " << *Arg << "\n");
530
531 // Cast argument to param address space. Because the backend will emit the
532 // argument already in the param address space, we need to use the noop
533 // intrinsic, this had the added benefit of preventing other optimizations
534 // from folding away this pair of addrspacecasts.
535 Instruction *ArgInParamAS = createNVVMInternalAddrspaceWrap(IRB, *Arg);
536
537 // Cast param address to generic address space.
538 Value *GenericArg = IRB.CreateAddrSpaceCast(
539 ArgInParamAS, IRB.getPtrTy(ADDRESS_SPACE_GENERIC),
540 Arg->getName() + ".gen");
541
542 Arg->replaceAllUsesWith(GenericArg);
543
544 // Do not replace Arg in the cast to param space
545 ArgInParamAS->setOperand(0, Arg);
546 return;
547 }
548
549 // (3) Otherwise we have to create a copy of the argument in local memory.
550 copyByValParam(F, *Arg);
551}
552
553// =============================================================================
554// Main function for this pass.
555// =============================================================================
557 const NVPTXSubtarget *ST = TM.getSubtargetImpl(F);
558 const bool HasCvtaParam = ST->hasCvtaParam();
559
560 LLVM_DEBUG(dbgs() << "Lowering kernel args of " << F.getName() << "\n");
561 bool Changed = false;
562 for (Argument &Arg : F.args())
563 if (Arg.hasByValAttr()) {
564 lowerKernelByValParam(&Arg, F, HasCvtaParam);
565 Changed = true;
566 }
567
568 return Changed;
569}
570
571// Device functions only need to copy byval args into local memory.
573 LLVM_DEBUG(dbgs() << "Lowering function args of " << F.getName() << "\n");
574
575 const DataLayout &DL = F.getDataLayout();
576
577 bool Changed = false;
578 for (Argument &Arg : F.args())
579 if (Arg.hasByValAttr()) {
580 const Align NewArgAlign = setByValParamAlign(&Arg);
581 propagateAlignmentToLoads(&Arg, NewArgAlign, DL);
582 Changed = true;
583 }
584
585 return Changed;
586}
587
592
593bool NVPTXLowerArgsLegacyPass::runOnFunction(Function &F) {
594 auto &TM = getAnalysis<TargetPassConfig>().getTM<NVPTXTargetMachine>();
595 return processFunction(F, TM);
596}
597
599 return new NVPTXLowerArgsLegacyPass();
600}
601
603 LLVM_DEBUG(dbgs() << "Creating a copy of byval args of " << F.getName()
604 << "\n");
605 bool Changed = false;
606 if (isKernelFunction(F)) {
607 for (Argument &Arg : F.args())
608 if (Arg.hasByValAttr() && !isParamGridConstant(Arg)) {
609 copyByValParam(F, Arg);
610 Changed = true;
611 }
612 }
613 return Changed;
614}
615
621
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
This file contains the simple types necessary to represent the attributes associated with functions a...
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static bool runOnFunction(Function &F, bool PostInlining)
Hexagon Common GEP
IRTranslator LLVM IR MI
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
NVPTX address space definition.
static bool runOnDeviceFunction(Function &F)
nvptx lower Lower static false void convertToParamAS(ArrayRef< Use * > OldUses, Value *Param)
Recursively convert the users of a param to the param address space.
static CallInst * createNVVMInternalAddrspaceWrap(IRBuilder<> &IRB, Argument &Arg)
static void lowerKernelByValParam(Argument *Arg, Function &F, const bool HasCvtaParam)
static bool copyFunctionByValArgs(Function &F)
static bool argIsProcessed(Argument *Arg)
static bool processFunction(Function &F, NVPTXTargetMachine &TM)
static Align setByValParamAlign(Argument *Arg)
static bool runOnKernelFunction(const NVPTXTargetMachine &TM, Function &F)
static void propagateAlignmentToLoads(Value *Val, Align NewAlign, const DataLayout &DL)
uint64_t IntrinsicInst * II
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition PassSupport.h:42
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition PassSupport.h:44
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
Definition PassSupport.h:39
This file provides a collection of visitors which walk the (instruction) uses of a pointer.
This file contains some templates that are useful if you are working with the STL at all.
This file defines less commonly used SmallVector utilities.
#define LLVM_DEBUG(...)
Definition Debug.h:114
Target-Independent Code Generator Pass Configuration Options pass.
Class for arbitrary precision integers.
Definition APInt.h:78
uint64_t getLimitedValue(uint64_t Limit=UINT64_MAX) const
If this value is smaller than the specified limit, return it, otherwise return the limit value.
Definition APInt.h:476
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
Definition APInt.h:201
unsigned getDestAddressSpace() const
Returns the address space of the result.
an instruction to allocate memory on the stack
Align getAlign() const
Return the alignment of the memory that is being allocated by the instruction.
LLVM_ABI std::optional< TypeSize > getAllocationSize(const DataLayout &DL) const
Get allocation size in bytes.
void setAlignment(Align Align)
Represent the analysis usage information of a pass.
AnalysisUsage & addRequired()
This class represents an incoming formal argument to a Function.
Definition Argument.h:32
LLVM_ABI void addAttr(Attribute::AttrKind Kind)
Definition Function.cpp:320
LLVM_ABI bool hasByValAttr() const
Return true if this argument has the byval attribute.
Definition Function.cpp:128
LLVM_ABI void removeAttr(Attribute::AttrKind Kind)
Remove attributes from an argument.
Definition Function.cpp:328
const Function * getParent() const
Definition Argument.h:44
LLVM_ABI Type * getParamByValType() const
If this is a byval argument, return its type.
Definition Function.cpp:224
LLVM_ABI MaybeAlign getParamAlign() const
If this is a byval or inalloca argument, return its alignment.
Definition Function.cpp:215
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
static LLVM_ABI Attribute get(LLVMContext &Context, AttrKind Kind, uint64_t Val=0)
Return a uniquified Attribute object.
static LLVM_ABI Attribute getWithAlignment(LLVMContext &Context, Align Alignment)
Return a uniquified Attribute object that has the specific alignment set.
void addRetAttr(Attribute::AttrKind Kind)
Adds the attribute to the return value.
This class represents a function call, abstracting a target machine's calling convention.
static LLVM_ABI CastInst * Create(Instruction::CastOps, Value *S, Type *Ty, const Twine &Name="", InsertPosition InsertBefore=nullptr)
Provides a way to construct any of the CastInst subclasses using an opcode instead of the subclass's ...
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
FunctionPass class - This class is used to implement most global optimizations.
Definition Pass.h:314
static GetElementPtrInst * Create(Type *PointeeType, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
LLVM_ABI CallInst * CreateIntrinsic(Intrinsic::ID ID, ArrayRef< Type * > Types, ArrayRef< Value * > Args, FMFSource FMFSource={}, const Twine &Name="")
Create a call to intrinsic ID with Args, mangled using Types.
PointerType * getPtrTy(unsigned AddrSpace=0)
Fetch the type representing a pointer.
Definition IRBuilder.h:622
Value * CreateAddrSpaceCast(Value *V, Type *DestTy, const Twine &Name="")
Definition IRBuilder.h:2204
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
Definition IRBuilder.h:2811
void visit(Iterator Start, Iterator End)
Definition InstVisitor.h:87
unsigned getBitWidth() const
Get the number of bits in this IntegerType.
An instruction for reading from memory.
const NVPTXSubtarget * getSubtargetImpl(const Function &) const override
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
static LLVM_ABI PointerType * get(Type *ElementType, unsigned AddressSpace)
This constructs a pointer to an object of the specified type in a numbered address space.
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
Definition Analysis.h:115
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
A base class for visitors over the uses of a pointer value.
void visitAddrSpaceCastInst(AddrSpaceCastInst &ASC)
void visitPtrToIntInst(PtrToIntInst &I)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
Target-Independent Code Generator Pass Configuration Options.
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
void setOperand(unsigned i, Value *Val)
Definition User.h:212
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:256
user_iterator user_begin()
Definition Value.h:403
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition Value.h:440
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
Definition Value.cpp:553
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:259
iterator_range< user_iterator > users()
Definition Value.h:427
bool use_empty() const
Definition Value.h:347
iterator_range< use_iterator > uses()
Definition Value.h:381
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:322
Changed
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
constexpr StringLiteral GridConstant("nvvm.grid_constant")
friend class Instruction
Iterator for Instructions in a `BasicBlock.
Definition BasicBlock.h:73
This is an optimization pass for GlobalISel generic memory operations.
Definition Types.h:26
@ Offset
Definition DWP.cpp:532
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
auto map_to_vector(ContainerTy &&C, FuncTy &&F)
Map a range to a SmallVector with element types deduced from the mapping.
FunctionPass * createNVPTXLowerArgsPass()
auto reverse(ContainerTy &&C)
Definition STLExtras.h:408
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:207
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
bool isParamGridConstant(const Argument &Arg)
bool isKernelFunction(const Function &F)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
iterator_range< pointer_iterator< WrappedIteratorT > > make_pointer_range(RangeT &&Range)
Definition iterator.h:368
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
Definition Alignment.h:201
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
Align getFunctionParamOptimizedAlign(const Function *F, Type *ArgTy, const DataLayout &DL)
Since function arguments are passed via .param space, we may want to increase their alignment in a wa...
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
constexpr uint64_t value() const
This is a hole in the type system and should not be abused.
Definition Alignment.h:77
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:106
Align valueOrOne() const
For convenience, returns a valid alignment or 1 if undefined.
Definition Alignment.h:130
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)