IR: Allow vectors of halfs to be ConstantDataVectors
[oota-llvm.git] / unittests / IR / ValueTest.cpp
1 //===- llvm/unittest/IR/ValueTest.cpp - Value unit tests ------------------===//
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 #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/IR/Value.h"
16 #include "llvm/Support/SourceMgr.h"
17 #include "gtest/gtest.h"
18 using namespace llvm;
19
20 namespace {
21
22 TEST(ValueTest, UsedInBasicBlock) {
23   LLVMContext C;
24
25   const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
26                              "bb0:\n"
27                              "  %y1 = add i32 %y, 1\n"
28                              "  %y2 = add i32 %y, 1\n"
29                              "  %y3 = add i32 %y, 1\n"
30                              "  %y4 = add i32 %y, 1\n"
31                              "  %y5 = add i32 %y, 1\n"
32                              "  %y6 = add i32 %y, 1\n"
33                              "  %y7 = add i32 %y, 1\n"
34                              "  %y8 = add i32 %x, 1\n"
35                              "  ret void\n"
36                              "}\n";
37   SMDiagnostic Err;
38   std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
39
40   Function *F = M->getFunction("f");
41
42   EXPECT_FALSE(F->isUsedInBasicBlock(&F->front()));
43   EXPECT_TRUE((++F->arg_begin())->isUsedInBasicBlock(&F->front()));
44   EXPECT_TRUE(F->arg_begin()->isUsedInBasicBlock(&F->front()));
45 }
46
47 TEST(GlobalTest, CreateAddressSpace) {
48   LLVMContext &Ctx = getGlobalContext();
49   std::unique_ptr<Module> M(new Module("TestModule", Ctx));
50   Type *Int8Ty = Type::getInt8Ty(Ctx);
51   Type *Int32Ty = Type::getInt32Ty(Ctx);
52
53   GlobalVariable *Dummy0
54     = new GlobalVariable(*M,
55                          Int32Ty,
56                          true,
57                          GlobalValue::ExternalLinkage,
58                          Constant::getAllOnesValue(Int32Ty),
59                          "dummy",
60                          nullptr,
61                          GlobalVariable::NotThreadLocal,
62                          1);
63
64   EXPECT_TRUE(Value::MaximumAlignment == 536870912U);
65   Dummy0->setAlignment(536870912U);
66   EXPECT_EQ(Dummy0->getAlignment(), 536870912U);
67
68   // Make sure the address space isn't dropped when returning this.
69   Constant *Dummy1 = M->getOrInsertGlobal("dummy", Int32Ty);
70   EXPECT_EQ(Dummy0, Dummy1);
71   EXPECT_EQ(1u, Dummy1->getType()->getPointerAddressSpace());
72
73
74   // This one requires a bitcast, but the address space must also stay the same.
75   GlobalVariable *DummyCast0
76     = new GlobalVariable(*M,
77                          Int32Ty,
78                          true,
79                          GlobalValue::ExternalLinkage,
80                          Constant::getAllOnesValue(Int32Ty),
81                          "dummy_cast",
82                          nullptr,
83                          GlobalVariable::NotThreadLocal,
84                          1);
85
86   // Make sure the address space isn't dropped when returning this.
87   Constant *DummyCast1 = M->getOrInsertGlobal("dummy_cast", Int8Ty);
88   EXPECT_EQ(1u, DummyCast1->getType()->getPointerAddressSpace());
89   EXPECT_NE(DummyCast0, DummyCast1) << *DummyCast1;
90 }
91
92 #ifdef GTEST_HAS_DEATH_TEST
93 #ifndef NDEBUG
94 TEST(GlobalTest, AlignDeath) {
95   LLVMContext &Ctx = getGlobalContext();
96   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
103   EXPECT_DEATH(Var->setAlignment(536870913U), "Alignment is not a power of 2");
104   EXPECT_DEATH(Var->setAlignment(1073741824U),
105                "Alignment is greater than MaximumAlignment");
106 }
107 #endif
108 #endif
109
110 TEST(ValueTest, printSlots) {
111   // Check that Value::print() and Value::printAsOperand() work with and
112   // without a slot tracker.
113   LLVMContext C;
114
115   const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
116                              "entry:\n"
117                              "  %0 = add i32 %y, 1\n"
118                              "  %1 = add i32 %y, 1\n"
119                              "  ret void\n"
120                              "}\n";
121   SMDiagnostic Err;
122   std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
123
124   Function *F = M->getFunction("f");
125   ASSERT_TRUE(F);
126   ASSERT_FALSE(F->empty());
127   BasicBlock &BB = F->getEntryBlock();
128   ASSERT_EQ(3u, BB.size());
129
130   Instruction *I0 = &*BB.begin();
131   ASSERT_TRUE(I0);
132   Instruction *I1 = &*++BB.begin();
133   ASSERT_TRUE(I1);
134
135   ModuleSlotTracker MST(M.get());
136
137 #define CHECK_PRINT(INST, STR)                                                 \
138   do {                                                                         \
139     {                                                                          \
140       std::string S;                                                           \
141       raw_string_ostream OS(S);                                                \
142       INST->print(OS);                                                         \
143       EXPECT_EQ(STR, OS.str());                                                \
144     }                                                                          \
145     {                                                                          \
146       std::string S;                                                           \
147       raw_string_ostream OS(S);                                                \
148       INST->print(OS, MST);                                                    \
149       EXPECT_EQ(STR, OS.str());                                                \
150     }                                                                          \
151   } while (false)
152   CHECK_PRINT(I0, "  %0 = add i32 %y, 1");
153   CHECK_PRINT(I1, "  %1 = add i32 %y, 1");
154 #undef CHECK_PRINT
155
156 #define CHECK_PRINT_AS_OPERAND(INST, TYPE, STR)                                \
157   do {                                                                         \
158     {                                                                          \
159       std::string S;                                                           \
160       raw_string_ostream OS(S);                                                \
161       INST->printAsOperand(OS, TYPE);                                          \
162       EXPECT_EQ(StringRef(STR), StringRef(OS.str()));                          \
163     }                                                                          \
164     {                                                                          \
165       std::string S;                                                           \
166       raw_string_ostream OS(S);                                                \
167       INST->printAsOperand(OS, TYPE, MST);                                     \
168       EXPECT_EQ(StringRef(STR), StringRef(OS.str()));                          \
169     }                                                                          \
170   } while (false)
171   CHECK_PRINT_AS_OPERAND(I0, false, "%0");
172   CHECK_PRINT_AS_OPERAND(I1, false, "%1");
173   CHECK_PRINT_AS_OPERAND(I0, true, "i32 %0");
174   CHECK_PRINT_AS_OPERAND(I1, true, "i32 %1");
175 #undef CHECK_PRINT_AS_OPERAND
176 }
177
178 TEST(ValueTest, getLocalSlots) {
179   // Verify that the getLocalSlot method returns the correct slot numbers.
180   LLVMContext C;
181   const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
182                              "entry:\n"
183                              "  %0 = add i32 %y, 1\n"
184                              "  %1 = add i32 %y, 1\n"
185                              "  br label %2\n"
186                              "\n"
187                              "  ret void\n"
188                              "}\n";
189   SMDiagnostic Err;
190   std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
191
192   Function *F = M->getFunction("f");
193   ASSERT_TRUE(F);
194   ASSERT_FALSE(F->empty());
195   BasicBlock &EntryBB = F->getEntryBlock();
196   ASSERT_EQ(3u, EntryBB.size());
197   BasicBlock *BB2 = &*++F->begin();
198   ASSERT_TRUE(BB2);
199
200   Instruction *I0 = &*EntryBB.begin();
201   ASSERT_TRUE(I0);
202   Instruction *I1 = &*++EntryBB.begin();
203   ASSERT_TRUE(I1);
204
205   ModuleSlotTracker MST(M.get());
206   MST.incorporateFunction(*F);
207   EXPECT_EQ(MST.getLocalSlot(I0), 0);
208   EXPECT_EQ(MST.getLocalSlot(I1), 1);
209   EXPECT_EQ(MST.getLocalSlot(&EntryBB), -1);
210   EXPECT_EQ(MST.getLocalSlot(BB2), 2);
211 }
212
213 #if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
214 TEST(ValueTest, getLocalSlotDeath) {
215   LLVMContext C;
216   const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
217                              "entry:\n"
218                              "  %0 = add i32 %y, 1\n"
219                              "  %1 = add i32 %y, 1\n"
220                              "  br label %2\n"
221                              "\n"
222                              "  ret void\n"
223                              "}\n";
224   SMDiagnostic Err;
225   std::unique_ptr<Module> M = parseAssemblyString(ModuleString, Err, C);
226
227   Function *F = M->getFunction("f");
228   ASSERT_TRUE(F);
229   ASSERT_FALSE(F->empty());
230   BasicBlock *BB2 = &*++F->begin();
231   ASSERT_TRUE(BB2);
232
233   ModuleSlotTracker MST(M.get());
234   EXPECT_DEATH(MST.getLocalSlot(BB2), "No function incorporated");
235 }
236 #endif
237
238 } // end anonymous namespace