xref: /llvm-project/clang/unittests/Serialization/SourceLocationEncodingTest.cpp (revision 947b06282324db8fe2784c4054af9de493a876af)
14df795bfSSam McCall //===- unittests/Serialization/SourceLocationEncodingTests.cpp ------------===//
24df795bfSSam McCall //
34df795bfSSam McCall // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
44df795bfSSam McCall // See https://llvm.org/LICENSE.txt for license information.
54df795bfSSam McCall // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
64df795bfSSam McCall //
74df795bfSSam McCall //===----------------------------------------------------------------------===//
84df795bfSSam McCall 
94df795bfSSam McCall #include "clang/Serialization/SourceLocationEncoding.h"
104df795bfSSam McCall 
114df795bfSSam McCall #include "gtest/gtest.h"
1248169157SSam McCall #include <climits>
13a1580d7bSKazu Hirata #include <optional>
144df795bfSSam McCall 
154df795bfSSam McCall using namespace llvm;
164df795bfSSam McCall using namespace clang;
174df795bfSSam McCall 
184df795bfSSam McCall namespace {
194df795bfSSam McCall using LocSeq = SourceLocationSequence;
204df795bfSSam McCall 
214df795bfSSam McCall // Convert a single source location into encoded form and back.
224df795bfSSam McCall // If ExpectedEncoded is provided, verify the encoded value too.
234df795bfSSam McCall // Loc is the raw (in-memory) form of SourceLocation.
roundTrip(SourceLocation::UIntTy Loc,std::optional<uint64_t> ExpectedEncoded=std::nullopt)244df795bfSSam McCall void roundTrip(SourceLocation::UIntTy Loc,
256ad0788cSKazu Hirata                std::optional<uint64_t> ExpectedEncoded = std::nullopt) {
26*947b0628SChuanqi Xu   uint64_t ActualEncoded = SourceLocationEncoding::encode(
27*947b0628SChuanqi Xu       SourceLocation::getFromRawEncoding(Loc), /*BaseOffset=*/0,
28*947b0628SChuanqi Xu       /*BaseModuleFileIndex=*/0);
29d76b56fdSChuanqi Xu   if (ExpectedEncoded) {
304df795bfSSam McCall     ASSERT_EQ(ActualEncoded, *ExpectedEncoded) << "Encoding " << Loc;
31d76b56fdSChuanqi Xu   }
324df795bfSSam McCall   SourceLocation::UIntTy DecodedEncoded =
33*947b0628SChuanqi Xu       SourceLocationEncoding::decode(ActualEncoded).first.getRawEncoding();
344df795bfSSam McCall   ASSERT_EQ(DecodedEncoded, Loc) << "Decoding " << ActualEncoded;
354df795bfSSam McCall }
364df795bfSSam McCall 
374df795bfSSam McCall // As above, but use sequence encoding for a series of locations.
roundTrip(std::vector<SourceLocation::UIntTy> Locs,std::vector<uint64_t> ExpectedEncoded={})384df795bfSSam McCall void roundTrip(std::vector<SourceLocation::UIntTy> Locs,
394df795bfSSam McCall                std::vector<uint64_t> ExpectedEncoded = {}) {
404df795bfSSam McCall   std::vector<uint64_t> ActualEncoded;
414df795bfSSam McCall   {
424df795bfSSam McCall     LocSeq::State Seq;
434df795bfSSam McCall     for (auto L : Locs)
444df795bfSSam McCall       ActualEncoded.push_back(SourceLocationEncoding::encode(
45*947b0628SChuanqi Xu           SourceLocation::getFromRawEncoding(L), /*BaseOffset=*/0,
46*947b0628SChuanqi Xu           /*BaseModuleFileIndex=*/0, Seq));
47d76b56fdSChuanqi Xu     if (!ExpectedEncoded.empty()) {
484df795bfSSam McCall       ASSERT_EQ(ActualEncoded, ExpectedEncoded)
494df795bfSSam McCall           << "Encoding " << testing::PrintToString(Locs);
504df795bfSSam McCall     }
51d76b56fdSChuanqi Xu   }
524df795bfSSam McCall   std::vector<SourceLocation::UIntTy> DecodedEncoded;
534df795bfSSam McCall   {
544df795bfSSam McCall     LocSeq::State Seq;
554df795bfSSam McCall     for (auto L : ActualEncoded) {
56*947b0628SChuanqi Xu       SourceLocation Loc = SourceLocationEncoding::decode(L, Seq).first;
574df795bfSSam McCall       DecodedEncoded.push_back(Loc.getRawEncoding());
584df795bfSSam McCall     }
594df795bfSSam McCall     ASSERT_EQ(DecodedEncoded, Locs)
604df795bfSSam McCall         << "Decoding " << testing::PrintToString(ActualEncoded);
614df795bfSSam McCall   }
624df795bfSSam McCall }
634df795bfSSam McCall 
644df795bfSSam McCall constexpr SourceLocation::UIntTy MacroBit =
654df795bfSSam McCall     1 << (sizeof(SourceLocation::UIntTy) * CHAR_BIT - 1);
664df795bfSSam McCall constexpr SourceLocation::UIntTy Big = MacroBit >> 1;
674df795bfSSam McCall constexpr SourceLocation::UIntTy Biggest = -1;
684df795bfSSam McCall 
TEST(SourceLocationEncoding,Individual)694df795bfSSam McCall TEST(SourceLocationEncoding, Individual) {
704df795bfSSam McCall   roundTrip(1, 2);
714df795bfSSam McCall   roundTrip(100, 200);
724df795bfSSam McCall   roundTrip(MacroBit, 1);
734df795bfSSam McCall   roundTrip(MacroBit | 5, 11);
744df795bfSSam McCall   roundTrip(Big);
754df795bfSSam McCall   roundTrip(Big + 1);
764df795bfSSam McCall   roundTrip(MacroBit | Big);
77d76b56fdSChuanqi Xu   roundTrip(MacroBit | (Big + 1));
784df795bfSSam McCall }
794df795bfSSam McCall 
TEST(SourceLocationEncoding,Sequence)804df795bfSSam McCall TEST(SourceLocationEncoding, Sequence) {
814df795bfSSam McCall   roundTrip({1, 2, 3, 3, 2, 1},
824df795bfSSam McCall             {2, // 1
834df795bfSSam McCall              5, // +2 (+1 of non-raw)
844df795bfSSam McCall              5, // +2
854df795bfSSam McCall              1, // +0
864df795bfSSam McCall              4, // -2
874df795bfSSam McCall              4} // -2
884df795bfSSam McCall   );
894df795bfSSam McCall   roundTrip({100, 0, 100},
904df795bfSSam McCall             {200, // 100
914df795bfSSam McCall              0,   // 0
924df795bfSSam McCall              1}   // +0
934df795bfSSam McCall   );
944df795bfSSam McCall 
954df795bfSSam McCall   roundTrip({1, Big}, {2, ((Big - 1) << 2) + 1});
964df795bfSSam McCall   roundTrip({2, MacroBit | Big}, {4, ((Big - 1) << 2) - 1});
974df795bfSSam McCall 
984df795bfSSam McCall   roundTrip({3, MacroBit | 5, MacroBit | 4, 3},
994df795bfSSam McCall             {6,  // 3
1004df795bfSSam McCall              11, // +5 (+2 of non-raw + set macro bit)
1014df795bfSSam McCall              4,  // -2
1024df795bfSSam McCall              6}  // -3 (-2 of non-raw, clear macro bit)
1034df795bfSSam McCall   );
1044df795bfSSam McCall 
1054df795bfSSam McCall   roundTrip(
1064df795bfSSam McCall       {123 | MacroBit, 1, 9, Biggest, Big, Big + 1, 0, MacroBit | Big, 0});
1074df795bfSSam McCall }
1084df795bfSSam McCall 
1094df795bfSSam McCall } // namespace
110