aboutsummaryrefslogtreecommitdiff
path: root/libbuild2/cc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-04-12 13:49:33 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-04-13 10:55:55 +0200
commitf1331c281f0842bd0a113cc966fa2b0b57353904 (patch)
treec3912d6b1392f23010e6a8fd072073b81647f959 /libbuild2/cc
parentdc8f0267c332e405a698545c98478756165c908e (diff)
Add automatic interface dependency deduplication in cc::process_libraries()
Diffstat (limited to 'libbuild2/cc')
-rw-r--r--libbuild2/cc/common.cxx96
-rw-r--r--libbuild2/cc/common.hxx3
-rw-r--r--libbuild2/cc/functions.cxx11
3 files changed, 92 insertions, 18 deletions
diff --git a/libbuild2/cc/common.cxx b/libbuild2/cc/common.cxx
index 787ba69..d1cee6f 100644
--- a/libbuild2/cc/common.cxx
+++ b/libbuild2/cc/common.cxx
@@ -77,6 +77,10 @@ namespace build2
// Note that if top_li is present, then the target passed to proc_impl,
// proc_lib, and proc_opt is always a file.
//
+ // The dedup argument is part of the interface dependency deduplication
+ // functionality, similar to $x.deduplicate_export_libs(). Note, however,
+ // that here we do it "properly" (i.e., using group members, etc).
+ //
void common::
process_libraries (
action a,
@@ -100,7 +104,8 @@ namespace build2
bool exp)>& proc_opt, // *.export.
bool self /*= false*/, // Call proc_lib on l?
library_cache* cache,
- small_vector<const target*, 24>* chain) const
+ small_vector<const target*, 24>* chain,
+ vector<const target*>* dedup) const
{
library_cache cache_storage;
if (cache == nullptr)
@@ -431,11 +436,14 @@ namespace build2
return make_pair (n, s);
};
- auto proc_int = [&l, cache, chain,
- &proc_impl, &proc_lib, &proc_lib_name, &proc_opt,
- &sysd, &usrd,
- &find_sysd, &find_linfo, &sense_fragment,
- &bs, a, &li, impl, this] (const lookup& lu)
+ auto proc_intf = [&l, cache, chain,
+ &proc_impl, &proc_lib, &proc_lib_name, &proc_opt,
+ &sysd, &usrd,
+ &find_sysd, &find_linfo, &sense_fragment,
+ &bs, a, &li, impl, this] (
+ const lookup& lu,
+ vector<const target*>* dedup,
+ size_t dedup_start)
{
const vector<name>* ns (cast_null<vector<name>> (lu));
if (ns == nullptr || ns->empty ())
@@ -484,6 +492,25 @@ namespace build2
*sysd, usrd,
cache));
+ // Deduplicate.
+ //
+ // Note that dedup_start makes sure we only consider our
+ // interface dependencies while maintaining the "through"
+ // list.
+ //
+ if (dedup != nullptr)
+ {
+ if (find (dedup->begin () + dedup_start,
+ dedup->end (),
+ &t) != dedup->end ())
+ {
+ ++i;
+ continue;
+ }
+
+ dedup->push_back (&t);
+ }
+
if (proc_lib)
{
// This can happen if the target is mentioned in
@@ -526,7 +553,7 @@ namespace build2
process_libraries (a, bs, *li, *sysd,
t, t.is_a<liba> () || t.is_a<libux> (), 0,
proc_impl, proc_lib, proc_opt, true,
- cache, chain);
+ cache, chain, dedup);
}
++i;
@@ -535,8 +562,8 @@ namespace build2
// Process libraries from *.libs (of type strings).
//
- auto proc_imp = [&proc_lib, &proc_lib_name,
- &sense_fragment] (const lookup& lu)
+ auto proc_impl = [&proc_lib, &proc_lib_name,
+ &sense_fragment] (const lookup& lu)
{
const strings* ns (cast_null<strings> (lu));
if (ns == nullptr || ns->empty ())
@@ -568,7 +595,27 @@ namespace build2
//
if (cc)
{
- if (c_e_libs) proc_int (c_e_libs);
+ if (impl)
+ {
+ if (c_e_libs) proc_intf (c_e_libs, nullptr, 0);
+ }
+ else
+ {
+ if (c_e_libs)
+ {
+ size_t start;
+ vector<const target*> storage;
+ if (dedup == nullptr)
+ {
+ start = 0;
+ dedup = &storage;
+ }
+ else
+ start = dedup->size (); // Start of our interface deps.
+
+ proc_intf (c_e_libs, dedup, start);
+ }
+ }
}
else
{
@@ -579,8 +626,12 @@ namespace build2
//
if (c_e_libs.defined () || x_e_libs.defined ())
{
- if (c_e_libs) proc_int (c_e_libs);
- if (x_e_libs) proc_int (x_e_libs);
+ // Why are we calling proc_intf() on *.impl_libs? Perhaps
+ // because proc_impl() expects strings, not names? Yes, and
+ // proc_intf() checks impl.
+ //
+ if (c_e_libs) proc_intf (c_e_libs, nullptr, 0);
+ if (x_e_libs) proc_intf (x_e_libs, nullptr, 0);
}
else
{
@@ -595,8 +646,8 @@ namespace build2
if (proc_lib)
{
const variable& v (same ? x_libs : vp[*t + ".libs"]);
- proc_imp (l.lookup_original (c_libs, false, &bs).first);
- proc_imp (l.lookup_original (v, false, &bs).first);
+ proc_impl (l.lookup_original (c_libs, false, &bs).first);
+ proc_impl (l.lookup_original (v, false, &bs).first);
}
}
}
@@ -604,8 +655,21 @@ namespace build2
{
// Interface: only add *.export.* (interface dependencies).
//
- if (c_e_libs) proc_int (c_e_libs);
- if (x_e_libs) proc_int (x_e_libs);
+ if (c_e_libs.defined () || x_e_libs.defined ())
+ {
+ size_t start;
+ vector<const target*> storage;
+ if (dedup == nullptr)
+ {
+ start = 0;
+ dedup = &storage;
+ }
+ else
+ start = dedup->size (); // Start of our interface deps.
+
+ if (c_e_libs) proc_intf (c_e_libs, dedup, start);
+ if (x_e_libs) proc_intf (x_e_libs, dedup, start);
+ }
}
}
}
diff --git a/libbuild2/cc/common.hxx b/libbuild2/cc/common.hxx
index 017573d..2d2145a 100644
--- a/libbuild2/cc/common.hxx
+++ b/libbuild2/cc/common.hxx
@@ -320,7 +320,8 @@ namespace build2
const function<bool (const target&, const string&, bool, bool)>&,
bool = false,
library_cache* = nullptr,
- small_vector<const target*, 24>* = nullptr) const;
+ small_vector<const target*, 24>* = nullptr,
+ vector<const target*>* = nullptr) const;
const target*
search_library (action a,
diff --git a/libbuild2/cc/functions.cxx b/libbuild2/cc/functions.cxx
index 8a48e66..6b64677 100644
--- a/libbuild2/cc/functions.cxx
+++ b/libbuild2/cc/functions.cxx
@@ -436,7 +436,16 @@ namespace build2
// look for cc.export.libs and <module>.export.libs.
//
// 3. No member/group selection/linkup: we resolve *.export.libs on
- // whatever is listed.
+ // whatever is listed (so no liba{}/libs{} overrides will be
+ // considered).
+ //
+ // Because of (2) and (3), this functionality should only be used on a
+ // controlled list of libraries (usually libraries that belong to the
+ // same family as this library).
+ //
+ // Note that a similar deduplication is also performed when processing
+ // the libraries. However, it may still make sense to do it once at the
+ // source for really severe cases (like Boost).
//
// Note that this function is not pure.
//