Chandler Carruth | c779e96 | 2013-01-07 15:35:46 +0000 | [diff] [blame] | 1 | //===- llvm/unittest/IR/InstructionsTest.cpp - Instructions unit tests ----===// |
Gabor Greif | 5a7069a | 2010-03-16 09:55:46 +0000 | [diff] [blame] | 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 | |
Chandler Carruth | 0b8c9a8 | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 10 | #include "llvm/IR/Instructions.h" |
Chandler Carruth | 5a88dda | 2012-12-04 10:23:08 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/STLExtras.h" |
| 12 | #include "llvm/Analysis/ValueTracking.h" |
Chandler Carruth | 0b8c9a8 | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 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" |
Gabor Greif | 5a7069a | 2010-03-16 09:55:46 +0000 | [diff] [blame] | 21 | #include "gtest/gtest.h" |
| 22 | |
| 23 | namespace llvm { |
| 24 | namespace { |
| 25 | |
Gabor Greif | 138acfe | 2010-03-16 10:59:48 +0000 | [diff] [blame] | 26 | TEST(InstructionsTest, ReturnInst) { |
Gabor Greif | 5a7069a | 2010-03-16 09:55:46 +0000 | [diff] [blame] | 27 | LLVMContext &C(getGlobalContext()); |
| 28 | |
Gabor Greif | 138acfe | 2010-03-16 10:59:48 +0000 | [diff] [blame] | 29 | // test for PR6589 |
Gabor Greif | 5a7069a | 2010-03-16 09:55:46 +0000 | [diff] [blame] | 30 | const ReturnInst* r0 = ReturnInst::Create(C); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 31 | EXPECT_EQ(r0->getNumOperands(), 0U); |
Gabor Greif | 138acfe | 2010-03-16 10:59:48 +0000 | [diff] [blame] | 32 | EXPECT_EQ(r0->op_begin(), r0->op_end()); |
Gabor Greif | 22385eb | 2010-03-16 11:24:53 +0000 | [diff] [blame] | 33 | |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 34 | IntegerType* Int1 = IntegerType::get(C, 1); |
Gabor Greif | 22385eb | 2010-03-16 11:24:53 +0000 | [diff] [blame] | 35 | Constant* One = ConstantInt::get(Int1, 1, true); |
| 36 | const ReturnInst* r1 = ReturnInst::Create(C, One); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 37 | EXPECT_EQ(1U, r1->getNumOperands()); |
Gabor Greif | 22385eb | 2010-03-16 11:24:53 +0000 | [diff] [blame] | 38 | User::const_op_iterator b(r1->op_begin()); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 39 | EXPECT_NE(r1->op_end(), b); |
| 40 | EXPECT_EQ(One, *b); |
| 41 | EXPECT_EQ(One, r1->getOperand(0)); |
Gabor Greif | 22385eb | 2010-03-16 11:24:53 +0000 | [diff] [blame] | 42 | ++b; |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 43 | EXPECT_EQ(r1->op_end(), b); |
Gabor Greif | 642c066 | 2010-03-16 12:32:03 +0000 | [diff] [blame] | 44 | |
| 45 | // clean up |
| 46 | delete r0; |
| 47 | delete r1; |
Gabor Greif | 5a7069a | 2010-03-16 09:55:46 +0000 | [diff] [blame] | 48 | } |
| 49 | |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 50 | TEST(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 Greif | abf657f | 2010-03-16 15:53:58 +0000 | [diff] [blame] | 60 | EXPECT_TRUE(b0->isUnconditional()); |
| 61 | EXPECT_FALSE(b0->isConditional()); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 62 | EXPECT_EQ(1U, b0->getNumSuccessors()); |
Gabor Greif | abf657f | 2010-03-16 15:53:58 +0000 | [diff] [blame] | 63 | |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 64 | // check num operands |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 65 | EXPECT_EQ(1U, b0->getNumOperands()); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 66 | |
| 67 | EXPECT_NE(b0->op_begin(), b0->op_end()); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 68 | EXPECT_EQ(b0->op_end(), llvm::next(b0->op_begin())); |
Gabor Greif | abf657f | 2010-03-16 15:53:58 +0000 | [diff] [blame] | 69 | |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 70 | EXPECT_EQ(b0->op_end(), llvm::next(b0->op_begin())); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 71 | |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 72 | IntegerType* Int1 = IntegerType::get(C, 1); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 73 | Constant* One = ConstantInt::get(Int1, 1, true); |
| 74 | |
| 75 | // Conditional BranchInst |
| 76 | BranchInst* b1 = BranchInst::Create(bb0, bb1, One); |
| 77 | |
Gabor Greif | abf657f | 2010-03-16 15:53:58 +0000 | [diff] [blame] | 78 | EXPECT_FALSE(b1->isUnconditional()); |
| 79 | EXPECT_TRUE(b1->isConditional()); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 80 | EXPECT_EQ(2U, b1->getNumSuccessors()); |
Gabor Greif | abf657f | 2010-03-16 15:53:58 +0000 | [diff] [blame] | 81 | |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 82 | // check num operands |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 83 | EXPECT_EQ(3U, b1->getNumOperands()); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 84 | |
| 85 | User::const_op_iterator b(b1->op_begin()); |
| 86 | |
| 87 | // check COND |
| 88 | EXPECT_NE(b, b1->op_end()); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 89 | EXPECT_EQ(One, *b); |
| 90 | EXPECT_EQ(One, b1->getOperand(0)); |
| 91 | EXPECT_EQ(One, b1->getCondition()); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 92 | ++b; |
| 93 | |
| 94 | // check ELSE |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 95 | EXPECT_EQ(bb1, *b); |
| 96 | EXPECT_EQ(bb1, b1->getOperand(1)); |
| 97 | EXPECT_EQ(bb1, b1->getSuccessor(1)); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 98 | ++b; |
| 99 | |
| 100 | // check THEN |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 101 | EXPECT_EQ(bb0, *b); |
| 102 | EXPECT_EQ(bb0, b1->getOperand(2)); |
| 103 | EXPECT_EQ(bb0, b1->getSuccessor(0)); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 104 | ++b; |
| 105 | |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 106 | EXPECT_EQ(b1->op_end(), b); |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 107 | |
Gabor Greif | d165e1a | 2010-03-16 15:26:09 +0000 | [diff] [blame] | 108 | // clean up |
| 109 | delete b0; |
| 110 | delete b1; |
| 111 | |
| 112 | delete bb0; |
| 113 | delete bb1; |
| 114 | } |
| 115 | |
Duncan Sands | 6079465 | 2011-04-01 03:34:54 +0000 | [diff] [blame] | 116 | TEST(InstructionsTest, CastInst) { |
| 117 | LLVMContext &C(getGlobalContext()); |
| 118 | |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 119 | 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 Sands | 6079465 | 2011-04-01 03:34:54 +0000 | [diff] [blame] | 124 | |
Duncan Sands | 117feba | 2011-05-18 07:13:41 +0000 | [diff] [blame] | 125 | const Constant* c8 = Constant::getNullValue(V8x8Ty); |
| 126 | const Constant* c64 = Constant::getNullValue(V8x64Ty); |
| 127 | |
Duncan Sands | 6079465 | 2011-04-01 03:34:54 +0000 | [diff] [blame] | 128 | EXPECT_TRUE(CastInst::isCastable(V8x8Ty, X86MMXTy)); |
| 129 | EXPECT_TRUE(CastInst::isCastable(X86MMXTy, V8x8Ty)); |
| 130 | EXPECT_FALSE(CastInst::isCastable(Int64Ty, X86MMXTy)); |
Duncan Sands | 117feba | 2011-05-18 07:13:41 +0000 | [diff] [blame] | 131 | EXPECT_TRUE(CastInst::isCastable(V8x64Ty, V8x8Ty)); |
| 132 | EXPECT_TRUE(CastInst::isCastable(V8x8Ty, V8x64Ty)); |
John McCall | f5ec9b5 | 2011-08-27 19:23:22 +0000 | [diff] [blame] | 133 | EXPECT_EQ(CastInst::Trunc, CastInst::getCastOpcode(c64, true, V8x8Ty, true)); |
| 134 | EXPECT_EQ(CastInst::SExt, CastInst::getCastOpcode(c8, true, V8x64Ty, true)); |
Duncan Sands | 6079465 | 2011-04-01 03:34:54 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Nadav Rotem | 1608769 | 2011-12-05 06:29:09 +0000 | [diff] [blame] | 137 | |
| 138 | |
| 139 | TEST(InstructionsTest, VectorGep) { |
| 140 | LLVMContext &C(getGlobalContext()); |
| 141 | |
| 142 | // Type Definitions |
| 143 | PointerType *Ptri8Ty = PointerType::get(IntegerType::get(C, 8), 0); |
Matt Arsenault | 76bf61f | 2013-06-28 23:24:10 +0000 | [diff] [blame] | 144 | PointerType *Ptri32Ty = PointerType::get(IntegerType::get(C, 32), 0); |
Nadav Rotem | 1608769 | 2011-12-05 06:29:09 +0000 | [diff] [blame] | 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 | |
Evgeniy Stepanov | 4802b9d | 2013-01-16 14:38:50 +0000 | [diff] [blame] | 165 | BasicBlock* BB0 = BasicBlock::Create(C); |
| 166 | // Test InsertAtEnd ICmpInst constructor. |
| 167 | ICmpInst *ICmp2 = new ICmpInst(*BB0, ICmpInst::ICMP_SGE, PtrVecA, PtrVecB); |
| 168 | EXPECT_NE(ICmp0, ICmp2); // suppress warning. |
| 169 | |
Nadav Rotem | 1608769 | 2011-12-05 06:29:09 +0000 | [diff] [blame] | 170 | GetElementPtrInst *Gep0 = GetElementPtrInst::Create(PtrVecA, C2xi32a); |
| 171 | GetElementPtrInst *Gep1 = GetElementPtrInst::Create(PtrVecA, C2xi32b); |
| 172 | GetElementPtrInst *Gep2 = GetElementPtrInst::Create(PtrVecB, C2xi32a); |
| 173 | GetElementPtrInst *Gep3 = GetElementPtrInst::Create(PtrVecB, C2xi32b); |
| 174 | |
| 175 | CastInst *BTC0 = new BitCastInst(Gep0, V2xi8PTy); |
| 176 | CastInst *BTC1 = new BitCastInst(Gep1, V2xi8PTy); |
| 177 | CastInst *BTC2 = new BitCastInst(Gep2, V2xi8PTy); |
| 178 | CastInst *BTC3 = new BitCastInst(Gep3, V2xi8PTy); |
| 179 | |
| 180 | Value *S0 = BTC0->stripPointerCasts(); |
| 181 | Value *S1 = BTC1->stripPointerCasts(); |
| 182 | Value *S2 = BTC2->stripPointerCasts(); |
| 183 | Value *S3 = BTC3->stripPointerCasts(); |
| 184 | |
| 185 | EXPECT_NE(S0, Gep0); |
| 186 | EXPECT_NE(S1, Gep1); |
| 187 | EXPECT_NE(S2, Gep2); |
| 188 | EXPECT_NE(S3, Gep3); |
| 189 | |
| 190 | int64_t Offset; |
Micah Villmow | 791cfc2 | 2012-10-08 16:39:34 +0000 | [diff] [blame] | 191 | DataLayout TD("e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3" |
Nadav Rotem | 1608769 | 2011-12-05 06:29:09 +0000 | [diff] [blame] | 192 | "2:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80" |
| 193 | ":128:128-n8:16:32:64-S128"); |
| 194 | // Make sure we don't crash |
Dan Gohman | a070d2a | 2013-01-31 02:00:45 +0000 | [diff] [blame] | 195 | GetPointerBaseWithConstantOffset(Gep0, Offset, &TD); |
| 196 | GetPointerBaseWithConstantOffset(Gep1, Offset, &TD); |
| 197 | GetPointerBaseWithConstantOffset(Gep2, Offset, &TD); |
| 198 | GetPointerBaseWithConstantOffset(Gep3, Offset, &TD); |
Nadav Rotem | 1608769 | 2011-12-05 06:29:09 +0000 | [diff] [blame] | 199 | |
| 200 | // Gep of Geps |
| 201 | GetElementPtrInst *GepII0 = GetElementPtrInst::Create(Gep0, C2xi32b); |
| 202 | GetElementPtrInst *GepII1 = GetElementPtrInst::Create(Gep1, C2xi32a); |
| 203 | GetElementPtrInst *GepII2 = GetElementPtrInst::Create(Gep2, C2xi32b); |
| 204 | GetElementPtrInst *GepII3 = GetElementPtrInst::Create(Gep3, C2xi32a); |
| 205 | |
| 206 | EXPECT_EQ(GepII0->getNumIndices(), 1u); |
| 207 | EXPECT_EQ(GepII1->getNumIndices(), 1u); |
| 208 | EXPECT_EQ(GepII2->getNumIndices(), 1u); |
| 209 | EXPECT_EQ(GepII3->getNumIndices(), 1u); |
| 210 | |
| 211 | EXPECT_FALSE(GepII0->hasAllZeroIndices()); |
| 212 | EXPECT_FALSE(GepII1->hasAllZeroIndices()); |
| 213 | EXPECT_FALSE(GepII2->hasAllZeroIndices()); |
| 214 | EXPECT_FALSE(GepII3->hasAllZeroIndices()); |
| 215 | |
| 216 | delete GepII0; |
| 217 | delete GepII1; |
| 218 | delete GepII2; |
| 219 | delete GepII3; |
| 220 | |
| 221 | delete BTC0; |
| 222 | delete BTC1; |
| 223 | delete BTC2; |
| 224 | delete BTC3; |
| 225 | |
| 226 | delete Gep0; |
| 227 | delete Gep1; |
| 228 | delete Gep2; |
| 229 | delete Gep3; |
| 230 | |
Evgeniy Stepanov | 4802b9d | 2013-01-16 14:38:50 +0000 | [diff] [blame] | 231 | ICmp2->eraseFromParent(); |
| 232 | delete BB0; |
| 233 | |
Nadav Rotem | 1608769 | 2011-12-05 06:29:09 +0000 | [diff] [blame] | 234 | delete ICmp0; |
| 235 | delete ICmp1; |
| 236 | delete PtrVecA; |
| 237 | delete PtrVecB; |
| 238 | } |
| 239 | |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 240 | TEST(InstructionsTest, FPMathOperator) { |
| 241 | LLVMContext &Context = getGlobalContext(); |
| 242 | IRBuilder<> Builder(Context); |
| 243 | MDBuilder MDHelper(Context); |
| 244 | Instruction *I = Builder.CreatePHI(Builder.getDoubleTy(), 0); |
| 245 | MDNode *MD1 = MDHelper.createFPMath(1.0); |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 246 | Value *V1 = Builder.CreateFAdd(I, I, "", MD1); |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 247 | EXPECT_TRUE(isa<FPMathOperator>(V1)); |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 248 | FPMathOperator *O1 = cast<FPMathOperator>(V1); |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 249 | EXPECT_EQ(O1->getFPAccuracy(), 1.0); |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 250 | delete V1; |
Duncan Sands | 8883c43 | 2012-04-16 16:28:59 +0000 | [diff] [blame] | 251 | delete I; |
| 252 | } |
| 253 | |
Duncan Sands | 446cf94 | 2012-10-30 16:03:32 +0000 | [diff] [blame] | 254 | |
| 255 | TEST(InstructionsTest, isEliminableCastPair) { |
| 256 | LLVMContext &C(getGlobalContext()); |
| 257 | |
| 258 | Type* Int32Ty = Type::getInt32Ty(C); |
| 259 | Type* Int64Ty = Type::getInt64Ty(C); |
| 260 | Type* Int64PtrTy = Type::getInt64PtrTy(C); |
| 261 | |
| 262 | // Source and destination pointers have same size -> bitcast. |
| 263 | EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::PtrToInt, |
| 264 | CastInst::IntToPtr, |
| 265 | Int64PtrTy, Int64Ty, Int64PtrTy, |
| 266 | Int32Ty, 0, Int32Ty), |
| 267 | CastInst::BitCast); |
| 268 | |
| 269 | // Source and destination pointers have different sizes -> fail. |
| 270 | EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::PtrToInt, |
| 271 | CastInst::IntToPtr, |
| 272 | Int64PtrTy, Int64Ty, Int64PtrTy, |
| 273 | Int32Ty, 0, Int64Ty), |
| 274 | 0U); |
| 275 | |
| 276 | // Middle pointer big enough -> bitcast. |
| 277 | EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::IntToPtr, |
| 278 | CastInst::PtrToInt, |
| 279 | Int64Ty, Int64PtrTy, Int64Ty, |
| 280 | 0, Int64Ty, 0), |
| 281 | CastInst::BitCast); |
| 282 | |
| 283 | // Middle pointer too small -> fail. |
| 284 | EXPECT_EQ(CastInst::isEliminableCastPair(CastInst::IntToPtr, |
| 285 | CastInst::PtrToInt, |
| 286 | Int64Ty, Int64PtrTy, Int64Ty, |
| 287 | 0, Int32Ty, 0), |
| 288 | 0U); |
| 289 | } |
| 290 | |
Gabor Greif | 5a7069a | 2010-03-16 09:55:46 +0000 | [diff] [blame] | 291 | } // end anonymous namespace |
| 292 | } // end namespace llvm |