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 "llvm/ADT/STLExtras.h"
145#include "llvm/IR/Attributes.h"
146#include "llvm/IR/Function.h"
147#include "llvm/IR/IRBuilder.h"
148#include "llvm/IR/Instructions.h"
150#include "llvm/IR/IntrinsicsNVPTX.h"
151#include "llvm/IR/Type.h"
153#include "llvm/Pass.h"
154#include "llvm/Support/Debug.h"
157#include <queue>
158
159#define DEBUG_TYPE "nvptx-lower-args"
160
161using namespace llvm;
162using namespace NVPTXAS;
163
164namespace {
165class NVPTXLowerArgsLegacyPass : public FunctionPass {
166 bool runOnFunction(Function &F) override;
167
168public:
169 static char ID; // Pass identification, replacement for typeid
170 NVPTXLowerArgsLegacyPass() : FunctionPass(ID) {}
171 StringRef getPassName() const override {
172 return "Lower pointer arguments of CUDA kernels";
173 }
174 void getAnalysisUsage(AnalysisUsage &AU) const override {
176 }
177};
178} // namespace
179
180char NVPTXLowerArgsLegacyPass::ID = 1;
181
182INITIALIZE_PASS_BEGIN(NVPTXLowerArgsLegacyPass, "nvptx-lower-args",
183 "Lower arguments (NVPTX)", false, false)
185INITIALIZE_PASS_END(NVPTXLowerArgsLegacyPass, "nvptx-lower-args",
186 "Lower arguments (NVPTX)", false, false)
187
188// =============================================================================
189// If the function had a byval struct ptr arg, say foo(ptr byval(%struct.x) %d),
190// and we can't guarantee that the only accesses are loads,
191// then add the following instructions to the first basic block:
192//
193// %temp = alloca %struct.x, align 8
194// %tempd = addrspacecast ptr %d to ptr addrspace(101)
195// %tv = load %struct.x, ptr addrspace(101) %tempd
196// store %struct.x %tv, ptr %temp, align 8
197//
198// The above code allocates some space in the stack and copies the incoming
199// struct from param space to local space.
200// Then replace all occurrences of %d by %temp.
201//
202// In case we know that all users are GEPs or Loads, replace them with the same
203// ones in parameter AS, so we can access them using ld.param.
204// =============================================================================
205
206/// Recursively convert the users of a param to the param address space.
207static void convertToParamAS(ArrayRef<Use *> OldUses, Value *Param) {
208 struct IP {
209 Use *OldUse;
210 Value *NewParam;
211 };
212
213 const auto CloneInstInParamAS = [](const IP &I) -> Value * {
214 auto *OldInst = cast<Instruction>(I.OldUse->getUser());
215 if (auto *LI = dyn_cast<LoadInst>(OldInst)) {
216 LI->setOperand(0, I.NewParam);
217 return LI;
218 }
219 if (auto *GEP = dyn_cast<GetElementPtrInst>(OldInst)) {
220 SmallVector<Value *, 4> Indices(GEP->indices());
221 auto *NewGEP = GetElementPtrInst::Create(
222 GEP->getSourceElementType(), I.NewParam, Indices, GEP->getName(),
223 GEP->getIterator());
224 NewGEP->setNoWrapFlags(GEP->getNoWrapFlags());
225 return NewGEP;
226 }
227 if (auto *BC = dyn_cast<BitCastInst>(OldInst)) {
228 auto *NewBCType = PointerType::get(BC->getContext(), ADDRESS_SPACE_PARAM);
229 return BitCastInst::Create(BC->getOpcode(), I.NewParam, NewBCType,
230 BC->getName(), BC->getIterator());
231 }
232 if (auto *ASC = dyn_cast<AddrSpaceCastInst>(OldInst)) {
233 assert(ASC->getDestAddressSpace() == ADDRESS_SPACE_PARAM);
234 (void)ASC;
235 // Just pass through the argument, the old ASC is no longer needed.
236 return I.NewParam;
237 }
238 if (auto *MI = dyn_cast<MemTransferInst>(OldInst)) {
239 if (MI->getRawSource() == I.OldUse->get()) {
240 // convert to memcpy/memmove from param space.
241 IRBuilder<> Builder(OldInst);
242 Intrinsic::ID ID = MI->getIntrinsicID();
243
244 CallInst *B = Builder.CreateMemTransferInst(
245 ID, MI->getRawDest(), MI->getDestAlign(), I.NewParam,
246 MI->getSourceAlign(), MI->getLength(), MI->isVolatile());
247 for (unsigned I : {0, 1})
248 if (uint64_t Bytes = MI->getParamDereferenceableBytes(I))
249 B->addDereferenceableParamAttr(I, Bytes);
250 return B;
251 }
252 }
253
254 llvm_unreachable("Unsupported instruction");
255 };
256
257 auto ItemsToConvert =
258 map_to_vector(OldUses, [=](Use *U) -> IP { return {U, Param}; });
259 SmallVector<Instruction *> InstructionsToDelete;
260
261 while (!ItemsToConvert.empty()) {
262 IP I = ItemsToConvert.pop_back_val();
263 Value *NewInst = CloneInstInParamAS(I);
264 Instruction *OldInst = cast<Instruction>(I.OldUse->getUser());
265
266 if (NewInst && NewInst != OldInst) {
267 // We've created a new instruction. Queue users of the old instruction to
268 // be converted and the instruction itself to be deleted. We can't delete
269 // the old instruction yet, because it's still in use by a load somewhere.
270 for (Use &U : OldInst->uses())
271 ItemsToConvert.push_back({&U, NewInst});
272
273 InstructionsToDelete.push_back(OldInst);
274 }
275 }
276
277 // Now we know that all argument loads are using addresses in parameter space
278 // and we can finally remove the old instructions in generic AS. Instructions
279 // scheduled for removal should be processed in reverse order so the ones
280 // closest to the load are deleted first. Otherwise they may still be in use.
281 // E.g if we have Value = Load(BitCast(GEP(arg))), InstructionsToDelete will
282 // have {GEP,BitCast}. GEP can't be deleted first, because it's still used by
283 // the BitCast.
284 for (Instruction *I : llvm::reverse(InstructionsToDelete))
285 I->eraseFromParent();
286}
287
289 Function *F = Arg->getParent();
290 Type *ByValType = Arg->getParamByValType();
291 const DataLayout &DL = F->getDataLayout();
292
293 const Align OptimizedAlign = getFunctionParamOptimizedAlign(F, ByValType, DL);
294 const Align CurrentAlign = Arg->getParamAlign().valueOrOne();
295
296 if (CurrentAlign >= OptimizedAlign)
297 return CurrentAlign;
298
299 LLVM_DEBUG(dbgs() << "Try to use alignment " << OptimizedAlign.value()
300 << " instead of " << CurrentAlign.value() << " for " << *Arg
301 << '\n');
302
303 Arg->removeAttr(Attribute::Alignment);
304 Arg->addAttr(Attribute::getWithAlignment(F->getContext(), OptimizedAlign));
305
306 return OptimizedAlign;
307}
308
309// Adjust alignment of arguments passed byval in .param address space. We can
310// increase alignment of such arguments in a way that ensures that we can
311// effectively vectorize their loads. We should also traverse all loads from
312// byval pointer and adjust their alignment, if those were using known offset.
313// Such alignment changes must be conformed with parameter store and load in
314// NVPTXTargetLowering::LowerCall.
315static void propagateAlignmentToLoads(Value *Val, Align NewAlign,
316 const DataLayout &DL) {
317 struct Load {
318 LoadInst *Inst;
320 };
321
322 struct LoadContext {
323 Value *InitialVal;
325 };
326
327 SmallVector<Load> Loads;
328 std::queue<LoadContext> Worklist;
329 Worklist.push({Val, 0});
330
331 while (!Worklist.empty()) {
332 LoadContext Ctx = Worklist.front();
333 Worklist.pop();
334
335 for (User *CurUser : Ctx.InitialVal->users()) {
336 if (auto *I = dyn_cast<LoadInst>(CurUser))
337 Loads.push_back({I, Ctx.Offset});
338 else if (isa<BitCastInst>(CurUser) || isa<AddrSpaceCastInst>(CurUser))
339 Worklist.push({cast<Instruction>(CurUser), Ctx.Offset});
340 else if (auto *I = dyn_cast<GetElementPtrInst>(CurUser)) {
341 APInt OffsetAccumulated =
342 APInt::getZero(DL.getIndexSizeInBits(ADDRESS_SPACE_PARAM));
343
344 if (!I->accumulateConstantOffset(DL, OffsetAccumulated))
345 continue;
346
347 uint64_t OffsetLimit = -1;
348 uint64_t Offset = OffsetAccumulated.getLimitedValue(OffsetLimit);
349 assert(Offset != OffsetLimit && "Expect Offset less than UINT64_MAX");
350
351 Worklist.push({I, Ctx.Offset + Offset});
352 }
353 }
354 }
355
356 for (Load &CurLoad : Loads) {
357 Align NewLoadAlign = commonAlignment(NewAlign, CurLoad.Offset);
358 Align CurLoadAlign = CurLoad.Inst->getAlign();
359 CurLoad.Inst->setAlignment(std::max(NewLoadAlign, CurLoadAlign));
360 }
361}
362
363// Create a call to the nvvm_internal_addrspace_wrap intrinsic and set the
364// alignment of the return value based on the alignment of the argument.
366 Argument &Arg) {
367 CallInst *ArgInParam =
368 IRB.CreateIntrinsic(Intrinsic::nvvm_internal_addrspace_wrap,
370 &Arg, {}, Arg.getName() + ".param");
371
372 if (MaybeAlign ParamAlign = Arg.getParamAlign())
373 ArgInParam->addRetAttr(
374 Attribute::getWithAlignment(ArgInParam->getContext(), *ParamAlign));
375
376 Arg.addAttr(Attribute::get(Arg.getContext(), "nvvm.grid_constant"));
377 Arg.addAttr(Attribute::ReadOnly);
378
379 return ArgInParam;
380}
381
382namespace {
383struct ArgUseChecker : PtrUseVisitor<ArgUseChecker> {
384 using Base = PtrUseVisitor<ArgUseChecker>;
385 // Set of phi/select instructions using the Arg
386 SmallPtrSet<Instruction *, 4> Conditionals;
387
388 ArgUseChecker(const DataLayout &DL) : PtrUseVisitor(DL) {}
389
390 PtrInfo visitArgPtr(Argument &A) {
391 assert(A.getType()->isPointerTy());
392 IntegerType *IntIdxTy = cast<IntegerType>(DL.getIndexType(A.getType()));
393 IsOffsetKnown = false;
394 Offset = APInt(IntIdxTy->getBitWidth(), 0);
395 PI.reset();
396
397 LLVM_DEBUG(dbgs() << "Checking Argument " << A << "\n");
398 // Enqueue the uses of this pointer.
399 enqueueUsers(A);
400
401 // Visit all the uses off the worklist until it is empty.
402 // Note that unlike PtrUseVisitor we intentionally do not track offsets.
403 // We're only interested in how we use the pointer.
404 while (!(Worklist.empty() || PI.isAborted())) {
405 UseToVisit ToVisit = Worklist.pop_back_val();
406 U = ToVisit.UseAndIsOffsetKnown.getPointer();
407 Instruction *I = cast<Instruction>(U->getUser());
408 LLVM_DEBUG(dbgs() << "Processing " << *I << "\n");
409 Base::visit(I);
410 }
411 if (PI.isEscaped())
412 LLVM_DEBUG(dbgs() << "Argument pointer escaped: " << *PI.getEscapingInst()
413 << "\n");
414 else if (PI.isAborted())
415 LLVM_DEBUG(dbgs() << "Pointer use needs a copy: " << *PI.getAbortingInst()
416 << "\n");
417 LLVM_DEBUG(dbgs() << "Traversed " << Conditionals.size()
418 << " conditionals\n");
419 return PI;
420 }
421
422 void visitStoreInst(StoreInst &SI) {
423 // Storing the pointer escapes it.
424 if (U->get() == SI.getValueOperand())
425 return PI.setEscapedAndAborted(&SI);
426
427 PI.setAborted(&SI);
428 }
429
430 void visitAddrSpaceCastInst(AddrSpaceCastInst &ASC) {
431 // ASC to param space are no-ops and do not need a copy
433 return PI.setEscapedAndAborted(&ASC);
435 }
436
437 void visitPtrToIntInst(PtrToIntInst &I) { Base::visitPtrToIntInst(I); }
438
439 void visitPHINodeOrSelectInst(Instruction &I) {
441 enqueueUsers(I);
442 Conditionals.insert(&I);
443 }
444 // PHI and select just pass through the pointers.
445 void visitPHINode(PHINode &PN) { visitPHINodeOrSelectInst(PN); }
446 void visitSelectInst(SelectInst &SI) { visitPHINodeOrSelectInst(SI); }
447
448 // memcpy/memmove are OK when the pointer is source. We can convert them to
449 // AS-specific memcpy.
450 void visitMemTransferInst(MemTransferInst &II) {
451 if (*U == II.getRawDest())
452 PI.setAborted(&II);
453 }
454
455 void visitMemSetInst(MemSetInst &II) { PI.setAborted(&II); }
456}; // struct ArgUseChecker
457
458void copyByValParam(Function &F, Argument &Arg) {
459 LLVM_DEBUG(dbgs() << "Creating a local copy of " << Arg << "\n");
460 Type *ByValType = Arg.getParamByValType();
461 const DataLayout &DL = F.getDataLayout();
462 IRBuilder<> IRB(&F.getEntryBlock().front());
463 AllocaInst *AllocA = IRB.CreateAlloca(ByValType, nullptr, Arg.getName());
464 // Set the alignment to alignment of the byval parameter. This is because,
465 // later load/stores assume that alignment, and we are going to replace
466 // the use of the byval parameter with this alloca instruction.
467 AllocA->setAlignment(
468 Arg.getParamAlign().value_or(DL.getPrefTypeAlign(ByValType)));
469 Arg.replaceAllUsesWith(AllocA);
470
471 Value *ArgInParamAS = createNVVMInternalAddrspaceWrap(IRB, Arg);
472
473 // Be sure to propagate alignment to this load; LLVM doesn't know that NVPTX
474 // addrspacecast preserves alignment. Since params are constant, this load
475 // is definitely not volatile.
476 const auto ArgSize = *AllocA->getAllocationSize(DL);
477 IRB.CreateMemCpy(AllocA, AllocA->getAlign(), ArgInParamAS, AllocA->getAlign(),
478 ArgSize);
479}
480} // namespace
481
482static bool argIsProcessed(Argument *Arg) {
483 if (Arg->use_empty())
484 return true;
485
486 // If the argument is already wrapped, it was processed by this pass before.
487 if (Arg->hasOneUse())
488 if (const auto *II = dyn_cast<IntrinsicInst>(*Arg->user_begin()))
489 if (II->getIntrinsicID() == Intrinsic::nvvm_internal_addrspace_wrap)
490 return true;
491
492 return false;
493}
494
496 const bool HasCvtaParam) {
498
499 const DataLayout &DL = F.getDataLayout();
500 IRBuilder<> IRB(&F.getEntryBlock().front());
501
502 if (argIsProcessed(Arg))
503 return;
504
505 const Align NewArgAlign = setByValParamAlign(Arg);
506
507 // (1) First check the easy case, if were able to trace through all the uses
508 // and we can convert them all to param AS, then we'll do this.
509 ArgUseChecker AUC(DL);
510 ArgUseChecker::PtrInfo PI = AUC.visitArgPtr(*Arg);
511 const bool ArgUseIsReadOnly = !(PI.isEscaped() || PI.isAborted());
512 if (ArgUseIsReadOnly && AUC.Conditionals.empty()) {
513 // Convert all loads and intermediate operations to use parameter AS and
514 // skip creation of a local copy of the argument.
516 Value *ArgInParamAS = createNVVMInternalAddrspaceWrap(IRB, *Arg);
517 for (Use *U : UsesToUpdate)
518 convertToParamAS(U, ArgInParamAS);
519
520 propagateAlignmentToLoads(ArgInParamAS, NewArgAlign, DL);
521 return;
522 }
523
524 // (2) If the argument is grid constant, we get to use the pointer directly.
525 if (HasCvtaParam && (ArgUseIsReadOnly || isParamGridConstant(*Arg))) {
526 LLVM_DEBUG(dbgs() << "Using non-copy pointer to " << *Arg << "\n");
527
528 // Cast argument to param address space. Because the backend will emit the
529 // argument already in the param address space, we need to use the noop
530 // intrinsic, this had the added benefit of preventing other optimizations
531 // from folding away this pair of addrspacecasts.
532 Instruction *ArgInParamAS = createNVVMInternalAddrspaceWrap(IRB, *Arg);
533
534 // Cast param address to generic address space.
535 Value *GenericArg = IRB.CreateAddrSpaceCast(
536 ArgInParamAS, IRB.getPtrTy(ADDRESS_SPACE_GENERIC),
537 Arg->getName() + ".gen");
538
539 Arg->replaceAllUsesWith(GenericArg);
540
541 // Do not replace Arg in the cast to param space
542 ArgInParamAS->setOperand(0, Arg);
543 return;
544 }
545
546 // (3) Otherwise we have to create a copy of the argument in local memory.
547 copyByValParam(F, *Arg);
548}
549
550// =============================================================================
551// Main function for this pass.
552// =============================================================================
554 const NVPTXSubtarget *ST = TM.getSubtargetImpl(F);
555 const bool HasCvtaParam = ST->hasCvtaParam();
556
557 LLVM_DEBUG(dbgs() << "Lowering kernel args of " << F.getName() << "\n");
558 bool Changed = false;
559 for (Argument &Arg : F.args())
560 if (Arg.hasByValAttr()) {
561 lowerKernelByValParam(&Arg, F, HasCvtaParam);
562 Changed = true;
563 }
564
565 return Changed;
566}
567
568// Device functions only need to copy byval args into local memory.
570 LLVM_DEBUG(dbgs() << "Lowering function args of " << F.getName() << "\n");
571
572 const DataLayout &DL = F.getDataLayout();
573
574 bool Changed = false;
575 for (Argument &Arg : F.args())
576 if (Arg.hasByValAttr()) {
577 const Align NewArgAlign = setByValParamAlign(&Arg);
578 propagateAlignmentToLoads(&Arg, NewArgAlign, DL);
579 Changed = true;
580 }
581
582 return Changed;
583}
584
589
590bool NVPTXLowerArgsLegacyPass::runOnFunction(Function &F) {
591 auto &TM = getAnalysis<TargetPassConfig>().getTM<NVPTXTargetMachine>();
592 return processFunction(F, TM);
593}
594
596 return new NVPTXLowerArgsLegacyPass();
597}
598
600 LLVM_DEBUG(dbgs() << "Creating a copy of byval args of " << F.getName()
601 << "\n");
602 bool Changed = false;
603 if (isKernelFunction(F)) {
604 for (Argument &Arg : F.args())
605 if (Arg.hasByValAttr() && !isParamGridConstant(Arg)) {
606 copyByValParam(F, Arg);
607 Changed = true;
608 }
609 }
610 return Changed;
611}
612
618
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:604
Value * CreateAddrSpaceCast(Value *V, Type *DestTy, const Twine &Name="")
Definition IRBuilder.h:2181
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
Definition IRBuilder.h:2788
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:45
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
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)