xref: /freebsd/contrib/llvm-project/llvm/lib/IR/AbstractCallSite.cpp (revision 0b57cec536236d46e3dba9bd041533462f33dbb7)
1*0b57cec5SDimitry Andric //===-- AbstractCallSite.cpp - Implementation of abstract call sites ------===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // This file implements abstract call sites which unify the interface for
10*0b57cec5SDimitry Andric // direct, indirect, and callback call sites.
11*0b57cec5SDimitry Andric //
12*0b57cec5SDimitry Andric // For more information see:
13*0b57cec5SDimitry Andric // https://llvm.org/devmtg/2018-10/talk-abstracts.html#talk20
14*0b57cec5SDimitry Andric //
15*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
16*0b57cec5SDimitry Andric 
17*0b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h"
18*0b57cec5SDimitry Andric #include "llvm/ADT/StringSwitch.h"
19*0b57cec5SDimitry Andric #include "llvm/IR/CallSite.h"
20*0b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
21*0b57cec5SDimitry Andric 
22*0b57cec5SDimitry Andric using namespace llvm;
23*0b57cec5SDimitry Andric 
24*0b57cec5SDimitry Andric #define DEBUG_TYPE "abstract-call-sites"
25*0b57cec5SDimitry Andric 
26*0b57cec5SDimitry Andric STATISTIC(NumCallbackCallSites, "Number of callback call sites created");
27*0b57cec5SDimitry Andric STATISTIC(NumDirectAbstractCallSites,
28*0b57cec5SDimitry Andric           "Number of direct abstract call sites created");
29*0b57cec5SDimitry Andric STATISTIC(NumInvalidAbstractCallSitesUnknownUse,
30*0b57cec5SDimitry Andric           "Number of invalid abstract call sites created (unknown use)");
31*0b57cec5SDimitry Andric STATISTIC(NumInvalidAbstractCallSitesUnknownCallee,
32*0b57cec5SDimitry Andric           "Number of invalid abstract call sites created (unknown callee)");
33*0b57cec5SDimitry Andric STATISTIC(NumInvalidAbstractCallSitesNoCallback,
34*0b57cec5SDimitry Andric           "Number of invalid abstract call sites created (no callback)");
35*0b57cec5SDimitry Andric 
36*0b57cec5SDimitry Andric /// Create an abstract call site from a use.
37*0b57cec5SDimitry Andric AbstractCallSite::AbstractCallSite(const Use *U) : CS(U->getUser()) {
38*0b57cec5SDimitry Andric 
39*0b57cec5SDimitry Andric   // First handle unknown users.
40*0b57cec5SDimitry Andric   if (!CS) {
41*0b57cec5SDimitry Andric 
42*0b57cec5SDimitry Andric     // If the use is actually in a constant cast expression which itself
43*0b57cec5SDimitry Andric     // has only one use, we look through the constant cast expression.
44*0b57cec5SDimitry Andric     // This happens by updating the use @p U to the use of the constant
45*0b57cec5SDimitry Andric     // cast expression and afterwards re-initializing CS accordingly.
46*0b57cec5SDimitry Andric     if (ConstantExpr *CE = dyn_cast<ConstantExpr>(U->getUser()))
47*0b57cec5SDimitry Andric       if (CE->getNumUses() == 1 && CE->isCast()) {
48*0b57cec5SDimitry Andric         U = &*CE->use_begin();
49*0b57cec5SDimitry Andric         CS = CallSite(U->getUser());
50*0b57cec5SDimitry Andric       }
51*0b57cec5SDimitry Andric 
52*0b57cec5SDimitry Andric     if (!CS) {
53*0b57cec5SDimitry Andric       NumInvalidAbstractCallSitesUnknownUse++;
54*0b57cec5SDimitry Andric       return;
55*0b57cec5SDimitry Andric     }
56*0b57cec5SDimitry Andric   }
57*0b57cec5SDimitry Andric 
58*0b57cec5SDimitry Andric   // Then handle direct or indirect calls. Thus, if U is the callee of the
59*0b57cec5SDimitry Andric   // call site CS it is not a callback and we are done.
60*0b57cec5SDimitry Andric   if (CS.isCallee(U)) {
61*0b57cec5SDimitry Andric     NumDirectAbstractCallSites++;
62*0b57cec5SDimitry Andric     return;
63*0b57cec5SDimitry Andric   }
64*0b57cec5SDimitry Andric 
65*0b57cec5SDimitry Andric   // If we cannot identify the broker function we cannot create a callback and
66*0b57cec5SDimitry Andric   // invalidate the abstract call site.
67*0b57cec5SDimitry Andric   Function *Callee = CS.getCalledFunction();
68*0b57cec5SDimitry Andric   if (!Callee) {
69*0b57cec5SDimitry Andric     NumInvalidAbstractCallSitesUnknownCallee++;
70*0b57cec5SDimitry Andric     CS = CallSite();
71*0b57cec5SDimitry Andric     return;
72*0b57cec5SDimitry Andric   }
73*0b57cec5SDimitry Andric 
74*0b57cec5SDimitry Andric   MDNode *CallbackMD = Callee->getMetadata(LLVMContext::MD_callback);
75*0b57cec5SDimitry Andric   if (!CallbackMD) {
76*0b57cec5SDimitry Andric     NumInvalidAbstractCallSitesNoCallback++;
77*0b57cec5SDimitry Andric     CS = CallSite();
78*0b57cec5SDimitry Andric     return;
79*0b57cec5SDimitry Andric   }
80*0b57cec5SDimitry Andric 
81*0b57cec5SDimitry Andric   unsigned UseIdx = CS.getArgumentNo(U);
82*0b57cec5SDimitry Andric   MDNode *CallbackEncMD = nullptr;
83*0b57cec5SDimitry Andric   for (const MDOperand &Op : CallbackMD->operands()) {
84*0b57cec5SDimitry Andric     MDNode *OpMD = cast<MDNode>(Op.get());
85*0b57cec5SDimitry Andric     auto *CBCalleeIdxAsCM = cast<ConstantAsMetadata>(OpMD->getOperand(0));
86*0b57cec5SDimitry Andric     uint64_t CBCalleeIdx =
87*0b57cec5SDimitry Andric         cast<ConstantInt>(CBCalleeIdxAsCM->getValue())->getZExtValue();
88*0b57cec5SDimitry Andric     if (CBCalleeIdx != UseIdx)
89*0b57cec5SDimitry Andric       continue;
90*0b57cec5SDimitry Andric     CallbackEncMD = OpMD;
91*0b57cec5SDimitry Andric     break;
92*0b57cec5SDimitry Andric   }
93*0b57cec5SDimitry Andric 
94*0b57cec5SDimitry Andric   if (!CallbackEncMD) {
95*0b57cec5SDimitry Andric     NumInvalidAbstractCallSitesNoCallback++;
96*0b57cec5SDimitry Andric     CS = CallSite();
97*0b57cec5SDimitry Andric     return;
98*0b57cec5SDimitry Andric   }
99*0b57cec5SDimitry Andric 
100*0b57cec5SDimitry Andric   NumCallbackCallSites++;
101*0b57cec5SDimitry Andric 
102*0b57cec5SDimitry Andric   assert(CallbackEncMD->getNumOperands() >= 2 && "Incomplete !callback metadata");
103*0b57cec5SDimitry Andric 
104*0b57cec5SDimitry Andric   unsigned NumCallOperands = CS.getNumArgOperands();
105*0b57cec5SDimitry Andric   // Skip the var-arg flag at the end when reading the metadata.
106*0b57cec5SDimitry Andric   for (unsigned u = 0, e = CallbackEncMD->getNumOperands() - 1; u < e; u++) {
107*0b57cec5SDimitry Andric     Metadata *OpAsM = CallbackEncMD->getOperand(u).get();
108*0b57cec5SDimitry Andric     auto *OpAsCM = cast<ConstantAsMetadata>(OpAsM);
109*0b57cec5SDimitry Andric     assert(OpAsCM->getType()->isIntegerTy(64) &&
110*0b57cec5SDimitry Andric            "Malformed !callback metadata");
111*0b57cec5SDimitry Andric 
112*0b57cec5SDimitry Andric     int64_t Idx = cast<ConstantInt>(OpAsCM->getValue())->getSExtValue();
113*0b57cec5SDimitry Andric     assert(-1 <= Idx && Idx <= NumCallOperands &&
114*0b57cec5SDimitry Andric            "Out-of-bounds !callback metadata index");
115*0b57cec5SDimitry Andric 
116*0b57cec5SDimitry Andric     CI.ParameterEncoding.push_back(Idx);
117*0b57cec5SDimitry Andric   }
118*0b57cec5SDimitry Andric 
119*0b57cec5SDimitry Andric   if (!Callee->isVarArg())
120*0b57cec5SDimitry Andric     return;
121*0b57cec5SDimitry Andric 
122*0b57cec5SDimitry Andric   Metadata *VarArgFlagAsM =
123*0b57cec5SDimitry Andric       CallbackEncMD->getOperand(CallbackEncMD->getNumOperands() - 1).get();
124*0b57cec5SDimitry Andric   auto *VarArgFlagAsCM = cast<ConstantAsMetadata>(VarArgFlagAsM);
125*0b57cec5SDimitry Andric   assert(VarArgFlagAsCM->getType()->isIntegerTy(1) &&
126*0b57cec5SDimitry Andric          "Malformed !callback metadata var-arg flag");
127*0b57cec5SDimitry Andric 
128*0b57cec5SDimitry Andric   if (VarArgFlagAsCM->getValue()->isNullValue())
129*0b57cec5SDimitry Andric     return;
130*0b57cec5SDimitry Andric 
131*0b57cec5SDimitry Andric   // Add all variadic arguments at the end.
132*0b57cec5SDimitry Andric   for (unsigned u = Callee->arg_size(); u < NumCallOperands; u++)
133*0b57cec5SDimitry Andric     CI.ParameterEncoding.push_back(u);
134*0b57cec5SDimitry Andric }
135