Path: blob/main/contrib/llvm-project/llvm/lib/Testing/Annotations/Annotations.cpp
35271 views
//===--- Annotations.cpp - Annotated source code for unit tests --*- C++-*-===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//78#include "llvm/Testing/Annotations/Annotations.h"910#include "llvm/ADT/StringExtras.h"11#include "llvm/Support/FormatVariadic.h"12#include "llvm/Support/raw_ostream.h"1314using namespace llvm;1516// Crash if the assertion fails, printing the message and testcase.17// More elegant error handling isn't needed for unit tests.18static void require(bool Assertion, const char *Msg, llvm::StringRef Code) {19if (!Assertion) {20llvm::errs() << "Annotated testcase: " << Msg << "\n" << Code << "\n";21llvm_unreachable("Annotated testcase assertion failed!");22}23}2425Annotations::Annotations(llvm::StringRef Text) {26auto Require = [Text](bool Assertion, const char *Msg) {27require(Assertion, Msg, Text);28};29std::optional<llvm::StringRef> Name;30std::optional<llvm::StringRef> Payload;31llvm::SmallVector<Annotation, 8> OpenRanges;3233Code.reserve(Text.size());34while (!Text.empty()) {35if (Text.consume_front("^")) {36All.push_back(37{Code.size(), size_t(-1), Name.value_or(""), Payload.value_or("")});38Points[Name.value_or("")].push_back(All.size() - 1);39Name = std::nullopt;40Payload = std::nullopt;41continue;42}43if (Text.consume_front("[[")) {44OpenRanges.push_back(45{Code.size(), size_t(-1), Name.value_or(""), Payload.value_or("")});46Name = std::nullopt;47Payload = std::nullopt;48continue;49}50Require(!Name, "$name should be followed by ^ or [[");51if (Text.consume_front("]]")) {52Require(!OpenRanges.empty(), "unmatched ]]");5354const Annotation &NewRange = OpenRanges.back();55All.push_back(56{NewRange.Begin, Code.size(), NewRange.Name, NewRange.Payload});57Ranges[NewRange.Name].push_back(All.size() - 1);5859OpenRanges.pop_back();60continue;61}62if (Text.consume_front("$")) {63Name =64Text.take_while([](char C) { return llvm::isAlnum(C) || C == '_'; });65Text = Text.drop_front(Name->size());6667if (Text.consume_front("(")) {68Payload = Text.take_while([](char C) { return C != ')'; });69Require(Text.size() > Payload->size(), "unterminated payload");70Text = Text.drop_front(Payload->size() + 1);71}7273continue;74}75Code.push_back(Text.front());76Text = Text.drop_front();77}78Require(!Name, "unterminated $name");79Require(OpenRanges.empty(), "unmatched [[");80}8182size_t Annotations::point(llvm::StringRef Name) const {83return pointWithPayload(Name).first;84}8586std::pair<size_t, llvm::StringRef>87Annotations::pointWithPayload(llvm::StringRef Name) const {88auto I = Points.find(Name);89require(I != Points.end() && I->getValue().size() == 1,90"expected exactly one point", Code);91const Annotation &P = All[I->getValue()[0]];92return {P.Begin, P.Payload};93}9495std::vector<size_t> Annotations::points(llvm::StringRef Name) const {96auto Pts = pointsWithPayload(Name);97std::vector<size_t> Positions;98Positions.reserve(Pts.size());99for (const auto &[Point, Payload] : Pts)100Positions.push_back(Point);101return Positions;102}103104std::vector<std::pair<size_t, llvm::StringRef>>105Annotations::pointsWithPayload(llvm::StringRef Name) const {106auto Iter = Points.find(Name);107if (Iter == Points.end())108return {};109110std::vector<std::pair<size_t, llvm::StringRef>> Res;111Res.reserve(Iter->getValue().size());112for (size_t I : Iter->getValue())113Res.push_back({All[I].Begin, All[I].Payload});114115return Res;116}117118llvm::StringMap<llvm::SmallVector<size_t, 1>> Annotations::all_points() const {119llvm::StringMap<llvm::SmallVector<size_t, 1>> Result;120for (const auto &Name : Points.keys()) {121auto Pts = points(Name);122Result[Name] = {Pts.begin(), Pts.end()};123}124return Result;125}126127Annotations::Range Annotations::range(llvm::StringRef Name) const {128return rangeWithPayload(Name).first;129}130131std::pair<Annotations::Range, llvm::StringRef>132Annotations::rangeWithPayload(llvm::StringRef Name) const {133auto I = Ranges.find(Name);134require(I != Ranges.end() && I->getValue().size() == 1,135"expected exactly one range", Code);136const Annotation &R = All[I->getValue()[0]];137return {{R.Begin, R.End}, R.Payload};138}139140std::vector<Annotations::Range>141Annotations::ranges(llvm::StringRef Name) const {142auto WithPayload = rangesWithPayload(Name);143std::vector<Annotations::Range> Res;144Res.reserve(WithPayload.size());145for (const auto &[Range, Payload] : WithPayload)146Res.push_back(Range);147return Res;148}149std::vector<std::pair<Annotations::Range, llvm::StringRef>>150Annotations::rangesWithPayload(llvm::StringRef Name) const {151auto Iter = Ranges.find(Name);152if (Iter == Ranges.end())153return {};154155std::vector<std::pair<Annotations::Range, llvm::StringRef>> Res;156Res.reserve(Iter->getValue().size());157for (size_t I : Iter->getValue())158Res.emplace_back(Annotations::Range{All[I].Begin, All[I].End},159All[I].Payload);160161return Res;162}163164llvm::StringMap<llvm::SmallVector<Annotations::Range, 1>>165Annotations::all_ranges() const {166llvm::StringMap<llvm::SmallVector<Annotations::Range, 1>> Res;167for (const llvm::StringRef &Name : Ranges.keys()) {168auto R = ranges(Name);169Res[Name] = {R.begin(), R.end()};170}171return Res;172}173174llvm::raw_ostream &llvm::operator<<(llvm::raw_ostream &O,175const llvm::Annotations::Range &R) {176return O << llvm::formatv("[{0}, {1})", R.Begin, R.End);177}178179180