1/*
2 * Copyright © 2009,2010  Red Hat, Inc.
3 * Copyright © 2010,2011,2013  Google, Inc.
4 *
5 *  This is part of HarfBuzz, a text shaping library.
6 *
7 * Permission is hereby granted, without written agreement and without
8 * license or royalty fees, to use, copy, modify, and distribute this
9 * software and its documentation for any purpose, provided that the
10 * above copyright notice and the following two paragraphs appear in
11 * all copies of this software.
12 *
13 * IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE TO ANY PARTY FOR
14 * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
15 * ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
16 * IF THE COPYRIGHT HOLDER HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
17 * DAMAGE.
18 *
19 * THE COPYRIGHT HOLDER SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
20 * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
21 * FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS
22 * ON AN "AS IS" BASIS, AND THE COPYRIGHT HOLDER HAS NO OBLIGATION TO
23 * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
24 *
25 * Red Hat Author(s): Behdad Esfahbod
26 * Google Author(s): Behdad Esfahbod
27 */
28
29#include "hb-ot-map-private.hh"
30
31#include "hb-ot-layout-private.hh"
32
33
34void hb_ot_map_t::collect_lookups (unsigned int table_index, hb_set_t *lookups_out) const
35{
36  for (unsigned int i = 0; i < lookups[table_index].len; i++)
37    hb_set_add (lookups_out, lookups[table_index][i].index);
38}
39
40
41hb_ot_map_builder_t::hb_ot_map_builder_t (hb_face_t *face_,
42					  const hb_segment_properties_t *props_)
43{
44  memset (this, 0, sizeof (*this));
45
46  face = face_;
47  props = *props_;
48
49
50  /* Fetch script/language indices for GSUB/GPOS.  We need these later to skip
51   * features not available in either table and not waste precious bits for them. */
52
53  hb_tag_t script_tags[3] = {HB_TAG_NONE, HB_TAG_NONE, HB_TAG_NONE};
54  hb_tag_t language_tag;
55
56  hb_ot_tags_from_script (props.script, &script_tags[0], &script_tags[1]);
57  language_tag = hb_ot_tag_from_language (props.language);
58
59  for (unsigned int table_index = 0; table_index < 2; table_index++) {
60    hb_tag_t table_tag = table_tags[table_index];
61    found_script[table_index] = (bool) hb_ot_layout_table_choose_script (face, table_tag, script_tags, &script_index[table_index], &chosen_script[table_index]);
62    hb_ot_layout_script_find_language (face, table_tag, script_index[table_index], language_tag, &language_index[table_index]);
63  }
64}
65
66void hb_ot_map_builder_t::add_feature (hb_tag_t tag, unsigned int value,
67				       hb_ot_map_feature_flags_t flags)
68{
69  feature_info_t *info = feature_infos.push();
70  if (unlikely (!info)) return;
71  if (unlikely (!tag)) return;
72  info->tag = tag;
73  info->seq = feature_infos.len;
74  info->max_value = value;
75  info->flags = flags;
76  info->default_value = (flags & F_GLOBAL) ? value : 0;
77  info->stage[0] = current_stage[0];
78  info->stage[1] = current_stage[1];
79}
80
81void
82hb_ot_map_builder_t::add_lookups (hb_ot_map_t  &m,
83				  hb_face_t    *face,
84				  unsigned int  table_index,
85				  unsigned int  feature_index,
86				  unsigned int  variations_index,
87				  hb_mask_t     mask,
88				  bool          auto_zwj)
89{
90  unsigned int lookup_indices[32];
91  unsigned int offset, len;
92  unsigned int table_lookup_count;
93
94  table_lookup_count = hb_ot_layout_table_get_lookup_count (face, table_tags[table_index]);
95
96  offset = 0;
97  do {
98    len = ARRAY_LENGTH (lookup_indices);
99    hb_ot_layout_feature_with_variations_get_lookups (face,
100						      table_tags[table_index],
101						      feature_index,
102						      variations_index,
103						      offset, &len,
104						      lookup_indices);
105
106    for (unsigned int i = 0; i < len; i++)
107    {
108      if (lookup_indices[i] >= table_lookup_count)
109	continue;
110      hb_ot_map_t::lookup_map_t *lookup = m.lookups[table_index].push ();
111      if (unlikely (!lookup))
112        return;
113      lookup->mask = mask;
114      lookup->index = lookup_indices[i];
115      lookup->auto_zwj = auto_zwj;
116    }
117
118    offset += len;
119  } while (len == ARRAY_LENGTH (lookup_indices));
120}
121
122
123void hb_ot_map_builder_t::add_pause (unsigned int table_index, hb_ot_map_t::pause_func_t pause_func)
124{
125  stage_info_t *s = stages[table_index].push ();
126  if (likely (s)) {
127    s->index = current_stage[table_index];
128    s->pause_func = pause_func;
129  }
130
131  current_stage[table_index]++;
132}
133
134void
135hb_ot_map_builder_t::compile (hb_ot_map_t  &m,
136			      const int    *coords,
137			      unsigned int  num_coords)
138{
139  m.global_mask = 1;
140
141  unsigned int required_feature_index[2];
142  hb_tag_t required_feature_tag[2];
143  /* We default to applying required feature in stage 0.  If the required
144   * feature has a tag that is known to the shaper, we apply required feature
145   * in the stage for that tag.
146   */
147  unsigned int required_feature_stage[2] = {0, 0};
148
149  for (unsigned int table_index = 0; table_index < 2; table_index++)
150  {
151    m.chosen_script[table_index] = chosen_script[table_index];
152    m.found_script[table_index] = found_script[table_index];
153
154    hb_ot_layout_language_get_required_feature (face,
155						table_tags[table_index],
156						script_index[table_index],
157						language_index[table_index],
158						&required_feature_index[table_index],
159						&required_feature_tag[table_index]);
160  }
161
162  if (!feature_infos.len)
163    return;
164
165  /* Sort features and merge duplicates */
166  {
167    feature_infos.qsort ();
168    unsigned int j = 0;
169    for (unsigned int i = 1; i < feature_infos.len; i++)
170      if (feature_infos[i].tag != feature_infos[j].tag)
171	feature_infos[++j] = feature_infos[i];
172      else {
173	if (feature_infos[i].flags & F_GLOBAL) {
174	  feature_infos[j].flags |= F_GLOBAL;
175	  feature_infos[j].max_value = feature_infos[i].max_value;
176	  feature_infos[j].default_value = feature_infos[i].default_value;
177	} else {
178	  feature_infos[j].flags &= ~F_GLOBAL;
179	  feature_infos[j].max_value = MAX (feature_infos[j].max_value, feature_infos[i].max_value);
180	  /* Inherit default_value from j */
181	}
182	feature_infos[j].flags |= (feature_infos[i].flags & F_HAS_FALLBACK);
183	feature_infos[j].stage[0] = MIN (feature_infos[j].stage[0], feature_infos[i].stage[0]);
184	feature_infos[j].stage[1] = MIN (feature_infos[j].stage[1], feature_infos[i].stage[1]);
185      }
186    feature_infos.shrink (j + 1);
187  }
188
189
190  /* Allocate bits now */
191  unsigned int next_bit = 1;
192  for (unsigned int i = 0; i < feature_infos.len; i++)
193  {
194    const feature_info_t *info = &feature_infos[i];
195
196    unsigned int bits_needed;
197
198    if ((info->flags & F_GLOBAL) && info->max_value == 1)
199      /* Uses the global bit */
200      bits_needed = 0;
201    else
202      /* Limit to 8 bits per feature. */
203      bits_needed = MIN(8u, _hb_bit_storage (info->max_value));
204
205    if (!info->max_value || next_bit + bits_needed > 8 * sizeof (hb_mask_t))
206      continue; /* Feature disabled, or not enough bits. */
207
208
209    hb_bool_t found = false;
210    unsigned int feature_index[2];
211    for (unsigned int table_index = 0; table_index < 2; table_index++)
212    {
213      if (required_feature_tag[table_index] == info->tag)
214	required_feature_stage[table_index] = info->stage[table_index];
215
216      found |= hb_ot_layout_language_find_feature (face,
217						   table_tags[table_index],
218						   script_index[table_index],
219						   language_index[table_index],
220						   info->tag,
221						   &feature_index[table_index]);
222    }
223    if (!found && (info->flags & F_GLOBAL_SEARCH))
224    {
225      for (unsigned int table_index = 0; table_index < 2; table_index++)
226      {
227	found |= hb_ot_layout_table_find_feature (face,
228						  table_tags[table_index],
229						  info->tag,
230						  &feature_index[table_index]);
231      }
232    }
233    if (!found && !(info->flags & F_HAS_FALLBACK))
234      continue;
235
236
237    hb_ot_map_t::feature_map_t *map = m.features.push ();
238    if (unlikely (!map))
239      break;
240
241    map->tag = info->tag;
242    map->index[0] = feature_index[0];
243    map->index[1] = feature_index[1];
244    map->stage[0] = info->stage[0];
245    map->stage[1] = info->stage[1];
246    map->auto_zwj = !(info->flags & F_MANUAL_ZWJ);
247    if ((info->flags & F_GLOBAL) && info->max_value == 1) {
248      /* Uses the global bit */
249      map->shift = 0;
250      map->mask = 1;
251    } else {
252      map->shift = next_bit;
253      map->mask = (1u << (next_bit + bits_needed)) - (1u << next_bit);
254      next_bit += bits_needed;
255      m.global_mask |= (info->default_value << map->shift) & map->mask;
256    }
257    map->_1_mask = (1u << map->shift) & map->mask;
258    map->needs_fallback = !found;
259
260  }
261  feature_infos.shrink (0); /* Done with these */
262
263
264  add_gsub_pause (NULL);
265  add_gpos_pause (NULL);
266
267  for (unsigned int table_index = 0; table_index < 2; table_index++)
268  {
269    /* Collect lookup indices for features */
270
271    unsigned int variations_index;
272    hb_ot_layout_table_find_feature_variations (face,
273						table_tags[table_index],
274						coords,
275						num_coords,
276						&variations_index);
277
278    unsigned int stage_index = 0;
279    unsigned int last_num_lookups = 0;
280    for (unsigned stage = 0; stage < current_stage[table_index]; stage++)
281    {
282      if (required_feature_index[table_index] != HB_OT_LAYOUT_NO_FEATURE_INDEX &&
283	  required_feature_stage[table_index] == stage)
284	add_lookups (m, face, table_index,
285		     required_feature_index[table_index],
286		     variations_index,
287		     1 /* mask */,
288		     true /* auto_zwj */);
289
290      for (unsigned i = 0; i < m.features.len; i++)
291        if (m.features[i].stage[table_index] == stage)
292	  add_lookups (m, face, table_index,
293		       m.features[i].index[table_index],
294		       variations_index,
295		       m.features[i].mask,
296		       m.features[i].auto_zwj);
297
298      /* Sort lookups and merge duplicates */
299      if (last_num_lookups < m.lookups[table_index].len)
300      {
301	m.lookups[table_index].qsort (last_num_lookups, m.lookups[table_index].len);
302
303	unsigned int j = last_num_lookups;
304	for (unsigned int i = j + 1; i < m.lookups[table_index].len; i++)
305	  if (m.lookups[table_index][i].index != m.lookups[table_index][j].index)
306	    m.lookups[table_index][++j] = m.lookups[table_index][i];
307	  else
308	  {
309	    m.lookups[table_index][j].mask |= m.lookups[table_index][i].mask;
310	    m.lookups[table_index][j].auto_zwj &= m.lookups[table_index][i].auto_zwj;
311	  }
312	m.lookups[table_index].shrink (j + 1);
313      }
314
315      last_num_lookups = m.lookups[table_index].len;
316
317      if (stage_index < stages[table_index].len && stages[table_index][stage_index].index == stage) {
318	hb_ot_map_t::stage_map_t *stage_map = m.stages[table_index].push ();
319	if (likely (stage_map)) {
320	  stage_map->last_lookup = last_num_lookups;
321	  stage_map->pause_func = stages[table_index][stage_index].pause_func;
322	}
323
324	stage_index++;
325      }
326    }
327  }
328}
329