RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 04:32:44 +01:00
Code Issues Projects Releases Wiki Activity
ff780e6f68
llvm-mirror/unittests/ADT/APSIntTest.cpp

272 lines
10 KiB
C++
Raw Normal View History

Give APInt move semantics. The interaction between defaulted operators and move elision isn't totally obvious, add a unit test so it doesn't break unintentionally. llvm-svn: 202662
2014-03-02 21:56:28 +01:00
//===- llvm/unittest/ADT/APSIntTest.cpp - APSInt unit tests ---------------===//
//
Update the file headers across all of the LLVM projects in the monorepo to reflect the new license. We understand that people may be surprised that we're moving the header entirely to discuss the new license. We checked this carefully with the Foundation's lawyer and we believe this is the correct approach. Essentially, all code in the project is now made available by the LLVM project under our new license, so you will see that the license headers include that license only. Some of our contributors have contributed code under our old license, and accordingly, we have retained a copy of our old license notice in the top-level files in each project and repository. llvm-svn: 351636
2019-01-19 09:50:56 +01:00
// 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
Give APInt move semantics. The interaction between defaulted operators and move elision isn't totally obvious, add a unit test so it doesn't break unintentionally. llvm-svn: 202662
2014-03-02 21:56:28 +01:00
//
//===----------------------------------------------------------------------===//
#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.
}
ADT: Add int64_t interoperability to APSInt Add some API to `APSInt` to make it easier to compare with `int64_t`. - `APSInt::compareValues(APSInt, APSInt)` returns 1, -1 or 0 for greater, lesser, or equal, doing the right thing for mismatched "has-sign" and bitwidths. This is just like `isSameValue()` (and is now the implementation of it). - `APSInt::get(int64_t)` gets a signed `APSInt`. - `operator<(int64_t)`, etc., are implemented trivially via `get()` and `compareValues()`. - Also added `APSInt::getUnsigned(uint64_t)` to make it easier to test `compareValues()`. llvm-svn: 228239
2015-02-05 01:17:43 +01:00
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);
}
ADT: Add a string APSInt constructor. This commit moves the APSInt initialization code that's used by the LLLexer class into a new APSInt constructor that constructs APSInts from strings. This change is useful for MIR Serialization, as it would allow the MILexer class to use the same APSInt initialization as LLexer when parsing immediate machine operands. llvm-svn: 240436
2015-06-23 20:22:10 +02:00
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);
Give APInt move semantics. The interaction between defaulted operators and move elision isn't totally obvious, add a unit test so it doesn't break unintentionally. llvm-svn: 202662
2014-03-02 21:56:28 +01:00
}
ADT: Add a string APSInt constructor. This commit moves the APSInt initialization code that's used by the LLLexer class into a new APSInt constructor that constructs APSInts from strings. This change is useful for MIR Serialization, as it would allow the MILexer class to use the same APSInt initialization as LLexer when parsing immediate machine operands. llvm-svn: 240436
2015-06-23 20:22:10 +02:00
ADT: Fix that APSInt's string constructor claims it requires 5 bits to store a zero Summary: When constructing an APSInt from a string, the constructor doesn't correctly truncate the bit width of the result if the passed in string was "0" (or any alternative way to express 0 like "-0" or "000"). Instead of 1 (which is the smallest allowed bit width) it returns an APSInt with a bit width of 5. The reason is that the constructor checks that it never truncates the result to the invalid bit width of 0, so when it calculates that storing a "0" doesn't require any bits it just keeps the original overestimated bit width (which happens to be 5). This patch just sets the bit width of the result to 1 if the required bit width is 0. Reviewers: arphaman, dexonsmith Reviewed By: dexonsmith Subscribers: hiraditya, dexonsmith, JDevlieghere, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D81329
2020-06-10 16:35:42 +02:00
TEST(APSIntTest, FromStringBitWidth) {
EXPECT_EQ(APSInt("0").getBitWidth(), 1U);
EXPECT_EQ(APSInt("000").getBitWidth(), 1U);
EXPECT_EQ(APSInt("1").getBitWidth(), 1U);
EXPECT_EQ(APSInt("2").getBitWidth(), 2U);
EXPECT_EQ(APSInt("3").getBitWidth(), 2U);
EXPECT_EQ(APSInt("003").getBitWidth(), 2U);
EXPECT_EQ(APSInt("15").getBitWidth(), 4U);
EXPECT_EQ(APSInt("16").getBitWidth(), 5U);
EXPECT_EQ(APSInt("17").getBitWidth(), 5U);
EXPECT_EQ(APSInt("-0").getBitWidth(), 1U);
EXPECT_EQ(APSInt("-000").getBitWidth(), 1U);
EXPECT_EQ(APSInt("-1").getBitWidth(), 1U);
EXPECT_EQ(APSInt("-2").getBitWidth(), 2U);
EXPECT_EQ(APSInt("-3").getBitWidth(), 3U);
EXPECT_EQ(APSInt("-003").getBitWidth(), 3U);
EXPECT_EQ(APSInt("-5").getBitWidth(), 4U);
EXPECT_EQ(APSInt("-15").getBitWidth(), 5U);
EXPECT_EQ(APSInt("-16").getBitWidth(), 5U);
EXPECT_EQ(APSInt("-17").getBitWidth(), 6U);
}
ADTTests: merge #ifdef checks from r240436. This commit merges the #ifdef and #ifndef checks into one #if, as suggested by Duncan P. N. Exon Smith. llvm-svn: 240553
2015-06-24 19:05:04 +02:00
#if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
ADT: Add a string APSInt constructor. This commit moves the APSInt initialization code that's used by the LLLexer class into a new APSInt constructor that constructs APSInts from strings. This change is useful for MIR Serialization, as it would allow the MILexer class to use the same APSInt initialization as LLexer when parsing immediate machine operands. llvm-svn: 240436
2015-06-23 20:22:10 +02:00
TEST(APSIntTest, StringDeath) {
Fix build when both gtest death tests and LLVM_NODISCARD are available. llvm-svn: 367495
2019-08-01 01:37:24 +02:00
EXPECT_DEATH((void)APSInt(""), "Invalid string length");
EXPECT_DEATH((void)APSInt("1a"), "Invalid character in digit string");
ADT: Add a string APSInt constructor. This commit moves the APSInt initialization code that's used by the LLLexer class into a new APSInt constructor that constructs APSInts from strings. This change is useful for MIR Serialization, as it would allow the MILexer class to use the same APSInt initialization as LLexer when parsing immediate machine operands. llvm-svn: 240436
2015-06-23 20:22:10 +02:00
}
#endif
[APSInt][OpenMP] Fix isNegative, etc. for unsigned types 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
2019-04-23 19:04:15 +02:00
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());
}
ADT: Add a string APSInt constructor. This commit moves the APSInt initialization code that's used by the LLLexer class into a new APSInt constructor that constructs APSInts from strings. This change is useful for MIR Serialization, as it would allow the MILexer class to use the same APSInt initialization as LLexer when parsing immediate machine operands. llvm-svn: 240436
2015-06-23 20:22:10 +02:00
} // end anonymous namespace
Reference in New Issue Copy Permalink