123b797ab5151eb2474f3bdd679f2f07bfd723042John Reck//===- llvm/unittest/ADT/APInt.cpp - APInt unit tests ---------------------===// 223b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// 323b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// The LLVM Compiler Infrastructure 423b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// 523b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// This file is distributed under the University of Illinois Open Source 623b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// License. See LICENSE.TXT for details. 723b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// 823b797ab5151eb2474f3bdd679f2f07bfd723042John Reck//===----------------------------------------------------------------------===// 923b797ab5151eb2474f3bdd679f2f07bfd723042John Reck 1023b797ab5151eb2474f3bdd679f2f07bfd723042John Reck#include <ostream> 1123b797ab5151eb2474f3bdd679f2f07bfd723042John Reck#include "gtest/gtest.h" 1223b797ab5151eb2474f3bdd679f2f07bfd723042John Reck#include "llvm/ADT/APInt.h" 1323b797ab5151eb2474f3bdd679f2f07bfd723042John Reck#include "llvm/ADT/SmallString.h" 1423b797ab5151eb2474f3bdd679f2f07bfd723042John Reck 1523b797ab5151eb2474f3bdd679f2f07bfd723042John Reckusing namespace llvm; 1623b797ab5151eb2474f3bdd679f2f07bfd723042John Reck 1723b797ab5151eb2474f3bdd679f2f07bfd723042John Recknamespace { 1823b797ab5151eb2474f3bdd679f2f07bfd723042John Reck 1923b797ab5151eb2474f3bdd679f2f07bfd723042John Reck// Test that APInt shift left works when bitwidth > 64 and shiftamt == 0 20ba6adf66d3c44c0aa2fd8a224862ff1901d64300John ReckTEST(APIntTest, ShiftLeftByZero) { 21ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck APInt One = APInt::getNullValue(65) + 1; 224c9e59d03c2bca38001225b79d01740b8999adfbJohn Reck APInt Shl = One.shl(0); 23910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_TRUE(Shl[0]); 240b7e8245db728d127ada698be63d78b33fc6e4daChris Craik EXPECT_FALSE(Shl[1]); 250b7e8245db728d127ada698be63d78b33fc6e4daChris Craik} 26ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck 2738f6c034d153bb648d45bce09d80a69ba3e03360John ReckTEST(APIntTest, i128_NegativeCount) { 2838f6c034d153bb648d45bce09d80a69ba3e03360John Reck APInt Minus3(128, static_cast<uint64_t>(-3), true); 29ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck EXPECT_EQ(126u, Minus3.countLeadingOnes()); 30ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck EXPECT_EQ(-3, Minus3.getSExtValue()); 31ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck 32998a6d81896df8b662cc10ddeb35087b78b38d72John Reck APInt Minus1(128, static_cast<uint64_t>(-1), true); 3398787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(0u, Minus1.countLeadingZeros()); 349e7fcfda28fde747ba4e026772007cea77374e16Chris Craik EXPECT_EQ(128u, Minus1.countLeadingOnes()); 3598787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(128u, Minus1.getActiveBits()); 366e068c0182f6f85bccb855a647510724d1c65a13Chris Craik EXPECT_EQ(0u, Minus1.countTrailingZeros()); 3798787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(128u, Minus1.countTrailingOnes()); 3898787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(128u, Minus1.countPopulation()); 3923b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(-1, Minus1.getSExtValue()); 4023b797ab5151eb2474f3bdd679f2f07bfd723042John Reck} 4119b6bcfd83eb7fb92ebd06d2fec89e308311f1d0John Reck 42d04794a9a3f9edc8b7ca336175d66eb81a8f55faJohn Reck// XFAIL this test on FreeBSD where the system gcc-4.2.1 seems to miscompile it. 434f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck#if defined(__llvm__) || !defined(__FreeBSD__) 44f648108f83d4e74811919e9811efb8fcc184b8a3John Reck 454f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John ReckTEST(APIntTest, i33_Count) { 4638f6c034d153bb648d45bce09d80a69ba3e03360John Reck APInt i33minus2(33, static_cast<uint64_t>(-2), true); 47ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck EXPECT_EQ(0u, i33minus2.countLeadingZeros()); 48b36016c65f1d1b5846dba0349aab491dbd3a746aJohn Reck EXPECT_EQ(32u, i33minus2.countLeadingOnes()); 49ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(33u, i33minus2.getActiveBits()); 5023b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(1u, i33minus2.countTrailingZeros()); 5123b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(32u, i33minus2.countPopulation()); 5223b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(-2, i33minus2.getSExtValue()); 534f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck EXPECT_EQ(((uint64_t)-2)&((1ull<<33) -1), i33minus2.getZExtValue()); 54119907cd2575c56b1ebf66348b52e67aaf6a88d8John Reck} 5519b6bcfd83eb7fb92ebd06d2fec89e308311f1d0John Reck 564f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck#endif 574f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck 581949e7928eeec22cd3f74b5f763a4eb433238453John ReckTEST(APIntTest, i65_Count) { 59443a714fa7c0dd07fee3527cc5bc3d3ca1fb7d44John Reck APInt i65minus(65, 0, true); 604f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck i65minus.setBit(64); 6123b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(0u, i65minus.countLeadingZeros()); 6223b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(1u, i65minus.countLeadingOnes()); 633b20251a355c88193c439f928a84ae69483fb488John Reck EXPECT_EQ(65u, i65minus.getActiveBits()); 644f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck EXPECT_EQ(64u, i65minus.countTrailingZeros()); 651125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck EXPECT_EQ(1u, i65minus.countPopulation()); 661125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck} 671125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck 681125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn ReckTEST(APIntTest, i128_PositiveCount) { 691125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck APInt u128max = APInt::getAllOnesValue(128); 7023b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(128u, u128max.countLeadingOnes()); 7123b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(0u, u128max.countLeadingZeros()); 72119907cd2575c56b1ebf66348b52e67aaf6a88d8John Reck EXPECT_EQ(128u, u128max.getActiveBits()); 73e45b1fd03b524d2b57cc6c222d89076a31a08beaJohn Reck EXPECT_EQ(0u, u128max.countTrailingZeros()); 7423b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(128u, u128max.countTrailingOnes()); 75119907cd2575c56b1ebf66348b52e67aaf6a88d8John Reck EXPECT_EQ(128u, u128max.countPopulation()); 76119907cd2575c56b1ebf66348b52e67aaf6a88d8John Reck 77e45b1fd03b524d2b57cc6c222d89076a31a08beaJohn Reck APInt u64max(128, static_cast<uint64_t>(-1), false); 7823b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(64u, u64max.countLeadingZeros()); 791125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck EXPECT_EQ(0u, u64max.countLeadingOnes()); 801125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck EXPECT_EQ(64u, u64max.getActiveBits()); 811125d1fa92ab9f3b8315bbfb72e038b62dfd454bJohn Reck EXPECT_EQ(0u, u64max.countTrailingZeros()); 82f648108f83d4e74811919e9811efb8fcc184b8a3John Reck EXPECT_EQ(64u, u64max.countTrailingOnes()); 83f648108f83d4e74811919e9811efb8fcc184b8a3John Reck EXPECT_EQ(64u, u64max.countPopulation()); 84f648108f83d4e74811919e9811efb8fcc184b8a3John Reck EXPECT_EQ((uint64_t)~0ull, u64max.getZExtValue()); 858afcc76920499d0a384dba1470c5a377f80ed768John Reck 86f648108f83d4e74811919e9811efb8fcc184b8a3John Reck APInt zero(128, 0, true); 87aa95a88327d9a3ac8a4a00b065b78ac0f28b3a19John Reck EXPECT_EQ(128u, zero.countLeadingZeros()); 8850210d912925aef14e4ce69be82e4949122a3cd9Alan Viverette EXPECT_EQ(0u, zero.countLeadingOnes()); 89058fc640017c90120c599d378a4cbc55668b05b7Chris Craik EXPECT_EQ(0u, zero.getActiveBits()); 9050210d912925aef14e4ce69be82e4949122a3cd9Alan Viverette EXPECT_EQ(128u, zero.countTrailingZeros()); 9163a06673253914510bbeebd500655008682dade1John Reck EXPECT_EQ(0u, zero.countTrailingOnes()); 928afcc76920499d0a384dba1470c5a377f80ed768John Reck EXPECT_EQ(0u, zero.countPopulation()); 93ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(0u, zero.getSExtValue()); 94ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(0u, zero.getZExtValue()); 95e4267ea4f20740c37c01bfb6aefcf61fddc4566aJohn Reck 9651f2d606dcbfba3cc5b03dfea37c1304b91c232fJohn Reck APInt one(128, 1, true); 9723b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(127u, one.countLeadingZeros()); 980b7e8245db728d127ada698be63d78b33fc6e4daChris Craik EXPECT_EQ(0u, one.countLeadingOnes()); 99d41c4d8c732095ae99c955b6b82f7306633004b1Chris Craik EXPECT_EQ(1u, one.getActiveBits()); 100ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(0u, one.countTrailingZeros()); 101e45b1fd03b524d2b57cc6c222d89076a31a08beaJohn Reck EXPECT_EQ(1u, one.countTrailingOnes()); 10251f2d606dcbfba3cc5b03dfea37c1304b91c232fJohn Reck EXPECT_EQ(1u, one.countPopulation()); 10319b6bcfd83eb7fb92ebd06d2fec89e308311f1d0John Reck EXPECT_EQ(1, one.getSExtValue()); 104998a6d81896df8b662cc10ddeb35087b78b38d72John Reck EXPECT_EQ(1u, one.getZExtValue()); 10519b6bcfd83eb7fb92ebd06d2fec89e308311f1d0John Reck} 10651f2d606dcbfba3cc5b03dfea37c1304b91c232fJohn Reck 107f47a594f5250b1914c36423ee6b371f0b8db09d0John ReckTEST(APIntTest, i1) { 108e1628b7c6fc3822fa83cf02028ce8ad67abb0afeJohn Reck const APInt neg_two(1, static_cast<uint64_t>(-2), true); 1093b20251a355c88193c439f928a84ae69483fb488John Reck const APInt neg_one(1, static_cast<uint64_t>(-1), true); 11023b797ab5151eb2474f3bdd679f2f07bfd723042John Reck const APInt zero(1, 0); 111fc53ef27793a39e9effd829e9cae02a9ca14147eJohn Reck const APInt one(1, 1); 112fc53ef27793a39e9effd829e9cae02a9ca14147eJohn Reck const APInt two(1, 2); 1131949e7928eeec22cd3f74b5f763a4eb433238453John Reck 1141949e7928eeec22cd3f74b5f763a4eb433238453John Reck EXPECT_EQ(0, neg_two.getSExtValue()); 1153b20251a355c88193c439f928a84ae69483fb488John Reck EXPECT_EQ(-1, neg_one.getSExtValue()); 1163b20251a355c88193c439f928a84ae69483fb488John Reck EXPECT_EQ(1u, neg_one.getZExtValue()); 11766f0be65a1046f54ddce0498b242c1fa0776b1eaJohn Reck EXPECT_EQ(0u, zero.getZExtValue()); 118f47a594f5250b1914c36423ee6b371f0b8db09d0John Reck EXPECT_EQ(-1, one.getSExtValue()); 119a5dda645da738da7b4ae15e28fa7d93d3b04b94fJohn Reck EXPECT_EQ(1u, one.getZExtValue()); 120a5dda645da738da7b4ae15e28fa7d93d3b04b94fJohn Reck EXPECT_EQ(0u, two.getZExtValue()); 1214c9e59d03c2bca38001225b79d01740b8999adfbJohn Reck EXPECT_EQ(0, two.getSExtValue()); 122fe5e7b7346a54537b980796ceeca66bfdbd05561John Reck 123ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck // Basic equalities for 1-bit values. 124ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck EXPECT_EQ(zero, two); 125ba6adf66d3c44c0aa2fd8a224862ff1901d64300John Reck EXPECT_EQ(zero, neg_two); 126b36016c65f1d1b5846dba0349aab491dbd3a746aJohn Reck EXPECT_EQ(one, neg_one); 127b36016c65f1d1b5846dba0349aab491dbd3a746aJohn Reck EXPECT_EQ(two, neg_two); 128b36016c65f1d1b5846dba0349aab491dbd3a746aJohn Reck 129e248bd1b2c3fcf8088429507e73b31f45ee2544bJohn Reck // Additions. 130e248bd1b2c3fcf8088429507e73b31f45ee2544bJohn Reck EXPECT_EQ(two, one + one); 131ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(zero, neg_one + one); 132ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(neg_two, neg_one + neg_one); 1330b7e8245db728d127ada698be63d78b33fc6e4daChris Craik 134ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne // Subtractions. 135ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(neg_two, neg_one - one); 136ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(two, one - neg_one); 137ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(zero, one - one); 138ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne 139ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne // Shifts. 140ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(zero, one << one); 141b816087962aba0019b022303330f03b897b580edSkuhne EXPECT_EQ(one, one << zero); 142b816087962aba0019b022303330f03b897b580edSkuhne EXPECT_EQ(zero, one.shl(1)); 143ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(one, one.shl(0)); 144ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(zero, one.lshr(1)); 145e2e53a7079733694bd52dbce665e9ceff21e9727Chris Craik EXPECT_EQ(zero, one.ashr(1)); 146e2e53a7079733694bd52dbce665e9ceff21e9727Chris Craik 147e2e53a7079733694bd52dbce665e9ceff21e9727Chris Craik // Multiplies. 148e2e53a7079733694bd52dbce665e9ceff21e9727Chris Craik EXPECT_EQ(neg_one, neg_one * one); 149910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(neg_one, one * neg_one); 150910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(one, neg_one * neg_one); 151910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(one, one * one); 15206f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales 15306f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales // Divides. 154910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(neg_one, one.sdiv(neg_one)); 15506f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales EXPECT_EQ(neg_one, neg_one.sdiv(one)); 15606f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales EXPECT_EQ(one, neg_one.sdiv(neg_one)); 157910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(one, one.sdiv(one)); 158910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales 159910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(neg_one, one.udiv(neg_one)); 160910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(neg_one, neg_one.udiv(one)); 161910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(one, neg_one.udiv(neg_one)); 16206f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales EXPECT_EQ(one, one.udiv(one)); 16306f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales 16406f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales // Remainders. 16506f5bc70a667a02b14e31d3f53f91d3661e30666Andres Morales EXPECT_EQ(zero, neg_one.srem(one)); 16638f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(zero, neg_one.urem(one)); 16738f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(zero, one.srem(neg_one)); 16838f6c034d153bb648d45bce09d80a69ba3e03360John Reck} 16923b797ab5151eb2474f3bdd679f2f07bfd723042John Reck 170a5dda645da738da7b4ae15e28fa7d93d3b04b94fJohn ReckTEST(APIntTest, fromString) { 171443a714fa7c0dd07fee3527cc5bc3d3ca1fb7d44John Reck EXPECT_EQ(APInt(32, 0), APInt(32, "0", 2)); 172443a714fa7c0dd07fee3527cc5bc3d3ca1fb7d44John Reck EXPECT_EQ(APInt(32, 1), APInt(32, "1", 2)); 173443a714fa7c0dd07fee3527cc5bc3d3ca1fb7d44John Reck EXPECT_EQ(APInt(32, 2), APInt(32, "10", 2)); 174a5dda645da738da7b4ae15e28fa7d93d3b04b94fJohn Reck EXPECT_EQ(APInt(32, 3), APInt(32, "11", 2)); 175f648108f83d4e74811919e9811efb8fcc184b8a3John Reck EXPECT_EQ(APInt(32, 4), APInt(32, "100", 2)); 1764f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck 17751f2d606dcbfba3cc5b03dfea37c1304b91c232fJohn Reck EXPECT_EQ(APInt(32, 0), APInt(32, "+0", 2)); 178998a6d81896df8b662cc10ddeb35087b78b38d72John Reck EXPECT_EQ(APInt(32, 1), APInt(32, "+1", 2)); 17938f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 2), APInt(32, "+10", 2)); 18038f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 3), APInt(32, "+11", 2)); 18177c40109cf25d29f85ee6c13aeb96e22e55f33abJohn Reck EXPECT_EQ(APInt(32, 4), APInt(32, "+100", 2)); 18277c40109cf25d29f85ee6c13aeb96e22e55f33abJohn Reck 183ddf2215d9807b641dbcb304779ef6b530f876ac7Chris Craik EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 2)); 1844f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 2)); 1853b20251a355c88193c439f928a84ae69483fb488John Reck EXPECT_EQ(APInt(32, uint64_t(-2LL)), APInt(32, "-10", 2)); 186f648108f83d4e74811919e9811efb8fcc184b8a3John Reck EXPECT_EQ(APInt(32, uint64_t(-3LL)), APInt(32, "-11", 2)); 187edc524c90506d80e0fc5fb67e8de7b8f3ef53439John Reck EXPECT_EQ(APInt(32, uint64_t(-4LL)), APInt(32, "-100", 2)); 1888afcc76920499d0a384dba1470c5a377f80ed768John Reck 189edc524c90506d80e0fc5fb67e8de7b8f3ef53439John Reck 190edc524c90506d80e0fc5fb67e8de7b8f3ef53439John Reck EXPECT_EQ(APInt(32, 0), APInt(32, "0", 8)); 191e486d932ca5a10446a3c98d6d065213913277268John Reck EXPECT_EQ(APInt(32, 1), APInt(32, "1", 8)); 192e486d932ca5a10446a3c98d6d065213913277268John Reck EXPECT_EQ(APInt(32, 7), APInt(32, "7", 8)); 193e486d932ca5a10446a3c98d6d065213913277268John Reck EXPECT_EQ(APInt(32, 8), APInt(32, "10", 8)); 194e486d932ca5a10446a3c98d6d065213913277268John Reck EXPECT_EQ(APInt(32, 15), APInt(32, "17", 8)); 195e486d932ca5a10446a3c98d6d065213913277268John Reck EXPECT_EQ(APInt(32, 16), APInt(32, "20", 8)); 196e486d932ca5a10446a3c98d6d065213913277268John Reck 197e486d932ca5a10446a3c98d6d065213913277268John Reck EXPECT_EQ(APInt(32, +0), APInt(32, "+0", 8)); 1984f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck EXPECT_EQ(APInt(32, +1), APInt(32, "+1", 8)); 1994f02bf4eef6af47f35c70c4dda5b7b9523d89ca0John Reck EXPECT_EQ(APInt(32, +7), APInt(32, "+7", 8)); 20098787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(APInt(32, +8), APInt(32, "+10", 8)); 20198787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(APInt(32, +15), APInt(32, "+17", 8)); 2026e068c0182f6f85bccb855a647510724d1c65a13Chris Craik EXPECT_EQ(APInt(32, +16), APInt(32, "+20", 8)); 2036246d27813f25b85f6e4b5cb1121fe8484bcce2dChris Craik 2046246d27813f25b85f6e4b5cb1121fe8484bcce2dChris Craik EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 8)); 20598787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 8)); 20698787e6c9b2c10b1ab7820bdac168686025b924aChris Craik EXPECT_EQ(APInt(32, uint64_t(-7LL)), APInt(32, "-7", 8)); 207edc524c90506d80e0fc5fb67e8de7b8f3ef53439John Reck EXPECT_EQ(APInt(32, uint64_t(-8LL)), APInt(32, "-10", 8)); 208e4267ea4f20740c37c01bfb6aefcf61fddc4566aJohn Reck EXPECT_EQ(APInt(32, uint64_t(-15LL)), APInt(32, "-17", 8)); 2090b7e8245db728d127ada698be63d78b33fc6e4daChris Craik EXPECT_EQ(APInt(32, uint64_t(-16LL)), APInt(32, "-20", 8)); 21051d6a3db97bdd5315f1a17a4b447d10a92217b98Chris Craik 211e45b1fd03b524d2b57cc6c222d89076a31a08beaJohn Reck 212ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(APInt(32, 0), APInt(32, "0", 10)); 213fe5e7b7346a54537b980796ceeca66bfdbd05561John Reck EXPECT_EQ(APInt(32, 1), APInt(32, "1", 10)); 214edc524c90506d80e0fc5fb67e8de7b8f3ef53439John Reck EXPECT_EQ(APInt(32, 9), APInt(32, "9", 10)); 2154c9e59d03c2bca38001225b79d01740b8999adfbJohn Reck EXPECT_EQ(APInt(32, 10), APInt(32, "10", 10)); 2164c9e59d03c2bca38001225b79d01740b8999adfbJohn Reck EXPECT_EQ(APInt(32, 19), APInt(32, "19", 10)); 217b36016c65f1d1b5846dba0349aab491dbd3a746aJohn Reck EXPECT_EQ(APInt(32, 20), APInt(32, "20", 10)); 218edc524c90506d80e0fc5fb67e8de7b8f3ef53439John Reck 2194c9e59d03c2bca38001225b79d01740b8999adfbJohn Reck EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 10)); 220910beb8f5d9042163e2ad0dbb744d9f147db9604Andres Morales EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 10)); 221998a6d81896df8b662cc10ddeb35087b78b38d72John Reck EXPECT_EQ(APInt(32, uint64_t(-9LL)), APInt(32, "-9", 10)); 22251f2d606dcbfba3cc5b03dfea37c1304b91c232fJohn Reck EXPECT_EQ(APInt(32, uint64_t(-10LL)), APInt(32, "-10", 10)); 223ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(APInt(32, uint64_t(-19LL)), APInt(32, "-19", 10)); 224ea7a7fb75acb7305eb774ca7bc7e96103bd49323Skuhne EXPECT_EQ(APInt(32, uint64_t(-20LL)), APInt(32, "-20", 10)); 225b816087962aba0019b022303330f03b897b580edSkuhne 22638f6c034d153bb648d45bce09d80a69ba3e03360John Reck 22738f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 0), APInt(32, "0", 16)); 22838f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 1), APInt(32, "1", 16)); 22938f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 15), APInt(32, "F", 16)); 23038f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 16), APInt(32, "10", 16)); 23138f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 31), APInt(32, "1F", 16)); 23238f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, 32), APInt(32, "20", 16)); 23338f6c034d153bb648d45bce09d80a69ba3e03360John Reck 23438f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 16)); 23538f6c034d153bb648d45bce09d80a69ba3e03360John Reck EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 16)); 23623b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(APInt(32, uint64_t(-15LL)), APInt(32, "-F", 16)); 23723b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(APInt(32, uint64_t(-16LL)), APInt(32, "-10", 16)); 23823b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(APInt(32, uint64_t(-31LL)), APInt(32, "-1F", 16)); 23923b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(APInt(32, uint64_t(-32LL)), APInt(32, "-20", 16)); 24023b797ab5151eb2474f3bdd679f2f07bfd723042John Reck 24123b797ab5151eb2474f3bdd679f2f07bfd723042John Reck EXPECT_EQ(APInt(32, 0), APInt(32, "0", 36)); 242 EXPECT_EQ(APInt(32, 1), APInt(32, "1", 36)); 243 EXPECT_EQ(APInt(32, 35), APInt(32, "Z", 36)); 244 EXPECT_EQ(APInt(32, 36), APInt(32, "10", 36)); 245 EXPECT_EQ(APInt(32, 71), APInt(32, "1Z", 36)); 246 EXPECT_EQ(APInt(32, 72), APInt(32, "20", 36)); 247 248 EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 36)); 249 EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 36)); 250 EXPECT_EQ(APInt(32, uint64_t(-35LL)), APInt(32, "-Z", 36)); 251 EXPECT_EQ(APInt(32, uint64_t(-36LL)), APInt(32, "-10", 36)); 252 EXPECT_EQ(APInt(32, uint64_t(-71LL)), APInt(32, "-1Z", 36)); 253 EXPECT_EQ(APInt(32, uint64_t(-72LL)), APInt(32, "-20", 36)); 254} 255 256TEST(APIntTest, FromArray) { 257 EXPECT_EQ(APInt(32, uint64_t(1)), APInt(32, ArrayRef<uint64_t>(1))); 258} 259 260TEST(APIntTest, StringBitsNeeded2) { 261 EXPECT_EQ(1U, APInt::getBitsNeeded( "0", 2)); 262 EXPECT_EQ(1U, APInt::getBitsNeeded( "1", 2)); 263 EXPECT_EQ(2U, APInt::getBitsNeeded( "10", 2)); 264 EXPECT_EQ(2U, APInt::getBitsNeeded( "11", 2)); 265 EXPECT_EQ(3U, APInt::getBitsNeeded("100", 2)); 266 267 EXPECT_EQ(1U, APInt::getBitsNeeded( "+0", 2)); 268 EXPECT_EQ(1U, APInt::getBitsNeeded( "+1", 2)); 269 EXPECT_EQ(2U, APInt::getBitsNeeded( "+10", 2)); 270 EXPECT_EQ(2U, APInt::getBitsNeeded( "+11", 2)); 271 EXPECT_EQ(3U, APInt::getBitsNeeded("+100", 2)); 272 273 EXPECT_EQ(2U, APInt::getBitsNeeded( "-0", 2)); 274 EXPECT_EQ(2U, APInt::getBitsNeeded( "-1", 2)); 275 EXPECT_EQ(3U, APInt::getBitsNeeded( "-10", 2)); 276 EXPECT_EQ(3U, APInt::getBitsNeeded( "-11", 2)); 277 EXPECT_EQ(4U, APInt::getBitsNeeded("-100", 2)); 278} 279 280TEST(APIntTest, StringBitsNeeded8) { 281 EXPECT_EQ(3U, APInt::getBitsNeeded( "0", 8)); 282 EXPECT_EQ(3U, APInt::getBitsNeeded( "7", 8)); 283 EXPECT_EQ(6U, APInt::getBitsNeeded("10", 8)); 284 EXPECT_EQ(6U, APInt::getBitsNeeded("17", 8)); 285 EXPECT_EQ(6U, APInt::getBitsNeeded("20", 8)); 286 287 EXPECT_EQ(3U, APInt::getBitsNeeded( "+0", 8)); 288 EXPECT_EQ(3U, APInt::getBitsNeeded( "+7", 8)); 289 EXPECT_EQ(6U, APInt::getBitsNeeded("+10", 8)); 290 EXPECT_EQ(6U, APInt::getBitsNeeded("+17", 8)); 291 EXPECT_EQ(6U, APInt::getBitsNeeded("+20", 8)); 292 293 EXPECT_EQ(4U, APInt::getBitsNeeded( "-0", 8)); 294 EXPECT_EQ(4U, APInt::getBitsNeeded( "-7", 8)); 295 EXPECT_EQ(7U, APInt::getBitsNeeded("-10", 8)); 296 EXPECT_EQ(7U, APInt::getBitsNeeded("-17", 8)); 297 EXPECT_EQ(7U, APInt::getBitsNeeded("-20", 8)); 298} 299 300TEST(APIntTest, StringBitsNeeded10) { 301 EXPECT_EQ(1U, APInt::getBitsNeeded( "0", 10)); 302 EXPECT_EQ(2U, APInt::getBitsNeeded( "3", 10)); 303 EXPECT_EQ(4U, APInt::getBitsNeeded( "9", 10)); 304 EXPECT_EQ(4U, APInt::getBitsNeeded("10", 10)); 305 EXPECT_EQ(5U, APInt::getBitsNeeded("19", 10)); 306 EXPECT_EQ(5U, APInt::getBitsNeeded("20", 10)); 307 308 EXPECT_EQ(1U, APInt::getBitsNeeded( "+0", 10)); 309 EXPECT_EQ(4U, APInt::getBitsNeeded( "+9", 10)); 310 EXPECT_EQ(4U, APInt::getBitsNeeded("+10", 10)); 311 EXPECT_EQ(5U, APInt::getBitsNeeded("+19", 10)); 312 EXPECT_EQ(5U, APInt::getBitsNeeded("+20", 10)); 313 314 EXPECT_EQ(2U, APInt::getBitsNeeded( "-0", 10)); 315 EXPECT_EQ(5U, APInt::getBitsNeeded( "-9", 10)); 316 EXPECT_EQ(5U, APInt::getBitsNeeded("-10", 10)); 317 EXPECT_EQ(6U, APInt::getBitsNeeded("-19", 10)); 318 EXPECT_EQ(6U, APInt::getBitsNeeded("-20", 10)); 319} 320 321TEST(APIntTest, StringBitsNeeded16) { 322 EXPECT_EQ(4U, APInt::getBitsNeeded( "0", 16)); 323 EXPECT_EQ(4U, APInt::getBitsNeeded( "F", 16)); 324 EXPECT_EQ(8U, APInt::getBitsNeeded("10", 16)); 325 EXPECT_EQ(8U, APInt::getBitsNeeded("1F", 16)); 326 EXPECT_EQ(8U, APInt::getBitsNeeded("20", 16)); 327 328 EXPECT_EQ(4U, APInt::getBitsNeeded( "+0", 16)); 329 EXPECT_EQ(4U, APInt::getBitsNeeded( "+F", 16)); 330 EXPECT_EQ(8U, APInt::getBitsNeeded("+10", 16)); 331 EXPECT_EQ(8U, APInt::getBitsNeeded("+1F", 16)); 332 EXPECT_EQ(8U, APInt::getBitsNeeded("+20", 16)); 333 334 EXPECT_EQ(5U, APInt::getBitsNeeded( "-0", 16)); 335 EXPECT_EQ(5U, APInt::getBitsNeeded( "-F", 16)); 336 EXPECT_EQ(9U, APInt::getBitsNeeded("-10", 16)); 337 EXPECT_EQ(9U, APInt::getBitsNeeded("-1F", 16)); 338 EXPECT_EQ(9U, APInt::getBitsNeeded("-20", 16)); 339} 340 341TEST(APIntTest, toString) { 342 SmallString<16> S; 343 bool isSigned; 344 345 APInt(8, 0).toString(S, 2, true, true); 346 EXPECT_EQ(S.str().str(), "0b0"); 347 S.clear(); 348 APInt(8, 0).toString(S, 8, true, true); 349 EXPECT_EQ(S.str().str(), "00"); 350 S.clear(); 351 APInt(8, 0).toString(S, 10, true, true); 352 EXPECT_EQ(S.str().str(), "0"); 353 S.clear(); 354 APInt(8, 0).toString(S, 16, true, true); 355 EXPECT_EQ(S.str().str(), "0x0"); 356 S.clear(); 357 APInt(8, 0).toString(S, 36, true, true); 358 EXPECT_EQ(S.str().str(), "0"); 359 S.clear(); 360 361 isSigned = false; 362 APInt(8, 255, isSigned).toString(S, 2, isSigned, true); 363 EXPECT_EQ(S.str().str(), "0b11111111"); 364 S.clear(); 365 APInt(8, 255, isSigned).toString(S, 8, isSigned, true); 366 EXPECT_EQ(S.str().str(), "0377"); 367 S.clear(); 368 APInt(8, 255, isSigned).toString(S, 10, isSigned, true); 369 EXPECT_EQ(S.str().str(), "255"); 370 S.clear(); 371 APInt(8, 255, isSigned).toString(S, 16, isSigned, true); 372 EXPECT_EQ(S.str().str(), "0xFF"); 373 S.clear(); 374 APInt(8, 255, isSigned).toString(S, 36, isSigned, true); 375 EXPECT_EQ(S.str().str(), "73"); 376 S.clear(); 377 378 isSigned = true; 379 APInt(8, 255, isSigned).toString(S, 2, isSigned, true); 380 EXPECT_EQ(S.str().str(), "-0b1"); 381 S.clear(); 382 APInt(8, 255, isSigned).toString(S, 8, isSigned, true); 383 EXPECT_EQ(S.str().str(), "-01"); 384 S.clear(); 385 APInt(8, 255, isSigned).toString(S, 10, isSigned, true); 386 EXPECT_EQ(S.str().str(), "-1"); 387 S.clear(); 388 APInt(8, 255, isSigned).toString(S, 16, isSigned, true); 389 EXPECT_EQ(S.str().str(), "-0x1"); 390 S.clear(); 391 APInt(8, 255, isSigned).toString(S, 36, isSigned, true); 392 EXPECT_EQ(S.str().str(), "-1"); 393 S.clear(); 394} 395 396TEST(APIntTest, Log2) { 397 EXPECT_EQ(APInt(15, 7).logBase2(), 2U); 398 EXPECT_EQ(APInt(15, 7).ceilLogBase2(), 3U); 399 EXPECT_EQ(APInt(15, 7).exactLogBase2(), -1); 400 EXPECT_EQ(APInt(15, 8).logBase2(), 3U); 401 EXPECT_EQ(APInt(15, 8).ceilLogBase2(), 3U); 402 EXPECT_EQ(APInt(15, 8).exactLogBase2(), 3); 403 EXPECT_EQ(APInt(15, 9).logBase2(), 3U); 404 EXPECT_EQ(APInt(15, 9).ceilLogBase2(), 4U); 405 EXPECT_EQ(APInt(15, 9).exactLogBase2(), -1); 406} 407 408TEST(APIntTest, magic) { 409 EXPECT_EQ(APInt(32, 3).magic().m, APInt(32, "55555556", 16)); 410 EXPECT_EQ(APInt(32, 3).magic().s, 0U); 411 EXPECT_EQ(APInt(32, 5).magic().m, APInt(32, "66666667", 16)); 412 EXPECT_EQ(APInt(32, 5).magic().s, 1U); 413 EXPECT_EQ(APInt(32, 7).magic().m, APInt(32, "92492493", 16)); 414 EXPECT_EQ(APInt(32, 7).magic().s, 2U); 415} 416 417TEST(APIntTest, magicu) { 418 EXPECT_EQ(APInt(32, 3).magicu().m, APInt(32, "AAAAAAAB", 16)); 419 EXPECT_EQ(APInt(32, 3).magicu().s, 1U); 420 EXPECT_EQ(APInt(32, 5).magicu().m, APInt(32, "CCCCCCCD", 16)); 421 EXPECT_EQ(APInt(32, 5).magicu().s, 2U); 422 EXPECT_EQ(APInt(32, 7).magicu().m, APInt(32, "24924925", 16)); 423 EXPECT_EQ(APInt(32, 7).magicu().s, 3U); 424 EXPECT_EQ(APInt(64, 25).magicu(1).m, APInt(64, "A3D70A3D70A3D70B", 16)); 425 EXPECT_EQ(APInt(64, 25).magicu(1).s, 4U); 426} 427 428#ifdef GTEST_HAS_DEATH_TEST 429#ifndef NDEBUG 430TEST(APIntTest, StringDeath) { 431 EXPECT_DEATH(APInt(0, "", 0), "Bitwidth too small"); 432 EXPECT_DEATH(APInt(32, "", 0), "Invalid string length"); 433 EXPECT_DEATH(APInt(32, "0", 0), "Radix should be 2, 8, 10, 16, or 36!"); 434 EXPECT_DEATH(APInt(32, "", 10), "Invalid string length"); 435 EXPECT_DEATH(APInt(32, "-", 10), "String is only a sign, needs a value."); 436 EXPECT_DEATH(APInt(1, "1234", 10), "Insufficient bit width"); 437 EXPECT_DEATH(APInt(32, "\0", 10), "Invalid string length"); 438 EXPECT_DEATH(APInt(32, StringRef("1\02", 3), 10), "Invalid character in digit string"); 439 EXPECT_DEATH(APInt(32, "1L", 10), "Invalid character in digit string"); 440} 441#endif 442#endif 443 444TEST(APIntTest, mul_clear) { 445 APInt ValA(65, -1ULL); 446 APInt ValB(65, 4); 447 APInt ValC(65, 0); 448 ValC = ValA * ValB; 449 ValA *= ValB; 450 EXPECT_EQ(ValA.toString(10, false), ValC.toString(10, false)); 451} 452 453} 454