blob: d45aaae9316e704db197364bcf1a9b98cb346682 [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;
25};
26typedef MetadataTest MDStringTest;
Owen Anderson23587322009-07-31 21:38:10 +000027
Nick Lewycky49f89192009-04-04 07:22:01 +000028// Test that construction of MDString with different value produces different
29// MDString objects, even with the same string pointer and nulls in the string.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000030TEST_F(MDStringTest, CreateDifferent) {
Nick Lewycky49f89192009-04-04 07:22:01 +000031 char x[3] = { 'f', 0, 'A' };
Owen Anderson23587322009-07-31 21:38:10 +000032 MDString *s1 = MDString::get(Context, StringRef(&x[0], 3));
Nick Lewycky49f89192009-04-04 07:22:01 +000033 x[2] = 'B';
Owen Anderson23587322009-07-31 21:38:10 +000034 MDString *s2 = MDString::get(Context, StringRef(&x[0], 3));
Nick Lewycky49f89192009-04-04 07:22:01 +000035 EXPECT_NE(s1, s2);
36}
37
38// Test that creation of MDStrings with the same string contents produces the
39// same MDString object, even with different pointers.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000040TEST_F(MDStringTest, CreateSame) {
Nick Lewycky49f89192009-04-04 07:22:01 +000041 char x[4] = { 'a', 'b', 'c', 'X' };
42 char y[4] = { 'a', 'b', 'c', 'Y' };
43
Owen Anderson23587322009-07-31 21:38:10 +000044 MDString *s1 = MDString::get(Context, StringRef(&x[0], 3));
45 MDString *s2 = MDString::get(Context, StringRef(&y[0], 3));
Nick Lewycky49f89192009-04-04 07:22:01 +000046 EXPECT_EQ(s1, s2);
47}
48
49// Test that MDString prints out the string we fed it.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000050TEST_F(MDStringTest, PrintingSimple) {
Nick Lewycky49f89192009-04-04 07:22:01 +000051 char *str = new char[13];
52 strncpy(str, "testing 1 2 3", 13);
Owen Anderson23587322009-07-31 21:38:10 +000053 MDString *s = MDString::get(Context, StringRef(str, 13));
Nick Lewycky49f89192009-04-04 07:22:01 +000054 strncpy(str, "aaaaaaaaaaaaa", 13);
55 delete[] str;
56
Chris Lattnerbe354a62009-08-23 04:47:35 +000057 std::string Str;
58 raw_string_ostream oss(Str);
Nick Lewycky49f89192009-04-04 07:22:01 +000059 s->print(oss);
Nick Lewyckyadbc2842009-05-30 05:06:04 +000060 EXPECT_STREQ("metadata !\"testing 1 2 3\"", oss.str().c_str());
Nick Lewycky49f89192009-04-04 07:22:01 +000061}
62
63// Test printing of MDString with non-printable characters.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000064TEST_F(MDStringTest, PrintingComplex) {
Jeffrey Yasskin065c3572011-08-30 20:53:29 +000065 char str[5] = {0, '\n', '"', '\\', (char)-1};
Owen Anderson23587322009-07-31 21:38:10 +000066 MDString *s = MDString::get(Context, StringRef(str+0, 5));
Chris Lattnerbe354a62009-08-23 04:47:35 +000067 std::string Str;
68 raw_string_ostream oss(Str);
Nick Lewycky49f89192009-04-04 07:22:01 +000069 s->print(oss);
Nick Lewyckyadbc2842009-05-30 05:06:04 +000070 EXPECT_STREQ("metadata !\"\\00\\0A\\22\\5C\\FF\"", oss.str().c_str());
Nick Lewycky49f89192009-04-04 07:22:01 +000071}
72
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000073typedef MetadataTest MDNodeTest;
74
Nick Lewycky49f89192009-04-04 07:22:01 +000075// Test the two constructors, and containing other Constants.
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +000076TEST_F(MDNodeTest, Simple) {
Nick Lewycky49f89192009-04-04 07:22:01 +000077 char x[3] = { 'a', 'b', 'c' };
78 char y[3] = { '1', '2', '3' };
79
Owen Anderson23587322009-07-31 21:38:10 +000080 MDString *s1 = MDString::get(Context, StringRef(&x[0], 3));
81 MDString *s2 = MDString::get(Context, StringRef(&y[0], 3));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000082 ConstantAsMetadata *CI = ConstantAsMetadata::get(
83 ConstantInt::get(getGlobalContext(), APInt(8, 0)));
Nick Lewycky49f89192009-04-04 07:22:01 +000084
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000085 std::vector<Metadata *> V;
Nick Lewycky49f89192009-04-04 07:22:01 +000086 V.push_back(s1);
87 V.push_back(CI);
88 V.push_back(s2);
89
Jay Foad5514afe2011-04-21 19:59:31 +000090 MDNode *n1 = MDNode::get(Context, V);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000091 Metadata *const c1 = n1;
Jay Foad5514afe2011-04-21 19:59:31 +000092 MDNode *n2 = MDNode::get(Context, c1);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +000093 Metadata *const c2 = n2;
Jay Foad5514afe2011-04-21 19:59:31 +000094 MDNode *n3 = MDNode::get(Context, V);
Duncan Sands26a80f32012-03-31 08:20:11 +000095 MDNode *n4 = MDNode::getIfExists(Context, V);
96 MDNode *n5 = MDNode::getIfExists(Context, c1);
97 MDNode *n6 = MDNode::getIfExists(Context, c2);
Nick Lewycky49f89192009-04-04 07:22:01 +000098 EXPECT_NE(n1, n2);
Devang Patelf7188322009-09-03 01:39:20 +000099 EXPECT_EQ(n1, n3);
Duncan Sands26a80f32012-03-31 08:20:11 +0000100 EXPECT_EQ(n4, n1);
101 EXPECT_EQ(n5, n2);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000102 EXPECT_EQ(n6, (Metadata *)nullptr);
Nick Lewycky49f89192009-04-04 07:22:01 +0000103
Chris Lattner9b493022009-12-31 01:22:29 +0000104 EXPECT_EQ(3u, n1->getNumOperands());
105 EXPECT_EQ(s1, n1->getOperand(0));
106 EXPECT_EQ(CI, n1->getOperand(1));
107 EXPECT_EQ(s2, n1->getOperand(2));
Nick Lewycky49f89192009-04-04 07:22:01 +0000108
Chris Lattner9b493022009-12-31 01:22:29 +0000109 EXPECT_EQ(1u, n2->getNumOperands());
110 EXPECT_EQ(n1, n2->getOperand(0));
Nick Lewycky49f89192009-04-04 07:22:01 +0000111}
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000112
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +0000113TEST_F(MDNodeTest, Delete) {
Owen Anderson55f1c092009-08-13 21:58:54 +0000114 Constant *C = ConstantInt::get(Type::getInt32Ty(getGlobalContext()), 1);
115 Instruction *I = new BitCastInst(C, Type::getInt32Ty(getGlobalContext()));
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000116
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000117 Metadata *const V = LocalAsMetadata::get(I);
Jay Foad5514afe2011-04-21 19:59:31 +0000118 MDNode *n = MDNode::get(Context, V);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000119 TrackingMDRef wvh(n);
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000120
121 EXPECT_EQ(n, wvh);
122
123 delete I;
Nick Lewyckyb8f9b7a2009-05-10 20:57:05 +0000124}
Devang Patel0924b332009-07-30 00:03:41 +0000125
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000126TEST_F(MDNodeTest, SelfReference) {
127 // !0 = metadata !{metadata !0}
128 // !1 = metadata !{metadata !0}
129 {
130 MDNode *Temp = MDNode::getTemporary(Context, None);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000131 Metadata *Args[] = {Temp};
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000132 MDNode *Self = MDNode::get(Context, Args);
133 Self->replaceOperandWith(0, Self);
134 MDNode::deleteTemporary(Temp);
135 ASSERT_EQ(Self, Self->getOperand(0));
136
137 // Self-references should be distinct, so MDNode::get() should grab a
138 // uniqued node that references Self, not Self.
139 Args[0] = Self;
140 MDNode *Ref1 = MDNode::get(Context, Args);
141 MDNode *Ref2 = MDNode::get(Context, Args);
142 EXPECT_NE(Self, Ref1);
143 EXPECT_EQ(Ref1, Ref2);
144 }
145
146 // !0 = metadata !{metadata !0, metadata !{}}
147 // !1 = metadata !{metadata !0, metadata !{}}
148 {
149 MDNode *Temp = MDNode::getTemporary(Context, None);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000150 Metadata *Args[] = {Temp, MDNode::get(Context, None)};
Duncan P. N. Exon Smithac8ee282014-12-07 19:52:06 +0000151 MDNode *Self = MDNode::get(Context, Args);
152 Self->replaceOperandWith(0, Self);
153 MDNode::deleteTemporary(Temp);
154 ASSERT_EQ(Self, Self->getOperand(0));
155
156 // Self-references should be distinct, so MDNode::get() should grab a
157 // uniqued node that references Self, not Self itself.
158 Args[0] = Self;
159 MDNode *Ref1 = MDNode::get(Context, Args);
160 MDNode *Ref2 = MDNode::get(Context, Args);
161 EXPECT_NE(Self, Ref1);
162 EXPECT_EQ(Ref1, Ref2);
163 }
164}
165
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000166typedef MetadataTest MetadataAsValueTest;
167
168TEST_F(MetadataAsValueTest, MDNode) {
169 MDNode *N = MDNode::get(Context, None);
170 auto *V = MetadataAsValue::get(Context, N);
171 EXPECT_TRUE(V->getType()->isMetadataTy());
172 EXPECT_EQ(N, V->getMetadata());
173
174 auto *V2 = MetadataAsValue::get(Context, N);
175 EXPECT_EQ(V, V2);
176}
177
178TEST_F(MetadataAsValueTest, MDNodeMDNode) {
179 MDNode *N = MDNode::get(Context, None);
180 Metadata *Ops[] = {N};
181 MDNode *N2 = MDNode::get(Context, Ops);
182 auto *V = MetadataAsValue::get(Context, N2);
183 EXPECT_TRUE(V->getType()->isMetadataTy());
184 EXPECT_EQ(N2, V->getMetadata());
185
186 auto *V2 = MetadataAsValue::get(Context, N2);
187 EXPECT_EQ(V, V2);
188
189 auto *V3 = MetadataAsValue::get(Context, N);
190 EXPECT_TRUE(V3->getType()->isMetadataTy());
191 EXPECT_NE(V, V3);
192 EXPECT_EQ(N, V3->getMetadata());
193}
194
195TEST_F(MetadataAsValueTest, MDNodeConstant) {
196 auto *C = ConstantInt::getTrue(Context);
197 auto *MD = ConstantAsMetadata::get(C);
198 Metadata *Ops[] = {MD};
199 auto *N = MDNode::get(Context, Ops);
200
201 auto *V = MetadataAsValue::get(Context, MD);
202 EXPECT_TRUE(V->getType()->isMetadataTy());
203 EXPECT_EQ(MD, V->getMetadata());
204
205 auto *V2 = MetadataAsValue::get(Context, N);
206 EXPECT_EQ(MD, V2->getMetadata());
207 EXPECT_EQ(V, V2);
208}
209
Devang Patel0924b332009-07-30 00:03:41 +0000210TEST(NamedMDNodeTest, Search) {
Jeffrey Yasskinbd8a7592010-03-04 23:24:19 +0000211 LLVMContext Context;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000212 ConstantAsMetadata *C =
213 ConstantAsMetadata::get(ConstantInt::get(Type::getInt32Ty(Context), 1));
214 ConstantAsMetadata *C2 =
215 ConstantAsMetadata::get(ConstantInt::get(Type::getInt32Ty(Context), 2));
Devang Patel0924b332009-07-30 00:03:41 +0000216
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000217 Metadata *const V = C;
218 Metadata *const V2 = C2;
Jay Foad5514afe2011-04-21 19:59:31 +0000219 MDNode *n = MDNode::get(Context, V);
220 MDNode *n2 = MDNode::get(Context, V2);
Devang Patel0924b332009-07-30 00:03:41 +0000221
Jeffrey Yasskin3d73d1a2010-03-13 01:39:20 +0000222 Module M("MyModule", Context);
Devang Patel0924b332009-07-30 00:03:41 +0000223 const char *Name = "llvm.NMD1";
Dan Gohman2637cc12010-07-21 23:38:33 +0000224 NamedMDNode *NMD = M.getOrInsertNamedMetadata(Name);
225 NMD->addOperand(n);
226 NMD->addOperand(n2);
227
Chris Lattnerbe354a62009-08-23 04:47:35 +0000228 std::string Str;
229 raw_string_ostream oss(Str);
Devang Patel0924b332009-07-30 00:03:41 +0000230 NMD->print(oss);
Chris Lattner1e6e3672009-12-31 02:12:13 +0000231 EXPECT_STREQ("!llvm.NMD1 = !{!0, !1}\n",
Devang Patel0924b332009-07-30 00:03:41 +0000232 oss.str().c_str());
233}
Nick Lewycky49f89192009-04-04 07:22:01 +0000234}