blob: d8596924719bdae9b8768ed372da084ff86fa42a [file] [log] [blame]
Easwaran Ramane5a17e32016-05-19 21:07:12 +00001//=-- Profilesummary.cpp - Profile summary support --------------------------=//
Easwaran Ramand68aae22016-02-04 23:34:31 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Easwaran Ramand68aae22016-02-04 23:34:31 +00006//
7//===----------------------------------------------------------------------===//
8//
Easwaran Ramane5a17e32016-05-19 21:07:12 +00009// This file contains support for converting profile summary data from/to
10// metadata.
Easwaran Ramand68aae22016-02-04 23:34:31 +000011//
12//===----------------------------------------------------------------------===//
13
Easwaran Ramane5a17e32016-05-19 21:07:12 +000014#include "llvm/IR/ProfileSummary.h"
Dehao Chenf84b6302016-02-23 03:39:24 +000015#include "llvm/IR/Attributes.h"
Easwaran Raman7c4f25d2016-03-01 18:30:58 +000016#include "llvm/IR/Constants.h"
Dehao Chenf84b6302016-02-23 03:39:24 +000017#include "llvm/IR/Function.h"
Easwaran Raman7c4f25d2016-03-01 18:30:58 +000018#include "llvm/IR/Metadata.h"
19#include "llvm/IR/Type.h"
Easwaran Raman7c4f25d2016-03-01 18:30:58 +000020#include "llvm/Support/Casting.h"
Easwaran Ramand68aae22016-02-04 23:34:31 +000021
22using namespace llvm;
23
Easwaran Raman8832e5e2016-03-01 18:59:11 +000024const char *ProfileSummary::KindStr[2] = {"InstrProf", "SampleProfile"};
Easwaran Raman40ee23d2016-02-19 03:15:33 +000025
Easwaran Raman7c4f25d2016-03-01 18:30:58 +000026// Return an MDTuple with two elements. The first element is a string Key and
27// the second is a uint64_t Value.
28static Metadata *getKeyValMD(LLVMContext &Context, const char *Key,
29 uint64_t Val) {
30 Type *Int64Ty = Type::getInt64Ty(Context);
31 Metadata *Ops[2] = {MDString::get(Context, Key),
32 ConstantAsMetadata::get(ConstantInt::get(Int64Ty, Val))};
33 return MDTuple::get(Context, Ops);
34}
35
36// Return an MDTuple with two elements. The first element is a string Key and
37// the second is a string Value.
38static Metadata *getKeyValMD(LLVMContext &Context, const char *Key,
39 const char *Val) {
40 Metadata *Ops[2] = {MDString::get(Context, Key), MDString::get(Context, Val)};
41 return MDTuple::get(Context, Ops);
42}
43
44// This returns an MDTuple representing the detiled summary. The tuple has two
45// elements: a string "DetailedSummary" and an MDTuple representing the value
46// of the detailed summary. Each element of this tuple is again an MDTuple whose
47// elements are the (Cutoff, MinCount, NumCounts) triplet of the
48// DetailedSummaryEntry.
49Metadata *ProfileSummary::getDetailedSummaryMD(LLVMContext &Context) {
50 std::vector<Metadata *> Entries;
51 Type *Int32Ty = Type::getInt32Ty(Context);
52 Type *Int64Ty = Type::getInt64Ty(Context);
53 for (auto &Entry : DetailedSummary) {
54 Metadata *EntryMD[3] = {
55 ConstantAsMetadata::get(ConstantInt::get(Int32Ty, Entry.Cutoff)),
56 ConstantAsMetadata::get(ConstantInt::get(Int64Ty, Entry.MinCount)),
57 ConstantAsMetadata::get(ConstantInt::get(Int32Ty, Entry.NumCounts))};
58 Entries.push_back(MDTuple::get(Context, EntryMD));
59 }
60 Metadata *Ops[2] = {MDString::get(Context, "DetailedSummary"),
61 MDTuple::get(Context, Entries)};
62 return MDTuple::get(Context, Ops);
63}
64
65// This returns an MDTuple representing this ProfileSummary object. The first
66// entry of this tuple is another MDTuple of two elements: a string
67// "ProfileFormat" and a string representing the format ("InstrProf" or
68// "SampleProfile"). The rest of the elements of the outer MDTuple are specific
69// to the kind of profile summary as returned by getFormatSpecificMD.
70Metadata *ProfileSummary::getMD(LLVMContext &Context) {
George Burgess IV85fc4c32018-04-12 19:48:05 +000071 Metadata *Components[] = {
72 getKeyValMD(Context, "ProfileFormat", KindStr[PSK]),
73 getKeyValMD(Context, "TotalCount", getTotalCount()),
74 getKeyValMD(Context, "MaxCount", getMaxCount()),
75 getKeyValMD(Context, "MaxInternalCount", getMaxInternalCount()),
76 getKeyValMD(Context, "MaxFunctionCount", getMaxFunctionCount()),
77 getKeyValMD(Context, "NumCounts", getNumCounts()),
78 getKeyValMD(Context, "NumFunctions", getNumFunctions()),
79 getDetailedSummaryMD(Context),
80 };
Easwaran Raman7cefdb82016-05-19 21:53:28 +000081 return MDTuple::get(Context, Components);
Easwaran Raman7c4f25d2016-03-01 18:30:58 +000082}
83
84// Parse an MDTuple representing (Key, Val) pair.
85static bool getVal(MDTuple *MD, const char *Key, uint64_t &Val) {
86 if (!MD)
87 return false;
88 if (MD->getNumOperands() != 2)
89 return false;
90 MDString *KeyMD = dyn_cast<MDString>(MD->getOperand(0));
91 ConstantAsMetadata *ValMD = dyn_cast<ConstantAsMetadata>(MD->getOperand(1));
92 if (!KeyMD || !ValMD)
93 return false;
94 if (!KeyMD->getString().equals(Key))
95 return false;
96 Val = cast<ConstantInt>(ValMD->getValue())->getZExtValue();
97 return true;
98}
99
100// Check if an MDTuple represents a (Key, Val) pair.
101static bool isKeyValuePair(MDTuple *MD, const char *Key, const char *Val) {
102 if (!MD || MD->getNumOperands() != 2)
103 return false;
104 MDString *KeyMD = dyn_cast<MDString>(MD->getOperand(0));
105 MDString *ValMD = dyn_cast<MDString>(MD->getOperand(1));
106 if (!KeyMD || !ValMD)
107 return false;
108 if (!KeyMD->getString().equals(Key) || !ValMD->getString().equals(Val))
109 return false;
110 return true;
111}
112
113// Parse an MDTuple representing detailed summary.
114static bool getSummaryFromMD(MDTuple *MD, SummaryEntryVector &Summary) {
115 if (!MD || MD->getNumOperands() != 2)
116 return false;
117 MDString *KeyMD = dyn_cast<MDString>(MD->getOperand(0));
118 if (!KeyMD || !KeyMD->getString().equals("DetailedSummary"))
119 return false;
120 MDTuple *EntriesMD = dyn_cast<MDTuple>(MD->getOperand(1));
121 if (!EntriesMD)
122 return false;
123 for (auto &&MDOp : EntriesMD->operands()) {
124 MDTuple *EntryMD = dyn_cast<MDTuple>(MDOp);
125 if (!EntryMD || EntryMD->getNumOperands() != 3)
126 return false;
127 ConstantAsMetadata *Op0 =
128 dyn_cast<ConstantAsMetadata>(EntryMD->getOperand(0));
129 ConstantAsMetadata *Op1 =
130 dyn_cast<ConstantAsMetadata>(EntryMD->getOperand(1));
131 ConstantAsMetadata *Op2 =
132 dyn_cast<ConstantAsMetadata>(EntryMD->getOperand(2));
133
134 if (!Op0 || !Op1 || !Op2)
135 return false;
136 Summary.emplace_back(cast<ConstantInt>(Op0->getValue())->getZExtValue(),
137 cast<ConstantInt>(Op1->getValue())->getZExtValue(),
138 cast<ConstantInt>(Op2->getValue())->getZExtValue());
139 }
140 return true;
141}
142
Easwaran Raman7c4f25d2016-03-01 18:30:58 +0000143ProfileSummary *ProfileSummary::getFromMD(Metadata *MD) {
George Burgess IV85fc4c32018-04-12 19:48:05 +0000144 MDTuple *Tuple = dyn_cast_or_null<MDTuple>(MD);
145 if (!Tuple || Tuple->getNumOperands() != 8)
Easwaran Raman7cefdb82016-05-19 21:53:28 +0000146 return nullptr;
147
Easwaran Raman7c4f25d2016-03-01 18:30:58 +0000148 auto &FormatMD = Tuple->getOperand(0);
Easwaran Raman7cefdb82016-05-19 21:53:28 +0000149 ProfileSummary::Kind SummaryKind;
Easwaran Raman7c4f25d2016-03-01 18:30:58 +0000150 if (isKeyValuePair(dyn_cast_or_null<MDTuple>(FormatMD), "ProfileFormat",
151 "SampleProfile"))
Easwaran Raman7cefdb82016-05-19 21:53:28 +0000152 SummaryKind = PSK_Sample;
Easwaran Raman7c4f25d2016-03-01 18:30:58 +0000153 else if (isKeyValuePair(dyn_cast_or_null<MDTuple>(FormatMD), "ProfileFormat",
154 "InstrProf"))
Easwaran Raman7cefdb82016-05-19 21:53:28 +0000155 SummaryKind = PSK_Instr;
Easwaran Raman7c4f25d2016-03-01 18:30:58 +0000156 else
157 return nullptr;
Easwaran Raman7cefdb82016-05-19 21:53:28 +0000158
159 uint64_t NumCounts, TotalCount, NumFunctions, MaxFunctionCount, MaxCount,
160 MaxInternalCount;
161 if (!getVal(dyn_cast<MDTuple>(Tuple->getOperand(1)), "TotalCount",
162 TotalCount))
163 return nullptr;
164 if (!getVal(dyn_cast<MDTuple>(Tuple->getOperand(2)), "MaxCount", MaxCount))
165 return nullptr;
166 if (!getVal(dyn_cast<MDTuple>(Tuple->getOperand(3)), "MaxInternalCount",
167 MaxInternalCount))
168 return nullptr;
169 if (!getVal(dyn_cast<MDTuple>(Tuple->getOperand(4)), "MaxFunctionCount",
170 MaxFunctionCount))
171 return nullptr;
172 if (!getVal(dyn_cast<MDTuple>(Tuple->getOperand(5)), "NumCounts", NumCounts))
173 return nullptr;
174 if (!getVal(dyn_cast<MDTuple>(Tuple->getOperand(6)), "NumFunctions",
175 NumFunctions))
176 return nullptr;
177
178 SummaryEntryVector Summary;
179 if (!getSummaryFromMD(dyn_cast<MDTuple>(Tuple->getOperand(7)), Summary))
180 return nullptr;
George Burgess IV49331242018-04-12 20:54:05 +0000181 return new ProfileSummary(SummaryKind, std::move(Summary), TotalCount,
182 MaxCount, MaxInternalCount, MaxFunctionCount,
183 NumCounts, NumFunctions);
Easwaran Raman7c4f25d2016-03-01 18:30:58 +0000184}