1//===- llvm/unittest/VMCore/ConstantsTest.cpp - Constants 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/Constants.h" 11#include "llvm/DerivedTypes.h" 12#include "llvm/LLVMContext.h" 13#include "gtest/gtest.h" 14 15namespace llvm { 16namespace { 17 18TEST(ConstantsTest, Integer_i1) { 19 IntegerType* Int1 = IntegerType::get(getGlobalContext(), 1); 20 Constant* One = ConstantInt::get(Int1, 1, true); 21 Constant* Zero = ConstantInt::get(Int1, 0); 22 Constant* NegOne = ConstantInt::get(Int1, static_cast<uint64_t>(-1), true); 23 EXPECT_EQ(NegOne, ConstantInt::getSigned(Int1, -1)); 24 Constant* Undef = UndefValue::get(Int1); 25 26 // Input: @b = constant i1 add(i1 1 , i1 1) 27 // Output: @b = constant i1 false 28 EXPECT_EQ(Zero, ConstantExpr::getAdd(One, One)); 29 30 // @c = constant i1 add(i1 -1, i1 1) 31 // @c = constant i1 false 32 EXPECT_EQ(Zero, ConstantExpr::getAdd(NegOne, One)); 33 34 // @d = constant i1 add(i1 -1, i1 -1) 35 // @d = constant i1 false 36 EXPECT_EQ(Zero, ConstantExpr::getAdd(NegOne, NegOne)); 37 38 // @e = constant i1 sub(i1 -1, i1 1) 39 // @e = constant i1 false 40 EXPECT_EQ(Zero, ConstantExpr::getSub(NegOne, One)); 41 42 // @f = constant i1 sub(i1 1 , i1 -1) 43 // @f = constant i1 false 44 EXPECT_EQ(Zero, ConstantExpr::getSub(One, NegOne)); 45 46 // @g = constant i1 sub(i1 1 , i1 1) 47 // @g = constant i1 false 48 EXPECT_EQ(Zero, ConstantExpr::getSub(One, One)); 49 50 // @h = constant i1 shl(i1 1 , i1 1) ; undefined 51 // @h = constant i1 undef 52 EXPECT_EQ(Undef, ConstantExpr::getShl(One, One)); 53 54 // @i = constant i1 shl(i1 1 , i1 0) 55 // @i = constant i1 true 56 EXPECT_EQ(One, ConstantExpr::getShl(One, Zero)); 57 58 // @j = constant i1 lshr(i1 1, i1 1) ; undefined 59 // @j = constant i1 undef 60 EXPECT_EQ(Undef, ConstantExpr::getLShr(One, One)); 61 62 // @m = constant i1 ashr(i1 1, i1 1) ; undefined 63 // @m = constant i1 undef 64 EXPECT_EQ(Undef, ConstantExpr::getAShr(One, One)); 65 66 // @n = constant i1 mul(i1 -1, i1 1) 67 // @n = constant i1 true 68 EXPECT_EQ(One, ConstantExpr::getMul(NegOne, One)); 69 70 // @o = constant i1 sdiv(i1 -1, i1 1) ; overflow 71 // @o = constant i1 true 72 EXPECT_EQ(One, ConstantExpr::getSDiv(NegOne, One)); 73 74 // @p = constant i1 sdiv(i1 1 , i1 -1); overflow 75 // @p = constant i1 true 76 EXPECT_EQ(One, ConstantExpr::getSDiv(One, NegOne)); 77 78 // @q = constant i1 udiv(i1 -1, i1 1) 79 // @q = constant i1 true 80 EXPECT_EQ(One, ConstantExpr::getUDiv(NegOne, One)); 81 82 // @r = constant i1 udiv(i1 1, i1 -1) 83 // @r = constant i1 true 84 EXPECT_EQ(One, ConstantExpr::getUDiv(One, NegOne)); 85 86 // @s = constant i1 srem(i1 -1, i1 1) ; overflow 87 // @s = constant i1 false 88 EXPECT_EQ(Zero, ConstantExpr::getSRem(NegOne, One)); 89 90 // @t = constant i1 urem(i1 -1, i1 1) 91 // @t = constant i1 false 92 EXPECT_EQ(Zero, ConstantExpr::getURem(NegOne, One)); 93 94 // @u = constant i1 srem(i1 1, i1 -1) ; overflow 95 // @u = constant i1 false 96 EXPECT_EQ(Zero, ConstantExpr::getSRem(One, NegOne)); 97} 98 99TEST(ConstantsTest, IntSigns) { 100 IntegerType* Int8Ty = Type::getInt8Ty(getGlobalContext()); 101 EXPECT_EQ(100, ConstantInt::get(Int8Ty, 100, false)->getSExtValue()); 102 EXPECT_EQ(100, ConstantInt::get(Int8Ty, 100, true)->getSExtValue()); 103 EXPECT_EQ(100, ConstantInt::getSigned(Int8Ty, 100)->getSExtValue()); 104 EXPECT_EQ(-50, ConstantInt::get(Int8Ty, 206)->getSExtValue()); 105 EXPECT_EQ(-50, ConstantInt::getSigned(Int8Ty, -50)->getSExtValue()); 106 EXPECT_EQ(206U, ConstantInt::getSigned(Int8Ty, -50)->getZExtValue()); 107 108 // Overflow is handled by truncation. 109 EXPECT_EQ(0x3b, ConstantInt::get(Int8Ty, 0x13b)->getSExtValue()); 110} 111 112TEST(ConstantsTest, FP128Test) { 113 Type *FP128Ty = Type::getFP128Ty(getGlobalContext()); 114 115 IntegerType *Int128Ty = Type::getIntNTy(getGlobalContext(), 128); 116 Constant *Zero128 = Constant::getNullValue(Int128Ty); 117 Constant *X = ConstantExpr::getUIToFP(Zero128, FP128Ty); 118 EXPECT_TRUE(isa<ConstantFP>(X)); 119} 120 121} // end anonymous namespace 122} // end namespace llvm 123