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