| //===- FormatVariadic.cpp - Format string parsing and analysis ----*-C++-*-===// |
| // |
| // 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 |
| //===----------------------------------------------------------------------===// |
| |
| #include "llvm/Support/FormatVariadic.h" |
| |
| using namespace llvm; |
| |
| static Optional<AlignStyle> translateLocChar(char C) { |
| switch (C) { |
| case '-': |
| return AlignStyle::Left; |
| case '=': |
| return AlignStyle::Center; |
| case '+': |
| return AlignStyle::Right; |
| default: |
| return None; |
| } |
| LLVM_BUILTIN_UNREACHABLE; |
| } |
| |
| bool formatv_object_base::consumeFieldLayout(StringRef &Spec, AlignStyle &Where, |
| size_t &Align, char &Pad) { |
| Where = AlignStyle::Right; |
| Align = 0; |
| Pad = ' '; |
| if (Spec.empty()) |
| return true; |
| |
| if (Spec.size() > 1) { |
| // A maximum of 2 characters at the beginning can be used for something |
| // other |
| // than the width. |
| // If Spec[1] is a loc char, then Spec[0] is a pad char and Spec[2:...] |
| // contains the width. |
| // Otherwise, if Spec[0] is a loc char, then Spec[1:...] contains the width. |
| // Otherwise, Spec[0:...] contains the width. |
| if (auto Loc = translateLocChar(Spec[1])) { |
| Pad = Spec[0]; |
| Where = *Loc; |
| Spec = Spec.drop_front(2); |
| } else if (auto Loc = translateLocChar(Spec[0])) { |
| Where = *Loc; |
| Spec = Spec.drop_front(1); |
| } |
| } |
| |
| bool Failed = Spec.consumeInteger(0, Align); |
| return !Failed; |
| } |
| |
| Optional<ReplacementItem> |
| formatv_object_base::parseReplacementItem(StringRef Spec) { |
| StringRef RepString = Spec.trim("{}"); |
| |
| // If the replacement sequence does not start with a non-negative integer, |
| // this is an error. |
| char Pad = ' '; |
| std::size_t Align = 0; |
| AlignStyle Where = AlignStyle::Right; |
| StringRef Options; |
| size_t Index = 0; |
| RepString = RepString.trim(); |
| if (RepString.consumeInteger(0, Index)) { |
| assert(false && "Invalid replacement sequence index!"); |
| return ReplacementItem{}; |
| } |
| RepString = RepString.trim(); |
| if (!RepString.empty() && RepString.front() == ',') { |
| RepString = RepString.drop_front(); |
| if (!consumeFieldLayout(RepString, Where, Align, Pad)) |
| assert(false && "Invalid replacement field layout specification!"); |
| } |
| RepString = RepString.trim(); |
| if (!RepString.empty() && RepString.front() == ':') { |
| Options = RepString.drop_front().trim(); |
| RepString = StringRef(); |
| } |
| RepString = RepString.trim(); |
| if (!RepString.empty()) { |
| assert(false && "Unexpected characters found in replacement string!"); |
| } |
| |
| return ReplacementItem{Spec, Index, Align, Where, Pad, Options}; |
| } |
| |
| std::pair<ReplacementItem, StringRef> |
| formatv_object_base::splitLiteralAndReplacement(StringRef Fmt) { |
| std::size_t From = 0; |
| while (From < Fmt.size() && From != StringRef::npos) { |
| std::size_t BO = Fmt.find_first_of('{', From); |
| // Everything up until the first brace is a literal. |
| if (BO != 0) |
| return std::make_pair(ReplacementItem{Fmt.substr(0, BO)}, Fmt.substr(BO)); |
| |
| StringRef Braces = |
| Fmt.drop_front(BO).take_while([](char C) { return C == '{'; }); |
| // If there is more than one brace, then some of them are escaped. Treat |
| // these as replacements. |
| if (Braces.size() > 1) { |
| size_t NumEscapedBraces = Braces.size() / 2; |
| StringRef Middle = Fmt.substr(BO, NumEscapedBraces); |
| StringRef Right = Fmt.drop_front(BO + NumEscapedBraces * 2); |
| return std::make_pair(ReplacementItem{Middle}, Right); |
| } |
| // An unterminated open brace is undefined. We treat the rest of the string |
| // as a literal replacement, but we assert to indicate that this is |
| // undefined and that we consider it an error. |
| std::size_t BC = Fmt.find_first_of('}', BO); |
| if (BC == StringRef::npos) { |
| assert( |
| false && |
| "Unterminated brace sequence. Escape with {{ for a literal brace."); |
| return std::make_pair(ReplacementItem{Fmt}, StringRef()); |
| } |
| |
| // Even if there is a closing brace, if there is another open brace before |
| // this closing brace, treat this portion as literal, and try again with the |
| // next one. |
| std::size_t BO2 = Fmt.find_first_of('{', BO + 1); |
| if (BO2 < BC) |
| return std::make_pair(ReplacementItem{Fmt.substr(0, BO2)}, |
| Fmt.substr(BO2)); |
| |
| StringRef Spec = Fmt.slice(BO + 1, BC); |
| StringRef Right = Fmt.substr(BC + 1); |
| |
| auto RI = parseReplacementItem(Spec); |
| if (RI.hasValue()) |
| return std::make_pair(*RI, Right); |
| |
| // If there was an error parsing the replacement item, treat it as an |
| // invalid replacement spec, and just continue. |
| From = BC + 1; |
| } |
| return std::make_pair(ReplacementItem{Fmt}, StringRef()); |
| } |
| |
| std::vector<ReplacementItem> |
| formatv_object_base::parseFormatString(StringRef Fmt) { |
| std::vector<ReplacementItem> Replacements; |
| ReplacementItem I; |
| while (!Fmt.empty()) { |
| std::tie(I, Fmt) = splitLiteralAndReplacement(Fmt); |
| if (I.Type != ReplacementType::Empty) |
| Replacements.push_back(I); |
| } |
| return Replacements; |
| } |
| |
| void detail::format_adapter::anchor() { } |