[repacker] do extension subtable isolation before starting resolution attempts.

This commit is contained in:
Garret Rieger 2021-09-08 10:14:00 -07:00
parent 8d8b7458a4
commit 41bbf2812e
3 changed files with 35 additions and 10 deletions

View File

@ -331,16 +331,20 @@ struct graph_t
/* /*
* Finds any links using 32 bits and isolates the subgraphs they point too. * Finds any links using 32 bits and isolates the subgraphs they point too.
*/ */
void isolate_32bit_links () bool isolate_32bit_links ()
{ {
for (const vertex_t& v : vertices_) bool made_changes = false;
hb_set_t target_links;
unsigned root_index = root_idx ();
for (unsigned i = 0; i < root_index; i++)
{ {
for (auto& l : v.obj.links) for (auto& l : vertices_[i].obj.links)
{ {
if (l.width == 4 && !l.is_signed) if (l.width == 4 && !l.is_signed)
isolate_subgraph (l.objidx); made_changes = made_changes || isolate_subgraph (l.objidx);
} }
} }
return made_changes;
} }
/* /*
@ -348,23 +352,31 @@ struct graph_t
* that originate from outside of the subgraph will be removed by duplicating the linked to * that originate from outside of the subgraph will be removed by duplicating the linked to
* object. * object.
*/ */
void isolate_subgraph (unsigned root_idx) bool isolate_subgraph (unsigned root_idx)
{ {
hb_hashmap_t<unsigned, unsigned> subgraph; hb_hashmap_t<unsigned, unsigned> subgraph;
hb_hashmap_t<unsigned, unsigned> index_map; hb_hashmap_t<unsigned, unsigned> index_map;
find_subgraph(root_idx, subgraph); find_subgraph(root_idx, subgraph);
bool made_changes = false;
for (auto entry : subgraph.iter ()) for (auto entry : subgraph.iter ())
{ {
const auto& node = vertices_[entry.first]; const auto& node = vertices_[entry.first];
unsigned subgraph_incoming_edges = entry.second; unsigned subgraph_incoming_edges = entry.second;
if (node.incoming_edges <= subgraph_incoming_edges) if (entry.first != root_idx && subgraph_incoming_edges < node.incoming_edges)
{
// Only de-dup objects with incoming links from outside the subgraph. // Only de-dup objects with incoming links from outside the subgraph.
made_changes = true;
index_map.set (entry.first, duplicate (entry.first)); index_map.set (entry.first, duplicate (entry.first));
} }
}
if (!made_changes)
return false;
remap_obj_indices (index_map, subgraph.keys ()); remap_obj_indices (index_map, subgraph.keys ());
return true;
} }
void find_subgraph (unsigned node_idx, hb_hashmap_t<unsigned, unsigned>& subgraph) void find_subgraph (unsigned node_idx, hb_hashmap_t<unsigned, unsigned>& subgraph)
@ -818,6 +830,7 @@ static bool _process_overflows (const hb_vector_t<graph_t::overflow_record_t>& o
*/ */
inline void inline void
hb_resolve_overflows (const hb_vector_t<hb_serialize_context_t::object_t *>& packed, hb_resolve_overflows (const hb_vector_t<hb_serialize_context_t::object_t *>& packed,
hb_tag_t table_tag,
hb_serialize_context_t* c) { hb_serialize_context_t* c) {
// Kahn sort is ~twice as fast as shortest distance sort and works for many fonts // Kahn sort is ~twice as fast as shortest distance sort and works for many fonts
// so try it first to save time. // so try it first to save time.
@ -831,13 +844,25 @@ hb_resolve_overflows (const hb_vector_t<hb_serialize_context_t::object_t *>& pac
sorted_graph.sort_shortest_distance (); sorted_graph.sort_shortest_distance ();
if ((table_tag == HB_OT_TAG_GPOS
|| table_tag == HB_OT_TAG_GSUB)
&& sorted_graph.will_overflow ())
{
if (sorted_graph.isolate_32bit_links ())
{
DEBUG_MSG (SUBSET_REPACK, nullptr, "Isolated extension sub tables.");
sorted_graph.sort_shortest_distance ();
}
}
unsigned round = 0; unsigned round = 0;
hb_vector_t<graph_t::overflow_record_t> overflows; hb_vector_t<graph_t::overflow_record_t> overflows;
// TODO(garretrieger): select a good limit for max rounds. // TODO(garretrieger): select a good limit for max rounds.
while (!sorted_graph.in_error () while (!sorted_graph.in_error ()
&& sorted_graph.will_overflow (&overflows) && sorted_graph.will_overflow (&overflows)
&& round++ < 10) { && round++ < 10) {
DEBUG_MSG (SUBSET_REPACK, nullptr, "=== Over flow resolution round %d ===", round); DEBUG_MSG (SUBSET_REPACK, nullptr, "=== Overflow resolution round %d ===", round);
sorted_graph.print_overflows (overflows); sorted_graph.print_overflows (overflows);
hb_set_t priority_bumped_parents; hb_set_t priority_bumped_parents;

View File

@ -110,7 +110,7 @@ _repack (hb_tag_t tag, const hb_serialize_context_t& c)
return nullptr; return nullptr;
hb_serialize_context_t repacked ((void *) buf, buf_size); hb_serialize_context_t repacked ((void *) buf, buf_size);
hb_resolve_overflows (c.object_graph (), &repacked); hb_resolve_overflows (c.object_graph (), tag, &repacked);
if (unlikely (repacked.in_error ())) if (unlikely (repacked.in_error ()))
// TODO(garretrieger): refactor so we can share the resize/retry logic with the subset // TODO(garretrieger): refactor so we can share the resize/retry logic with the subset

View File

@ -433,7 +433,7 @@ static void test_resolve_overflows_via_sort ()
void* out_buffer = malloc (buffer_size); void* out_buffer = malloc (buffer_size);
hb_serialize_context_t out (out_buffer, buffer_size); hb_serialize_context_t out (out_buffer, buffer_size);
hb_resolve_overflows (c.object_graph (), &out); hb_resolve_overflows (c.object_graph (), 0, &out);
assert (!out.offset_overflow ()); assert (!out.offset_overflow ());
hb_bytes_t result = out.copy_bytes (); hb_bytes_t result = out.copy_bytes ();
assert (result.length == (80000 + 3 + 3 * 2)); assert (result.length == (80000 + 3 + 3 * 2));
@ -454,7 +454,7 @@ static void test_resolve_overflows_via_duplication ()
void* out_buffer = malloc (buffer_size); void* out_buffer = malloc (buffer_size);
hb_serialize_context_t out (out_buffer, buffer_size); hb_serialize_context_t out (out_buffer, buffer_size);
hb_resolve_overflows (c.object_graph (), &out); hb_resolve_overflows (c.object_graph (), 0, &out);
assert (!out.offset_overflow ()); assert (!out.offset_overflow ());
hb_bytes_t result = out.copy_bytes (); hb_bytes_t result = out.copy_bytes ();
assert (result.length == (10000 + 2 * 2 + 60000 + 2 + 3 * 2)); assert (result.length == (10000 + 2 * 2 + 60000 + 2 + 3 * 2));