blob: b4c5ca7c6a12043c8de3ccd4eb7f4a170ff46c9f [file] [log] [blame]
Benjamin Kramer6b841f12014-04-12 14:26:59 +00001//===---- llvm/MDBuilder.cpp - Builder for LLVM metadata ------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the MDBuilder class, which is used as a convenient way to
11// create LLVM metadata with a consistent and simplified interface.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/IR/MDBuilder.h"
16#include "llvm/IR/Constants.h"
17#include "llvm/IR/Metadata.h"
18using namespace llvm;
19
20MDString *MDBuilder::createString(StringRef Str) {
21 return MDString::get(Context, Str);
22}
23
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000024ConstantAsMetadata *MDBuilder::createConstant(Constant *C) {
25 return ConstantAsMetadata::get(C);
26}
27
Benjamin Kramer6b841f12014-04-12 14:26:59 +000028MDNode *MDBuilder::createFPMath(float Accuracy) {
29 if (Accuracy == 0.0)
Craig Topper2617dcc2014-04-15 06:32:26 +000030 return nullptr;
Benjamin Kramer6b841f12014-04-12 14:26:59 +000031 assert(Accuracy > 0.0 && "Invalid fpmath accuracy!");
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000032 auto *Op =
33 createConstant(ConstantFP::get(Type::getFloatTy(Context), Accuracy));
Benjamin Kramer6b841f12014-04-12 14:26:59 +000034 return MDNode::get(Context, Op);
35}
36
37MDNode *MDBuilder::createBranchWeights(uint32_t TrueWeight,
38 uint32_t FalseWeight) {
39 uint32_t Weights[] = {TrueWeight, FalseWeight};
40 return createBranchWeights(Weights);
41}
42
43MDNode *MDBuilder::createBranchWeights(ArrayRef<uint32_t> Weights) {
44 assert(Weights.size() >= 2 && "Need at least two branch weights!");
45
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000046 SmallVector<Metadata *, 4> Vals(Weights.size() + 1);
Benjamin Kramer6b841f12014-04-12 14:26:59 +000047 Vals[0] = createString("branch_weights");
48
49 Type *Int32Ty = Type::getInt32Ty(Context);
50 for (unsigned i = 0, e = Weights.size(); i != e; ++i)
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000051 Vals[i + 1] = createConstant(ConstantInt::get(Int32Ty, Weights[i]));
Benjamin Kramer6b841f12014-04-12 14:26:59 +000052
53 return MDNode::get(Context, Vals);
54}
55
Diego Novillo2567f3d2015-05-13 15:13:45 +000056MDNode *MDBuilder::createFunctionEntryCount(uint64_t Count) {
57 SmallVector<Metadata *, 2> Vals(2);
58 Vals[0] = createString("function_entry_count");
59
60 Type *Int64Ty = Type::getInt64Ty(Context);
61 Vals[1] = createConstant(ConstantInt::get(Int64Ty, Count));
62
63 return MDNode::get(Context, Vals);
64}
65
Benjamin Kramer6b841f12014-04-12 14:26:59 +000066MDNode *MDBuilder::createRange(const APInt &Lo, const APInt &Hi) {
67 assert(Lo.getBitWidth() == Hi.getBitWidth() && "Mismatched bitwidths!");
Charles Davis33d1dc02015-02-25 05:10:25 +000068
69 Type *Ty = IntegerType::get(Context, Lo.getBitWidth());
70 return createRange(ConstantInt::get(Ty, Lo), ConstantInt::get(Ty, Hi));
71}
72
73MDNode *MDBuilder::createRange(Constant *Lo, Constant *Hi) {
Benjamin Kramer6b841f12014-04-12 14:26:59 +000074 // If the range is everything then it is useless.
75 if (Hi == Lo)
76 return nullptr;
77
78 // Return the range [Lo, Hi).
Charles Davis33d1dc02015-02-25 05:10:25 +000079 Metadata *Range[2] = {createConstant(Lo), createConstant(Hi)};
Benjamin Kramer6b841f12014-04-12 14:26:59 +000080 return MDNode::get(Context, Range);
81}
82
Hal Finkel029cde62014-07-25 15:50:02 +000083MDNode *MDBuilder::createAnonymousAARoot(StringRef Name, MDNode *Extra) {
Benjamin Kramer6b841f12014-04-12 14:26:59 +000084 // To ensure uniqueness the root node is self-referential.
Duncan P. N. Exon Smith7d823132015-01-19 21:30:18 +000085 auto Dummy = MDNode::getTemporary(Context, None);
Hal Finkel94146652014-07-24 14:25:39 +000086
Duncan P. N. Exon Smith7d823132015-01-19 21:30:18 +000087 SmallVector<Metadata *, 3> Args(1, Dummy.get());
Hal Finkel029cde62014-07-25 15:50:02 +000088 if (Extra)
89 Args.push_back(Extra);
Hal Finkel94146652014-07-24 14:25:39 +000090 if (!Name.empty())
91 Args.push_back(createString(Name));
92 MDNode *Root = MDNode::get(Context, Args);
93
Benjamin Kramer6b841f12014-04-12 14:26:59 +000094 // At this point we have
95 // !0 = metadata !{} <- dummy
96 // !1 = metadata !{metadata !0} <- root
97 // Replace the dummy operand with the root node itself and delete the dummy.
98 Root->replaceOperandWith(0, Root);
Duncan P. N. Exon Smith7d823132015-01-19 21:30:18 +000099
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000100 // We now have
101 // !1 = metadata !{metadata !1} <- self-referential root
102 return Root;
103}
104
105MDNode *MDBuilder::createTBAARoot(StringRef Name) {
106 return MDNode::get(Context, createString(Name));
107}
108
109/// \brief Return metadata for a non-root TBAA node with the given name,
110/// parent in the TBAA tree, and value for 'pointsToConstantMemory'.
111MDNode *MDBuilder::createTBAANode(StringRef Name, MDNode *Parent,
112 bool isConstant) {
113 if (isConstant) {
114 Constant *Flags = ConstantInt::get(Type::getInt64Ty(Context), 1);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000115 Metadata *Ops[3] = {createString(Name), Parent, createConstant(Flags)};
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000116 return MDNode::get(Context, Ops);
117 } else {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000118 Metadata *Ops[2] = {createString(Name), Parent};
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000119 return MDNode::get(Context, Ops);
120 }
121}
122
Hal Finkel029cde62014-07-25 15:50:02 +0000123MDNode *MDBuilder::createAliasScopeDomain(StringRef Name) {
Hal Finkel94146652014-07-24 14:25:39 +0000124 return MDNode::get(Context, createString(Name));
125}
126
Hal Finkel029cde62014-07-25 15:50:02 +0000127MDNode *MDBuilder::createAliasScope(StringRef Name, MDNode *Domain) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000128 Metadata *Ops[2] = {createString(Name), Domain};
Hal Finkel94146652014-07-24 14:25:39 +0000129 return MDNode::get(Context, Ops);
130}
131
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000132/// \brief Return metadata for a tbaa.struct node with the given
133/// struct field descriptions.
134MDNode *MDBuilder::createTBAAStructNode(ArrayRef<TBAAStructField> Fields) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000135 SmallVector<Metadata *, 4> Vals(Fields.size() * 3);
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000136 Type *Int64 = Type::getInt64Ty(Context);
137 for (unsigned i = 0, e = Fields.size(); i != e; ++i) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000138 Vals[i * 3 + 0] = createConstant(ConstantInt::get(Int64, Fields[i].Offset));
139 Vals[i * 3 + 1] = createConstant(ConstantInt::get(Int64, Fields[i].Size));
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000140 Vals[i * 3 + 2] = Fields[i].TBAA;
141 }
142 return MDNode::get(Context, Vals);
143}
144
145/// \brief Return metadata for a TBAA struct node in the type DAG
146/// with the given name, a list of pairs (offset, field type in the type DAG).
147MDNode *MDBuilder::createTBAAStructTypeNode(
148 StringRef Name, ArrayRef<std::pair<MDNode *, uint64_t>> Fields) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000149 SmallVector<Metadata *, 4> Ops(Fields.size() * 2 + 1);
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000150 Type *Int64 = Type::getInt64Ty(Context);
151 Ops[0] = createString(Name);
152 for (unsigned i = 0, e = Fields.size(); i != e; ++i) {
153 Ops[i * 2 + 1] = Fields[i].first;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000154 Ops[i * 2 + 2] = createConstant(ConstantInt::get(Int64, Fields[i].second));
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000155 }
156 return MDNode::get(Context, Ops);
157}
158
159/// \brief Return metadata for a TBAA scalar type node with the
160/// given name, an offset and a parent in the TBAA type DAG.
161MDNode *MDBuilder::createTBAAScalarTypeNode(StringRef Name, MDNode *Parent,
162 uint64_t Offset) {
163 ConstantInt *Off = ConstantInt::get(Type::getInt64Ty(Context), Offset);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000164 Metadata *Ops[3] = {createString(Name), Parent, createConstant(Off)};
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000165 return MDNode::get(Context, Ops);
166}
167
168/// \brief Return metadata for a TBAA tag node with the given
169/// base type, access type and offset relative to the base type.
170MDNode *MDBuilder::createTBAAStructTagNode(MDNode *BaseType, MDNode *AccessType,
Artur Pilipenkoa82f8db2015-06-01 14:53:55 +0000171 uint64_t Offset, bool IsConstant) {
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000172 Type *Int64 = Type::getInt64Ty(Context);
Artur Pilipenkoa82f8db2015-06-01 14:53:55 +0000173 if (IsConstant) {
174 Metadata *Ops[4] = {BaseType, AccessType,
175 createConstant(ConstantInt::get(Int64, Offset)),
176 createConstant(ConstantInt::get(Int64, 1))};
177 return MDNode::get(Context, Ops);
178 } else {
179 Metadata *Ops[3] = {BaseType, AccessType,
180 createConstant(ConstantInt::get(Int64, Offset))};
181 return MDNode::get(Context, Ops);
182 }
Benjamin Kramer6b841f12014-04-12 14:26:59 +0000183}