/src/cairo/src/cairo-bentley-ottmann-rectangular.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright © 2004 Carl Worth |
3 | | * Copyright © 2006 Red Hat, Inc. |
4 | | * Copyright © 2009 Chris Wilson |
5 | | * |
6 | | * This library is free software; you can redistribute it and/or |
7 | | * modify it either under the terms of the GNU Lesser General Public |
8 | | * License version 2.1 as published by the Free Software Foundation |
9 | | * (the "LGPL") or, at your option, under the terms of the Mozilla |
10 | | * Public License Version 1.1 (the "MPL"). If you do not alter this |
11 | | * notice, a recipient may use your version of this file under either |
12 | | * the MPL or the LGPL. |
13 | | * |
14 | | * You should have received a copy of the LGPL along with this library |
15 | | * in the file COPYING-LGPL-2.1; if not, write to the Free Software |
16 | | * Foundation, Inc., 51 Franklin Street, Suite 500, Boston, MA 02110-1335, USA |
17 | | * You should have received a copy of the MPL along with this library |
18 | | * in the file COPYING-MPL-1.1 |
19 | | * |
20 | | * The contents of this file are subject to the Mozilla Public License |
21 | | * Version 1.1 (the "License"); you may not use this file except in |
22 | | * compliance with the License. You may obtain a copy of the License at |
23 | | * http://www.mozilla.org/MPL/ |
24 | | * |
25 | | * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY |
26 | | * OF ANY KIND, either express or implied. See the LGPL or the MPL for |
27 | | * the specific language governing rights and limitations. |
28 | | * |
29 | | * The Original Code is the cairo graphics library. |
30 | | * |
31 | | * The Initial Developer of the Original Code is Carl Worth |
32 | | * |
33 | | * Contributor(s): |
34 | | * Carl D. Worth <cworth@cworth.org> |
35 | | * Chris Wilson <chris@chris-wilson.co.uk> |
36 | | */ |
37 | | |
38 | | /* Provide definitions for standalone compilation */ |
39 | | #include "cairoint.h" |
40 | | |
41 | | #include "cairo-boxes-private.h" |
42 | | #include "cairo-error-private.h" |
43 | | #include "cairo-combsort-inline.h" |
44 | | #include "cairo-list-private.h" |
45 | | #include "cairo-traps-private.h" |
46 | | |
47 | | #include <setjmp.h> |
48 | | |
49 | | typedef struct _rectangle rectangle_t; |
50 | | typedef struct _edge edge_t; |
51 | | |
52 | | struct _edge { |
53 | | edge_t *next, *prev; |
54 | | edge_t *right; |
55 | | cairo_fixed_t x, top; |
56 | | int dir; |
57 | | }; |
58 | | |
59 | | struct _rectangle { |
60 | | edge_t left, right; |
61 | | int32_t top, bottom; |
62 | | }; |
63 | | |
64 | | #define UNROLL3(x) x x x |
65 | | |
66 | | /* the parent is always given by index/2 */ |
67 | 67 | #define PQ_PARENT_INDEX(i) ((i) >> 1) |
68 | 871 | #define PQ_FIRST_ENTRY 1 |
69 | | |
70 | | /* left and right children are index * 2 and (index * 2) +1 respectively */ |
71 | 67 | #define PQ_LEFT_CHILD_INDEX(i) ((i) << 1) |
72 | | |
73 | | typedef struct _sweep_line { |
74 | | rectangle_t **rectangles; |
75 | | rectangle_t **stop; |
76 | | edge_t head, tail, *insert, *cursor; |
77 | | int32_t current_y; |
78 | | int32_t last_y; |
79 | | int stop_size; |
80 | | |
81 | | int32_t insert_x; |
82 | | cairo_fill_rule_t fill_rule; |
83 | | |
84 | | cairo_bool_t do_traps; |
85 | | void *container; |
86 | | |
87 | | jmp_buf unwind; |
88 | | } sweep_line_t; |
89 | | |
90 | | #define DEBUG_TRAPS 0 |
91 | | |
92 | | #if DEBUG_TRAPS |
93 | | static void |
94 | | dump_traps (cairo_traps_t *traps, const char *filename) |
95 | | { |
96 | | FILE *file; |
97 | | int n; |
98 | | |
99 | | if (getenv ("CAIRO_DEBUG_TRAPS") == NULL) |
100 | | return; |
101 | | |
102 | | file = fopen (filename, "a"); |
103 | | if (file != NULL) { |
104 | | for (n = 0; n < traps->num_traps; n++) { |
105 | | fprintf (file, "%d %d L:(%d, %d), (%d, %d) R:(%d, %d), (%d, %d)\n", |
106 | | traps->traps[n].top, |
107 | | traps->traps[n].bottom, |
108 | | traps->traps[n].left.p1.x, |
109 | | traps->traps[n].left.p1.y, |
110 | | traps->traps[n].left.p2.x, |
111 | | traps->traps[n].left.p2.y, |
112 | | traps->traps[n].right.p1.x, |
113 | | traps->traps[n].right.p1.y, |
114 | | traps->traps[n].right.p2.x, |
115 | | traps->traps[n].right.p2.y); |
116 | | } |
117 | | fprintf (file, "\n"); |
118 | | fclose (file); |
119 | | } |
120 | | } |
121 | | #else |
122 | | #define dump_traps(traps, filename) |
123 | | #endif |
124 | | |
125 | | static inline int |
126 | | rectangle_compare_start (const rectangle_t *a, |
127 | | const rectangle_t *b) |
128 | 67 | { |
129 | 67 | return a->top - b->top; |
130 | 67 | } |
131 | | |
132 | | static inline int |
133 | | rectangle_compare_stop (const rectangle_t *a, |
134 | | const rectangle_t *b) |
135 | 67 | { |
136 | 67 | return a->bottom - b->bottom; |
137 | 67 | } |
138 | | |
139 | | static inline void |
140 | | pqueue_push (sweep_line_t *sweep, rectangle_t *rectangle) |
141 | 134 | { |
142 | 134 | rectangle_t **elements; |
143 | 134 | int i, parent; |
144 | | |
145 | 134 | elements = sweep->stop; |
146 | 134 | for (i = ++sweep->stop_size; |
147 | 201 | i != PQ_FIRST_ENTRY && |
148 | 201 | rectangle_compare_stop (rectangle, |
149 | 67 | elements[parent = PQ_PARENT_INDEX (i)]) < 0; |
150 | 134 | i = parent) |
151 | 67 | { |
152 | 67 | elements[i] = elements[parent]; |
153 | 67 | } |
154 | | |
155 | 134 | elements[i] = rectangle; |
156 | 134 | } |
157 | | |
158 | | static inline void |
159 | | rectangle_pop_stop (sweep_line_t *sweep) |
160 | 134 | { |
161 | 134 | rectangle_t **elements = sweep->stop; |
162 | 134 | rectangle_t *tail; |
163 | 134 | int child, i; |
164 | | |
165 | 134 | tail = elements[sweep->stop_size--]; |
166 | 134 | if (sweep->stop_size == 0) { |
167 | 67 | elements[PQ_FIRST_ENTRY] = NULL; |
168 | 67 | return; |
169 | 67 | } |
170 | | |
171 | 67 | for (i = PQ_FIRST_ENTRY; |
172 | 67 | (child = PQ_LEFT_CHILD_INDEX (i)) <= sweep->stop_size; |
173 | 67 | i = child) |
174 | 0 | { |
175 | 0 | if (child != sweep->stop_size && |
176 | 0 | rectangle_compare_stop (elements[child+1], |
177 | 0 | elements[child]) < 0) |
178 | 0 | { |
179 | 0 | child++; |
180 | 0 | } |
181 | |
|
182 | 0 | if (rectangle_compare_stop (elements[child], tail) >= 0) |
183 | 0 | break; |
184 | | |
185 | 0 | elements[i] = elements[child]; |
186 | 0 | } |
187 | 67 | elements[i] = tail; |
188 | 67 | } |
189 | | |
190 | | static inline rectangle_t * |
191 | | rectangle_pop_start (sweep_line_t *sweep_line) |
192 | 201 | { |
193 | 201 | return *sweep_line->rectangles++; |
194 | 201 | } |
195 | | |
196 | | static inline rectangle_t * |
197 | | rectangle_peek_stop (sweep_line_t *sweep_line) |
198 | 335 | { |
199 | 335 | return sweep_line->stop[PQ_FIRST_ENTRY]; |
200 | 335 | } |
201 | | |
202 | | CAIRO_COMBSORT_DECLARE (_rectangle_sort, |
203 | | rectangle_t *, |
204 | | rectangle_compare_start) |
205 | | |
206 | | static void |
207 | | sweep_line_init (sweep_line_t *sweep_line, |
208 | | rectangle_t **rectangles, |
209 | | int num_rectangles, |
210 | | cairo_fill_rule_t fill_rule, |
211 | | cairo_bool_t do_traps, |
212 | | void *container) |
213 | 67 | { |
214 | 67 | rectangles[-2] = NULL; |
215 | 67 | rectangles[-1] = NULL; |
216 | 67 | rectangles[num_rectangles] = NULL; |
217 | 67 | sweep_line->rectangles = rectangles; |
218 | 67 | sweep_line->stop = rectangles - 2; |
219 | 67 | sweep_line->stop_size = 0; |
220 | | |
221 | 67 | sweep_line->insert = NULL; |
222 | 67 | sweep_line->insert_x = INT_MAX; |
223 | 67 | sweep_line->cursor = &sweep_line->tail; |
224 | | |
225 | 67 | sweep_line->head.dir = 0; |
226 | 67 | sweep_line->head.x = INT32_MIN; |
227 | 67 | sweep_line->head.right = NULL; |
228 | 67 | sweep_line->head.prev = NULL; |
229 | 67 | sweep_line->head.next = &sweep_line->tail; |
230 | 67 | sweep_line->tail.prev = &sweep_line->head; |
231 | 67 | sweep_line->tail.next = NULL; |
232 | 67 | sweep_line->tail.right = NULL; |
233 | 67 | sweep_line->tail.x = INT32_MAX; |
234 | 67 | sweep_line->tail.dir = 0; |
235 | | |
236 | 67 | sweep_line->current_y = INT32_MIN; |
237 | 67 | sweep_line->last_y = INT32_MIN; |
238 | | |
239 | 67 | sweep_line->fill_rule = fill_rule; |
240 | 67 | sweep_line->container = container; |
241 | 67 | sweep_line->do_traps = do_traps; |
242 | 67 | } |
243 | | |
244 | | static void |
245 | | edge_end_box (sweep_line_t *sweep_line, edge_t *left, int32_t bot) |
246 | 268 | { |
247 | 268 | cairo_status_t status = CAIRO_STATUS_SUCCESS; |
248 | | |
249 | | /* Only emit (trivial) non-degenerate trapezoids with positive height. */ |
250 | 268 | if (likely (left->top < bot)) { |
251 | 268 | if (sweep_line->do_traps) { |
252 | 0 | cairo_line_t _left = { |
253 | 0 | { left->x, left->top }, |
254 | 0 | { left->x, bot }, |
255 | 0 | }, _right = { |
256 | 0 | { left->right->x, left->top }, |
257 | 0 | { left->right->x, bot }, |
258 | 0 | }; |
259 | 0 | _cairo_traps_add_trap (sweep_line->container, left->top, bot, &_left, &_right); |
260 | 0 | status = _cairo_traps_status ((cairo_traps_t *) sweep_line->container); |
261 | 268 | } else { |
262 | 268 | cairo_box_t box; |
263 | | |
264 | 268 | box.p1.x = left->x; |
265 | 268 | box.p1.y = left->top; |
266 | 268 | box.p2.x = left->right->x; |
267 | 268 | box.p2.y = bot; |
268 | | |
269 | 268 | status = _cairo_boxes_add (sweep_line->container, |
270 | 268 | CAIRO_ANTIALIAS_DEFAULT, |
271 | 268 | &box); |
272 | 268 | } |
273 | 268 | } |
274 | 268 | if (unlikely (status)) |
275 | 0 | longjmp (sweep_line->unwind, status); |
276 | | |
277 | 268 | left->right = NULL; |
278 | 268 | } |
279 | | |
280 | | /* Start a new trapezoid at the given top y coordinate, whose edges |
281 | | * are `edge' and `edge->next'. If `edge' already has a trapezoid, |
282 | | * then either add it to the traps in `traps', if the trapezoid's |
283 | | * right edge differs from `edge->next', or do nothing if the new |
284 | | * trapezoid would be a continuation of the existing one. */ |
285 | | static inline void |
286 | | edge_start_or_continue_box (sweep_line_t *sweep_line, |
287 | | edge_t *left, |
288 | | edge_t *right, |
289 | | int top) |
290 | 268 | { |
291 | 268 | if (left->right == right) |
292 | 0 | return; |
293 | | |
294 | 268 | if (left->right != NULL) { |
295 | 134 | if (left->right->x == right->x) { |
296 | | /* continuation on right, so just swap edges */ |
297 | 0 | left->right = right; |
298 | 0 | return; |
299 | 0 | } |
300 | | |
301 | 134 | edge_end_box (sweep_line, left, top); |
302 | 134 | } |
303 | | |
304 | 268 | if (left->x != right->x) { |
305 | 268 | left->top = top; |
306 | 268 | left->right = right; |
307 | 268 | } |
308 | 268 | } |
309 | | /* |
310 | | * Merge two sorted edge lists. |
311 | | * Input: |
312 | | * - head_a: The head of the first list. |
313 | | * - head_b: The head of the second list; head_b cannot be NULL. |
314 | | * Output: |
315 | | * Returns the head of the merged list. |
316 | | * |
317 | | * Implementation notes: |
318 | | * To make it fast (in particular, to reduce to an insertion sort whenever |
319 | | * one of the two input lists only has a single element) we iterate through |
320 | | * a list until its head becomes greater than the head of the other list, |
321 | | * then we switch their roles. As soon as one of the two lists is empty, we |
322 | | * just attach the other one to the current list and exit. |
323 | | * Writes to memory are only needed to "switch" lists (as it also requires |
324 | | * attaching to the output list the list which we will be iterating next) and |
325 | | * to attach the last non-empty list. |
326 | | */ |
327 | | static edge_t * |
328 | | merge_sorted_edges (edge_t *head_a, edge_t *head_b) |
329 | 134 | { |
330 | 134 | edge_t *head, *prev; |
331 | 134 | int32_t x; |
332 | | |
333 | 134 | prev = head_a->prev; |
334 | 134 | if (head_a->x <= head_b->x) { |
335 | 0 | head = head_a; |
336 | 134 | } else { |
337 | 134 | head_b->prev = prev; |
338 | 134 | head = head_b; |
339 | 134 | goto start_with_b; |
340 | 134 | } |
341 | | |
342 | 0 | do { |
343 | 0 | x = head_b->x; |
344 | 0 | while (head_a != NULL && head_a->x <= x) { |
345 | 0 | prev = head_a; |
346 | 0 | head_a = head_a->next; |
347 | 0 | } |
348 | |
|
349 | 0 | head_b->prev = prev; |
350 | 0 | prev->next = head_b; |
351 | 0 | if (head_a == NULL) |
352 | 0 | return head; |
353 | | |
354 | 134 | start_with_b: |
355 | 134 | x = head_a->x; |
356 | 402 | while (head_b != NULL && head_b->x <= x) { |
357 | 268 | prev = head_b; |
358 | 268 | head_b = head_b->next; |
359 | 268 | } |
360 | | |
361 | 134 | head_a->prev = prev; |
362 | 134 | prev->next = head_a; |
363 | 134 | if (head_b == NULL) |
364 | 134 | return head; |
365 | 134 | } while (1); |
366 | 0 | } |
367 | | |
368 | | /* |
369 | | * Sort (part of) a list. |
370 | | * Input: |
371 | | * - list: The list to be sorted; list cannot be NULL. |
372 | | * - limit: Recursion limit. |
373 | | * Output: |
374 | | * - head_out: The head of the sorted list containing the first 2^(level+1) elements of the |
375 | | * input list; if the input list has fewer elements, head_out be a sorted list |
376 | | * containing all the elements of the input list. |
377 | | * Returns the head of the list of unprocessed elements (NULL if the sorted list contains |
378 | | * all the elements of the input list). |
379 | | * |
380 | | * Implementation notes: |
381 | | * Special case single element list, unroll/inline the sorting of the first two elements. |
382 | | * Some tail recursion is used since we iterate on the bottom-up solution of the problem |
383 | | * (we start with a small sorted list and keep merging other lists of the same size to it). |
384 | | */ |
385 | | static edge_t * |
386 | | sort_edges (edge_t *list, |
387 | | unsigned int level, |
388 | | edge_t **head_out) |
389 | 134 | { |
390 | 134 | edge_t *head_other, *remaining; |
391 | 134 | unsigned int i; |
392 | | |
393 | 134 | head_other = list->next; |
394 | | |
395 | 134 | if (head_other == NULL) { |
396 | 0 | *head_out = list; |
397 | 0 | return NULL; |
398 | 0 | } |
399 | | |
400 | 134 | remaining = head_other->next; |
401 | 134 | if (list->x <= head_other->x) { |
402 | 134 | *head_out = list; |
403 | 134 | head_other->next = NULL; |
404 | 134 | } else { |
405 | 0 | *head_out = head_other; |
406 | 0 | head_other->prev = list->prev; |
407 | 0 | head_other->next = list; |
408 | 0 | list->prev = head_other; |
409 | 0 | list->next = NULL; |
410 | 0 | } |
411 | | |
412 | 134 | for (i = 0; i < level && remaining; i++) { |
413 | 0 | remaining = sort_edges (remaining, i, &head_other); |
414 | 0 | *head_out = merge_sorted_edges (*head_out, head_other); |
415 | 0 | } |
416 | | |
417 | 134 | return remaining; |
418 | 134 | } |
419 | | |
420 | | static edge_t * |
421 | | merge_unsorted_edges (edge_t *head, edge_t *unsorted) |
422 | 134 | { |
423 | 134 | sort_edges (unsorted, UINT_MAX, &unsorted); |
424 | 134 | return merge_sorted_edges (head, unsorted); |
425 | 134 | } |
426 | | |
427 | | static void |
428 | | active_edges_insert (sweep_line_t *sweep) |
429 | 134 | { |
430 | 134 | edge_t *prev; |
431 | 134 | int x; |
432 | | |
433 | 134 | x = sweep->insert_x; |
434 | 134 | prev = sweep->cursor; |
435 | 134 | if (prev->x > x) { |
436 | 67 | do { |
437 | 67 | prev = prev->prev; |
438 | 67 | } while (prev->x > x); |
439 | 67 | } else { |
440 | 67 | while (prev->next->x < x) |
441 | 0 | prev = prev->next; |
442 | 67 | } |
443 | | |
444 | 134 | prev->next = merge_unsorted_edges (prev->next, sweep->insert); |
445 | 134 | sweep->cursor = sweep->insert; |
446 | 134 | sweep->insert = NULL; |
447 | 134 | sweep->insert_x = INT_MAX; |
448 | 134 | } |
449 | | |
450 | | static inline void |
451 | | active_edges_to_traps (sweep_line_t *sweep) |
452 | 201 | { |
453 | 201 | int top = sweep->current_y; |
454 | 201 | edge_t *pos; |
455 | | |
456 | 201 | if (sweep->last_y == sweep->current_y) |
457 | 0 | return; |
458 | | |
459 | 201 | if (sweep->insert) |
460 | 134 | active_edges_insert (sweep); |
461 | | |
462 | 201 | pos = sweep->head.next; |
463 | 201 | if (pos == &sweep->tail) |
464 | 0 | return; |
465 | | |
466 | 201 | if (sweep->fill_rule == CAIRO_FILL_RULE_WINDING) { |
467 | 0 | do { |
468 | 0 | edge_t *left, *right; |
469 | 0 | int winding; |
470 | |
|
471 | 0 | left = pos; |
472 | 0 | winding = left->dir; |
473 | |
|
474 | 0 | right = left->next; |
475 | | |
476 | | /* Check if there is a co-linear edge with an existing trap */ |
477 | 0 | while (right->x == left->x) { |
478 | 0 | if (right->right != NULL) { |
479 | 0 | assert (left->right == NULL); |
480 | | /* continuation on left */ |
481 | 0 | left->top = right->top; |
482 | 0 | left->right = right->right; |
483 | 0 | right->right = NULL; |
484 | 0 | } |
485 | 0 | winding += right->dir; |
486 | 0 | right = right->next; |
487 | 0 | } |
488 | | |
489 | 0 | if (winding == 0) { |
490 | 0 | if (left->right != NULL) |
491 | 0 | edge_end_box (sweep, left, top); |
492 | 0 | pos = right; |
493 | 0 | continue; |
494 | 0 | } |
495 | | |
496 | 0 | do { |
497 | | /* End all subsumed traps */ |
498 | 0 | if (unlikely (right->right != NULL)) |
499 | 0 | edge_end_box (sweep, right, top); |
500 | | |
501 | | /* Greedily search for the closing edge, so that we generate |
502 | | * the * maximal span width with the minimal number of |
503 | | * boxes. |
504 | | */ |
505 | 0 | winding += right->dir; |
506 | 0 | if (winding == 0 && right->x != right->next->x) |
507 | 0 | break; |
508 | | |
509 | 0 | right = right->next; |
510 | 0 | } while (TRUE); |
511 | | |
512 | 0 | edge_start_or_continue_box (sweep, left, right, top); |
513 | |
|
514 | 0 | pos = right->next; |
515 | 0 | } while (pos != &sweep->tail); |
516 | 201 | } else { |
517 | 268 | do { |
518 | 268 | edge_t *right = pos->next; |
519 | 268 | int count = 0; |
520 | | |
521 | 268 | do { |
522 | | /* End all subsumed traps */ |
523 | 268 | if (unlikely (right->right != NULL)) |
524 | 0 | edge_end_box (sweep, right, top); |
525 | | |
526 | | /* skip co-linear edges */ |
527 | 268 | if (++count & 1 && right->x != right->next->x) |
528 | 268 | break; |
529 | | |
530 | 0 | right = right->next; |
531 | 0 | } while (TRUE); |
532 | | |
533 | 0 | edge_start_or_continue_box (sweep, pos, right, top); |
534 | | |
535 | 268 | pos = right->next; |
536 | 268 | } while (pos != &sweep->tail); |
537 | 201 | } |
538 | | |
539 | 201 | sweep->last_y = sweep->current_y; |
540 | 201 | } |
541 | | |
542 | | static inline void |
543 | | sweep_line_delete_edge (sweep_line_t *sweep, edge_t *edge) |
544 | 268 | { |
545 | 268 | if (edge->right != NULL) { |
546 | 134 | edge_t *next = edge->next; |
547 | 134 | if (next->x == edge->x) { |
548 | 0 | next->top = edge->top; |
549 | 0 | next->right = edge->right; |
550 | 0 | } else |
551 | 134 | edge_end_box (sweep, edge, sweep->current_y); |
552 | 134 | } |
553 | | |
554 | 268 | if (sweep->cursor == edge) |
555 | 134 | sweep->cursor = edge->prev; |
556 | | |
557 | 268 | edge->prev->next = edge->next; |
558 | 268 | edge->next->prev = edge->prev; |
559 | 268 | } |
560 | | |
561 | | static inline cairo_bool_t |
562 | | sweep_line_delete (sweep_line_t *sweep, rectangle_t *rectangle) |
563 | 134 | { |
564 | 134 | cairo_bool_t update; |
565 | | |
566 | 134 | update = TRUE; |
567 | 134 | if (sweep->fill_rule == CAIRO_FILL_RULE_WINDING && |
568 | 134 | rectangle->left.prev->dir == rectangle->left.dir) |
569 | 0 | { |
570 | 0 | update = rectangle->left.next != &rectangle->right; |
571 | 0 | } |
572 | | |
573 | 134 | sweep_line_delete_edge (sweep, &rectangle->left); |
574 | 134 | sweep_line_delete_edge (sweep, &rectangle->right); |
575 | | |
576 | 134 | rectangle_pop_stop (sweep); |
577 | 134 | return update; |
578 | 134 | } |
579 | | |
580 | | static inline void |
581 | | sweep_line_insert (sweep_line_t *sweep, rectangle_t *rectangle) |
582 | 134 | { |
583 | 134 | if (sweep->insert) |
584 | 0 | sweep->insert->prev = &rectangle->right; |
585 | 134 | rectangle->right.next = sweep->insert; |
586 | 134 | rectangle->right.prev = &rectangle->left; |
587 | 134 | rectangle->left.next = &rectangle->right; |
588 | 134 | rectangle->left.prev = NULL; |
589 | 134 | sweep->insert = &rectangle->left; |
590 | 134 | if (rectangle->left.x < sweep->insert_x) |
591 | 134 | sweep->insert_x = rectangle->left.x; |
592 | | |
593 | 134 | pqueue_push (sweep, rectangle); |
594 | 134 | } |
595 | | |
596 | | static cairo_status_t |
597 | | _cairo_bentley_ottmann_tessellate_rectangular (rectangle_t **rectangles, |
598 | | int num_rectangles, |
599 | | cairo_fill_rule_t fill_rule, |
600 | | cairo_bool_t do_traps, |
601 | | void *container) |
602 | 67 | { |
603 | 67 | sweep_line_t sweep_line; |
604 | 67 | rectangle_t *rectangle; |
605 | 67 | cairo_status_t status; |
606 | 67 | cairo_bool_t update; |
607 | | |
608 | 67 | sweep_line_init (&sweep_line, |
609 | 67 | rectangles, num_rectangles, |
610 | 67 | fill_rule, |
611 | 67 | do_traps, container); |
612 | 67 | if ((status = setjmp (sweep_line.unwind))) |
613 | 0 | return status; |
614 | | |
615 | 67 | update = FALSE; |
616 | | |
617 | 67 | rectangle = rectangle_pop_start (&sweep_line); |
618 | 134 | do { |
619 | 134 | if (rectangle->top != sweep_line.current_y) { |
620 | 134 | rectangle_t *stop; |
621 | | |
622 | 134 | stop = rectangle_peek_stop (&sweep_line); |
623 | 134 | while (stop != NULL && stop->bottom < rectangle->top) { |
624 | 0 | if (stop->bottom != sweep_line.current_y) { |
625 | 0 | if (update) { |
626 | 0 | active_edges_to_traps (&sweep_line); |
627 | 0 | update = FALSE; |
628 | 0 | } |
629 | |
|
630 | 0 | sweep_line.current_y = stop->bottom; |
631 | 0 | } |
632 | |
|
633 | 0 | update |= sweep_line_delete (&sweep_line, stop); |
634 | 0 | stop = rectangle_peek_stop (&sweep_line); |
635 | 0 | } |
636 | | |
637 | 134 | if (update) { |
638 | 67 | active_edges_to_traps (&sweep_line); |
639 | 67 | update = FALSE; |
640 | 67 | } |
641 | | |
642 | 134 | sweep_line.current_y = rectangle->top; |
643 | 134 | } |
644 | | |
645 | 134 | do { |
646 | 134 | sweep_line_insert (&sweep_line, rectangle); |
647 | 134 | } while ((rectangle = rectangle_pop_start (&sweep_line)) != NULL && |
648 | 134 | sweep_line.current_y == rectangle->top); |
649 | 134 | update = TRUE; |
650 | 134 | } while (rectangle); |
651 | | |
652 | 201 | while ((rectangle = rectangle_peek_stop (&sweep_line)) != NULL) { |
653 | 134 | if (rectangle->bottom != sweep_line.current_y) { |
654 | 134 | if (update) { |
655 | 134 | active_edges_to_traps (&sweep_line); |
656 | 134 | update = FALSE; |
657 | 134 | } |
658 | 134 | sweep_line.current_y = rectangle->bottom; |
659 | 134 | } |
660 | | |
661 | 134 | update |= sweep_line_delete (&sweep_line, rectangle); |
662 | 134 | } |
663 | | |
664 | 67 | return CAIRO_STATUS_SUCCESS; |
665 | 67 | } |
666 | | |
667 | | cairo_status_t |
668 | | _cairo_bentley_ottmann_tessellate_rectangular_traps (cairo_traps_t *traps, |
669 | | cairo_fill_rule_t fill_rule) |
670 | 0 | { |
671 | 0 | rectangle_t stack_rectangles[CAIRO_STACK_ARRAY_LENGTH (rectangle_t)]; |
672 | 0 | rectangle_t *stack_rectangles_ptrs[ARRAY_LENGTH (stack_rectangles) + 3]; |
673 | 0 | rectangle_t *rectangles, **rectangles_ptrs; |
674 | 0 | cairo_status_t status; |
675 | 0 | int i; |
676 | |
|
677 | 0 | assert (traps->is_rectangular); |
678 | | |
679 | 0 | if (unlikely (traps->num_traps <= 1)) { |
680 | 0 | if (traps->num_traps == 1) { |
681 | 0 | cairo_trapezoid_t *trap = traps->traps; |
682 | 0 | if (trap->left.p1.x > trap->right.p1.x) { |
683 | 0 | cairo_line_t tmp = trap->left; |
684 | 0 | trap->left = trap->right; |
685 | 0 | trap->right = tmp; |
686 | 0 | } |
687 | 0 | } |
688 | 0 | return CAIRO_STATUS_SUCCESS; |
689 | 0 | } |
690 | | |
691 | 0 | dump_traps (traps, "bo-rects-traps-in.txt"); |
692 | |
|
693 | 0 | rectangles = stack_rectangles; |
694 | 0 | rectangles_ptrs = stack_rectangles_ptrs; |
695 | 0 | if (traps->num_traps > ARRAY_LENGTH (stack_rectangles)) { |
696 | 0 | rectangles = _cairo_malloc_ab_plus_c (traps->num_traps, |
697 | 0 | sizeof (rectangle_t) + |
698 | 0 | sizeof (rectangle_t *), |
699 | 0 | 3*sizeof (rectangle_t *)); |
700 | 0 | if (unlikely (rectangles == NULL)) |
701 | 0 | return _cairo_error (CAIRO_STATUS_NO_MEMORY); |
702 | | |
703 | 0 | rectangles_ptrs = (rectangle_t **) (rectangles + traps->num_traps); |
704 | 0 | } |
705 | | |
706 | 0 | for (i = 0; i < traps->num_traps; i++) { |
707 | 0 | if (traps->traps[i].left.p1.x < traps->traps[i].right.p1.x) { |
708 | 0 | rectangles[i].left.x = traps->traps[i].left.p1.x; |
709 | 0 | rectangles[i].left.dir = 1; |
710 | |
|
711 | 0 | rectangles[i].right.x = traps->traps[i].right.p1.x; |
712 | 0 | rectangles[i].right.dir = -1; |
713 | 0 | } else { |
714 | 0 | rectangles[i].right.x = traps->traps[i].left.p1.x; |
715 | 0 | rectangles[i].right.dir = 1; |
716 | |
|
717 | 0 | rectangles[i].left.x = traps->traps[i].right.p1.x; |
718 | 0 | rectangles[i].left.dir = -1; |
719 | 0 | } |
720 | |
|
721 | 0 | rectangles[i].left.right = NULL; |
722 | 0 | rectangles[i].right.right = NULL; |
723 | |
|
724 | 0 | rectangles[i].top = traps->traps[i].top; |
725 | 0 | rectangles[i].bottom = traps->traps[i].bottom; |
726 | |
|
727 | 0 | rectangles_ptrs[i+2] = &rectangles[i]; |
728 | 0 | } |
729 | | /* XXX incremental sort */ |
730 | 0 | _rectangle_sort (rectangles_ptrs+2, i); |
731 | |
|
732 | 0 | _cairo_traps_clear (traps); |
733 | 0 | status = _cairo_bentley_ottmann_tessellate_rectangular (rectangles_ptrs+2, i, |
734 | 0 | fill_rule, |
735 | 0 | TRUE, traps); |
736 | 0 | traps->is_rectilinear = TRUE; |
737 | 0 | traps->is_rectangular = TRUE; |
738 | |
|
739 | 0 | if (rectangles != stack_rectangles) |
740 | 0 | free (rectangles); |
741 | |
|
742 | 0 | dump_traps (traps, "bo-rects-traps-out.txt"); |
743 | |
|
744 | 0 | return status; |
745 | 0 | } |
746 | | |
747 | | cairo_status_t |
748 | | _cairo_bentley_ottmann_tessellate_boxes (const cairo_boxes_t *in, |
749 | | cairo_fill_rule_t fill_rule, |
750 | | cairo_boxes_t *out) |
751 | 68 | { |
752 | 68 | rectangle_t stack_rectangles[CAIRO_STACK_ARRAY_LENGTH (rectangle_t)]; |
753 | 68 | rectangle_t *stack_rectangles_ptrs[ARRAY_LENGTH (stack_rectangles) + 3]; |
754 | 68 | rectangle_t *rectangles, **rectangles_ptrs; |
755 | 68 | rectangle_t *stack_rectangles_chain[CAIRO_STACK_ARRAY_LENGTH (rectangle_t *) ]; |
756 | 68 | rectangle_t **rectangles_chain = NULL; |
757 | 68 | const struct _cairo_boxes_chunk *chunk; |
758 | 68 | cairo_status_t status; |
759 | 68 | int i, j, y_min, y_max; |
760 | | |
761 | 68 | if (unlikely (in->num_boxes == 0)) { |
762 | 1 | _cairo_boxes_clear (out); |
763 | 1 | return CAIRO_STATUS_SUCCESS; |
764 | 1 | } |
765 | | |
766 | 67 | if (in->num_boxes == 1) { |
767 | 0 | if (in == out) { |
768 | 0 | cairo_box_t *box = &in->chunks.base[0]; |
769 | |
|
770 | 0 | if (box->p1.x > box->p2.x) { |
771 | 0 | cairo_fixed_t tmp = box->p1.x; |
772 | 0 | box->p1.x = box->p2.x; |
773 | 0 | box->p2.x = tmp; |
774 | 0 | } |
775 | 0 | } else { |
776 | 0 | cairo_box_t box = in->chunks.base[0]; |
777 | |
|
778 | 0 | if (box.p1.x > box.p2.x) { |
779 | 0 | cairo_fixed_t tmp = box.p1.x; |
780 | 0 | box.p1.x = box.p2.x; |
781 | 0 | box.p2.x = tmp; |
782 | 0 | } |
783 | |
|
784 | 0 | _cairo_boxes_clear (out); |
785 | 0 | status = _cairo_boxes_add (out, CAIRO_ANTIALIAS_DEFAULT, &box); |
786 | 0 | assert (status == CAIRO_STATUS_SUCCESS); |
787 | 0 | } |
788 | 0 | return CAIRO_STATUS_SUCCESS; |
789 | 0 | } |
790 | | |
791 | 67 | y_min = INT_MAX; y_max = INT_MIN; |
792 | 134 | for (chunk = &in->chunks; chunk != NULL; chunk = chunk->next) { |
793 | 67 | const cairo_box_t *box = chunk->base; |
794 | 201 | for (i = 0; i < chunk->count; i++) { |
795 | 134 | if (box[i].p1.y < y_min) |
796 | 67 | y_min = box[i].p1.y; |
797 | 134 | if (box[i].p1.y > y_max) |
798 | 134 | y_max = box[i].p1.y; |
799 | 134 | } |
800 | 67 | } |
801 | 67 | y_min = _cairo_fixed_integer_floor (y_min); |
802 | 67 | y_max = _cairo_fixed_integer_floor (y_max) + 1; |
803 | 67 | y_max -= y_min; |
804 | | |
805 | 67 | if (y_max < in->num_boxes) { |
806 | 0 | rectangles_chain = stack_rectangles_chain; |
807 | 0 | if (y_max > ARRAY_LENGTH (stack_rectangles_chain)) { |
808 | 0 | rectangles_chain = _cairo_malloc_ab (y_max, sizeof (rectangle_t *)); |
809 | 0 | if (unlikely (rectangles_chain == NULL)) |
810 | 0 | return _cairo_error (CAIRO_STATUS_NO_MEMORY); |
811 | 0 | } |
812 | 0 | memset (rectangles_chain, 0, y_max * sizeof (rectangle_t*)); |
813 | 0 | } |
814 | | |
815 | 67 | rectangles = stack_rectangles; |
816 | 67 | rectangles_ptrs = stack_rectangles_ptrs; |
817 | 67 | if (in->num_boxes > ARRAY_LENGTH (stack_rectangles)) { |
818 | 0 | rectangles = _cairo_malloc_ab_plus_c (in->num_boxes, |
819 | 0 | sizeof (rectangle_t) + |
820 | 0 | sizeof (rectangle_t *), |
821 | 0 | 3*sizeof (rectangle_t *)); |
822 | 0 | if (unlikely (rectangles == NULL)) { |
823 | 0 | if (rectangles_chain != stack_rectangles_chain) |
824 | 0 | free (rectangles_chain); |
825 | 0 | return _cairo_error (CAIRO_STATUS_NO_MEMORY); |
826 | 0 | } |
827 | | |
828 | 0 | rectangles_ptrs = (rectangle_t **) (rectangles + in->num_boxes); |
829 | 0 | } |
830 | | |
831 | 67 | j = 0; |
832 | 134 | for (chunk = &in->chunks; chunk != NULL; chunk = chunk->next) { |
833 | 67 | const cairo_box_t *box = chunk->base; |
834 | 201 | for (i = 0; i < chunk->count; i++) { |
835 | 134 | int h; |
836 | | |
837 | 134 | if (box[i].p1.x < box[i].p2.x) { |
838 | 134 | rectangles[j].left.x = box[i].p1.x; |
839 | 134 | rectangles[j].left.dir = 1; |
840 | | |
841 | 134 | rectangles[j].right.x = box[i].p2.x; |
842 | 134 | rectangles[j].right.dir = -1; |
843 | 134 | } else { |
844 | 0 | rectangles[j].right.x = box[i].p1.x; |
845 | 0 | rectangles[j].right.dir = 1; |
846 | |
|
847 | 0 | rectangles[j].left.x = box[i].p2.x; |
848 | 0 | rectangles[j].left.dir = -1; |
849 | 0 | } |
850 | | |
851 | 134 | rectangles[j].left.right = NULL; |
852 | 134 | rectangles[j].right.right = NULL; |
853 | | |
854 | 134 | rectangles[j].top = box[i].p1.y; |
855 | 134 | rectangles[j].bottom = box[i].p2.y; |
856 | | |
857 | 134 | if (rectangles_chain) { |
858 | 0 | h = _cairo_fixed_integer_floor (box[i].p1.y) - y_min; |
859 | 0 | rectangles[j].left.next = (edge_t *)rectangles_chain[h]; |
860 | 0 | rectangles_chain[h] = &rectangles[j]; |
861 | 134 | } else { |
862 | 134 | rectangles_ptrs[j+2] = &rectangles[j]; |
863 | 134 | } |
864 | 134 | j++; |
865 | 134 | } |
866 | 67 | } |
867 | | |
868 | 67 | if (rectangles_chain) { |
869 | 0 | j = 2; |
870 | 0 | for (y_min = 0; y_min < y_max; y_min++) { |
871 | 0 | rectangle_t *r; |
872 | 0 | int start = j; |
873 | 0 | for (r = rectangles_chain[y_min]; r; r = (rectangle_t *)r->left.next) |
874 | 0 | rectangles_ptrs[j++] = r; |
875 | 0 | if (j > start + 1) |
876 | 0 | _rectangle_sort (rectangles_ptrs + start, j - start); |
877 | 0 | } |
878 | |
|
879 | 0 | if (rectangles_chain != stack_rectangles_chain) |
880 | 0 | free (rectangles_chain); |
881 | |
|
882 | 0 | j -= 2; |
883 | 67 | } else { |
884 | 67 | _rectangle_sort (rectangles_ptrs + 2, j); |
885 | 67 | } |
886 | | |
887 | 67 | _cairo_boxes_clear (out); |
888 | 67 | status = _cairo_bentley_ottmann_tessellate_rectangular (rectangles_ptrs+2, j, |
889 | 67 | fill_rule, |
890 | 67 | FALSE, out); |
891 | 67 | if (rectangles != stack_rectangles) |
892 | 0 | free (rectangles); |
893 | | |
894 | 67 | return status; |
895 | 67 | } |