xref: /freebsd/contrib/llvm-project/llvm/lib/Frontend/HLSL/CBuffer.cpp (revision 700637cbb5e582861067a11aaca4d053546871d2)
1*700637cbSDimitry Andric //===- CBuffer.cpp - HLSL constant buffer handling ------------------------===//
2*700637cbSDimitry Andric //
3*700637cbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*700637cbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*700637cbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*700637cbSDimitry Andric //
7*700637cbSDimitry Andric //===----------------------------------------------------------------------===//
8*700637cbSDimitry Andric 
9*700637cbSDimitry Andric #include "llvm/Frontend/HLSL/CBuffer.h"
10*700637cbSDimitry Andric #include "llvm/Frontend/HLSL/HLSLResource.h"
11*700637cbSDimitry Andric #include "llvm/IR/DerivedTypes.h"
12*700637cbSDimitry Andric #include "llvm/IR/Metadata.h"
13*700637cbSDimitry Andric #include "llvm/IR/Module.h"
14*700637cbSDimitry Andric 
15*700637cbSDimitry Andric using namespace llvm;
16*700637cbSDimitry Andric using namespace llvm::hlsl;
17*700637cbSDimitry Andric 
getMemberOffset(GlobalVariable * Handle,size_t Index)18*700637cbSDimitry Andric static size_t getMemberOffset(GlobalVariable *Handle, size_t Index) {
19*700637cbSDimitry Andric   auto *HandleTy = cast<TargetExtType>(Handle->getValueType());
20*700637cbSDimitry Andric   assert(HandleTy->getName().ends_with(".CBuffer") && "Not a cbuffer type");
21*700637cbSDimitry Andric   assert(HandleTy->getNumTypeParameters() == 1 && "Expected layout type");
22*700637cbSDimitry Andric 
23*700637cbSDimitry Andric   auto *LayoutTy = cast<TargetExtType>(HandleTy->getTypeParameter(0));
24*700637cbSDimitry Andric   assert(LayoutTy->getName().ends_with(".Layout") && "Not a layout type");
25*700637cbSDimitry Andric 
26*700637cbSDimitry Andric   // Skip the "size" parameter.
27*700637cbSDimitry Andric   size_t ParamIndex = Index + 1;
28*700637cbSDimitry Andric   assert(LayoutTy->getNumIntParameters() > ParamIndex &&
29*700637cbSDimitry Andric          "Not enough parameters");
30*700637cbSDimitry Andric 
31*700637cbSDimitry Andric   return LayoutTy->getIntParameter(ParamIndex);
32*700637cbSDimitry Andric }
33*700637cbSDimitry Andric 
get(Module & M)34*700637cbSDimitry Andric std::optional<CBufferMetadata> CBufferMetadata::get(Module &M) {
35*700637cbSDimitry Andric   NamedMDNode *CBufMD = M.getNamedMetadata("hlsl.cbs");
36*700637cbSDimitry Andric   if (!CBufMD)
37*700637cbSDimitry Andric     return std::nullopt;
38*700637cbSDimitry Andric 
39*700637cbSDimitry Andric   std::optional<CBufferMetadata> Result({CBufMD});
40*700637cbSDimitry Andric 
41*700637cbSDimitry Andric   for (const MDNode *MD : CBufMD->operands()) {
42*700637cbSDimitry Andric     assert(MD->getNumOperands() && "Invalid cbuffer metadata");
43*700637cbSDimitry Andric 
44*700637cbSDimitry Andric     auto *Handle = cast<GlobalVariable>(
45*700637cbSDimitry Andric         cast<ValueAsMetadata>(MD->getOperand(0))->getValue());
46*700637cbSDimitry Andric     CBufferMapping &Mapping = Result->Mappings.emplace_back(Handle);
47*700637cbSDimitry Andric 
48*700637cbSDimitry Andric     for (int I = 1, E = MD->getNumOperands(); I < E; ++I) {
49*700637cbSDimitry Andric       Metadata *OpMD = MD->getOperand(I);
50*700637cbSDimitry Andric       // Some members may be null if they've been optimized out.
51*700637cbSDimitry Andric       if (!OpMD)
52*700637cbSDimitry Andric         continue;
53*700637cbSDimitry Andric       auto *V = cast<GlobalVariable>(cast<ValueAsMetadata>(OpMD)->getValue());
54*700637cbSDimitry Andric       Mapping.Members.emplace_back(V, getMemberOffset(Handle, I - 1));
55*700637cbSDimitry Andric     }
56*700637cbSDimitry Andric   }
57*700637cbSDimitry Andric 
58*700637cbSDimitry Andric   return Result;
59*700637cbSDimitry Andric }
60*700637cbSDimitry Andric 
eraseFromModule()61*700637cbSDimitry Andric void CBufferMetadata::eraseFromModule() {
62*700637cbSDimitry Andric   // Remove the cbs named metadata
63*700637cbSDimitry Andric   MD->eraseFromParent();
64*700637cbSDimitry Andric }
65*700637cbSDimitry Andric 
translateCBufArrayOffset(const DataLayout & DL,APInt Offset,ArrayType * Ty)66*700637cbSDimitry Andric APInt hlsl::translateCBufArrayOffset(const DataLayout &DL, APInt Offset,
67*700637cbSDimitry Andric                                      ArrayType *Ty) {
68*700637cbSDimitry Andric   int64_t TypeSize = DL.getTypeSizeInBits(Ty->getElementType()) / 8;
69*700637cbSDimitry Andric   int64_t RoundUp = alignTo(TypeSize, Align(CBufferRowSizeInBytes));
70*700637cbSDimitry Andric   return Offset.udiv(TypeSize) * RoundUp;
71*700637cbSDimitry Andric }
72