1*3432f4bfSJordan Rupprecht //===--- Annotations.cpp - Annotated source code for unit tests --*- C++-*-===//
2*3432f4bfSJordan Rupprecht //
3*3432f4bfSJordan Rupprecht // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*3432f4bfSJordan Rupprecht // See https://llvm.org/LICENSE.txt for license information.
5*3432f4bfSJordan Rupprecht // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*3432f4bfSJordan Rupprecht //
7*3432f4bfSJordan Rupprecht //===----------------------------------------------------------------------===//
8*3432f4bfSJordan Rupprecht
9*3432f4bfSJordan Rupprecht #include "llvm/Testing/Annotations/Annotations.h"
10*3432f4bfSJordan Rupprecht
11*3432f4bfSJordan Rupprecht #include "llvm/ADT/StringExtras.h"
12*3432f4bfSJordan Rupprecht #include "llvm/Support/FormatVariadic.h"
13*3432f4bfSJordan Rupprecht #include "llvm/Support/raw_ostream.h"
14*3432f4bfSJordan Rupprecht
15*3432f4bfSJordan Rupprecht using namespace llvm;
16*3432f4bfSJordan Rupprecht
17*3432f4bfSJordan Rupprecht // Crash if the assertion fails, printing the message and testcase.
18*3432f4bfSJordan Rupprecht // More elegant error handling isn't needed for unit tests.
require(bool Assertion,const char * Msg,llvm::StringRef Code)19*3432f4bfSJordan Rupprecht static void require(bool Assertion, const char *Msg, llvm::StringRef Code) {
20*3432f4bfSJordan Rupprecht if (!Assertion) {
21*3432f4bfSJordan Rupprecht llvm::errs() << "Annotated testcase: " << Msg << "\n" << Code << "\n";
22*3432f4bfSJordan Rupprecht llvm_unreachable("Annotated testcase assertion failed!");
23*3432f4bfSJordan Rupprecht }
24*3432f4bfSJordan Rupprecht }
25*3432f4bfSJordan Rupprecht
Annotations(llvm::StringRef Text)26*3432f4bfSJordan Rupprecht Annotations::Annotations(llvm::StringRef Text) {
27*3432f4bfSJordan Rupprecht auto Require = [Text](bool Assertion, const char *Msg) {
28*3432f4bfSJordan Rupprecht require(Assertion, Msg, Text);
29*3432f4bfSJordan Rupprecht };
30*3432f4bfSJordan Rupprecht std::optional<llvm::StringRef> Name;
31*3432f4bfSJordan Rupprecht std::optional<llvm::StringRef> Payload;
32*3432f4bfSJordan Rupprecht llvm::SmallVector<Annotation, 8> OpenRanges;
33*3432f4bfSJordan Rupprecht
34*3432f4bfSJordan Rupprecht Code.reserve(Text.size());
35*3432f4bfSJordan Rupprecht while (!Text.empty()) {
36*3432f4bfSJordan Rupprecht if (Text.consume_front("^")) {
37*3432f4bfSJordan Rupprecht All.push_back(
38*3432f4bfSJordan Rupprecht {Code.size(), size_t(-1), Name.value_or(""), Payload.value_or("")});
39*3432f4bfSJordan Rupprecht Points[Name.value_or("")].push_back(All.size() - 1);
40*3432f4bfSJordan Rupprecht Name = std::nullopt;
41*3432f4bfSJordan Rupprecht Payload = std::nullopt;
42*3432f4bfSJordan Rupprecht continue;
43*3432f4bfSJordan Rupprecht }
44*3432f4bfSJordan Rupprecht if (Text.consume_front("[[")) {
45*3432f4bfSJordan Rupprecht OpenRanges.push_back(
46*3432f4bfSJordan Rupprecht {Code.size(), size_t(-1), Name.value_or(""), Payload.value_or("")});
47*3432f4bfSJordan Rupprecht Name = std::nullopt;
48*3432f4bfSJordan Rupprecht Payload = std::nullopt;
49*3432f4bfSJordan Rupprecht continue;
50*3432f4bfSJordan Rupprecht }
51*3432f4bfSJordan Rupprecht Require(!Name, "$name should be followed by ^ or [[");
52*3432f4bfSJordan Rupprecht if (Text.consume_front("]]")) {
53*3432f4bfSJordan Rupprecht Require(!OpenRanges.empty(), "unmatched ]]");
54*3432f4bfSJordan Rupprecht
55*3432f4bfSJordan Rupprecht const Annotation &NewRange = OpenRanges.back();
56*3432f4bfSJordan Rupprecht All.push_back(
57*3432f4bfSJordan Rupprecht {NewRange.Begin, Code.size(), NewRange.Name, NewRange.Payload});
58*3432f4bfSJordan Rupprecht Ranges[NewRange.Name].push_back(All.size() - 1);
59*3432f4bfSJordan Rupprecht
60*3432f4bfSJordan Rupprecht OpenRanges.pop_back();
61*3432f4bfSJordan Rupprecht continue;
62*3432f4bfSJordan Rupprecht }
63*3432f4bfSJordan Rupprecht if (Text.consume_front("$")) {
64*3432f4bfSJordan Rupprecht Name =
65*3432f4bfSJordan Rupprecht Text.take_while([](char C) { return llvm::isAlnum(C) || C == '_'; });
66*3432f4bfSJordan Rupprecht Text = Text.drop_front(Name->size());
67*3432f4bfSJordan Rupprecht
68*3432f4bfSJordan Rupprecht if (Text.consume_front("(")) {
69*3432f4bfSJordan Rupprecht Payload = Text.take_while([](char C) { return C != ')'; });
70*3432f4bfSJordan Rupprecht Require(Text.size() > Payload->size(), "unterminated payload");
71*3432f4bfSJordan Rupprecht Text = Text.drop_front(Payload->size() + 1);
72*3432f4bfSJordan Rupprecht }
73*3432f4bfSJordan Rupprecht
74*3432f4bfSJordan Rupprecht continue;
75*3432f4bfSJordan Rupprecht }
76*3432f4bfSJordan Rupprecht Code.push_back(Text.front());
77*3432f4bfSJordan Rupprecht Text = Text.drop_front();
78*3432f4bfSJordan Rupprecht }
79*3432f4bfSJordan Rupprecht Require(!Name, "unterminated $name");
80*3432f4bfSJordan Rupprecht Require(OpenRanges.empty(), "unmatched [[");
81*3432f4bfSJordan Rupprecht }
82*3432f4bfSJordan Rupprecht
point(llvm::StringRef Name) const83*3432f4bfSJordan Rupprecht size_t Annotations::point(llvm::StringRef Name) const {
84*3432f4bfSJordan Rupprecht return pointWithPayload(Name).first;
85*3432f4bfSJordan Rupprecht }
86*3432f4bfSJordan Rupprecht
87*3432f4bfSJordan Rupprecht std::pair<size_t, llvm::StringRef>
pointWithPayload(llvm::StringRef Name) const88*3432f4bfSJordan Rupprecht Annotations::pointWithPayload(llvm::StringRef Name) const {
89*3432f4bfSJordan Rupprecht auto I = Points.find(Name);
90*3432f4bfSJordan Rupprecht require(I != Points.end() && I->getValue().size() == 1,
91*3432f4bfSJordan Rupprecht "expected exactly one point", Code);
92*3432f4bfSJordan Rupprecht const Annotation &P = All[I->getValue()[0]];
93*3432f4bfSJordan Rupprecht return {P.Begin, P.Payload};
94*3432f4bfSJordan Rupprecht }
95*3432f4bfSJordan Rupprecht
points(llvm::StringRef Name) const96*3432f4bfSJordan Rupprecht std::vector<size_t> Annotations::points(llvm::StringRef Name) const {
97*3432f4bfSJordan Rupprecht auto Pts = pointsWithPayload(Name);
98*3432f4bfSJordan Rupprecht std::vector<size_t> Positions;
99*3432f4bfSJordan Rupprecht Positions.reserve(Pts.size());
100*3432f4bfSJordan Rupprecht for (const auto &[Point, Payload] : Pts)
101*3432f4bfSJordan Rupprecht Positions.push_back(Point);
102*3432f4bfSJordan Rupprecht return Positions;
103*3432f4bfSJordan Rupprecht }
104*3432f4bfSJordan Rupprecht
105*3432f4bfSJordan Rupprecht std::vector<std::pair<size_t, llvm::StringRef>>
pointsWithPayload(llvm::StringRef Name) const106*3432f4bfSJordan Rupprecht Annotations::pointsWithPayload(llvm::StringRef Name) const {
107*3432f4bfSJordan Rupprecht auto Iter = Points.find(Name);
108*3432f4bfSJordan Rupprecht if (Iter == Points.end())
109*3432f4bfSJordan Rupprecht return {};
110*3432f4bfSJordan Rupprecht
111*3432f4bfSJordan Rupprecht std::vector<std::pair<size_t, llvm::StringRef>> Res;
112*3432f4bfSJordan Rupprecht Res.reserve(Iter->getValue().size());
113*3432f4bfSJordan Rupprecht for (size_t I : Iter->getValue())
114*3432f4bfSJordan Rupprecht Res.push_back({All[I].Begin, All[I].Payload});
115*3432f4bfSJordan Rupprecht
116*3432f4bfSJordan Rupprecht return Res;
117*3432f4bfSJordan Rupprecht }
118*3432f4bfSJordan Rupprecht
all_points() const119*3432f4bfSJordan Rupprecht llvm::StringMap<llvm::SmallVector<size_t, 1>> Annotations::all_points() const {
120*3432f4bfSJordan Rupprecht llvm::StringMap<llvm::SmallVector<size_t, 1>> Result;
121*3432f4bfSJordan Rupprecht for (const auto &Name : Points.keys()) {
122*3432f4bfSJordan Rupprecht auto Pts = points(Name);
123*3432f4bfSJordan Rupprecht Result[Name] = {Pts.begin(), Pts.end()};
124*3432f4bfSJordan Rupprecht }
125*3432f4bfSJordan Rupprecht return Result;
126*3432f4bfSJordan Rupprecht }
127*3432f4bfSJordan Rupprecht
range(llvm::StringRef Name) const128*3432f4bfSJordan Rupprecht Annotations::Range Annotations::range(llvm::StringRef Name) const {
129*3432f4bfSJordan Rupprecht return rangeWithPayload(Name).first;
130*3432f4bfSJordan Rupprecht }
131*3432f4bfSJordan Rupprecht
132*3432f4bfSJordan Rupprecht std::pair<Annotations::Range, llvm::StringRef>
rangeWithPayload(llvm::StringRef Name) const133*3432f4bfSJordan Rupprecht Annotations::rangeWithPayload(llvm::StringRef Name) const {
134*3432f4bfSJordan Rupprecht auto I = Ranges.find(Name);
135*3432f4bfSJordan Rupprecht require(I != Ranges.end() && I->getValue().size() == 1,
136*3432f4bfSJordan Rupprecht "expected exactly one range", Code);
137*3432f4bfSJordan Rupprecht const Annotation &R = All[I->getValue()[0]];
138*3432f4bfSJordan Rupprecht return {{R.Begin, R.End}, R.Payload};
139*3432f4bfSJordan Rupprecht }
140*3432f4bfSJordan Rupprecht
141*3432f4bfSJordan Rupprecht std::vector<Annotations::Range>
ranges(llvm::StringRef Name) const142*3432f4bfSJordan Rupprecht Annotations::ranges(llvm::StringRef Name) const {
143*3432f4bfSJordan Rupprecht auto WithPayload = rangesWithPayload(Name);
144*3432f4bfSJordan Rupprecht std::vector<Annotations::Range> Res;
145*3432f4bfSJordan Rupprecht Res.reserve(WithPayload.size());
146*3432f4bfSJordan Rupprecht for (const auto &[Range, Payload] : WithPayload)
147*3432f4bfSJordan Rupprecht Res.push_back(Range);
148*3432f4bfSJordan Rupprecht return Res;
149*3432f4bfSJordan Rupprecht }
150*3432f4bfSJordan Rupprecht std::vector<std::pair<Annotations::Range, llvm::StringRef>>
rangesWithPayload(llvm::StringRef Name) const151*3432f4bfSJordan Rupprecht Annotations::rangesWithPayload(llvm::StringRef Name) const {
152*3432f4bfSJordan Rupprecht auto Iter = Ranges.find(Name);
153*3432f4bfSJordan Rupprecht if (Iter == Ranges.end())
154*3432f4bfSJordan Rupprecht return {};
155*3432f4bfSJordan Rupprecht
156*3432f4bfSJordan Rupprecht std::vector<std::pair<Annotations::Range, llvm::StringRef>> Res;
157*3432f4bfSJordan Rupprecht Res.reserve(Iter->getValue().size());
158*3432f4bfSJordan Rupprecht for (size_t I : Iter->getValue())
159*3432f4bfSJordan Rupprecht Res.emplace_back(Annotations::Range{All[I].Begin, All[I].End},
160*3432f4bfSJordan Rupprecht All[I].Payload);
161*3432f4bfSJordan Rupprecht
162*3432f4bfSJordan Rupprecht return Res;
163*3432f4bfSJordan Rupprecht }
164*3432f4bfSJordan Rupprecht
165*3432f4bfSJordan Rupprecht llvm::StringMap<llvm::SmallVector<Annotations::Range, 1>>
all_ranges() const166*3432f4bfSJordan Rupprecht Annotations::all_ranges() const {
167*3432f4bfSJordan Rupprecht llvm::StringMap<llvm::SmallVector<Annotations::Range, 1>> Res;
168*3432f4bfSJordan Rupprecht for (const llvm::StringRef &Name : Ranges.keys()) {
169*3432f4bfSJordan Rupprecht auto R = ranges(Name);
170*3432f4bfSJordan Rupprecht Res[Name] = {R.begin(), R.end()};
171*3432f4bfSJordan Rupprecht }
172*3432f4bfSJordan Rupprecht return Res;
173*3432f4bfSJordan Rupprecht }
174*3432f4bfSJordan Rupprecht
operator <<(llvm::raw_ostream & O,const llvm::Annotations::Range & R)175*3432f4bfSJordan Rupprecht llvm::raw_ostream &llvm::operator<<(llvm::raw_ostream &O,
176*3432f4bfSJordan Rupprecht const llvm::Annotations::Range &R) {
177*3432f4bfSJordan Rupprecht return O << llvm::formatv("[{0}, {1})", R.Begin, R.End);
178*3432f4bfSJordan Rupprecht }
179