18bcb0991SDimitry Andric //=== AMDGPUPrintfRuntimeBinding.cpp - OpenCL printf implementation -------===//
28bcb0991SDimitry Andric //
38bcb0991SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
48bcb0991SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
58bcb0991SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
68bcb0991SDimitry Andric //
78bcb0991SDimitry Andric //===----------------------------------------------------------------------===//
88bcb0991SDimitry Andric // \file
98bcb0991SDimitry Andric //
108bcb0991SDimitry Andric // The pass bind printfs to a kernel arg pointer that will be bound to a buffer
118bcb0991SDimitry Andric // later by the runtime.
128bcb0991SDimitry Andric //
138bcb0991SDimitry Andric // This pass traverses the functions in the module and converts
148bcb0991SDimitry Andric // each call to printf to a sequence of operations that
158bcb0991SDimitry Andric // store the following into the printf buffer:
168bcb0991SDimitry Andric // - format string (passed as a module's metadata unique ID)
178bcb0991SDimitry Andric // - bitwise copies of printf arguments
188bcb0991SDimitry Andric // The backend passes will need to store metadata in the kernel
198bcb0991SDimitry Andric //===----------------------------------------------------------------------===//
208bcb0991SDimitry Andric
218bcb0991SDimitry Andric #include "AMDGPU.h"
2206c3fb27SDimitry Andric #include "llvm/ADT/StringExtras.h"
23bdd1243dSDimitry Andric #include "llvm/Analysis/ValueTracking.h"
24bdd1243dSDimitry Andric #include "llvm/IR/DiagnosticInfo.h"
258bcb0991SDimitry Andric #include "llvm/IR/Dominators.h"
268bcb0991SDimitry Andric #include "llvm/IR/IRBuilder.h"
278bcb0991SDimitry Andric #include "llvm/IR/Instructions.h"
28*0fca6ea1SDimitry Andric #include "llvm/IR/Module.h"
29480093f4SDimitry Andric #include "llvm/InitializePasses.h"
30bdd1243dSDimitry Andric #include "llvm/Support/DataExtractor.h"
3106c3fb27SDimitry Andric #include "llvm/TargetParser/Triple.h"
328bcb0991SDimitry Andric #include "llvm/Transforms/Utils/BasicBlockUtils.h"
33e8d8bef9SDimitry Andric
348bcb0991SDimitry Andric using namespace llvm;
358bcb0991SDimitry Andric
368bcb0991SDimitry Andric #define DEBUG_TYPE "printfToRuntime"
37*0fca6ea1SDimitry Andric enum { DWORD_ALIGN = 4 };
388bcb0991SDimitry Andric
398bcb0991SDimitry Andric namespace {
40e8d8bef9SDimitry Andric class AMDGPUPrintfRuntimeBinding final : public ModulePass {
418bcb0991SDimitry Andric
428bcb0991SDimitry Andric public:
438bcb0991SDimitry Andric static char ID;
448bcb0991SDimitry Andric
458bcb0991SDimitry Andric explicit AMDGPUPrintfRuntimeBinding();
468bcb0991SDimitry Andric
478bcb0991SDimitry Andric private:
488bcb0991SDimitry Andric bool runOnModule(Module &M) override;
49e8d8bef9SDimitry Andric };
508bcb0991SDimitry Andric
51e8d8bef9SDimitry Andric class AMDGPUPrintfRuntimeBindingImpl {
52e8d8bef9SDimitry Andric public:
53*0fca6ea1SDimitry Andric AMDGPUPrintfRuntimeBindingImpl() = default;
54e8d8bef9SDimitry Andric bool run(Module &M);
55e8d8bef9SDimitry Andric
56e8d8bef9SDimitry Andric private:
57e8d8bef9SDimitry Andric void getConversionSpecifiers(SmallVectorImpl<char> &OpConvSpecifiers,
58e8d8bef9SDimitry Andric StringRef fmt, size_t num_ops) const;
59e8d8bef9SDimitry Andric
60e8d8bef9SDimitry Andric bool lowerPrintfForGpu(Module &M);
61e8d8bef9SDimitry Andric
628bcb0991SDimitry Andric const DataLayout *TD;
638bcb0991SDimitry Andric SmallVector<CallInst *, 32> Printfs;
648bcb0991SDimitry Andric };
658bcb0991SDimitry Andric } // namespace
668bcb0991SDimitry Andric
678bcb0991SDimitry Andric char AMDGPUPrintfRuntimeBinding::ID = 0;
688bcb0991SDimitry Andric
698bcb0991SDimitry Andric INITIALIZE_PASS_BEGIN(AMDGPUPrintfRuntimeBinding,
708bcb0991SDimitry Andric "amdgpu-printf-runtime-binding", "AMDGPU Printf lowering",
718bcb0991SDimitry Andric false, false)
728bcb0991SDimitry Andric INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
738bcb0991SDimitry Andric INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass)
748bcb0991SDimitry Andric INITIALIZE_PASS_END(AMDGPUPrintfRuntimeBinding, "amdgpu-printf-runtime-binding",
758bcb0991SDimitry Andric "AMDGPU Printf lowering", false, false)
768bcb0991SDimitry Andric
778bcb0991SDimitry Andric char &llvm::AMDGPUPrintfRuntimeBindingID = AMDGPUPrintfRuntimeBinding::ID;
788bcb0991SDimitry Andric
798bcb0991SDimitry Andric namespace llvm {
createAMDGPUPrintfRuntimeBinding()808bcb0991SDimitry Andric ModulePass *createAMDGPUPrintfRuntimeBinding() {
818bcb0991SDimitry Andric return new AMDGPUPrintfRuntimeBinding();
828bcb0991SDimitry Andric }
838bcb0991SDimitry Andric } // namespace llvm
848bcb0991SDimitry Andric
AMDGPUPrintfRuntimeBinding()85e8d8bef9SDimitry Andric AMDGPUPrintfRuntimeBinding::AMDGPUPrintfRuntimeBinding() : ModulePass(ID) {
868bcb0991SDimitry Andric initializeAMDGPUPrintfRuntimeBindingPass(*PassRegistry::getPassRegistry());
878bcb0991SDimitry Andric }
888bcb0991SDimitry Andric
getConversionSpecifiers(SmallVectorImpl<char> & OpConvSpecifiers,StringRef Fmt,size_t NumOps) const89e8d8bef9SDimitry Andric void AMDGPUPrintfRuntimeBindingImpl::getConversionSpecifiers(
908bcb0991SDimitry Andric SmallVectorImpl<char> &OpConvSpecifiers, StringRef Fmt,
918bcb0991SDimitry Andric size_t NumOps) const {
928bcb0991SDimitry Andric // not all format characters are collected.
938bcb0991SDimitry Andric // At this time the format characters of interest
948bcb0991SDimitry Andric // are %p and %s, which use to know if we
958bcb0991SDimitry Andric // are either storing a literal string or a
968bcb0991SDimitry Andric // pointer to the printf buffer.
978bcb0991SDimitry Andric static const char ConvSpecifiers[] = "cdieEfgGaosuxXp";
988bcb0991SDimitry Andric size_t CurFmtSpecifierIdx = 0;
998bcb0991SDimitry Andric size_t PrevFmtSpecifierIdx = 0;
1008bcb0991SDimitry Andric
1018bcb0991SDimitry Andric while ((CurFmtSpecifierIdx = Fmt.find_first_of(
1028bcb0991SDimitry Andric ConvSpecifiers, CurFmtSpecifierIdx)) != StringRef::npos) {
1038bcb0991SDimitry Andric bool ArgDump = false;
1048bcb0991SDimitry Andric StringRef CurFmt = Fmt.substr(PrevFmtSpecifierIdx,
1058bcb0991SDimitry Andric CurFmtSpecifierIdx - PrevFmtSpecifierIdx);
1065f757f3fSDimitry Andric size_t pTag = CurFmt.find_last_of('%');
1078bcb0991SDimitry Andric if (pTag != StringRef::npos) {
1088bcb0991SDimitry Andric ArgDump = true;
1098bcb0991SDimitry Andric while (pTag && CurFmt[--pTag] == '%') {
1108bcb0991SDimitry Andric ArgDump = !ArgDump;
1118bcb0991SDimitry Andric }
1128bcb0991SDimitry Andric }
1138bcb0991SDimitry Andric
1148bcb0991SDimitry Andric if (ArgDump)
1158bcb0991SDimitry Andric OpConvSpecifiers.push_back(Fmt[CurFmtSpecifierIdx]);
1168bcb0991SDimitry Andric
1178bcb0991SDimitry Andric PrevFmtSpecifierIdx = ++CurFmtSpecifierIdx;
1188bcb0991SDimitry Andric }
1198bcb0991SDimitry Andric }
1208bcb0991SDimitry Andric
shouldPrintAsStr(char Specifier,Type * OpType)121bdd1243dSDimitry Andric static bool shouldPrintAsStr(char Specifier, Type *OpType) {
122bdd1243dSDimitry Andric return Specifier == 's' && isa<PointerType>(OpType);
123bdd1243dSDimitry Andric }
124bdd1243dSDimitry Andric
125bdd1243dSDimitry Andric constexpr StringLiteral NonLiteralStr("???");
126bdd1243dSDimitry Andric static_assert(NonLiteralStr.size() == 3);
127bdd1243dSDimitry Andric
getAsConstantStr(Value * V)128bdd1243dSDimitry Andric static StringRef getAsConstantStr(Value *V) {
129bdd1243dSDimitry Andric StringRef S;
130bdd1243dSDimitry Andric if (!getConstantStringInfo(V, S))
131bdd1243dSDimitry Andric S = NonLiteralStr;
132bdd1243dSDimitry Andric
133bdd1243dSDimitry Andric return S;
134bdd1243dSDimitry Andric }
135bdd1243dSDimitry Andric
diagnoseInvalidFormatString(const CallBase * CI)136bdd1243dSDimitry Andric static void diagnoseInvalidFormatString(const CallBase *CI) {
137bdd1243dSDimitry Andric DiagnosticInfoUnsupported UnsupportedFormatStr(
138bdd1243dSDimitry Andric *CI->getParent()->getParent(),
139bdd1243dSDimitry Andric "printf format string must be a trivially resolved constant string "
140bdd1243dSDimitry Andric "global variable",
141bdd1243dSDimitry Andric CI->getDebugLoc());
142bdd1243dSDimitry Andric CI->getContext().diagnose(UnsupportedFormatStr);
1438bcb0991SDimitry Andric }
1448bcb0991SDimitry Andric
lowerPrintfForGpu(Module & M)145e8d8bef9SDimitry Andric bool AMDGPUPrintfRuntimeBindingImpl::lowerPrintfForGpu(Module &M) {
1468bcb0991SDimitry Andric LLVMContext &Ctx = M.getContext();
1478bcb0991SDimitry Andric IRBuilder<> Builder(Ctx);
1488bcb0991SDimitry Andric Type *I32Ty = Type::getInt32Ty(Ctx);
1498bcb0991SDimitry Andric
150bdd1243dSDimitry Andric // Instead of creating global variables, the printf format strings are
151bdd1243dSDimitry Andric // extracted and passed as metadata. This avoids polluting llvm's symbol
152bdd1243dSDimitry Andric // tables in this module. Metadata is going to be extracted by the backend
153bdd1243dSDimitry Andric // passes and inserted into the OpenCL binary as appropriate.
154bdd1243dSDimitry Andric NamedMDNode *metaD = M.getOrInsertNamedMetadata("llvm.printf.fmts");
155bdd1243dSDimitry Andric unsigned UniqID = metaD->getNumOperands();
156bdd1243dSDimitry Andric
157bdd1243dSDimitry Andric for (auto *CI : Printfs) {
158349cc55cSDimitry Andric unsigned NumOps = CI->arg_size();
1598bcb0991SDimitry Andric
1608bcb0991SDimitry Andric SmallString<16> OpConvSpecifiers;
1618bcb0991SDimitry Andric Value *Op = CI->getArgOperand(0);
1628bcb0991SDimitry Andric
163bdd1243dSDimitry Andric StringRef FormatStr;
164bdd1243dSDimitry Andric if (!getConstantStringInfo(Op, FormatStr)) {
165bdd1243dSDimitry Andric Value *Stripped = Op->stripPointerCasts();
166bdd1243dSDimitry Andric if (!isa<UndefValue>(Stripped) && !isa<ConstantPointerNull>(Stripped))
167bdd1243dSDimitry Andric diagnoseInvalidFormatString(CI);
168bdd1243dSDimitry Andric continue;
1698bcb0991SDimitry Andric }
170bdd1243dSDimitry Andric
171bdd1243dSDimitry Andric // We need this call to ascertain that we are printing a string or a
172bdd1243dSDimitry Andric // pointer. It takes out the specifiers and fills up the first arg.
173bdd1243dSDimitry Andric getConversionSpecifiers(OpConvSpecifiers, FormatStr, NumOps - 1);
174bdd1243dSDimitry Andric
1758bcb0991SDimitry Andric // Add metadata for the string
1768bcb0991SDimitry Andric std::string AStreamHolder;
1778bcb0991SDimitry Andric raw_string_ostream Sizes(AStreamHolder);
1788bcb0991SDimitry Andric int Sum = DWORD_ALIGN;
179349cc55cSDimitry Andric Sizes << CI->arg_size() - 1;
1808bcb0991SDimitry Andric Sizes << ':';
181349cc55cSDimitry Andric for (unsigned ArgCount = 1;
182349cc55cSDimitry Andric ArgCount < CI->arg_size() && ArgCount <= OpConvSpecifiers.size();
1838bcb0991SDimitry Andric ArgCount++) {
1848bcb0991SDimitry Andric Value *Arg = CI->getArgOperand(ArgCount);
1858bcb0991SDimitry Andric Type *ArgType = Arg->getType();
186bdd1243dSDimitry Andric unsigned ArgSize = TD->getTypeAllocSize(ArgType);
1878bcb0991SDimitry Andric //
1888bcb0991SDimitry Andric // ArgSize by design should be a multiple of DWORD_ALIGN,
1898bcb0991SDimitry Andric // expand the arguments that do not follow this rule.
1908bcb0991SDimitry Andric //
1918bcb0991SDimitry Andric if (ArgSize % DWORD_ALIGN != 0) {
192bdd1243dSDimitry Andric Type *ResType = Type::getInt32Ty(Ctx);
193bdd1243dSDimitry Andric if (auto *VecType = dyn_cast<VectorType>(ArgType))
194bdd1243dSDimitry Andric ResType = VectorType::get(ResType, VecType->getElementCount());
1958bcb0991SDimitry Andric Builder.SetInsertPoint(CI);
1968bcb0991SDimitry Andric Builder.SetCurrentDebugLocation(CI->getDebugLoc());
197bdd1243dSDimitry Andric
198bdd1243dSDimitry Andric if (ArgType->isFloatingPointTy()) {
199bdd1243dSDimitry Andric Arg = Builder.CreateBitCast(
200bdd1243dSDimitry Andric Arg,
201bdd1243dSDimitry Andric IntegerType::getIntNTy(Ctx, ArgType->getPrimitiveSizeInBits()));
202bdd1243dSDimitry Andric }
203bdd1243dSDimitry Andric
2048bcb0991SDimitry Andric if (OpConvSpecifiers[ArgCount - 1] == 'x' ||
2058bcb0991SDimitry Andric OpConvSpecifiers[ArgCount - 1] == 'X' ||
2068bcb0991SDimitry Andric OpConvSpecifiers[ArgCount - 1] == 'u' ||
2078bcb0991SDimitry Andric OpConvSpecifiers[ArgCount - 1] == 'o')
2088bcb0991SDimitry Andric Arg = Builder.CreateZExt(Arg, ResType);
2098bcb0991SDimitry Andric else
2108bcb0991SDimitry Andric Arg = Builder.CreateSExt(Arg, ResType);
2118bcb0991SDimitry Andric ArgType = Arg->getType();
212bdd1243dSDimitry Andric ArgSize = TD->getTypeAllocSize(ArgType);
2138bcb0991SDimitry Andric CI->setOperand(ArgCount, Arg);
2148bcb0991SDimitry Andric }
2158bcb0991SDimitry Andric if (OpConvSpecifiers[ArgCount - 1] == 'f') {
2168bcb0991SDimitry Andric ConstantFP *FpCons = dyn_cast<ConstantFP>(Arg);
2178bcb0991SDimitry Andric if (FpCons)
2188bcb0991SDimitry Andric ArgSize = 4;
2198bcb0991SDimitry Andric else {
2208bcb0991SDimitry Andric FPExtInst *FpExt = dyn_cast<FPExtInst>(Arg);
2218bcb0991SDimitry Andric if (FpExt && FpExt->getType()->isDoubleTy() &&
2228bcb0991SDimitry Andric FpExt->getOperand(0)->getType()->isFloatTy())
2238bcb0991SDimitry Andric ArgSize = 4;
2248bcb0991SDimitry Andric }
2258bcb0991SDimitry Andric }
226bdd1243dSDimitry Andric if (shouldPrintAsStr(OpConvSpecifiers[ArgCount - 1], ArgType))
227bdd1243dSDimitry Andric ArgSize = alignTo(getAsConstantStr(Arg).size() + 1, 4);
228bdd1243dSDimitry Andric
2298bcb0991SDimitry Andric LLVM_DEBUG(dbgs() << "Printf ArgSize (in buffer) = " << ArgSize
2308bcb0991SDimitry Andric << " for type: " << *ArgType << '\n');
2318bcb0991SDimitry Andric Sizes << ArgSize << ':';
2328bcb0991SDimitry Andric Sum += ArgSize;
2338bcb0991SDimitry Andric }
234bdd1243dSDimitry Andric LLVM_DEBUG(dbgs() << "Printf format string in source = " << FormatStr
2358bcb0991SDimitry Andric << '\n');
236bdd1243dSDimitry Andric for (char C : FormatStr) {
2378bcb0991SDimitry Andric // Rest of the C escape sequences (e.g. \') are handled correctly
2388bcb0991SDimitry Andric // by the MDParser
2394824e7fdSDimitry Andric switch (C) {
2408bcb0991SDimitry Andric case '\a':
2418bcb0991SDimitry Andric Sizes << "\\a";
2428bcb0991SDimitry Andric break;
2438bcb0991SDimitry Andric case '\b':
2448bcb0991SDimitry Andric Sizes << "\\b";
2458bcb0991SDimitry Andric break;
2468bcb0991SDimitry Andric case '\f':
2478bcb0991SDimitry Andric Sizes << "\\f";
2488bcb0991SDimitry Andric break;
2498bcb0991SDimitry Andric case '\n':
2508bcb0991SDimitry Andric Sizes << "\\n";
2518bcb0991SDimitry Andric break;
2528bcb0991SDimitry Andric case '\r':
2538bcb0991SDimitry Andric Sizes << "\\r";
2548bcb0991SDimitry Andric break;
2558bcb0991SDimitry Andric case '\v':
2568bcb0991SDimitry Andric Sizes << "\\v";
2578bcb0991SDimitry Andric break;
2588bcb0991SDimitry Andric case ':':
2598bcb0991SDimitry Andric // ':' cannot be scanned by Flex, as it is defined as a delimiter
2608bcb0991SDimitry Andric // Replace it with it's octal representation \72
2618bcb0991SDimitry Andric Sizes << "\\72";
2628bcb0991SDimitry Andric break;
2638bcb0991SDimitry Andric default:
2644824e7fdSDimitry Andric Sizes << C;
2658bcb0991SDimitry Andric break;
2668bcb0991SDimitry Andric }
2678bcb0991SDimitry Andric }
2688bcb0991SDimitry Andric
2698bcb0991SDimitry Andric // Insert the printf_alloc call
2708bcb0991SDimitry Andric Builder.SetInsertPoint(CI);
2718bcb0991SDimitry Andric Builder.SetCurrentDebugLocation(CI->getDebugLoc());
2728bcb0991SDimitry Andric
2738bcb0991SDimitry Andric AttributeList Attr = AttributeList::get(Ctx, AttributeList::FunctionIndex,
2748bcb0991SDimitry Andric Attribute::NoUnwind);
2758bcb0991SDimitry Andric
2768bcb0991SDimitry Andric Type *SizetTy = Type::getInt32Ty(Ctx);
2778bcb0991SDimitry Andric
2788bcb0991SDimitry Andric Type *Tys_alloc[1] = {SizetTy};
279fe6060f1SDimitry Andric Type *I8Ty = Type::getInt8Ty(Ctx);
280fe6060f1SDimitry Andric Type *I8Ptr = PointerType::get(I8Ty, 1);
2818bcb0991SDimitry Andric FunctionType *FTy_alloc = FunctionType::get(I8Ptr, Tys_alloc, false);
2828bcb0991SDimitry Andric FunctionCallee PrintfAllocFn =
2838bcb0991SDimitry Andric M.getOrInsertFunction(StringRef("__printf_alloc"), FTy_alloc, Attr);
2848bcb0991SDimitry Andric
2858bcb0991SDimitry Andric LLVM_DEBUG(dbgs() << "Printf metadata = " << Sizes.str() << '\n');
286349cc55cSDimitry Andric std::string fmtstr = itostr(++UniqID) + ":" + Sizes.str();
2878bcb0991SDimitry Andric MDString *fmtStrArray = MDString::get(Ctx, fmtstr);
2888bcb0991SDimitry Andric
2898bcb0991SDimitry Andric MDNode *myMD = MDNode::get(Ctx, fmtStrArray);
2908bcb0991SDimitry Andric metaD->addOperand(myMD);
2918bcb0991SDimitry Andric Value *sumC = ConstantInt::get(SizetTy, Sum, false);
2928bcb0991SDimitry Andric SmallVector<Value *, 1> alloc_args;
2938bcb0991SDimitry Andric alloc_args.push_back(sumC);
294*0fca6ea1SDimitry Andric CallInst *pcall = CallInst::Create(PrintfAllocFn, alloc_args,
295*0fca6ea1SDimitry Andric "printf_alloc_fn", CI->getIterator());
2968bcb0991SDimitry Andric
2978bcb0991SDimitry Andric //
2988bcb0991SDimitry Andric // Insert code to split basicblock with a
2998bcb0991SDimitry Andric // piece of hammock code.
3008bcb0991SDimitry Andric // basicblock splits after buffer overflow check
3018bcb0991SDimitry Andric //
3028bcb0991SDimitry Andric ConstantPointerNull *zeroIntPtr =
303fe6060f1SDimitry Andric ConstantPointerNull::get(PointerType::get(I8Ty, 1));
304fe6060f1SDimitry Andric auto *cmp = cast<ICmpInst>(Builder.CreateICmpNE(pcall, zeroIntPtr, ""));
3058bcb0991SDimitry Andric if (!CI->use_empty()) {
3068bcb0991SDimitry Andric Value *result =
3078bcb0991SDimitry Andric Builder.CreateSExt(Builder.CreateNot(cmp), I32Ty, "printf_res");
3088bcb0991SDimitry Andric CI->replaceAllUsesWith(result);
3098bcb0991SDimitry Andric }
3108bcb0991SDimitry Andric SplitBlock(CI->getParent(), cmp);
3118bcb0991SDimitry Andric Instruction *Brnch =
3128bcb0991SDimitry Andric SplitBlockAndInsertIfThen(cmp, cmp->getNextNode(), false);
313*0fca6ea1SDimitry Andric BasicBlock::iterator BrnchPoint = Brnch->getIterator();
3148bcb0991SDimitry Andric
3158bcb0991SDimitry Andric Builder.SetInsertPoint(Brnch);
3168bcb0991SDimitry Andric
3178bcb0991SDimitry Andric // store unique printf id in the buffer
3188bcb0991SDimitry Andric //
319e8d8bef9SDimitry Andric GetElementPtrInst *BufferIdx = GetElementPtrInst::Create(
320*0fca6ea1SDimitry Andric I8Ty, pcall, ConstantInt::get(Ctx, APInt(32, 0)), "PrintBuffID",
321*0fca6ea1SDimitry Andric BrnchPoint);
3228bcb0991SDimitry Andric
3238bcb0991SDimitry Andric Type *idPointer = PointerType::get(I32Ty, AMDGPUAS::GLOBAL_ADDRESS);
3248bcb0991SDimitry Andric Value *id_gep_cast =
325*0fca6ea1SDimitry Andric new BitCastInst(BufferIdx, idPointer, "PrintBuffIdCast", BrnchPoint);
3268bcb0991SDimitry Andric
327*0fca6ea1SDimitry Andric new StoreInst(ConstantInt::get(I32Ty, UniqID), id_gep_cast, BrnchPoint);
3288bcb0991SDimitry Andric
329fe6060f1SDimitry Andric // 1st 4 bytes hold the printf_id
3308bcb0991SDimitry Andric // the following GEP is the buffer pointer
331bdd1243dSDimitry Andric BufferIdx = GetElementPtrInst::Create(I8Ty, pcall,
332bdd1243dSDimitry Andric ConstantInt::get(Ctx, APInt(32, 4)),
333*0fca6ea1SDimitry Andric "PrintBuffGep", BrnchPoint);
3348bcb0991SDimitry Andric
3358bcb0991SDimitry Andric Type *Int32Ty = Type::getInt32Ty(Ctx);
336349cc55cSDimitry Andric for (unsigned ArgCount = 1;
337349cc55cSDimitry Andric ArgCount < CI->arg_size() && ArgCount <= OpConvSpecifiers.size();
3388bcb0991SDimitry Andric ArgCount++) {
3398bcb0991SDimitry Andric Value *Arg = CI->getArgOperand(ArgCount);
3408bcb0991SDimitry Andric Type *ArgType = Arg->getType();
3418bcb0991SDimitry Andric SmallVector<Value *, 32> WhatToStore;
3425ffd83dbSDimitry Andric if (ArgType->isFPOrFPVectorTy() && !isa<VectorType>(ArgType)) {
3438bcb0991SDimitry Andric if (OpConvSpecifiers[ArgCount - 1] == 'f') {
344e8d8bef9SDimitry Andric if (auto *FpCons = dyn_cast<ConstantFP>(Arg)) {
345e8d8bef9SDimitry Andric APFloat Val(FpCons->getValueAPF());
3468bcb0991SDimitry Andric bool Lost = false;
3478bcb0991SDimitry Andric Val.convert(APFloat::IEEEsingle(), APFloat::rmNearestTiesToEven,
3488bcb0991SDimitry Andric &Lost);
3498bcb0991SDimitry Andric Arg = ConstantFP::get(Ctx, Val);
350e8d8bef9SDimitry Andric } else if (auto *FpExt = dyn_cast<FPExtInst>(Arg)) {
351e8d8bef9SDimitry Andric if (FpExt->getType()->isDoubleTy() &&
3528bcb0991SDimitry Andric FpExt->getOperand(0)->getType()->isFloatTy()) {
3538bcb0991SDimitry Andric Arg = FpExt->getOperand(0);
3548bcb0991SDimitry Andric }
3558bcb0991SDimitry Andric }
3568bcb0991SDimitry Andric }
3578bcb0991SDimitry Andric WhatToStore.push_back(Arg);
358bdd1243dSDimitry Andric } else if (isa<PointerType>(ArgType)) {
3598bcb0991SDimitry Andric if (shouldPrintAsStr(OpConvSpecifiers[ArgCount - 1], ArgType)) {
360bdd1243dSDimitry Andric StringRef S = getAsConstantStr(Arg);
361bdd1243dSDimitry Andric if (!S.empty()) {
362bdd1243dSDimitry Andric const uint64_t ReadSize = 4;
363bdd1243dSDimitry Andric
364bdd1243dSDimitry Andric DataExtractor Extractor(S, /*IsLittleEndian=*/true, 8);
365bdd1243dSDimitry Andric DataExtractor::Cursor Offset(0);
366bdd1243dSDimitry Andric while (Offset && Offset.tell() < S.size()) {
367bdd1243dSDimitry Andric uint64_t ReadNow = std::min(ReadSize, S.size() - Offset.tell());
368bdd1243dSDimitry Andric uint64_t ReadBytes = 0;
369bdd1243dSDimitry Andric switch (ReadNow) {
370bdd1243dSDimitry Andric default: llvm_unreachable("min(4, X) > 4?");
371bdd1243dSDimitry Andric case 1:
372bdd1243dSDimitry Andric ReadBytes = Extractor.getU8(Offset);
373bdd1243dSDimitry Andric break;
374bdd1243dSDimitry Andric case 2:
375bdd1243dSDimitry Andric ReadBytes = Extractor.getU16(Offset);
376bdd1243dSDimitry Andric break;
377bdd1243dSDimitry Andric case 3:
378bdd1243dSDimitry Andric ReadBytes = Extractor.getU24(Offset);
379bdd1243dSDimitry Andric break;
380bdd1243dSDimitry Andric case 4:
381bdd1243dSDimitry Andric ReadBytes = Extractor.getU32(Offset);
382bdd1243dSDimitry Andric break;
3838bcb0991SDimitry Andric }
384bdd1243dSDimitry Andric
385bdd1243dSDimitry Andric cantFail(Offset.takeError(),
386bdd1243dSDimitry Andric "failed to read bytes from constant array");
387bdd1243dSDimitry Andric
388bdd1243dSDimitry Andric APInt IntVal(8 * ReadSize, ReadBytes);
389bdd1243dSDimitry Andric
390bdd1243dSDimitry Andric // TODO: Should not bothering aligning up.
391bdd1243dSDimitry Andric if (ReadNow < ReadSize)
392bdd1243dSDimitry Andric IntVal = IntVal.zext(8 * ReadSize);
393bdd1243dSDimitry Andric
394bdd1243dSDimitry Andric Type *IntTy = Type::getIntNTy(Ctx, IntVal.getBitWidth());
395bdd1243dSDimitry Andric WhatToStore.push_back(ConstantInt::get(IntTy, IntVal));
3968bcb0991SDimitry Andric }
3978bcb0991SDimitry Andric } else {
3988bcb0991SDimitry Andric // Empty string, give a hint to RT it is no NULL
3998bcb0991SDimitry Andric Value *ANumV = ConstantInt::get(Int32Ty, 0xFFFFFF00, false);
4008bcb0991SDimitry Andric WhatToStore.push_back(ANumV);
4018bcb0991SDimitry Andric }
4028bcb0991SDimitry Andric } else {
4038bcb0991SDimitry Andric WhatToStore.push_back(Arg);
4048bcb0991SDimitry Andric }
4058bcb0991SDimitry Andric } else {
4068bcb0991SDimitry Andric WhatToStore.push_back(Arg);
4078bcb0991SDimitry Andric }
4088bcb0991SDimitry Andric for (unsigned I = 0, E = WhatToStore.size(); I != E; ++I) {
4098bcb0991SDimitry Andric Value *TheBtCast = WhatToStore[I];
410bdd1243dSDimitry Andric unsigned ArgSize = TD->getTypeAllocSize(TheBtCast->getType());
411*0fca6ea1SDimitry Andric StoreInst *StBuff = new StoreInst(TheBtCast, BufferIdx, BrnchPoint);
4128bcb0991SDimitry Andric LLVM_DEBUG(dbgs() << "inserting store to printf buffer:\n"
4138bcb0991SDimitry Andric << *StBuff << '\n');
4148bcb0991SDimitry Andric (void)StBuff;
415349cc55cSDimitry Andric if (I + 1 == E && ArgCount + 1 == CI->arg_size())
4168bcb0991SDimitry Andric break;
41706c3fb27SDimitry Andric BufferIdx = GetElementPtrInst::Create(
41806c3fb27SDimitry Andric I8Ty, BufferIdx, {ConstantInt::get(I32Ty, ArgSize)},
419*0fca6ea1SDimitry Andric "PrintBuffNextPtr", BrnchPoint);
4208bcb0991SDimitry Andric LLVM_DEBUG(dbgs() << "inserting gep to the printf buffer:\n"
4218bcb0991SDimitry Andric << *BufferIdx << '\n');
4228bcb0991SDimitry Andric }
4238bcb0991SDimitry Andric }
4248bcb0991SDimitry Andric }
4258bcb0991SDimitry Andric
4268bcb0991SDimitry Andric // erase the printf calls
427bdd1243dSDimitry Andric for (auto *CI : Printfs)
4288bcb0991SDimitry Andric CI->eraseFromParent();
4298bcb0991SDimitry Andric
4308bcb0991SDimitry Andric Printfs.clear();
4318bcb0991SDimitry Andric return true;
4328bcb0991SDimitry Andric }
4338bcb0991SDimitry Andric
run(Module & M)434e8d8bef9SDimitry Andric bool AMDGPUPrintfRuntimeBindingImpl::run(Module &M) {
4358bcb0991SDimitry Andric Triple TT(M.getTargetTriple());
4368bcb0991SDimitry Andric if (TT.getArch() == Triple::r600)
4378bcb0991SDimitry Andric return false;
4388bcb0991SDimitry Andric
4398bcb0991SDimitry Andric auto PrintfFunction = M.getFunction("printf");
440bdd1243dSDimitry Andric if (!PrintfFunction || !PrintfFunction->isDeclaration())
4418bcb0991SDimitry Andric return false;
4428bcb0991SDimitry Andric
4438bcb0991SDimitry Andric for (auto &U : PrintfFunction->uses()) {
4448bcb0991SDimitry Andric if (auto *CI = dyn_cast<CallInst>(U.getUser())) {
4455f757f3fSDimitry Andric if (CI->isCallee(&U) && !CI->isNoBuiltin())
4468bcb0991SDimitry Andric Printfs.push_back(CI);
4478bcb0991SDimitry Andric }
4488bcb0991SDimitry Andric }
4498bcb0991SDimitry Andric
4508bcb0991SDimitry Andric if (Printfs.empty())
4518bcb0991SDimitry Andric return false;
4528bcb0991SDimitry Andric
4538bcb0991SDimitry Andric TD = &M.getDataLayout();
454e8d8bef9SDimitry Andric
455e8d8bef9SDimitry Andric return lowerPrintfForGpu(M);
456e8d8bef9SDimitry Andric }
457e8d8bef9SDimitry Andric
runOnModule(Module & M)458e8d8bef9SDimitry Andric bool AMDGPUPrintfRuntimeBinding::runOnModule(Module &M) {
45906c3fb27SDimitry Andric return AMDGPUPrintfRuntimeBindingImpl().run(M);
460e8d8bef9SDimitry Andric }
461e8d8bef9SDimitry Andric
462e8d8bef9SDimitry Andric PreservedAnalyses
run(Module & M,ModuleAnalysisManager & AM)463e8d8bef9SDimitry Andric AMDGPUPrintfRuntimeBindingPass::run(Module &M, ModuleAnalysisManager &AM) {
46406c3fb27SDimitry Andric bool Changed = AMDGPUPrintfRuntimeBindingImpl().run(M);
465e8d8bef9SDimitry Andric return Changed ? PreservedAnalyses::none() : PreservedAnalyses::all();
4668bcb0991SDimitry Andric }
467