clang 23.0.0git
LUSummaryEncoding.cpp
Go to the documentation of this file.
1//===- LUSummaryEncoding.cpp ----------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#include "JSONFormatImpl.h"
10
12
13#include <set>
14
15namespace clang::ssaf {
16
17//----------------------------------------------------------------------------
18// LUSummaryEncoding
19//----------------------------------------------------------------------------
20
21llvm::Expected<LUSummaryEncoding>
22JSONFormat::readLUSummaryEncoding(llvm::StringRef Path) {
23 auto ExpectedJSON = readJSON(Path);
24 if (!ExpectedJSON) {
25 return ErrorBuilder::wrap(ExpectedJSON.takeError())
26 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
27 .build();
28 }
29
30 Object *RootObjectPtr = ExpectedJSON->getAsObject();
31 if (!RootObjectPtr) {
32 return ErrorBuilder::create(std::errc::invalid_argument,
34 "object")
35 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
36 .build();
37 }
38
39 const Object &RootObject = *RootObjectPtr;
40
41 const Array *LUNamespaceArray = RootObject.getArray("lu_namespace");
42 if (!LUNamespaceArray) {
43 return ErrorBuilder::create(std::errc::invalid_argument,
45 "NestedBuildNamespace", "lu_namespace", "array")
46 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
47 .build();
48 }
49
50 auto ExpectedLUNamespace = nestedBuildNamespaceFromJSON(*LUNamespaceArray);
51 if (!ExpectedLUNamespace) {
52 return ErrorBuilder::wrap(ExpectedLUNamespace.takeError())
53 .context(ErrorMessages::ReadingFromField, "NestedBuildNamespace",
54 "lu_namespace")
55 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
56 .build();
57 }
58
59 LUSummaryEncoding Encoding(std::move(*ExpectedLUNamespace));
60
61 {
62 const Array *IdTableArray = RootObject.getArray("id_table");
63 if (!IdTableArray) {
64 return ErrorBuilder::create(std::errc::invalid_argument,
66 "IdTable", "id_table", "array")
67 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
68 .build();
69 }
70
71 auto ExpectedIdTable = entityIdTableFromJSON(*IdTableArray);
72 if (!ExpectedIdTable) {
73 return ErrorBuilder::wrap(ExpectedIdTable.takeError())
74 .context(ErrorMessages::ReadingFromField, "IdTable", "id_table")
75 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
76 .build();
77 }
78
79 getIdTable(Encoding) = std::move(*ExpectedIdTable);
80 }
81
82 {
83 const Array *LinkageTableArray = RootObject.getArray("linkage_table");
84 if (!LinkageTableArray) {
85 return ErrorBuilder::create(std::errc::invalid_argument,
87 "LinkageTable", "linkage_table", "array")
88 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
89 .build();
90 }
91
92 auto ExpectedIdRange =
93 llvm::make_second_range(getEntities(getIdTable(Encoding)));
94 std::set<EntityId> ExpectedIds(ExpectedIdRange.begin(),
95 ExpectedIdRange.end());
96
97 // Move ExpectedIds in since linkageTableFromJSON consumes it to verify
98 // that the linkage table contains exactly the ids present in the IdTable.
99 auto ExpectedLinkageTable =
100 linkageTableFromJSON(*LinkageTableArray, std::move(ExpectedIds));
101 if (!ExpectedLinkageTable) {
102 return ErrorBuilder::wrap(ExpectedLinkageTable.takeError())
104 "linkage_table")
105 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
106 .build();
107 }
108
109 getLinkageTable(Encoding) = std::move(*ExpectedLinkageTable);
110 }
111
112 {
113 const Array *SummaryDataArray = RootObject.getArray("data");
114 if (!SummaryDataArray) {
115 return ErrorBuilder::create(std::errc::invalid_argument,
117 "SummaryData entries", "data", "array")
118 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
119 .build();
120 }
121
122 auto ExpectedEncodingSummaryDataMap =
123 encodingSummaryDataMapFromJSON(*SummaryDataArray);
124 if (!ExpectedEncodingSummaryDataMap) {
125 return ErrorBuilder::wrap(ExpectedEncodingSummaryDataMap.takeError())
126 .context(ErrorMessages::ReadingFromField, "SummaryData entries",
127 "data")
128 .context(ErrorMessages::ReadingFromFile, "LUSummary", Path)
129 .build();
130 }
131
132 getData(Encoding) = std::move(*ExpectedEncodingSummaryDataMap);
133 }
134
135 return std::move(Encoding);
136}
137
138llvm::Error
140 llvm::StringRef Path) {
141 Object RootObject;
142
143 RootObject["lu_namespace"] =
144 nestedBuildNamespaceToJSON(getLUNamespace(SummaryEncoding));
145
146 RootObject["id_table"] = entityIdTableToJSON(getIdTable(SummaryEncoding));
147
148 RootObject["linkage_table"] =
149 linkageTableToJSON(getLinkageTable(SummaryEncoding));
150
151 RootObject["data"] = encodingSummaryDataMapToJSON(getData(SummaryEncoding));
152
153 if (auto Error = writeJSON(std::move(RootObject), Path)) {
154 return ErrorBuilder::wrap(std::move(Error))
155 .context(ErrorMessages::WritingToFile, "LUSummary", Path)
156 .build();
157 }
158
159 return llvm::Error::success();
160}
161
162} // namespace clang::ssaf
static ErrorBuilder create(std::error_code EC, const char *Fmt, Args &&...ArgVals)
Create an ErrorBuilder with an error code and formatted message.
ErrorBuilder & context(const char *Msg)
Add context information as a plain string.
llvm::Error build() const
Build and return the final error.
static ErrorBuilder wrap(llvm::Error E)
Wrap an existing error and optionally add context.
llvm::Expected< LUSummaryEncoding > readLUSummaryEncoding(llvm::StringRef Path) override
llvm::Error writeLUSummaryEncoding(const LUSummaryEncoding &SummaryEncoding, llvm::StringRef Path) override
Represents a link unit summary in its serialized encoding.
constexpr const char * ReadingFromFile
constexpr const char * ReadingFromField
constexpr const char * FailedToReadObjectAtField
constexpr const char * WritingToFile
constexpr const char * FailedToReadObject
llvm::Expected< Value > readJSON(llvm::StringRef Path)
llvm::Error writeJSON(Value &&V, llvm::StringRef Path)