1 //===- llvm/unittest/IR/InstructionsTest.cpp - Instructions unit tests ----===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "llvm/IR/Instructions.h"
11 #include "llvm/ADT/STLExtras.h"
12 #include "llvm/Analysis/ValueTracking.h"
13 #include "llvm/IR/BasicBlock.h"
14 #include "llvm/IR/Constants.h"
15 #include "llvm/IR/DataLayout.h"
16 #include "llvm/IR/DerivedTypes.h"
17 #include "llvm/IR/IRBuilder.h"
18 #include "llvm/IR/LLVMContext.h"
19 #include "llvm/IR/MDBuilder.h"
20 #include "llvm/IR/Operator.h"
21 #include "gtest/gtest.h"
26 TEST(InstructionsTest, ReturnInst) {
27 LLVMContext &C(getGlobalContext());
30 const ReturnInst* r0 = ReturnInst::Create(C);
31 EXPECT_EQ(r0->getNumOperands(), 0U);
32 EXPECT_EQ(r0->op_begin(), r0->op_end());
34 IntegerType* Int1 = IntegerType::get(C, 1);
35 Constant* One = ConstantInt::get(Int1, 1, true);
36 const ReturnInst* r1 = ReturnInst::Create(C, One);
37 EXPECT_EQ(1U, r1->getNumOperands());
38 User::const_op_iterator b(r1->op_begin());
39 EXPECT_NE(r1->op_end(), b);
41 EXPECT_EQ(One, r1->getOperand(0));
43 EXPECT_EQ(r1->op_end(), b);
50 TEST(InstructionsTest, BranchInst) {
51 LLVMContext &C(getGlobalContext());
54 BasicBlock* bb0 = BasicBlock::Create(C);
55 BasicBlock* bb1 = BasicBlock::Create(C);
57 // Mandatory BranchInst
58 const BranchInst* b0 = BranchInst::Create(bb0);
60 EXPECT_TRUE(b0->isUnconditional());
61 EXPECT_FALSE(b0->isConditional());
62 EXPECT_EQ(1U, b0->getNumSuccessors());
65 EXPECT_EQ(1U, b0->getNumOperands());
67 EXPECT_NE(b0->op_begin(), b0->op_end());
68 EXPECT_EQ(b0->op_end(), llvm::next(b0->op_begin()));
70 EXPECT_EQ(b0->op_end(), llvm::next(b0->op_begin()));
72 IntegerType* Int1 = IntegerType::get(C, 1);
73 Constant* One = ConstantInt::get(Int1, 1, true);
75 // Conditional BranchInst
76 BranchInst* b1 = BranchInst::Create(bb0, bb1, One);
78 EXPECT_FALSE(b1->isUnconditional());
79 EXPECT_TRUE(b1->isConditional());
80 EXPECT_EQ(2U, b1->getNumSuccessors());
83 EXPECT_EQ(3U, b1->getNumOperands());
85 User::const_op_iterator b(b1->op_begin());
88 EXPECT_NE(b, b1->op_end());
90 EXPECT_EQ(One, b1->getOperand(0));
91 EXPECT_EQ(One, b1->getCondition());
96 EXPECT_EQ(bb1, b1->getOperand(1));
97 EXPECT_EQ(bb1, b1->getSuccessor(1));
102 EXPECT_EQ(bb0, b1->getOperand(2));
103 EXPECT_EQ(bb0, b1->getSuccessor(0));
106 EXPECT_EQ(b1->op_end(), b);
116 TEST(InstructionsTest, CastInst) {
117 LLVMContext &C(getGlobalContext());
119 Type *Int8Ty = Type::getInt8Ty(C);
120 Type *Int16Ty = Type::getInt16Ty(C);
121 Type *Int32Ty = Type::getInt32Ty(C);
122 Type *Int64Ty = Type::getInt64Ty(C);
123 Type *V8x8Ty = VectorType::get(Int8Ty, 8);
124 Type *V8x64Ty = VectorType::get(Int64Ty, 8);
125 Type *X86MMXTy = Type::getX86_MMXTy(C);
127 Type *HalfTy = Type::getHalfTy(C);
128 Type *FloatTy = Type::getFloatTy(C);
129 Type *DoubleTy = Type::getDoubleTy(C);
131 Type *V2Int32Ty = VectorType::get(Int32Ty, 2);
132 Type *V2Int64Ty = VectorType::get(Int64Ty, 2);
133 Type *V4Int16Ty = VectorType::get(Int16Ty, 4);
135 Type *Int32PtrTy = PointerType::get(Int32Ty, 0);
136 Type *Int64PtrTy = PointerType::get(Int64Ty, 0);
138 Type *Int32PtrAS1Ty = PointerType::get(Int32Ty, 1);
139 Type *Int64PtrAS1Ty = PointerType::get(Int64Ty, 1);
141 Type *V2Int32PtrAS1Ty = VectorType::get(Int32PtrAS1Ty, 2);
142 Type *V2Int64PtrAS1Ty = VectorType::get(Int64PtrAS1Ty, 2);
143 Type *V4Int32PtrAS1Ty = VectorType::get(Int32PtrAS1Ty, 4);
144 Type *V4Int64PtrAS1Ty = VectorType::get(Int64PtrAS1Ty, 4);
146 Type *V2Int64PtrTy = VectorType::get(Int64PtrTy, 2);
147 Type *V2Int32PtrTy = VectorType::get(Int32PtrTy, 2);
149 const Constant* c8 = Constant::getNullValue(V8x8Ty);
150 const Constant* c64 = Constant::getNullValue(V8x64Ty);
152 EXPECT_EQ(CastInst::Trunc, CastInst::getCastOpcode(c64, true, V8x8Ty, true));
153 EXPECT_EQ(CastInst::SExt, CastInst::getCastOpcode(c8, true, V8x64Ty, true));
155 EXPECT_FALSE(CastInst::isBitCastable(V8x8Ty, X86MMXTy));
156 EXPECT_FALSE(CastInst::isBitCastable(X86MMXTy, V8x8Ty));
157 EXPECT_FALSE(CastInst::isBitCastable(Int64Ty, X86MMXTy));
158 EXPECT_FALSE(CastInst::isBitCastable(V8x64Ty, V8x8Ty));
159 EXPECT_FALSE(CastInst::isBitCastable(V8x8Ty, V8x64Ty));
161 // Check address space casts are rejected since we don't know the sizes here
162 EXPECT_FALSE(CastInst::isBitCastable(Int32PtrTy, Int32PtrAS1Ty));
163 EXPECT_FALSE(CastInst::isBitCastable(Int32PtrAS1Ty, Int32PtrTy));
164 EXPECT_FALSE(CastInst::isBitCastable(V2Int32PtrTy, V2Int32PtrAS1Ty));
165 EXPECT_FALSE(CastInst::isBitCastable(V2Int32PtrAS1Ty, V2Int32PtrTy));
166 EXPECT_TRUE(CastInst::isBitCastable(V2Int32PtrAS1Ty, V2Int64PtrAS1Ty));
168 // Test mismatched number of elements for pointers
169 EXPECT_FALSE(CastInst::isBitCastable(V2Int32PtrAS1Ty, V4Int64PtrAS1Ty));
170 EXPECT_FALSE(CastInst::isBitCastable(V4Int64PtrAS1Ty, V2Int32PtrAS1Ty));
171 EXPECT_FALSE(CastInst::isBitCastable(V2Int32PtrAS1Ty, V4Int32PtrAS1Ty));
172 EXPECT_FALSE(CastInst::isBitCastable(Int32PtrTy, V2Int32PtrTy));
173 EXPECT_FALSE(CastInst::isBitCastable(V2Int32PtrTy, Int32PtrTy));
175 EXPECT_TRUE(CastInst::isBitCastable(Int32PtrTy, Int64PtrTy));
176 EXPECT_FALSE(CastInst::isBitCastable(DoubleTy, FloatTy));
177 EXPECT_FALSE(CastInst::isBitCastable(FloatTy, DoubleTy));
178 EXPECT_TRUE(CastInst::isBitCastable(FloatTy, FloatTy));
179 EXPECT_TRUE(CastInst::isBitCastable(FloatTy, FloatTy));
180 EXPECT_TRUE(CastInst::isBitCastable(FloatTy, Int32Ty));
181 EXPECT_TRUE(CastInst::isBitCastable(Int16Ty, HalfTy));
182 EXPECT_TRUE(CastInst::isBitCastable(Int32Ty, FloatTy));
183 EXPECT_TRUE(CastInst::isBitCastable(V2Int32Ty, Int64Ty));
185 EXPECT_TRUE(CastInst::isBitCastable(V2Int32Ty, V4Int16Ty));
186 EXPECT_FALSE(CastInst::isBitCastable(Int32Ty, Int64Ty));
187 EXPECT_FALSE(CastInst::isBitCastable(Int64Ty, Int32Ty));
189 EXPECT_FALSE(CastInst::isBitCastable(V2Int32PtrTy, Int64Ty));
190 EXPECT_FALSE(CastInst::isBitCastable(Int64Ty, V2Int32PtrTy));
191 EXPECT_TRUE(CastInst::isBitCastable(V2Int64PtrTy, V2Int32PtrTy));
192 EXPECT_TRUE(CastInst::isBitCastable(V2Int32PtrTy, V2Int64PtrTy));
193 EXPECT_FALSE(CastInst::isBitCastable(V2Int32Ty, V2Int64Ty));
194 EXPECT_FALSE(CastInst::isBitCastable(V2Int64Ty, V2Int32Ty));
197 TEST(InstructionsTest, VectorGep) {
198 LLVMContext &C(getGlobalContext());
201 PointerType *Ptri8Ty = PointerType::get(IntegerType::get(C, 8), 0);
202 PointerType *Ptri32Ty = PointerType::get(IntegerType::get(C, 32), 0);
204 VectorType *V2xi8PTy = VectorType::get(Ptri8Ty, 2);
205 VectorType *V2xi32PTy = VectorType::get(Ptri32Ty, 2);
207 // Test different aspects of the vector-of-pointers type
208 // and GEPs which use this type.
209 ConstantInt *Ci32a = ConstantInt::get(C, APInt(32, 1492));
210 ConstantInt *Ci32b = ConstantInt::get(C, APInt(32, 1948));
211 std::vector<Constant*> ConstVa(2, Ci32a);
212 std::vector<Constant*> ConstVb(2, Ci32b);
213 Constant *C2xi32a = ConstantVector::get(ConstVa);
214 Constant *C2xi32b = ConstantVector::get(ConstVb);
216 CastInst *PtrVecA = new IntToPtrInst(C2xi32a, V2xi32PTy);
217 CastInst *PtrVecB = new IntToPtrInst(C2xi32b, V2xi32PTy);
219 ICmpInst *ICmp0 = new ICmpInst(ICmpInst::ICMP_SGT, PtrVecA, PtrVecB);
220 ICmpInst *ICmp1 = new ICmpInst(ICmpInst::ICMP_ULT, PtrVecA, PtrVecB);
221 EXPECT_NE(ICmp0, ICmp1); // suppress warning.
223 BasicBlock* BB0 = BasicBlock::Create(C);
224 // Test InsertAtEnd ICmpInst constructor.
225 ICmpInst *ICmp2 = new ICmpInst(*BB0, ICmpInst::ICMP_SGE, PtrVecA, PtrVecB);
226 EXPECT_NE(ICmp0, ICmp2); // suppress warning.
228 GetElementPtrInst *Gep0 = GetElementPtrInst::Create(PtrVecA, C2xi32a);
229 GetElementPtrInst *Gep1 = GetElementPtrInst::Create(PtrVecA, C2xi32b);
230 GetElementPtrInst *Gep2 = GetElementPtrInst::Create(PtrVecB, C2xi32a);
231 GetElementPtrInst *Gep3 = GetElementPtrInst::Create(PtrVecB, C2xi32b);
233 CastInst *BTC0 = new BitCastInst(Gep0, V2xi8PTy);
234 CastInst *BTC1 = new BitCastInst(Gep1, V2xi8PTy);
235 CastInst *BTC2 = new BitCastInst(Gep2, V2xi8PTy);
236 CastInst *BTC3 = new BitCastInst(Gep3, V2xi8PTy);
238 Value *S0 = BTC0->stripPointerCasts();
239 Value *S1 = BTC1->stripPointerCasts();
240 Value *S2 = BTC2->stripPointerCasts();
241 Value *S3 = BTC3->stripPointerCasts();
249 DataLayout TD("e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3"
250 "2:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80"
251 ":128:128-n8:16:32:64-S128");
252 // Make sure we don't crash
253 GetPointerBaseWithConstantOffset(Gep0, Offset, &TD);
254 GetPointerBaseWithConstantOffset(Gep1, Offset, &TD);
255 GetPointerBaseWithConstantOffset(Gep2, Offset, &TD);
256 GetPointerBaseWithConstantOffset(Gep3, Offset, &TD);
259 GetElementPtrInst *GepII0 = GetElementPtrInst::Create(Gep0, C2xi32b);
260 GetElementPtrInst *GepII1 = GetElementPtrInst::Create(Gep1, C2xi32a);
261 GetElementPtrInst *GepII2 = GetElementPtrInst::Create(Gep2, C2xi32b);
262 GetElementPtrInst *GepII3 = GetElementPtrInst::Create(Gep3, C2xi32a);
264 EXPECT_EQ(GepII0->getNumIndices(), 1u);
265 EXPECT_EQ(GepII1->getNumIndices(), 1u);
266 EXPECT_EQ(GepII2->getNumIndices(), 1u);
267 EXPECT_EQ(GepII3->getNumIndices(), 1u);
269 EXPECT_FALSE(GepII0->hasAllZeroIndices());
270 EXPECT_FALSE(GepII1->hasAllZeroIndices());
271 EXPECT_FALSE(GepII2->hasAllZeroIndices());
272 EXPECT_FALSE(GepII3->hasAllZeroIndices());
289 ICmp2->eraseFromParent();
298 TEST(InstructionsTest, FPMathOperator) {
299 LLVMContext &Context = getGlobalContext();
300 IRBuilder<> Builder(Context);
301 MDBuilder MDHelper(Context);
302 Instruction *I = Builder.CreatePHI(Builder.getDoubleTy(), 0);
303 MDNode *MD1 = MDHelper.createFPMath(1.0);
304 Value *V1 = Builder.CreateFAdd(I, I, "", MD1);
305 EXPECT_TRUE(isa<FPMathOperator>(V1));
306 FPMathOperator *O1 = cast<FPMathOperator>(V1);
307 EXPECT_EQ(O1->getFPAccuracy(), 1.0);
313 TEST(InstructionsTest, isEliminableCastPair) {
314 LLVMContext &C(getGlobalContext());
316 Type* Int32Ty = Type::getInt32Ty(C);
317 Type* Int64Ty = Type::getInt64Ty(C);
318 Type* Int64PtrTy = Type::getInt64PtrTy(C);
320 // Source and destination pointers have same size -> bitcast.
321 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::PtrToInt,
323 Int64PtrTy, Int64Ty, Int64PtrTy,
324 Int32Ty, 0, Int32Ty),
327 // Source and destination pointers have different sizes -> fail.
328 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::PtrToInt,
330 Int64PtrTy, Int64Ty, Int64PtrTy,
331 Int32Ty, 0, Int64Ty),
334 // Middle pointer big enough -> bitcast.
335 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::IntToPtr,
337 Int64Ty, Int64PtrTy, Int64Ty,
341 // Middle pointer too small -> fail.
342 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::IntToPtr,
344 Int64Ty, Int64PtrTy, Int64Ty,
349 } // end anonymous namespace
350 } // end namespace llvm