123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257 |
- //===- YAMLRemarkSerializer.cpp -------------------------------------------===//
- //
- // 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
- //
- //===----------------------------------------------------------------------===//
- //
- // This file provides the implementation of the YAML remark serializer using
- // LLVM's YAMLTraits.
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/Remarks/YAMLRemarkSerializer.h"
- #include "llvm/Support/FileSystem.h"
- using namespace llvm;
- using namespace llvm::remarks;
- // Use the same keys whether we use a string table or not (respectively, T is an
- // unsigned or a StringRef).
- template <typename T>
- static void mapRemarkHeader(yaml::IO &io, T PassName, T RemarkName,
- Optional<RemarkLocation> RL, T FunctionName,
- Optional<uint64_t> Hotness,
- ArrayRef<Argument> Args) {
- io.mapRequired("Pass", PassName);
- io.mapRequired("Name", RemarkName);
- io.mapOptional("DebugLoc", RL);
- io.mapRequired("Function", FunctionName);
- io.mapOptional("Hotness", Hotness);
- io.mapOptional("Args", Args);
- }
- namespace llvm {
- namespace yaml {
- template <> struct MappingTraits<remarks::Remark *> {
- static void mapping(IO &io, remarks::Remark *&Remark) {
- assert(io.outputting() && "input not yet implemented");
- if (io.mapTag("!Passed", (Remark->RemarkType == Type::Passed)))
- ;
- else if (io.mapTag("!Missed", (Remark->RemarkType == Type::Missed)))
- ;
- else if (io.mapTag("!Analysis", (Remark->RemarkType == Type::Analysis)))
- ;
- else if (io.mapTag("!AnalysisFPCommute",
- (Remark->RemarkType == Type::AnalysisFPCommute)))
- ;
- else if (io.mapTag("!AnalysisAliasing",
- (Remark->RemarkType == Type::AnalysisAliasing)))
- ;
- else if (io.mapTag("!Failure", (Remark->RemarkType == Type::Failure)))
- ;
- else
- llvm_unreachable("Unknown remark type");
- if (auto *Serializer = dyn_cast<YAMLStrTabRemarkSerializer>(
- reinterpret_cast<RemarkSerializer *>(io.getContext()))) {
- assert(Serializer->StrTab.hasValue() &&
- "YAMLStrTabSerializer with no StrTab.");
- StringTable &StrTab = *Serializer->StrTab;
- unsigned PassID = StrTab.add(Remark->PassName).first;
- unsigned NameID = StrTab.add(Remark->RemarkName).first;
- unsigned FunctionID = StrTab.add(Remark->FunctionName).first;
- mapRemarkHeader(io, PassID, NameID, Remark->Loc, FunctionID,
- Remark->Hotness, Remark->Args);
- } else {
- mapRemarkHeader(io, Remark->PassName, Remark->RemarkName, Remark->Loc,
- Remark->FunctionName, Remark->Hotness, Remark->Args);
- }
- }
- };
- template <> struct MappingTraits<RemarkLocation> {
- static void mapping(IO &io, RemarkLocation &RL) {
- assert(io.outputting() && "input not yet implemented");
- StringRef File = RL.SourceFilePath;
- unsigned Line = RL.SourceLine;
- unsigned Col = RL.SourceColumn;
- if (auto *Serializer = dyn_cast<YAMLStrTabRemarkSerializer>(
- reinterpret_cast<RemarkSerializer *>(io.getContext()))) {
- assert(Serializer->StrTab.hasValue() &&
- "YAMLStrTabSerializer with no StrTab.");
- StringTable &StrTab = *Serializer->StrTab;
- unsigned FileID = StrTab.add(File).first;
- io.mapRequired("File", FileID);
- } else {
- io.mapRequired("File", File);
- }
- io.mapRequired("Line", Line);
- io.mapRequired("Column", Col);
- }
- static const bool flow = true;
- };
- /// Helper struct for multiline string block literals. Use this type to preserve
- /// newlines in strings.
- struct StringBlockVal {
- StringRef Value;
- StringBlockVal(StringRef R) : Value(R) {}
- };
- template <> struct BlockScalarTraits<StringBlockVal> {
- static void output(const StringBlockVal &S, void *Ctx, raw_ostream &OS) {
- return ScalarTraits<StringRef>::output(S.Value, Ctx, OS);
- }
- static StringRef input(StringRef Scalar, void *Ctx, StringBlockVal &S) {
- return ScalarTraits<StringRef>::input(Scalar, Ctx, S.Value);
- }
- };
- /// ArrayRef is not really compatible with the YAMLTraits. Everything should be
- /// immutable in an ArrayRef, while the SequenceTraits expect a mutable version
- /// for inputting, but we're only using the outputting capabilities here.
- /// This is a hack, but still nicer than having to manually call the YAMLIO
- /// internal methods.
- /// Keep this in this file so that it doesn't get misused from YAMLTraits.h.
- template <typename T> struct SequenceTraits<ArrayRef<T>> {
- static size_t size(IO &io, ArrayRef<T> &seq) { return seq.size(); }
- static Argument &element(IO &io, ArrayRef<T> &seq, size_t index) {
- assert(io.outputting() && "input not yet implemented");
- // The assert above should make this "safer" to satisfy the YAMLTraits.
- return const_cast<T &>(seq[index]);
- }
- };
- /// Implement this as a mapping for now to get proper quotation for the value.
- template <> struct MappingTraits<Argument> {
- static void mapping(IO &io, Argument &A) {
- assert(io.outputting() && "input not yet implemented");
- if (auto *Serializer = dyn_cast<YAMLStrTabRemarkSerializer>(
- reinterpret_cast<RemarkSerializer *>(io.getContext()))) {
- assert(Serializer->StrTab.hasValue() &&
- "YAMLStrTabSerializer with no StrTab.");
- StringTable &StrTab = *Serializer->StrTab;
- auto ValueID = StrTab.add(A.Val).first;
- io.mapRequired(A.Key.data(), ValueID);
- } else if (StringRef(A.Val).count('\n') > 1) {
- StringBlockVal S(A.Val);
- io.mapRequired(A.Key.data(), S);
- } else {
- io.mapRequired(A.Key.data(), A.Val);
- }
- io.mapOptional("DebugLoc", A.Loc);
- }
- };
- } // end namespace yaml
- } // end namespace llvm
- LLVM_YAML_IS_SEQUENCE_VECTOR(Argument)
- YAMLRemarkSerializer::YAMLRemarkSerializer(raw_ostream &OS, SerializerMode Mode,
- Optional<StringTable> StrTabIn)
- : YAMLRemarkSerializer(Format::YAML, OS, Mode, std::move(StrTabIn)) {}
- YAMLRemarkSerializer::YAMLRemarkSerializer(Format SerializerFormat,
- raw_ostream &OS, SerializerMode Mode,
- Optional<StringTable> StrTabIn)
- : RemarkSerializer(SerializerFormat, OS, Mode),
- YAMLOutput(OS, reinterpret_cast<void *>(this)) {
- StrTab = std::move(StrTabIn);
- }
- void YAMLRemarkSerializer::emit(const Remark &Remark) {
- // Again, YAMLTraits expect a non-const object for inputting, but we're not
- // using that here.
- auto R = const_cast<remarks::Remark *>(&Remark);
- YAMLOutput << R;
- }
- std::unique_ptr<MetaSerializer>
- YAMLRemarkSerializer::metaSerializer(raw_ostream &OS,
- Optional<StringRef> ExternalFilename) {
- return std::make_unique<YAMLMetaSerializer>(OS, ExternalFilename);
- }
- void YAMLStrTabRemarkSerializer::emit(const Remark &Remark) {
- // In standalone mode, for the serializer with a string table, emit the
- // metadata first and set DidEmitMeta to avoid emitting it again.
- if (Mode == SerializerMode::Standalone && !DidEmitMeta) {
- std::unique_ptr<MetaSerializer> MetaSerializer =
- metaSerializer(OS, /*ExternalFilename=*/None);
- MetaSerializer->emit();
- DidEmitMeta = true;
- }
- // Then do the usual remark emission.
- YAMLRemarkSerializer::emit(Remark);
- }
- std::unique_ptr<MetaSerializer> YAMLStrTabRemarkSerializer::metaSerializer(
- raw_ostream &OS, Optional<StringRef> ExternalFilename) {
- assert(StrTab);
- return std::make_unique<YAMLStrTabMetaSerializer>(OS, ExternalFilename,
- *StrTab);
- }
- static void emitMagic(raw_ostream &OS) {
- // Emit the magic number.
- OS << remarks::Magic;
- // Explicitly emit a '\0'.
- OS.write('\0');
- }
- static void emitVersion(raw_ostream &OS) {
- // Emit the version number: little-endian uint64_t.
- std::array<char, 8> Version;
- support::endian::write64le(Version.data(), remarks::CurrentRemarkVersion);
- OS.write(Version.data(), Version.size());
- }
- static void emitStrTab(raw_ostream &OS, Optional<const StringTable *> StrTab) {
- // Emit the string table in the section.
- uint64_t StrTabSize = StrTab ? (*StrTab)->SerializedSize : 0;
- // Emit the total size of the string table (the size itself excluded):
- // little-endian uint64_t.
- // Note: even if no string table is used, emit 0.
- std::array<char, 8> StrTabSizeBuf;
- support::endian::write64le(StrTabSizeBuf.data(), StrTabSize);
- OS.write(StrTabSizeBuf.data(), StrTabSizeBuf.size());
- if (StrTab)
- (*StrTab)->serialize(OS);
- }
- static void emitExternalFile(raw_ostream &OS, StringRef Filename) {
- // Emit the null-terminated absolute path to the remark file.
- SmallString<128> FilenameBuf = Filename;
- sys::fs::make_absolute(FilenameBuf);
- assert(!FilenameBuf.empty() && "The filename can't be empty.");
- OS.write(FilenameBuf.data(), FilenameBuf.size());
- OS.write('\0');
- }
- void YAMLMetaSerializer::emit() {
- emitMagic(OS);
- emitVersion(OS);
- emitStrTab(OS, None);
- if (ExternalFilename)
- emitExternalFile(OS, *ExternalFilename);
- }
- void YAMLStrTabMetaSerializer::emit() {
- emitMagic(OS);
- emitVersion(OS);
- emitStrTab(OS, &StrTab);
- if (ExternalFilename)
- emitExternalFile(OS, *ExternalFilename);
- }
|