blob: 601a84b2d1573b943eb3ddcbdfaf376b34ac5b1a [file] [log] [blame]
Chandler Carruthc779e962013-01-07 15:35:46 +00001//===- llvm/unittest/IR/InstructionsTest.cpp - Instructions unit tests ----===//
Gabor Greif5a7069a2010-03-16 09:55:46 +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 Carruth0b8c9a82013-01-02 11:36:10 +000010#include "llvm/IR/Instructions.h"
Chandler Carruth5a88dda2012-12-04 10:23:08 +000011#include "llvm/ADT/STLExtras.h"
12#include "llvm/Analysis/ValueTracking.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000013#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"
Gabor Greif5a7069a2010-03-16 09:55:46 +000021#include "gtest/gtest.h"
22
23namespace llvm {
24namespace {
25
Gabor Greif138acfe2010-03-16 10:59:48 +000026TEST(InstructionsTest, ReturnInst) {
Gabor Greif5a7069a2010-03-16 09:55:46 +000027 LLVMContext &C(getGlobalContext());
28
Gabor Greif138acfe2010-03-16 10:59:48 +000029 // test for PR6589
Gabor Greif5a7069a2010-03-16 09:55:46 +000030 const ReturnInst* r0 = ReturnInst::Create(C);
Gabor Greifd165e1a2010-03-16 15:26:09 +000031 EXPECT_EQ(r0->getNumOperands(), 0U);
Gabor Greif138acfe2010-03-16 10:59:48 +000032 EXPECT_EQ(r0->op_begin(), r0->op_end());
Gabor Greif22385eb2010-03-16 11:24:53 +000033
Chris Lattnerdb125cf2011-07-18 04:54:35 +000034 IntegerType* Int1 = IntegerType::get(C, 1);
Gabor Greif22385eb2010-03-16 11:24:53 +000035 Constant* One = ConstantInt::get(Int1, 1, true);
36 const ReturnInst* r1 = ReturnInst::Create(C, One);
John McCallf5ec9b52011-08-27 19:23:22 +000037 EXPECT_EQ(1U, r1->getNumOperands());
Gabor Greif22385eb2010-03-16 11:24:53 +000038 User::const_op_iterator b(r1->op_begin());
John McCallf5ec9b52011-08-27 19:23:22 +000039 EXPECT_NE(r1->op_end(), b);
40 EXPECT_EQ(One, *b);
41 EXPECT_EQ(One, r1->getOperand(0));
Gabor Greif22385eb2010-03-16 11:24:53 +000042 ++b;
John McCallf5ec9b52011-08-27 19:23:22 +000043 EXPECT_EQ(r1->op_end(), b);
Gabor Greif642c0662010-03-16 12:32:03 +000044
45 // clean up
46 delete r0;
47 delete r1;
Gabor Greif5a7069a2010-03-16 09:55:46 +000048}
49
Gabor Greifd165e1a2010-03-16 15:26:09 +000050TEST(InstructionsTest, BranchInst) {
51 LLVMContext &C(getGlobalContext());
52
53 // Make a BasicBlocks
54 BasicBlock* bb0 = BasicBlock::Create(C);
55 BasicBlock* bb1 = BasicBlock::Create(C);
56
57 // Mandatory BranchInst
58 const BranchInst* b0 = BranchInst::Create(bb0);
59
Gabor Greifabf657f2010-03-16 15:53:58 +000060 EXPECT_TRUE(b0->isUnconditional());
61 EXPECT_FALSE(b0->isConditional());
John McCallf5ec9b52011-08-27 19:23:22 +000062 EXPECT_EQ(1U, b0->getNumSuccessors());
Gabor Greifabf657f2010-03-16 15:53:58 +000063
Gabor Greifd165e1a2010-03-16 15:26:09 +000064 // check num operands
John McCallf5ec9b52011-08-27 19:23:22 +000065 EXPECT_EQ(1U, b0->getNumOperands());
Gabor Greifd165e1a2010-03-16 15:26:09 +000066
67 EXPECT_NE(b0->op_begin(), b0->op_end());
John McCallf5ec9b52011-08-27 19:23:22 +000068 EXPECT_EQ(b0->op_end(), llvm::next(b0->op_begin()));
Gabor Greifabf657f2010-03-16 15:53:58 +000069
John McCallf5ec9b52011-08-27 19:23:22 +000070 EXPECT_EQ(b0->op_end(), llvm::next(b0->op_begin()));
Gabor Greifd165e1a2010-03-16 15:26:09 +000071
Chris Lattnerdb125cf2011-07-18 04:54:35 +000072 IntegerType* Int1 = IntegerType::get(C, 1);
Gabor Greifd165e1a2010-03-16 15:26:09 +000073 Constant* One = ConstantInt::get(Int1, 1, true);
74
75 // Conditional BranchInst
76 BranchInst* b1 = BranchInst::Create(bb0, bb1, One);
77
Gabor Greifabf657f2010-03-16 15:53:58 +000078 EXPECT_FALSE(b1->isUnconditional());
79 EXPECT_TRUE(b1->isConditional());
John McCallf5ec9b52011-08-27 19:23:22 +000080 EXPECT_EQ(2U, b1->getNumSuccessors());
Gabor Greifabf657f2010-03-16 15:53:58 +000081
Gabor Greifd165e1a2010-03-16 15:26:09 +000082 // check num operands
John McCallf5ec9b52011-08-27 19:23:22 +000083 EXPECT_EQ(3U, b1->getNumOperands());
Gabor Greifd165e1a2010-03-16 15:26:09 +000084
85 User::const_op_iterator b(b1->op_begin());
86
87 // check COND
88 EXPECT_NE(b, b1->op_end());
John McCallf5ec9b52011-08-27 19:23:22 +000089 EXPECT_EQ(One, *b);
90 EXPECT_EQ(One, b1->getOperand(0));
91 EXPECT_EQ(One, b1->getCondition());
Gabor Greifd165e1a2010-03-16 15:26:09 +000092 ++b;
93
94 // check ELSE
John McCallf5ec9b52011-08-27 19:23:22 +000095 EXPECT_EQ(bb1, *b);
96 EXPECT_EQ(bb1, b1->getOperand(1));
97 EXPECT_EQ(bb1, b1->getSuccessor(1));
Gabor Greifd165e1a2010-03-16 15:26:09 +000098 ++b;
99
100 // check THEN
John McCallf5ec9b52011-08-27 19:23:22 +0000101 EXPECT_EQ(bb0, *b);
102 EXPECT_EQ(bb0, b1->getOperand(2));
103 EXPECT_EQ(bb0, b1->getSuccessor(0));
Gabor Greifd165e1a2010-03-16 15:26:09 +0000104 ++b;
105
John McCallf5ec9b52011-08-27 19:23:22 +0000106 EXPECT_EQ(b1->op_end(), b);
Gabor Greifd165e1a2010-03-16 15:26:09 +0000107
Gabor Greifd165e1a2010-03-16 15:26:09 +0000108 // clean up
109 delete b0;
110 delete b1;
111
112 delete bb0;
113 delete bb1;
114}
115
Duncan Sands60794652011-04-01 03:34:54 +0000116TEST(InstructionsTest, CastInst) {
117 LLVMContext &C(getGlobalContext());
118
Chris Lattnerdb125cf2011-07-18 04:54:35 +0000119 Type* Int8Ty = Type::getInt8Ty(C);
120 Type* Int64Ty = Type::getInt64Ty(C);
121 Type* V8x8Ty = VectorType::get(Int8Ty, 8);
122 Type* V8x64Ty = VectorType::get(Int64Ty, 8);
123 Type* X86MMXTy = Type::getX86_MMXTy(C);
Duncan Sands60794652011-04-01 03:34:54 +0000124
Duncan Sands117feba2011-05-18 07:13:41 +0000125 const Constant* c8 = Constant::getNullValue(V8x8Ty);
126 const Constant* c64 = Constant::getNullValue(V8x64Ty);
127
Duncan Sands60794652011-04-01 03:34:54 +0000128 EXPECT_TRUE(CastInst::isCastable(V8x8Ty, X86MMXTy));
129 EXPECT_TRUE(CastInst::isCastable(X86MMXTy, V8x8Ty));
130 EXPECT_FALSE(CastInst::isCastable(Int64Ty, X86MMXTy));
Duncan Sands117feba2011-05-18 07:13:41 +0000131 EXPECT_TRUE(CastInst::isCastable(V8x64Ty, V8x8Ty));
132 EXPECT_TRUE(CastInst::isCastable(V8x8Ty, V8x64Ty));
John McCallf5ec9b52011-08-27 19:23:22 +0000133 EXPECT_EQ(CastInst::Trunc, CastInst::getCastOpcode(c64, true, V8x8Ty, true));
134 EXPECT_EQ(CastInst::SExt, CastInst::getCastOpcode(c8, true, V8x64Ty, true));
Duncan Sands60794652011-04-01 03:34:54 +0000135}
136
Nadav Rotem16087692011-12-05 06:29:09 +0000137
138
139TEST(InstructionsTest, VectorGep) {
140 LLVMContext &C(getGlobalContext());
141
142 // Type Definitions
143 PointerType *Ptri8Ty = PointerType::get(IntegerType::get(C, 8), 0);
144 PointerType *Ptri32Ty = PointerType::get(IntegerType::get(C, 8), 0);
145
146 VectorType *V2xi8PTy = VectorType::get(Ptri8Ty, 2);
147 VectorType *V2xi32PTy = VectorType::get(Ptri32Ty, 2);
148
149 // Test different aspects of the vector-of-pointers type
150 // and GEPs which use this type.
151 ConstantInt *Ci32a = ConstantInt::get(C, APInt(32, 1492));
152 ConstantInt *Ci32b = ConstantInt::get(C, APInt(32, 1948));
153 std::vector<Constant*> ConstVa(2, Ci32a);
154 std::vector<Constant*> ConstVb(2, Ci32b);
155 Constant *C2xi32a = ConstantVector::get(ConstVa);
156 Constant *C2xi32b = ConstantVector::get(ConstVb);
157
158 CastInst *PtrVecA = new IntToPtrInst(C2xi32a, V2xi32PTy);
159 CastInst *PtrVecB = new IntToPtrInst(C2xi32b, V2xi32PTy);
160
161 ICmpInst *ICmp0 = new ICmpInst(ICmpInst::ICMP_SGT, PtrVecA, PtrVecB);
162 ICmpInst *ICmp1 = new ICmpInst(ICmpInst::ICMP_ULT, PtrVecA, PtrVecB);
163 EXPECT_NE(ICmp0, ICmp1); // suppress warning.
164
165 GetElementPtrInst *Gep0 = GetElementPtrInst::Create(PtrVecA, C2xi32a);
166 GetElementPtrInst *Gep1 = GetElementPtrInst::Create(PtrVecA, C2xi32b);
167 GetElementPtrInst *Gep2 = GetElementPtrInst::Create(PtrVecB, C2xi32a);
168 GetElementPtrInst *Gep3 = GetElementPtrInst::Create(PtrVecB, C2xi32b);
169
170 CastInst *BTC0 = new BitCastInst(Gep0, V2xi8PTy);
171 CastInst *BTC1 = new BitCastInst(Gep1, V2xi8PTy);
172 CastInst *BTC2 = new BitCastInst(Gep2, V2xi8PTy);
173 CastInst *BTC3 = new BitCastInst(Gep3, V2xi8PTy);
174
175 Value *S0 = BTC0->stripPointerCasts();
176 Value *S1 = BTC1->stripPointerCasts();
177 Value *S2 = BTC2->stripPointerCasts();
178 Value *S3 = BTC3->stripPointerCasts();
179
180 EXPECT_NE(S0, Gep0);
181 EXPECT_NE(S1, Gep1);
182 EXPECT_NE(S2, Gep2);
183 EXPECT_NE(S3, Gep3);
184
185 int64_t Offset;
Micah Villmow791cfc22012-10-08 16:39:34 +0000186 DataLayout TD("e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3"
Nadav Rotem16087692011-12-05 06:29:09 +0000187 "2:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80"
188 ":128:128-n8:16:32:64-S128");
189 // Make sure we don't crash
190 GetPointerBaseWithConstantOffset(Gep0, Offset, TD);
191 GetPointerBaseWithConstantOffset(Gep1, Offset, TD);
192 GetPointerBaseWithConstantOffset(Gep2, Offset, TD);
193 GetPointerBaseWithConstantOffset(Gep3, Offset, TD);
194
195 // Gep of Geps
196 GetElementPtrInst *GepII0 = GetElementPtrInst::Create(Gep0, C2xi32b);
197 GetElementPtrInst *GepII1 = GetElementPtrInst::Create(Gep1, C2xi32a);
198 GetElementPtrInst *GepII2 = GetElementPtrInst::Create(Gep2, C2xi32b);
199 GetElementPtrInst *GepII3 = GetElementPtrInst::Create(Gep3, C2xi32a);
200
201 EXPECT_EQ(GepII0->getNumIndices(), 1u);
202 EXPECT_EQ(GepII1->getNumIndices(), 1u);
203 EXPECT_EQ(GepII2->getNumIndices(), 1u);
204 EXPECT_EQ(GepII3->getNumIndices(), 1u);
205
206 EXPECT_FALSE(GepII0->hasAllZeroIndices());
207 EXPECT_FALSE(GepII1->hasAllZeroIndices());
208 EXPECT_FALSE(GepII2->hasAllZeroIndices());
209 EXPECT_FALSE(GepII3->hasAllZeroIndices());
210
211 delete GepII0;
212 delete GepII1;
213 delete GepII2;
214 delete GepII3;
215
216 delete BTC0;
217 delete BTC1;
218 delete BTC2;
219 delete BTC3;
220
221 delete Gep0;
222 delete Gep1;
223 delete Gep2;
224 delete Gep3;
225
226 delete ICmp0;
227 delete ICmp1;
228 delete PtrVecA;
229 delete PtrVecB;
230}
231
Duncan Sands8883c432012-04-16 16:28:59 +0000232TEST(InstructionsTest, FPMathOperator) {
233 LLVMContext &Context = getGlobalContext();
234 IRBuilder<> Builder(Context);
235 MDBuilder MDHelper(Context);
236 Instruction *I = Builder.CreatePHI(Builder.getDoubleTy(), 0);
237 MDNode *MD1 = MDHelper.createFPMath(1.0);
Duncan Sands8883c432012-04-16 16:28:59 +0000238 Value *V1 = Builder.CreateFAdd(I, I, "", MD1);
Duncan Sands8883c432012-04-16 16:28:59 +0000239 EXPECT_TRUE(isa<FPMathOperator>(V1));
Duncan Sands8883c432012-04-16 16:28:59 +0000240 FPMathOperator *O1 = cast<FPMathOperator>(V1);
Duncan Sands8883c432012-04-16 16:28:59 +0000241 EXPECT_EQ(O1->getFPAccuracy(), 1.0);
Duncan Sands8883c432012-04-16 16:28:59 +0000242 delete V1;
Duncan Sands8883c432012-04-16 16:28:59 +0000243 delete I;
244}
245
Duncan Sands446cf942012-10-30 16:03:32 +0000246
247TEST(InstructionsTest, isEliminableCastPair) {
248 LLVMContext &C(getGlobalContext());
249
250 Type* Int32Ty = Type::getInt32Ty(C);
251 Type* Int64Ty = Type::getInt64Ty(C);
252 Type* Int64PtrTy = Type::getInt64PtrTy(C);
253
254 // Source and destination pointers have same size -> bitcast.
255 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::PtrToInt,
256 CastInst::IntToPtr,
257 Int64PtrTy, Int64Ty, Int64PtrTy,
258 Int32Ty, 0, Int32Ty),
259 CastInst::BitCast);
260
261 // Source and destination pointers have different sizes -> fail.
262 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::PtrToInt,
263 CastInst::IntToPtr,
264 Int64PtrTy, Int64Ty, Int64PtrTy,
265 Int32Ty, 0, Int64Ty),
266 0U);
267
268 // Middle pointer big enough -> bitcast.
269 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::IntToPtr,
270 CastInst::PtrToInt,
271 Int64Ty, Int64PtrTy, Int64Ty,
272 0, Int64Ty, 0),
273 CastInst::BitCast);
274
275 // Middle pointer too small -> fail.
276 EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::IntToPtr,
277 CastInst::PtrToInt,
278 Int64Ty, Int64PtrTy, Int64Ty,
279 0, Int32Ty, 0),
280 0U);
281}
282
Gabor Greif5a7069a2010-03-16 09:55:46 +0000283} // end anonymous namespace
284} // end namespace llvm