1 //===- llvm/unittest/IR/ValueTest.cpp - Value unit tests ------------------===//
3 // 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
7 //===----------------------------------------------------------------------===//
9 #include "llvm/IR/Value.h"
10 #include "llvm/AsmParser/Parser.h"
11 #include "llvm/IR/Function.h"
12 #include "llvm/IR/LLVMContext.h"
13 #include "llvm/IR/Module.h"
14 #include "llvm/IR/ModuleSlotTracker.h"
15 #include "llvm/Support/SourceMgr.h"
16 #include "gtest/gtest.h"
21 TEST(ValueTest
, UsedInBasicBlock
) {
24 const char *ModuleString
= "define void @f(i32 %x, i32 %y) {\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"
37 std::unique_ptr
<Module
> M
= parseAssemblyString(ModuleString
, Err
, C
);
39 Function
*F
= M
->getFunction("f");
41 EXPECT_FALSE(F
->isUsedInBasicBlock(&F
->front()));
42 EXPECT_TRUE(std::next(F
->arg_begin())->isUsedInBasicBlock(&F
->front()));
43 EXPECT_TRUE(F
->arg_begin()->isUsedInBasicBlock(&F
->front()));
46 TEST(GlobalTest
, CreateAddressSpace
) {
48 std::unique_ptr
<Module
> M(new Module("TestModule", Ctx
));
49 Type
*Int8Ty
= Type::getInt8Ty(Ctx
);
50 Type
*Int32Ty
= Type::getInt32Ty(Ctx
);
52 GlobalVariable
*Dummy0
53 = new GlobalVariable(*M
,
56 GlobalValue::ExternalLinkage
,
57 Constant::getAllOnesValue(Int32Ty
),
60 GlobalVariable::NotThreadLocal
,
63 EXPECT_TRUE(Value::MaximumAlignment
== 536870912U);
64 Dummy0
->setAlignment(536870912U);
65 EXPECT_EQ(Dummy0
->getAlignment(), 536870912U);
67 // 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());
73 // This one requires a bitcast, but the address space must also stay the same.
74 GlobalVariable
*DummyCast0
75 = new GlobalVariable(*M
,
78 GlobalValue::ExternalLinkage
,
79 Constant::getAllOnesValue(Int32Ty
),
82 GlobalVariable::NotThreadLocal
,
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
;
91 #ifdef GTEST_HAS_DEATH_TEST
93 TEST(GlobalTest
, AlignDeath
) {
95 std::unique_ptr
<Module
> M(new Module("TestModule", Ctx
));
96 Type
*Int32Ty
= Type::getInt32Ty(Ctx
);
98 new GlobalVariable(*M
, Int32Ty
, true, GlobalValue::ExternalLinkage
,
99 Constant::getAllOnesValue(Int32Ty
), "var", nullptr,
100 GlobalVariable::NotThreadLocal
, 1);
102 EXPECT_DEATH(Var
->setAlignment(536870913U),
103 "Alignment is neither 0 nor a power of 2");
104 EXPECT_DEATH(Var
->setAlignment(1073741824U),
105 "Alignment is greater than MaximumAlignment");
110 TEST(ValueTest
, printSlots
) {
111 // Check that Value::print() and Value::printAsOperand() work with and
112 // without a slot tracker.
115 const char *ModuleString
= "@g0 = external global %500\n"
116 "@g1 = external global %900\n"
118 "%900 = type { i32, i32 }\n"
119 "%500 = type { i32 }\n"
121 "define void @f(i32 %x, i32 %y) {\n"
123 " %0 = add i32 %y, 1\n"
124 " %1 = add i32 %y, 1\n"
128 std::unique_ptr
<Module
> M
= parseAssemblyString(ModuleString
, Err
, C
);
130 Function
*F
= M
->getFunction("f");
132 ASSERT_FALSE(F
->empty());
133 BasicBlock
&BB
= F
->getEntryBlock();
134 ASSERT_EQ(3u, BB
.size());
136 Instruction
*I0
= &*BB
.begin();
138 Instruction
*I1
= &*++BB
.begin();
141 GlobalVariable
*G0
= M
->getGlobalVariable("g0");
143 GlobalVariable
*G1
= M
->getGlobalVariable("g1");
146 ModuleSlotTracker
MST(M
.get());
148 #define CHECK_PRINT(INST, STR) \
152 raw_string_ostream OS(S); \
154 EXPECT_EQ(STR, OS.str()); \
158 raw_string_ostream OS(S); \
159 INST->print(OS, MST); \
160 EXPECT_EQ(STR, OS.str()); \
163 CHECK_PRINT(I0
, " %0 = add i32 %y, 1");
164 CHECK_PRINT(I1
, " %1 = add i32 %y, 1");
167 #define CHECK_PRINT_AS_OPERAND(INST, TYPE, STR) \
171 raw_string_ostream OS(S); \
172 INST->printAsOperand(OS, TYPE); \
173 EXPECT_EQ(StringRef(STR), StringRef(OS.str())); \
177 raw_string_ostream OS(S); \
178 INST->printAsOperand(OS, TYPE, MST); \
179 EXPECT_EQ(StringRef(STR), StringRef(OS.str())); \
182 CHECK_PRINT_AS_OPERAND(I0
, false, "%0");
183 CHECK_PRINT_AS_OPERAND(I1
, false, "%1");
184 CHECK_PRINT_AS_OPERAND(I0
, true, "i32 %0");
185 CHECK_PRINT_AS_OPERAND(I1
, true, "i32 %1");
186 CHECK_PRINT_AS_OPERAND(G0
, true, "%0* @g0");
187 CHECK_PRINT_AS_OPERAND(G1
, true, "%1* @g1");
188 #undef CHECK_PRINT_AS_OPERAND
191 TEST(ValueTest
, getLocalSlots
) {
192 // Verify that the getLocalSlot method returns the correct slot numbers.
194 const char *ModuleString
= "define void @f(i32 %x, i32 %y) {\n"
196 " %0 = add i32 %y, 1\n"
197 " %1 = add i32 %y, 1\n"
203 std::unique_ptr
<Module
> M
= parseAssemblyString(ModuleString
, Err
, C
);
205 Function
*F
= M
->getFunction("f");
207 ASSERT_FALSE(F
->empty());
208 BasicBlock
&EntryBB
= F
->getEntryBlock();
209 ASSERT_EQ(3u, EntryBB
.size());
210 BasicBlock
*BB2
= &*++F
->begin();
213 Instruction
*I0
= &*EntryBB
.begin();
215 Instruction
*I1
= &*++EntryBB
.begin();
218 ModuleSlotTracker
MST(M
.get());
219 MST
.incorporateFunction(*F
);
220 EXPECT_EQ(MST
.getLocalSlot(I0
), 0);
221 EXPECT_EQ(MST
.getLocalSlot(I1
), 1);
222 EXPECT_EQ(MST
.getLocalSlot(&EntryBB
), -1);
223 EXPECT_EQ(MST
.getLocalSlot(BB2
), 2);
226 #if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
227 TEST(ValueTest
, getLocalSlotDeath
) {
229 const char *ModuleString
= "define void @f(i32 %x, i32 %y) {\n"
231 " %0 = add i32 %y, 1\n"
232 " %1 = add i32 %y, 1\n"
238 std::unique_ptr
<Module
> M
= parseAssemblyString(ModuleString
, Err
, C
);
240 Function
*F
= M
->getFunction("f");
242 ASSERT_FALSE(F
->empty());
243 BasicBlock
*BB2
= &*++F
->begin();
246 ModuleSlotTracker
MST(M
.get());
247 EXPECT_DEATH(MST
.getLocalSlot(BB2
), "No function incorporated");
251 } // end anonymous namespace