mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-28 22:00:30 +00:00
ab225e9daf
Without this patch, APSInt inherits APInt::isNegative, which merely checks the sign bit without regard to whether the type is actually signed. isNonNegative and isStrictlyPositive call isNegative and so are also affected. This patch adjusts APSInt to override isNegative, isNonNegative, and isStrictlyPositive with implementations that consider whether the type is signed. A large set of Clang OpenMP tests are affected. Without this patch, these tests assume that `true` is not a valid argument for clauses like `collapse`. Indeed, `true` fails APInt::isStrictlyPositive but not APSInt::isStrictlyPositive. This patch adjusts those tests to assume `true` should be accepted. This patch also adds tests revealing various other similar fixes due to APSInt::isNegative calls in Clang's ExprConstant.cpp and SemaExpr.cpp: `++` and `--` overflow in `constexpr`, evaluated object size based on `alloc_size`, `<<` and `>>` shift count validation, and OpenMP array section validation. Reviewed By: lebedev.ri, ABataev, hfinkel Differential Revision: https://reviews.llvm.org/D59712 llvm-svn: 359012
249 lines
9.2 KiB
C++
249 lines
9.2 KiB
C++
//===- llvm/unittest/ADT/APSIntTest.cpp - APSInt unit tests ---------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/ADT/APSInt.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
using namespace llvm;
|
|
|
|
namespace {
|
|
|
|
TEST(APSIntTest, MoveTest) {
|
|
APSInt A(32, true);
|
|
EXPECT_TRUE(A.isUnsigned());
|
|
|
|
APSInt B(128, false);
|
|
A = B;
|
|
EXPECT_FALSE(A.isUnsigned());
|
|
|
|
APSInt C(B);
|
|
EXPECT_FALSE(C.isUnsigned());
|
|
|
|
APInt Wide(256, 0);
|
|
const uint64_t *Bits = Wide.getRawData();
|
|
APSInt D(std::move(Wide));
|
|
EXPECT_TRUE(D.isUnsigned());
|
|
EXPECT_EQ(Bits, D.getRawData()); // Verify that "Wide" was really moved.
|
|
|
|
A = APSInt(64, true);
|
|
EXPECT_TRUE(A.isUnsigned());
|
|
|
|
Wide = APInt(128, 1);
|
|
Bits = Wide.getRawData();
|
|
A = std::move(Wide);
|
|
EXPECT_TRUE(A.isUnsigned());
|
|
EXPECT_EQ(Bits, A.getRawData()); // Verify that "Wide" was really moved.
|
|
}
|
|
|
|
TEST(APSIntTest, get) {
|
|
EXPECT_TRUE(APSInt::get(7).isSigned());
|
|
EXPECT_EQ(64u, APSInt::get(7).getBitWidth());
|
|
EXPECT_EQ(7u, APSInt::get(7).getZExtValue());
|
|
EXPECT_EQ(7, APSInt::get(7).getSExtValue());
|
|
EXPECT_TRUE(APSInt::get(-7).isSigned());
|
|
EXPECT_EQ(64u, APSInt::get(-7).getBitWidth());
|
|
EXPECT_EQ(-7, APSInt::get(-7).getSExtValue());
|
|
EXPECT_EQ(UINT64_C(0) - 7, APSInt::get(-7).getZExtValue());
|
|
}
|
|
|
|
TEST(APSIntTest, getUnsigned) {
|
|
EXPECT_TRUE(APSInt::getUnsigned(7).isUnsigned());
|
|
EXPECT_EQ(64u, APSInt::getUnsigned(7).getBitWidth());
|
|
EXPECT_EQ(7u, APSInt::getUnsigned(7).getZExtValue());
|
|
EXPECT_EQ(7, APSInt::getUnsigned(7).getSExtValue());
|
|
EXPECT_TRUE(APSInt::getUnsigned(-7).isUnsigned());
|
|
EXPECT_EQ(64u, APSInt::getUnsigned(-7).getBitWidth());
|
|
EXPECT_EQ(-7, APSInt::getUnsigned(-7).getSExtValue());
|
|
EXPECT_EQ(UINT64_C(0) - 7, APSInt::getUnsigned(-7).getZExtValue());
|
|
}
|
|
|
|
TEST(APSIntTest, getExtValue) {
|
|
EXPECT_TRUE(APSInt(APInt(3, 7), true).isUnsigned());
|
|
EXPECT_TRUE(APSInt(APInt(3, 7), false).isSigned());
|
|
EXPECT_TRUE(APSInt(APInt(4, 7), true).isUnsigned());
|
|
EXPECT_TRUE(APSInt(APInt(4, 7), false).isSigned());
|
|
EXPECT_TRUE(APSInt(APInt(4, -7), true).isUnsigned());
|
|
EXPECT_TRUE(APSInt(APInt(4, -7), false).isSigned());
|
|
EXPECT_EQ(7, APSInt(APInt(3, 7), true).getExtValue());
|
|
EXPECT_EQ(-1, APSInt(APInt(3, 7), false).getExtValue());
|
|
EXPECT_EQ(7, APSInt(APInt(4, 7), true).getExtValue());
|
|
EXPECT_EQ(7, APSInt(APInt(4, 7), false).getExtValue());
|
|
EXPECT_EQ(9, APSInt(APInt(4, -7), true).getExtValue());
|
|
EXPECT_EQ(-7, APSInt(APInt(4, -7), false).getExtValue());
|
|
}
|
|
|
|
TEST(APSIntTest, compareValues) {
|
|
auto U = [](uint64_t V) { return APSInt::getUnsigned(V); };
|
|
auto S = [](int64_t V) { return APSInt::get(V); };
|
|
|
|
// Bit-width matches and is-signed.
|
|
EXPECT_TRUE(APSInt::compareValues(S(7), S(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(8), S(7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(7), S(7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(8), S(-7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
|
|
|
|
// Bit-width matches and not is-signed.
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), U(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8), U(7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), U(7)) == 0);
|
|
|
|
// Bit-width matches and mixed signs.
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), S(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8), S(7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), S(7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8), S(-7)) > 0);
|
|
|
|
// Bit-width mismatch and is-signed.
|
|
EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(-7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-8)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-8).trunc(32), S(-7)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(7), S(8).trunc(32)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(8), S(7).trunc(32)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(7), S(7).trunc(32)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(8).trunc(32)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(8), S(-7).trunc(32)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8).trunc(32)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7).trunc(32)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
|
|
|
|
// Bit-width mismatch and not is-signed.
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), U(8).trunc(32)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8), U(7).trunc(32)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), U(7).trunc(32)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), U(7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(7)) == 0);
|
|
|
|
// Bit-width mismatch and mixed signs.
|
|
EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(8)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(7)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(-7)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), S(8).trunc(32)) < 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8), S(7).trunc(32)) > 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(7), S(7).trunc(32)) == 0);
|
|
EXPECT_TRUE(APSInt::compareValues(U(8), S(-7).trunc(32)) > 0);
|
|
}
|
|
|
|
TEST(APSIntTest, FromString) {
|
|
EXPECT_EQ(APSInt("1").getExtValue(), 1);
|
|
EXPECT_EQ(APSInt("-1").getExtValue(), -1);
|
|
EXPECT_EQ(APSInt("0").getExtValue(), 0);
|
|
EXPECT_EQ(APSInt("56789").getExtValue(), 56789);
|
|
EXPECT_EQ(APSInt("-1234").getExtValue(), -1234);
|
|
}
|
|
|
|
#if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
|
|
|
|
TEST(APSIntTest, StringDeath) {
|
|
EXPECT_DEATH(APSInt(""), "Invalid string length");
|
|
EXPECT_DEATH(APSInt("1a"), "Invalid character in digit string");
|
|
}
|
|
|
|
#endif
|
|
|
|
TEST(APSIntTest, SignedHighBit) {
|
|
APSInt False(APInt(1, 0), false);
|
|
APSInt True(APInt(1, 1), false);
|
|
APSInt CharMin(APInt(8, 0), false);
|
|
APSInt CharSmall(APInt(8, 0x13), false);
|
|
APSInt CharBoundaryUnder(APInt(8, 0x7f), false);
|
|
APSInt CharBoundaryOver(APInt(8, 0x80), false);
|
|
APSInt CharLarge(APInt(8, 0xd9), false);
|
|
APSInt CharMax(APInt(8, 0xff), false);
|
|
|
|
EXPECT_FALSE(False.isNegative());
|
|
EXPECT_TRUE(False.isNonNegative());
|
|
EXPECT_FALSE(False.isStrictlyPositive());
|
|
|
|
EXPECT_TRUE(True.isNegative());
|
|
EXPECT_FALSE(True.isNonNegative());
|
|
EXPECT_FALSE(True.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharMin.isNegative());
|
|
EXPECT_TRUE(CharMin.isNonNegative());
|
|
EXPECT_FALSE(CharMin.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharSmall.isNegative());
|
|
EXPECT_TRUE(CharSmall.isNonNegative());
|
|
EXPECT_TRUE(CharSmall.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharBoundaryUnder.isNegative());
|
|
EXPECT_TRUE(CharBoundaryUnder.isNonNegative());
|
|
EXPECT_TRUE(CharBoundaryUnder.isStrictlyPositive());
|
|
|
|
EXPECT_TRUE(CharBoundaryOver.isNegative());
|
|
EXPECT_FALSE(CharBoundaryOver.isNonNegative());
|
|
EXPECT_FALSE(CharBoundaryOver.isStrictlyPositive());
|
|
|
|
EXPECT_TRUE(CharLarge.isNegative());
|
|
EXPECT_FALSE(CharLarge.isNonNegative());
|
|
EXPECT_FALSE(CharLarge.isStrictlyPositive());
|
|
|
|
EXPECT_TRUE(CharMax.isNegative());
|
|
EXPECT_FALSE(CharMax.isNonNegative());
|
|
EXPECT_FALSE(CharMax.isStrictlyPositive());
|
|
}
|
|
|
|
TEST(APSIntTest, UnsignedHighBit) {
|
|
APSInt False(APInt(1, 0));
|
|
APSInt True(APInt(1, 1));
|
|
APSInt CharMin(APInt(8, 0));
|
|
APSInt CharSmall(APInt(8, 0x13));
|
|
APSInt CharBoundaryUnder(APInt(8, 0x7f));
|
|
APSInt CharBoundaryOver(APInt(8, 0x80));
|
|
APSInt CharLarge(APInt(8, 0xd9));
|
|
APSInt CharMax(APInt(8, 0xff));
|
|
|
|
EXPECT_FALSE(False.isNegative());
|
|
EXPECT_TRUE(False.isNonNegative());
|
|
EXPECT_FALSE(False.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(True.isNegative());
|
|
EXPECT_TRUE(True.isNonNegative());
|
|
EXPECT_TRUE(True.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharMin.isNegative());
|
|
EXPECT_TRUE(CharMin.isNonNegative());
|
|
EXPECT_FALSE(CharMin.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharSmall.isNegative());
|
|
EXPECT_TRUE(CharSmall.isNonNegative());
|
|
EXPECT_TRUE(CharSmall.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharBoundaryUnder.isNegative());
|
|
EXPECT_TRUE(CharBoundaryUnder.isNonNegative());
|
|
EXPECT_TRUE(CharBoundaryUnder.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharBoundaryOver.isNegative());
|
|
EXPECT_TRUE(CharBoundaryOver.isNonNegative());
|
|
EXPECT_TRUE(CharBoundaryOver.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharLarge.isNegative());
|
|
EXPECT_TRUE(CharLarge.isNonNegative());
|
|
EXPECT_TRUE(CharLarge.isStrictlyPositive());
|
|
|
|
EXPECT_FALSE(CharMax.isNegative());
|
|
EXPECT_TRUE(CharMax.isNonNegative());
|
|
EXPECT_TRUE(CharMax.isStrictlyPositive());
|
|
}
|
|
|
|
} // end anonymous namespace
|