1e5dd7070Spatrick //===- Multilib.cpp - Multilib Implementation -----------------------------===//
2e5dd7070Spatrick //
3e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information.
5e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e5dd7070Spatrick //
7e5dd7070Spatrick //===----------------------------------------------------------------------===//
8e5dd7070Spatrick
9e5dd7070Spatrick #include "clang/Driver/Multilib.h"
10e5dd7070Spatrick #include "clang/Basic/LLVM.h"
11e5dd7070Spatrick #include "llvm/ADT/SmallString.h"
12e5dd7070Spatrick #include "llvm/ADT/StringMap.h"
13e5dd7070Spatrick #include "llvm/ADT/StringRef.h"
14e5dd7070Spatrick #include "llvm/ADT/StringSet.h"
15e5dd7070Spatrick #include "llvm/Support/Compiler.h"
16e5dd7070Spatrick #include "llvm/Support/ErrorHandling.h"
17e5dd7070Spatrick #include "llvm/Support/Path.h"
18e5dd7070Spatrick #include "llvm/Support/Regex.h"
19e5dd7070Spatrick #include "llvm/Support/raw_ostream.h"
20e5dd7070Spatrick #include <algorithm>
21e5dd7070Spatrick #include <cassert>
22e5dd7070Spatrick #include <string>
23e5dd7070Spatrick
24e5dd7070Spatrick using namespace clang;
25e5dd7070Spatrick using namespace driver;
26e5dd7070Spatrick using namespace llvm::sys;
27e5dd7070Spatrick
28e5dd7070Spatrick /// normalize Segment to "/foo/bar" or "".
normalizePathSegment(std::string & Segment)29e5dd7070Spatrick static void normalizePathSegment(std::string &Segment) {
30e5dd7070Spatrick StringRef seg = Segment;
31e5dd7070Spatrick
32e5dd7070Spatrick // Prune trailing "/" or "./"
33e5dd7070Spatrick while (true) {
34e5dd7070Spatrick StringRef last = path::filename(seg);
35e5dd7070Spatrick if (last != ".")
36e5dd7070Spatrick break;
37e5dd7070Spatrick seg = path::parent_path(seg);
38e5dd7070Spatrick }
39e5dd7070Spatrick
40e5dd7070Spatrick if (seg.empty() || seg == "/") {
41e5dd7070Spatrick Segment.clear();
42e5dd7070Spatrick return;
43e5dd7070Spatrick }
44e5dd7070Spatrick
45e5dd7070Spatrick // Add leading '/'
46e5dd7070Spatrick if (seg.front() != '/') {
47e5dd7070Spatrick Segment = "/" + seg.str();
48e5dd7070Spatrick } else {
49ec727ea7Spatrick Segment = std::string(seg);
50e5dd7070Spatrick }
51e5dd7070Spatrick }
52e5dd7070Spatrick
Multilib(StringRef GCCSuffix,StringRef OSSuffix,StringRef IncludeSuffix,int Priority)53e5dd7070Spatrick Multilib::Multilib(StringRef GCCSuffix, StringRef OSSuffix,
54e5dd7070Spatrick StringRef IncludeSuffix, int Priority)
55e5dd7070Spatrick : GCCSuffix(GCCSuffix), OSSuffix(OSSuffix), IncludeSuffix(IncludeSuffix),
56e5dd7070Spatrick Priority(Priority) {
57e5dd7070Spatrick normalizePathSegment(this->GCCSuffix);
58e5dd7070Spatrick normalizePathSegment(this->OSSuffix);
59e5dd7070Spatrick normalizePathSegment(this->IncludeSuffix);
60e5dd7070Spatrick }
61e5dd7070Spatrick
gccSuffix(StringRef S)62e5dd7070Spatrick Multilib &Multilib::gccSuffix(StringRef S) {
63ec727ea7Spatrick GCCSuffix = std::string(S);
64e5dd7070Spatrick normalizePathSegment(GCCSuffix);
65e5dd7070Spatrick return *this;
66e5dd7070Spatrick }
67e5dd7070Spatrick
osSuffix(StringRef S)68e5dd7070Spatrick Multilib &Multilib::osSuffix(StringRef S) {
69ec727ea7Spatrick OSSuffix = std::string(S);
70e5dd7070Spatrick normalizePathSegment(OSSuffix);
71e5dd7070Spatrick return *this;
72e5dd7070Spatrick }
73e5dd7070Spatrick
includeSuffix(StringRef S)74e5dd7070Spatrick Multilib &Multilib::includeSuffix(StringRef S) {
75ec727ea7Spatrick IncludeSuffix = std::string(S);
76e5dd7070Spatrick normalizePathSegment(IncludeSuffix);
77e5dd7070Spatrick return *this;
78e5dd7070Spatrick }
79e5dd7070Spatrick
dump() const80e5dd7070Spatrick LLVM_DUMP_METHOD void Multilib::dump() const {
81e5dd7070Spatrick print(llvm::errs());
82e5dd7070Spatrick }
83e5dd7070Spatrick
print(raw_ostream & OS) const84e5dd7070Spatrick void Multilib::print(raw_ostream &OS) const {
85e5dd7070Spatrick assert(GCCSuffix.empty() || (StringRef(GCCSuffix).front() == '/'));
86e5dd7070Spatrick if (GCCSuffix.empty())
87e5dd7070Spatrick OS << ".";
88e5dd7070Spatrick else {
89e5dd7070Spatrick OS << StringRef(GCCSuffix).drop_front();
90e5dd7070Spatrick }
91e5dd7070Spatrick OS << ";";
92e5dd7070Spatrick for (StringRef Flag : Flags) {
93e5dd7070Spatrick if (Flag.front() == '+')
94e5dd7070Spatrick OS << "@" << Flag.substr(1);
95e5dd7070Spatrick }
96e5dd7070Spatrick }
97e5dd7070Spatrick
isValid() const98e5dd7070Spatrick bool Multilib::isValid() const {
99e5dd7070Spatrick llvm::StringMap<int> FlagSet;
100e5dd7070Spatrick for (unsigned I = 0, N = Flags.size(); I != N; ++I) {
101e5dd7070Spatrick StringRef Flag(Flags[I]);
102e5dd7070Spatrick llvm::StringMap<int>::iterator SI = FlagSet.find(Flag.substr(1));
103e5dd7070Spatrick
104e5dd7070Spatrick assert(StringRef(Flag).front() == '+' || StringRef(Flag).front() == '-');
105e5dd7070Spatrick
106e5dd7070Spatrick if (SI == FlagSet.end())
107e5dd7070Spatrick FlagSet[Flag.substr(1)] = I;
108e5dd7070Spatrick else if (Flags[I] != Flags[SI->getValue()])
109e5dd7070Spatrick return false;
110e5dd7070Spatrick }
111e5dd7070Spatrick return true;
112e5dd7070Spatrick }
113e5dd7070Spatrick
operator ==(const Multilib & Other) const114e5dd7070Spatrick bool Multilib::operator==(const Multilib &Other) const {
115e5dd7070Spatrick // Check whether the flags sets match
116e5dd7070Spatrick // allowing for the match to be order invariant
117e5dd7070Spatrick llvm::StringSet<> MyFlags;
118e5dd7070Spatrick for (const auto &Flag : Flags)
119e5dd7070Spatrick MyFlags.insert(Flag);
120e5dd7070Spatrick
121e5dd7070Spatrick for (const auto &Flag : Other.Flags)
122e5dd7070Spatrick if (MyFlags.find(Flag) == MyFlags.end())
123e5dd7070Spatrick return false;
124e5dd7070Spatrick
125e5dd7070Spatrick if (osSuffix() != Other.osSuffix())
126e5dd7070Spatrick return false;
127e5dd7070Spatrick
128e5dd7070Spatrick if (gccSuffix() != Other.gccSuffix())
129e5dd7070Spatrick return false;
130e5dd7070Spatrick
131e5dd7070Spatrick if (includeSuffix() != Other.includeSuffix())
132e5dd7070Spatrick return false;
133e5dd7070Spatrick
134e5dd7070Spatrick return true;
135e5dd7070Spatrick }
136e5dd7070Spatrick
operator <<(raw_ostream & OS,const Multilib & M)137e5dd7070Spatrick raw_ostream &clang::driver::operator<<(raw_ostream &OS, const Multilib &M) {
138e5dd7070Spatrick M.print(OS);
139e5dd7070Spatrick return OS;
140e5dd7070Spatrick }
141e5dd7070Spatrick
Maybe(const Multilib & M)142e5dd7070Spatrick MultilibSet &MultilibSet::Maybe(const Multilib &M) {
143e5dd7070Spatrick Multilib Opposite;
144e5dd7070Spatrick // Negate any '+' flags
145e5dd7070Spatrick for (StringRef Flag : M.flags()) {
146e5dd7070Spatrick if (Flag.front() == '+')
147e5dd7070Spatrick Opposite.flags().push_back(("-" + Flag.substr(1)).str());
148e5dd7070Spatrick }
149e5dd7070Spatrick return Either(M, Opposite);
150e5dd7070Spatrick }
151e5dd7070Spatrick
Either(const Multilib & M1,const Multilib & M2)152e5dd7070Spatrick MultilibSet &MultilibSet::Either(const Multilib &M1, const Multilib &M2) {
153e5dd7070Spatrick return Either({M1, M2});
154e5dd7070Spatrick }
155e5dd7070Spatrick
Either(const Multilib & M1,const Multilib & M2,const Multilib & M3)156e5dd7070Spatrick MultilibSet &MultilibSet::Either(const Multilib &M1, const Multilib &M2,
157e5dd7070Spatrick const Multilib &M3) {
158e5dd7070Spatrick return Either({M1, M2, M3});
159e5dd7070Spatrick }
160e5dd7070Spatrick
Either(const Multilib & M1,const Multilib & M2,const Multilib & M3,const Multilib & M4)161e5dd7070Spatrick MultilibSet &MultilibSet::Either(const Multilib &M1, const Multilib &M2,
162e5dd7070Spatrick const Multilib &M3, const Multilib &M4) {
163e5dd7070Spatrick return Either({M1, M2, M3, M4});
164e5dd7070Spatrick }
165e5dd7070Spatrick
Either(const Multilib & M1,const Multilib & M2,const Multilib & M3,const Multilib & M4,const Multilib & M5)166e5dd7070Spatrick MultilibSet &MultilibSet::Either(const Multilib &M1, const Multilib &M2,
167e5dd7070Spatrick const Multilib &M3, const Multilib &M4,
168e5dd7070Spatrick const Multilib &M5) {
169e5dd7070Spatrick return Either({M1, M2, M3, M4, M5});
170e5dd7070Spatrick }
171e5dd7070Spatrick
compose(const Multilib & Base,const Multilib & New)172e5dd7070Spatrick static Multilib compose(const Multilib &Base, const Multilib &New) {
173e5dd7070Spatrick SmallString<128> GCCSuffix;
174e5dd7070Spatrick llvm::sys::path::append(GCCSuffix, "/", Base.gccSuffix(), New.gccSuffix());
175e5dd7070Spatrick SmallString<128> OSSuffix;
176e5dd7070Spatrick llvm::sys::path::append(OSSuffix, "/", Base.osSuffix(), New.osSuffix());
177e5dd7070Spatrick SmallString<128> IncludeSuffix;
178e5dd7070Spatrick llvm::sys::path::append(IncludeSuffix, "/", Base.includeSuffix(),
179e5dd7070Spatrick New.includeSuffix());
180e5dd7070Spatrick
181e5dd7070Spatrick Multilib Composed(GCCSuffix, OSSuffix, IncludeSuffix);
182e5dd7070Spatrick
183e5dd7070Spatrick Multilib::flags_list &Flags = Composed.flags();
184e5dd7070Spatrick
185e5dd7070Spatrick Flags.insert(Flags.end(), Base.flags().begin(), Base.flags().end());
186e5dd7070Spatrick Flags.insert(Flags.end(), New.flags().begin(), New.flags().end());
187e5dd7070Spatrick
188e5dd7070Spatrick return Composed;
189e5dd7070Spatrick }
190e5dd7070Spatrick
Either(ArrayRef<Multilib> MultilibSegments)191e5dd7070Spatrick MultilibSet &MultilibSet::Either(ArrayRef<Multilib> MultilibSegments) {
192e5dd7070Spatrick multilib_list Composed;
193e5dd7070Spatrick
194e5dd7070Spatrick if (Multilibs.empty())
195e5dd7070Spatrick Multilibs.insert(Multilibs.end(), MultilibSegments.begin(),
196e5dd7070Spatrick MultilibSegments.end());
197e5dd7070Spatrick else {
198e5dd7070Spatrick for (const auto &New : MultilibSegments) {
199e5dd7070Spatrick for (const auto &Base : *this) {
200e5dd7070Spatrick Multilib MO = compose(Base, New);
201e5dd7070Spatrick if (MO.isValid())
202e5dd7070Spatrick Composed.push_back(MO);
203e5dd7070Spatrick }
204e5dd7070Spatrick }
205e5dd7070Spatrick
206e5dd7070Spatrick Multilibs = Composed;
207e5dd7070Spatrick }
208e5dd7070Spatrick
209e5dd7070Spatrick return *this;
210e5dd7070Spatrick }
211e5dd7070Spatrick
FilterOut(FilterCallback F)212e5dd7070Spatrick MultilibSet &MultilibSet::FilterOut(FilterCallback F) {
213e5dd7070Spatrick filterInPlace(F, Multilibs);
214e5dd7070Spatrick return *this;
215e5dd7070Spatrick }
216e5dd7070Spatrick
FilterOut(const char * Regex)217e5dd7070Spatrick MultilibSet &MultilibSet::FilterOut(const char *Regex) {
218e5dd7070Spatrick llvm::Regex R(Regex);
219e5dd7070Spatrick #ifndef NDEBUG
220e5dd7070Spatrick std::string Error;
221e5dd7070Spatrick if (!R.isValid(Error)) {
222e5dd7070Spatrick llvm::errs() << Error;
223e5dd7070Spatrick llvm_unreachable("Invalid regex!");
224e5dd7070Spatrick }
225e5dd7070Spatrick #endif
226e5dd7070Spatrick
227e5dd7070Spatrick filterInPlace([&R](const Multilib &M) { return R.match(M.gccSuffix()); },
228e5dd7070Spatrick Multilibs);
229e5dd7070Spatrick return *this;
230e5dd7070Spatrick }
231e5dd7070Spatrick
push_back(const Multilib & M)232e5dd7070Spatrick void MultilibSet::push_back(const Multilib &M) { Multilibs.push_back(M); }
233e5dd7070Spatrick
combineWith(const MultilibSet & Other)234e5dd7070Spatrick void MultilibSet::combineWith(const MultilibSet &Other) {
235e5dd7070Spatrick Multilibs.insert(Multilibs.end(), Other.begin(), Other.end());
236e5dd7070Spatrick }
237e5dd7070Spatrick
isFlagEnabled(StringRef Flag)238e5dd7070Spatrick static bool isFlagEnabled(StringRef Flag) {
239e5dd7070Spatrick char Indicator = Flag.front();
240e5dd7070Spatrick assert(Indicator == '+' || Indicator == '-');
241e5dd7070Spatrick return Indicator == '+';
242e5dd7070Spatrick }
243e5dd7070Spatrick
select(const Multilib::flags_list & Flags,Multilib & M) const244e5dd7070Spatrick bool MultilibSet::select(const Multilib::flags_list &Flags, Multilib &M) const {
245e5dd7070Spatrick llvm::StringMap<bool> FlagSet;
246e5dd7070Spatrick
247e5dd7070Spatrick // Stuff all of the flags into the FlagSet such that a true mappend indicates
248e5dd7070Spatrick // the flag was enabled, and a false mappend indicates the flag was disabled.
249e5dd7070Spatrick for (StringRef Flag : Flags)
250e5dd7070Spatrick FlagSet[Flag.substr(1)] = isFlagEnabled(Flag);
251e5dd7070Spatrick
252e5dd7070Spatrick multilib_list Filtered = filterCopy([&FlagSet](const Multilib &M) {
253e5dd7070Spatrick for (StringRef Flag : M.flags()) {
254e5dd7070Spatrick llvm::StringMap<bool>::const_iterator SI = FlagSet.find(Flag.substr(1));
255e5dd7070Spatrick if (SI != FlagSet.end())
256e5dd7070Spatrick if (SI->getValue() != isFlagEnabled(Flag))
257e5dd7070Spatrick return true;
258e5dd7070Spatrick }
259e5dd7070Spatrick return false;
260e5dd7070Spatrick }, Multilibs);
261e5dd7070Spatrick
262e5dd7070Spatrick if (Filtered.empty())
263e5dd7070Spatrick return false;
264e5dd7070Spatrick if (Filtered.size() == 1) {
265e5dd7070Spatrick M = Filtered[0];
266e5dd7070Spatrick return true;
267e5dd7070Spatrick }
268e5dd7070Spatrick
269e5dd7070Spatrick // Sort multilibs by priority and select the one with the highest priority.
270*12c85518Srobert llvm::sort(Filtered, [](const Multilib &a, const Multilib &b) -> bool {
271e5dd7070Spatrick return a.priority() > b.priority();
272e5dd7070Spatrick });
273e5dd7070Spatrick
274e5dd7070Spatrick if (Filtered[0].priority() > Filtered[1].priority()) {
275e5dd7070Spatrick M = Filtered[0];
276e5dd7070Spatrick return true;
277e5dd7070Spatrick }
278e5dd7070Spatrick
279e5dd7070Spatrick // TODO: We should consider returning llvm::Error rather than aborting.
280e5dd7070Spatrick assert(false && "More than one multilib with the same priority");
281e5dd7070Spatrick return false;
282e5dd7070Spatrick }
283e5dd7070Spatrick
dump() const284e5dd7070Spatrick LLVM_DUMP_METHOD void MultilibSet::dump() const {
285e5dd7070Spatrick print(llvm::errs());
286e5dd7070Spatrick }
287e5dd7070Spatrick
print(raw_ostream & OS) const288e5dd7070Spatrick void MultilibSet::print(raw_ostream &OS) const {
289e5dd7070Spatrick for (const auto &M : *this)
290e5dd7070Spatrick OS << M << "\n";
291e5dd7070Spatrick }
292e5dd7070Spatrick
filterCopy(FilterCallback F,const multilib_list & Ms)293e5dd7070Spatrick MultilibSet::multilib_list MultilibSet::filterCopy(FilterCallback F,
294e5dd7070Spatrick const multilib_list &Ms) {
295e5dd7070Spatrick multilib_list Copy(Ms);
296e5dd7070Spatrick filterInPlace(F, Copy);
297e5dd7070Spatrick return Copy;
298e5dd7070Spatrick }
299e5dd7070Spatrick
filterInPlace(FilterCallback F,multilib_list & Ms)300e5dd7070Spatrick void MultilibSet::filterInPlace(FilterCallback F, multilib_list &Ms) {
301*12c85518Srobert llvm::erase_if(Ms, F);
302e5dd7070Spatrick }
303e5dd7070Spatrick
operator <<(raw_ostream & OS,const MultilibSet & MS)304e5dd7070Spatrick raw_ostream &clang::driver::operator<<(raw_ostream &OS, const MultilibSet &MS) {
305e5dd7070Spatrick MS.print(OS);
306e5dd7070Spatrick return OS;
307e5dd7070Spatrick }
308