blob: 0c42e4632e87f273902ddf615c3d8e23984b0ec1 [file] [log] [blame]
Benjamin Kramereee73f52013-04-12 08:33:11 +00001//===- llvm/unittest/IR/ValueTest.cpp - Value unit tests ------------------===//
2//
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
Benjamin Kramereee73f52013-04-12 08:33:11 +00006//
7//===----------------------------------------------------------------------===//
8
Chandler Carruth9a67b072017-06-06 11:06:56 +00009#include "llvm/IR/Value.h"
Chandler Carruth9aca9182014-01-07 12:34:26 +000010#include "llvm/AsmParser/Parser.h"
Benjamin Kramereee73f52013-04-12 08:33:11 +000011#include "llvm/IR/Function.h"
12#include "llvm/IR/LLVMContext.h"
13#include "llvm/IR/Module.h"
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +000014#include "llvm/IR/ModuleSlotTracker.h"
Benjamin Kramereee73f52013-04-12 08:33:11 +000015#include "llvm/Support/SourceMgr.h"
16#include "gtest/gtest.h"
17using namespace llvm;
18
19namespace {
20
21TEST(ValueTest, UsedInBasicBlock) {
22 LLVMContext C;
23
24 const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
25 "bb0:\n"
26 " %y1 = add i32 %y, 1\n"
27 " %y2 = add i32 %y, 1\n"
28 " %y3 = add i32 %y, 1\n"
29 " %y4 = add i32 %y, 1\n"
30 " %y5 = add i32 %y, 1\n"
31 " %y6 = add i32 %y, 1\n"
32 " %y7 = add i32 %y, 1\n"
33 " %y8 = add i32 %x, 1\n"
34 " ret void\n"
35 "}\n";
36 SMDiagnostic Err;
Rafael Espindola11c07d72014-08-19 16:58:54 +000037 std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
Benjamin Kramereee73f52013-04-12 08:33:11 +000038
39 Function *F = M->getFunction("f");
40
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +000041 EXPECT_FALSE(F->isUsedInBasicBlock(&F->front()));
Reid Kleckner45707d42017-03-16 22:59:15 +000042 EXPECT_TRUE(std::next(F->arg_begin())->isUsedInBasicBlock(&F->front()));
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +000043 EXPECT_TRUE(F->arg_begin()->isUsedInBasicBlock(&F->front()));
Benjamin Kramereee73f52013-04-12 08:33:11 +000044}
45
Matt Arsenault27e783e2013-09-30 21:23:03 +000046TEST(GlobalTest, CreateAddressSpace) {
Mehdi Amini03b42e42016-04-14 21:59:01 +000047 LLVMContext Ctx;
Ahmed Charles56440fd2014-03-06 05:51:42 +000048 std::unique_ptr<Module> M(new Module("TestModule", Ctx));
Matt Arsenault27e783e2013-09-30 21:23:03 +000049 Type *Int8Ty = Type::getInt8Ty(Ctx);
50 Type *Int32Ty = Type::getInt32Ty(Ctx);
51
52 GlobalVariable *Dummy0
53 = new GlobalVariable(*M,
54 Int32Ty,
55 true,
56 GlobalValue::ExternalLinkage,
57 Constant::getAllOnesValue(Int32Ty),
58 "dummy",
Craig Topper66f09ad2014-06-08 22:29:17 +000059 nullptr,
Matt Arsenault27e783e2013-09-30 21:23:03 +000060 GlobalVariable::NotThreadLocal,
61 1);
62
Rafael Espindolaa492fe92014-10-23 14:45:19 +000063 EXPECT_TRUE(Value::MaximumAlignment == 536870912U);
Guillaume Chatelet0e620112019-10-15 11:24:36 +000064 Dummy0->setAlignment(Align(536870912));
Rafael Espindolaa492fe92014-10-23 14:45:19 +000065 EXPECT_EQ(Dummy0->getAlignment(), 536870912U);
66
Matt Arsenault27e783e2013-09-30 21:23:03 +000067 // Make sure the address space isn't dropped when returning this.
68 Constant *Dummy1 = M->getOrInsertGlobal("dummy", Int32Ty);
69 EXPECT_EQ(Dummy0, Dummy1);
70 EXPECT_EQ(1u, Dummy1->getType()->getPointerAddressSpace());
71
72
73 // This one requires a bitcast, but the address space must also stay the same.
74 GlobalVariable *DummyCast0
75 = new GlobalVariable(*M,
76 Int32Ty,
77 true,
78 GlobalValue::ExternalLinkage,
79 Constant::getAllOnesValue(Int32Ty),
80 "dummy_cast",
Craig Topper66f09ad2014-06-08 22:29:17 +000081 nullptr,
Matt Arsenault27e783e2013-09-30 21:23:03 +000082 GlobalVariable::NotThreadLocal,
83 1);
84
85 // Make sure the address space isn't dropped when returning this.
86 Constant *DummyCast1 = M->getOrInsertGlobal("dummy_cast", Int8Ty);
87 EXPECT_EQ(1u, DummyCast1->getType()->getPointerAddressSpace());
88 EXPECT_NE(DummyCast0, DummyCast1) << *DummyCast1;
89}
Rafael Espindolaa492fe92014-10-23 14:45:19 +000090
91#ifdef GTEST_HAS_DEATH_TEST
92#ifndef NDEBUG
Guillaume Chatelet0e620112019-10-15 11:24:36 +000093
Rafael Espindolaa492fe92014-10-23 14:45:19 +000094TEST(GlobalTest, AlignDeath) {
Mehdi Amini03b42e42016-04-14 21:59:01 +000095 LLVMContext Ctx;
Rafael Espindolaa492fe92014-10-23 14:45:19 +000096 std::unique_ptr<Module> M(new Module("TestModule", Ctx));
97 Type *Int32Ty = Type::getInt32Ty(Ctx);
98 GlobalVariable *Var =
99 new GlobalVariable(*M, Int32Ty, true, GlobalValue::ExternalLinkage,
100 Constant::getAllOnesValue(Int32Ty), "var", nullptr,
101 GlobalVariable::NotThreadLocal, 1);
102
Guillaume Chatelet0e620112019-10-15 11:24:36 +0000103 EXPECT_DEATH(Var->setAlignment(Align(1073741824U)),
Rafael Espindolaa492fe92014-10-23 14:45:19 +0000104 "Alignment is greater than MaximumAlignment");
105}
106#endif
107#endif
108
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +0000109TEST(ValueTest, printSlots) {
110 // Check that Value::print() and Value::printAsOperand() work with and
111 // without a slot tracker.
112 LLVMContext C;
113
Roman Tereshind96de6f2018-03-22 21:29:07 +0000114 const char *ModuleString = "@g0 = external global %500\n"
115 "@g1 = external global %900\n"
116 "\n"
117 "%900 = type { i32, i32 }\n"
118 "%500 = type { i32 }\n"
119 "\n"
120 "define void @f(i32 %x, i32 %y) {\n"
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +0000121 "entry:\n"
122 " %0 = add i32 %y, 1\n"
123 " %1 = add i32 %y, 1\n"
124 " ret void\n"
125 "}\n";
126 SMDiagnostic Err;
127 std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
128
129 Function *F = M->getFunction("f");
130 ASSERT_TRUE(F);
131 ASSERT_FALSE(F->empty());
132 BasicBlock &BB = F->getEntryBlock();
133 ASSERT_EQ(3u, BB.size());
134
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000135 Instruction *I0 = &*BB.begin();
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +0000136 ASSERT_TRUE(I0);
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000137 Instruction *I1 = &*++BB.begin();
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +0000138 ASSERT_TRUE(I1);
139
Roman Tereshind96de6f2018-03-22 21:29:07 +0000140 GlobalVariable *G0 = M->getGlobalVariable("g0");
141 ASSERT_TRUE(G0);
142 GlobalVariable *G1 = M->getGlobalVariable("g1");
143 ASSERT_TRUE(G1);
144
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +0000145 ModuleSlotTracker MST(M.get());
146
147#define CHECK_PRINT(INST, STR) \
148 do { \
149 { \
150 std::string S; \
151 raw_string_ostream OS(S); \
152 INST->print(OS); \
153 EXPECT_EQ(STR, OS.str()); \
154 } \
155 { \
156 std::string S; \
157 raw_string_ostream OS(S); \
158 INST->print(OS, MST); \
159 EXPECT_EQ(STR, OS.str()); \
160 } \
161 } while (false)
162 CHECK_PRINT(I0, " %0 = add i32 %y, 1");
163 CHECK_PRINT(I1, " %1 = add i32 %y, 1");
164#undef CHECK_PRINT
165
166#define CHECK_PRINT_AS_OPERAND(INST, TYPE, STR) \
167 do { \
168 { \
169 std::string S; \
170 raw_string_ostream OS(S); \
171 INST->printAsOperand(OS, TYPE); \
172 EXPECT_EQ(StringRef(STR), StringRef(OS.str())); \
173 } \
174 { \
175 std::string S; \
176 raw_string_ostream OS(S); \
177 INST->printAsOperand(OS, TYPE, MST); \
178 EXPECT_EQ(StringRef(STR), StringRef(OS.str())); \
179 } \
180 } while (false)
181 CHECK_PRINT_AS_OPERAND(I0, false, "%0");
182 CHECK_PRINT_AS_OPERAND(I1, false, "%1");
183 CHECK_PRINT_AS_OPERAND(I0, true, "i32 %0");
184 CHECK_PRINT_AS_OPERAND(I1, true, "i32 %1");
Roman Tereshind96de6f2018-03-22 21:29:07 +0000185 CHECK_PRINT_AS_OPERAND(G0, true, "%0* @g0");
186 CHECK_PRINT_AS_OPERAND(G1, true, "%1* @g1");
Duncan P. N. Exon Smith1f8a99a2015-06-27 00:38:26 +0000187#undef CHECK_PRINT_AS_OPERAND
188}
189
Alex Lorenz991a6242015-07-27 22:31:04 +0000190TEST(ValueTest, getLocalSlots) {
191 // Verify that the getLocalSlot method returns the correct slot numbers.
192 LLVMContext C;
193 const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
194 "entry:\n"
195 " %0 = add i32 %y, 1\n"
196 " %1 = add i32 %y, 1\n"
197 " br label %2\n"
198 "\n"
199 " ret void\n"
200 "}\n";
201 SMDiagnostic Err;
202 std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
203
204 Function *F = M->getFunction("f");
205 ASSERT_TRUE(F);
206 ASSERT_FALSE(F->empty());
207 BasicBlock &EntryBB = F->getEntryBlock();
208 ASSERT_EQ(3u, EntryBB.size());
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000209 BasicBlock *BB2 = &*++F->begin();
Alex Lorenz991a6242015-07-27 22:31:04 +0000210 ASSERT_TRUE(BB2);
211
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000212 Instruction *I0 = &*EntryBB.begin();
Alex Lorenz991a6242015-07-27 22:31:04 +0000213 ASSERT_TRUE(I0);
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000214 Instruction *I1 = &*++EntryBB.begin();
Alex Lorenz991a6242015-07-27 22:31:04 +0000215 ASSERT_TRUE(I1);
216
217 ModuleSlotTracker MST(M.get());
218 MST.incorporateFunction(*F);
219 EXPECT_EQ(MST.getLocalSlot(I0), 0);
220 EXPECT_EQ(MST.getLocalSlot(I1), 1);
221 EXPECT_EQ(MST.getLocalSlot(&EntryBB), -1);
222 EXPECT_EQ(MST.getLocalSlot(BB2), 2);
223}
224
225#if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
226TEST(ValueTest, getLocalSlotDeath) {
227 LLVMContext C;
228 const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
229 "entry:\n"
230 " %0 = add i32 %y, 1\n"
231 " %1 = add i32 %y, 1\n"
232 " br label %2\n"
233 "\n"
234 " ret void\n"
235 "}\n";
236 SMDiagnostic Err;
237 std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
238
239 Function *F = M->getFunction("f");
240 ASSERT_TRUE(F);
241 ASSERT_FALSE(F->empty());
Duncan P. N. Exon Smithc8925b12015-10-20 18:30:20 +0000242 BasicBlock *BB2 = &*++F->begin();
Alex Lorenz991a6242015-07-27 22:31:04 +0000243 ASSERT_TRUE(BB2);
244
245 ModuleSlotTracker MST(M.get());
246 EXPECT_DEATH(MST.getLocalSlot(BB2), "No function incorporated");
247}
248#endif
249
Benjamin Kramereee73f52013-04-12 08:33:11 +0000250} // end anonymous namespace