blob: 9c4403c4ce02f1c99286a9e6c113e2c920c4ffd1 [file] [log] [blame]
Chandler Carruth74b6a772013-01-07 15:35:46 +00001//===- llvm/unittest/IR/Metadata.cpp - Metadata unit tests ----------------===//
Nick Lewycky49f89192009-04-04 07:22:01 +00002//
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
Chandler Carruth9fb823b2013-01-02 11:36:10 +000010#include "llvm/IR/Metadata.h"
11#include "llvm/IR/Constants.h"
12#include "llvm/IR/Instructions.h"
13#include "llvm/IR/LLVMContext.h"
14#include "llvm/IR/Module.h"
15#include "llvm/IR/Type.h"
Chandler Carruth130cec22012-12-04 10:23:08 +000016#include "llvm/Support/raw_ostream.h"
Chandler Carruth130cec22012-12-04 10:23:08 +000017#include "gtest/gtest.h"
Nick Lewycky49f89192009-04-04 07:22:01 +000018using namespace llvm;
19
20namespace {
21
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000022class MetadataTest : public testing::Test {
23protected:
24 LLVMContext Context;
Duncan P. N. Exon Smithfee167f2014-12-16 07:09:37 +000025 MDNode *getNode() { return MDNode::get(Context, None); }
26 MDNode *getNode(Metadata *MD) { return MDNode::get(Context, MD); }
27 MDNode *getNode(Metadata *MD1, Metadata *MD2) {
28 Metadata *MDs[] = {MD1, MD2};
29 return MDNode::get(Context, MDs);
30 }
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000031};
32typedef MetadataTest MDStringTest;
Owen Anderson23587322009-07-31 21:38:10 +000033
Nick Lewycky49f89192009-04-04 07:22:01 +000034// Test that construction of MDString with different value produces different
35// MDString objects, even with the same string pointer and nulls in the string.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000036TEST_F(MDStringTest, CreateDifferent) {
Nick Lewycky49f89192009-04-04 07:22:01 +000037 char x[3] = { 'f', 0, 'A' };
Owen Anderson23587322009-07-31 21:38:10 +000038 MDString *s1 = MDString::get(Context, StringRef(&x[0], 3));
Nick Lewycky49f89192009-04-04 07:22:01 +000039 x[2] = 'B';
Owen Anderson23587322009-07-31 21:38:10 +000040 MDString *s2 = MDString::get(Context, StringRef(&x[0], 3));
Nick Lewycky49f89192009-04-04 07:22:01 +000041 EXPECT_NE(s1, s2);
42}
43
44// Test that creation of MDStrings with the same string contents produces the
45// same MDString object, even with different pointers.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000046TEST_F(MDStringTest, CreateSame) {
Nick Lewycky49f89192009-04-04 07:22:01 +000047 char x[4] = { 'a', 'b', 'c', 'X' };
48 char y[4] = { 'a', 'b', 'c', 'Y' };
49
Owen Anderson23587322009-07-31 21:38:10 +000050 MDString *s1 = MDString::get(Context, StringRef(&x[0], 3));
51 MDString *s2 = MDString::get(Context, StringRef(&y[0], 3));
Nick Lewycky49f89192009-04-04 07:22:01 +000052 EXPECT_EQ(s1, s2);
53}
54
55// Test that MDString prints out the string we fed it.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000056TEST_F(MDStringTest, PrintingSimple) {
Nick Lewycky49f89192009-04-04 07:22:01 +000057 char *str = new char[13];
58 strncpy(str, "testing 1 2 3", 13);
Owen Anderson23587322009-07-31 21:38:10 +000059 MDString *s = MDString::get(Context, StringRef(str, 13));
Nick Lewycky49f89192009-04-04 07:22:01 +000060 strncpy(str, "aaaaaaaaaaaaa", 13);
61 delete[] str;
62
Chris Lattnerbe354a62009-08-23 04:47:35 +000063 std::string Str;
64 raw_string_ostream oss(Str);
Nick Lewycky49f89192009-04-04 07:22:01 +000065 s->print(oss);
Duncan P. N. Exon Smithbb7d2fb2014-12-16 07:40:31 +000066 EXPECT_STREQ("!\"testing 1 2 3\"", oss.str().c_str());
Nick Lewycky49f89192009-04-04 07:22:01 +000067}
68
69// Test printing of MDString with non-printable characters.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000070TEST_F(MDStringTest, PrintingComplex) {
Jeffrey Yasskin065c3572011-08-30 20:53:29 +000071 char str[5] = {0, '\n', '"', '\\', (char)-1};
Owen Anderson23587322009-07-31 21:38:10 +000072 MDString *s = MDString::get(Context, StringRef(str+0, 5));
Chris Lattnerbe354a62009-08-23 04:47:35 +000073 std::string Str;
74 raw_string_ostream oss(Str);
Nick Lewycky49f89192009-04-04 07:22:01 +000075 s->print(oss);
Duncan P. N. Exon Smithbb7d2fb2014-12-16 07:40:31 +000076 EXPECT_STREQ("!\"\\00\\0A\\22\\5C\\FF\"", oss.str().c_str());
Nick Lewycky49f89192009-04-04 07:22:01 +000077}
78
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000079typedef MetadataTest MDNodeTest;
80
Nick Lewycky49f89192009-04-04 07:22:01 +000081// Test the two constructors, and containing other Constants.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000082TEST_F(MDNodeTest, Simple) {
Nick Lewycky49f89192009-04-04 07:22:01 +000083 char x[3] = { 'a', 'b', 'c' };
84 char y[3] = { '1', '2', '3' };
85
Owen Anderson23587322009-07-31 21:38:10 +000086 MDString *s1 = MDString::get(Context, StringRef(&x[0], 3));
87 MDString *s2 = MDString::get(Context, StringRef(&y[0], 3));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000088 ConstantAsMetadata *CI = ConstantAsMetadata::get(
89 ConstantInt::get(getGlobalContext(), APInt(8, 0)));
Nick Lewycky49f89192009-04-04 07:22:01 +000090
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000091 std::vector<Metadata *> V;
Nick Lewycky49f89192009-04-04 07:22:01 +000092 V.push_back(s1);
93 V.push_back(CI);
94 V.push_back(s2);
95
Jay Foad5514afe2011-04-21 19:59:31 +000096 MDNode *n1 = MDNode::get(Context, V);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000097 Metadata *const c1 = n1;
Jay Foad5514afe2011-04-21 19:59:31 +000098 MDNode *n2 = MDNode::get(Context, c1);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000099 Metadata *const c2 = n2;
Jay Foad5514afe2011-04-21 19:59:31 +0000100 MDNode *n3 = MDNode::get(Context, V);
Duncan Sands26a80f32012-03-31 08:20:11 +0000101 MDNode *n4 = MDNode::getIfExists(Context, V);
102 MDNode *n5 = MDNode::getIfExists(Context, c1);
103 MDNode *n6 = MDNode::getIfExists(Context, c2);
Nick Lewycky49f89192009-04-04 07:22:01 +0000104 EXPECT_NE(n1, n2);
Devang Patelf7188322009-09-03 01:39:20 +0000105 EXPECT_EQ(n1, n3);
Duncan Sands26a80f32012-03-31 08:20:11 +0000106 EXPECT_EQ(n4, n1);
107 EXPECT_EQ(n5, n2);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000108 EXPECT_EQ(n6, (Metadata *)nullptr);
Nick Lewycky49f89192009-04-04 07:22:01 +0000109
Chris Lattner9b493022009-12-31 01:22:29 +0000110 EXPECT_EQ(3u, n1->getNumOperands());
111 EXPECT_EQ(s1, n1->getOperand(0));
112 EXPECT_EQ(CI, n1->getOperand(1));
113 EXPECT_EQ(s2, n1->getOperand(2));
Nick Lewycky49f89192009-04-04 07:22:01 +0000114
Chris Lattner9b493022009-12-31 01:22:29 +0000115 EXPECT_EQ(1u, n2->getNumOperands());
116 EXPECT_EQ(n1, n2->getOperand(0));
Nick Lewycky49f89192009-04-04 07:22:01 +0000117}
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000118
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +0000119TEST_F(MDNodeTest, Delete) {
Owen Anderson55f1c092009-08-13 21:58:54 +0000120 Constant *C = ConstantInt::get(Type::getInt32Ty(getGlobalContext()), 1);
121 Instruction *I = new BitCastInst(C, Type::getInt32Ty(getGlobalContext()));
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000122
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000123 Metadata *const V = LocalAsMetadata::get(I);
Jay Foad5514afe2011-04-21 19:59:31 +0000124 MDNode *n = MDNode::get(Context, V);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000125 TrackingMDRef wvh(n);
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000126
127 EXPECT_EQ(n, wvh);
128
129 delete I;
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000130}
Devang Patel0924b332009-07-30 00:03:41 +0000131
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000132TEST_F(MDNodeTest, SelfReference) {
Duncan P. N. Exon Smith8c662732014-12-16 07:45:05 +0000133 // !0 = !{!0}
134 // !1 = !{!0}
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000135 {
136 MDNode *Temp = MDNode::getTemporary(Context, None);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000137 Metadata *Args[] = {Temp};
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000138 MDNode *Self = MDNode::get(Context, Args);
139 Self->replaceOperandWith(0, Self);
140 MDNode::deleteTemporary(Temp);
141 ASSERT_EQ(Self, Self->getOperand(0));
142
143 // Self-references should be distinct, so MDNode::get() should grab a
144 // uniqued node that references Self, not Self.
145 Args[0] = Self;
146 MDNode *Ref1 = MDNode::get(Context, Args);
147 MDNode *Ref2 = MDNode::get(Context, Args);
148 EXPECT_NE(Self, Ref1);
149 EXPECT_EQ(Ref1, Ref2);
150 }
151
Duncan P. N. Exon Smith8c662732014-12-16 07:45:05 +0000152 // !0 = !{!0, !{}}
153 // !1 = !{!0, !{}}
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000154 {
155 MDNode *Temp = MDNode::getTemporary(Context, None);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000156 Metadata *Args[] = {Temp, MDNode::get(Context, None)};
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000157 MDNode *Self = MDNode::get(Context, Args);
158 Self->replaceOperandWith(0, Self);
159 MDNode::deleteTemporary(Temp);
160 ASSERT_EQ(Self, Self->getOperand(0));
161
162 // Self-references should be distinct, so MDNode::get() should grab a
163 // uniqued node that references Self, not Self itself.
164 Args[0] = Self;
165 MDNode *Ref1 = MDNode::get(Context, Args);
166 MDNode *Ref2 = MDNode::get(Context, Args);
167 EXPECT_NE(Self, Ref1);
168 EXPECT_EQ(Ref1, Ref2);
169 }
170}
171
Duncan P. N. Exon Smithfee167f2014-12-16 07:09:37 +0000172TEST_F(MDNodeTest, Print) {
173 Constant *C = ConstantInt::get(Type::getInt32Ty(Context), 7);
174 MDString *S = MDString::get(Context, "foo");
175 MDNode *N0 = getNode();
176 MDNode *N1 = getNode(N0);
177 MDNode *N2 = getNode(N0, N1);
178
179 Metadata *Args[] = {ConstantAsMetadata::get(C), S, nullptr, N0, N1, N2};
180 MDNode *N = MDNode::get(Context, Args);
181
182 std::string Expected;
183 {
184 raw_string_ostream OS(Expected);
Duncan P. N. Exon Smithbb7d2fb2014-12-16 07:40:31 +0000185 OS << "!{";
Duncan P. N. Exon Smithfee167f2014-12-16 07:09:37 +0000186 C->printAsOperand(OS);
187 OS << ", ";
Duncan P. N. Exon Smithbb7d2fb2014-12-16 07:40:31 +0000188 S->printAsOperand(OS);
Duncan P. N. Exon Smithfee167f2014-12-16 07:09:37 +0000189 OS << ", null";
190 MDNode *Nodes[] = {N0, N1, N2};
191 for (auto *Node : Nodes)
192 OS << ", <" << (void *)Node << ">";
193 OS << "}\n";
194 }
195
196 std::string Actual;
197 {
198 raw_string_ostream OS(Actual);
199 N->print(OS);
200 }
201
202 EXPECT_EQ(Expected, Actual);
203}
204
Duncan P. N. Exon Smithbcd960a2015-01-05 23:31:54 +0000205TEST_F(MDNodeTest, NullOperand) {
206 // metadata !{}
207 MDNode *Empty = MDNode::get(Context, None);
208
209 // metadata !{metadata !{}}
210 Metadata *Ops[] = {Empty};
211 MDNode *N = MDNode::get(Context, Ops);
212 ASSERT_EQ(Empty, N->getOperand(0));
213
214 // metadata !{metadata !{}} => metadata !{null}
215 N->replaceOperandWith(0, nullptr);
216 ASSERT_EQ(nullptr, N->getOperand(0));
217
218 // metadata !{null}
219 Ops[0] = nullptr;
220 MDNode *NullOp = MDNode::get(Context, Ops);
221 ASSERT_EQ(nullptr, NullOp->getOperand(0));
222 EXPECT_EQ(N, NullOp);
223}
224
Duncan P. N. Exon Smith136ea3f2015-01-07 21:35:38 +0000225TEST_F(MDNodeTest, DistinctOnUniquingCollision) {
226 // !{}
227 MDNode *Empty = MDNode::get(Context, None);
228 ASSERT_TRUE(Empty->isResolved());
229 EXPECT_FALSE(Empty->isDistinct());
230
231 // !{!{}}
232 Metadata *Wrapped1Ops[] = {Empty};
233 MDNode *Wrapped1 = MDNode::get(Context, Wrapped1Ops);
234 ASSERT_EQ(Empty, Wrapped1->getOperand(0));
235 ASSERT_TRUE(Wrapped1->isResolved());
236 EXPECT_FALSE(Wrapped1->isDistinct());
237
238 // !{!{!{}}}
239 Metadata *Wrapped2Ops[] = {Wrapped1};
240 MDNode *Wrapped2 = MDNode::get(Context, Wrapped2Ops);
241 ASSERT_EQ(Wrapped1, Wrapped2->getOperand(0));
242 ASSERT_TRUE(Wrapped2->isResolved());
243 EXPECT_FALSE(Wrapped2->isDistinct());
244
245 // !{!{!{}}} => !{!{}}
246 Wrapped2->replaceOperandWith(0, Empty);
247 ASSERT_EQ(Empty, Wrapped2->getOperand(0));
248 EXPECT_TRUE(Wrapped2->isDistinct());
249 EXPECT_FALSE(Wrapped1->isDistinct());
250}
251
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000252typedef MetadataTest MetadataAsValueTest;
253
254TEST_F(MetadataAsValueTest, MDNode) {
255 MDNode *N = MDNode::get(Context, None);
256 auto *V = MetadataAsValue::get(Context, N);
257 EXPECT_TRUE(V->getType()->isMetadataTy());
258 EXPECT_EQ(N, V->getMetadata());
259
260 auto *V2 = MetadataAsValue::get(Context, N);
261 EXPECT_EQ(V, V2);
262}
263
264TEST_F(MetadataAsValueTest, MDNodeMDNode) {
265 MDNode *N = MDNode::get(Context, None);
266 Metadata *Ops[] = {N};
267 MDNode *N2 = MDNode::get(Context, Ops);
268 auto *V = MetadataAsValue::get(Context, N2);
269 EXPECT_TRUE(V->getType()->isMetadataTy());
270 EXPECT_EQ(N2, V->getMetadata());
271
272 auto *V2 = MetadataAsValue::get(Context, N2);
273 EXPECT_EQ(V, V2);
274
275 auto *V3 = MetadataAsValue::get(Context, N);
276 EXPECT_TRUE(V3->getType()->isMetadataTy());
277 EXPECT_NE(V, V3);
278 EXPECT_EQ(N, V3->getMetadata());
279}
280
281TEST_F(MetadataAsValueTest, MDNodeConstant) {
282 auto *C = ConstantInt::getTrue(Context);
283 auto *MD = ConstantAsMetadata::get(C);
284 Metadata *Ops[] = {MD};
285 auto *N = MDNode::get(Context, Ops);
286
287 auto *V = MetadataAsValue::get(Context, MD);
288 EXPECT_TRUE(V->getType()->isMetadataTy());
289 EXPECT_EQ(MD, V->getMetadata());
290
291 auto *V2 = MetadataAsValue::get(Context, N);
292 EXPECT_EQ(MD, V2->getMetadata());
293 EXPECT_EQ(V, V2);
294}
295
Duncan P. N. Exon Smith121eeff2014-12-12 19:24:33 +0000296typedef MetadataTest ValueAsMetadataTest;
297
298TEST_F(ValueAsMetadataTest, UpdatesOnRAUW) {
299 Type *Ty = Type::getInt1PtrTy(Context);
300 std::unique_ptr<GlobalVariable> GV0(
301 new GlobalVariable(Ty, false, GlobalValue::ExternalLinkage));
302 auto *MD = ValueAsMetadata::get(GV0.get());
303 EXPECT_TRUE(MD->getValue() == GV0.get());
304 ASSERT_TRUE(GV0->use_empty());
305
306 std::unique_ptr<GlobalVariable> GV1(
307 new GlobalVariable(Ty, false, GlobalValue::ExternalLinkage));
308 GV0->replaceAllUsesWith(GV1.get());
309 EXPECT_TRUE(MD->getValue() == GV1.get());
310}
311
312typedef MetadataTest TrackingMDRefTest;
313
314TEST_F(TrackingMDRefTest, UpdatesOnRAUW) {
315 Type *Ty = Type::getInt1PtrTy(Context);
316 std::unique_ptr<GlobalVariable> GV0(
317 new GlobalVariable(Ty, false, GlobalValue::ExternalLinkage));
318 TypedTrackingMDRef<ValueAsMetadata> MD(ValueAsMetadata::get(GV0.get()));
319 EXPECT_TRUE(MD->getValue() == GV0.get());
320 ASSERT_TRUE(GV0->use_empty());
321
322 std::unique_ptr<GlobalVariable> GV1(
323 new GlobalVariable(Ty, false, GlobalValue::ExternalLinkage));
324 GV0->replaceAllUsesWith(GV1.get());
325 EXPECT_TRUE(MD->getValue() == GV1.get());
326
327 // Reset it, so we don't inadvertently test deletion.
328 MD.reset();
329}
330
331TEST_F(TrackingMDRefTest, UpdatesOnDeletion) {
332 Type *Ty = Type::getInt1PtrTy(Context);
333 std::unique_ptr<GlobalVariable> GV(
334 new GlobalVariable(Ty, false, GlobalValue::ExternalLinkage));
335 TypedTrackingMDRef<ValueAsMetadata> MD(ValueAsMetadata::get(GV.get()));
336 EXPECT_TRUE(MD->getValue() == GV.get());
337 ASSERT_TRUE(GV->use_empty());
338
339 GV.reset();
340 EXPECT_TRUE(!MD);
341}
342
Devang Patel0924b332009-07-30 00:03:41 +0000343TEST(NamedMDNodeTest, Search) {
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +0000344 LLVMContext Context;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000345 ConstantAsMetadata *C =
346 ConstantAsMetadata::get(ConstantInt::get(Type::getInt32Ty(Context), 1));
347 ConstantAsMetadata *C2 =
348 ConstantAsMetadata::get(ConstantInt::get(Type::getInt32Ty(Context), 2));
Devang Patel0924b332009-07-30 00:03:41 +0000349
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000350 Metadata *const V = C;
351 Metadata *const V2 = C2;
Jay Foad5514afe2011-04-21 19:59:31 +0000352 MDNode *n = MDNode::get(Context, V);
353 MDNode *n2 = MDNode::get(Context, V2);
Devang Patel0924b332009-07-30 00:03:41 +0000354
Jeffrey Yasskin3d73d1a2010-03-13 01:39:20 +0000355 Module M("MyModule", Context);
Devang Patel0924b332009-07-30 00:03:41 +0000356 const char *Name = "llvm.NMD1";
Dan Gohman2637cc12010-07-21 23:38:33 +0000357 NamedMDNode *NMD = M.getOrInsertNamedMetadata(Name);
358 NMD->addOperand(n);
359 NMD->addOperand(n2);
360
Chris Lattnerbe354a62009-08-23 04:47:35 +0000361 std::string Str;
362 raw_string_ostream oss(Str);
Devang Patel0924b332009-07-30 00:03:41 +0000363 NMD->print(oss);
Chris Lattner1e6e3672009-12-31 02:12:13 +0000364 EXPECT_STREQ("!llvm.NMD1 = !{!0, !1}\n",
Devang Patel0924b332009-07-30 00:03:41 +0000365 oss.str().c_str());
366}
Nick Lewycky49f89192009-04-04 07:22:01 +0000367}