/src/ghostpdl/base/gxscanc.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* Copyright (C) 2001-2025 Artifex Software, Inc. |
2 | | All Rights Reserved. |
3 | | |
4 | | This software is provided AS-IS with no warranty, either express or |
5 | | implied. |
6 | | |
7 | | This software is distributed under license and may not be copied, |
8 | | modified or distributed except as expressly authorized under the terms |
9 | | of the license contained in the file LICENSE in this distribution. |
10 | | |
11 | | Refer to licensing information at http://www.artifex.com or contact |
12 | | Artifex Software, Inc., 39 Mesa Street, Suite 108A, San Francisco, |
13 | | CA 94129, USA, for further information. |
14 | | */ |
15 | | |
16 | | /* Path stroking procedures for Ghostscript library */ |
17 | | #include "math_.h" |
18 | | #include "memory_.h" |
19 | | #include "string_.h" |
20 | | #include "gx.h" |
21 | | #include "gpcheck.h" |
22 | | #include "gserrors.h" |
23 | | #include "gsdcolor.h" |
24 | | #include "gsptype1.h" |
25 | | #include "gxfixed.h" |
26 | | #include "gxfarith.h" |
27 | | #include "gxmatrix.h" |
28 | | #include "gscoord.h" |
29 | | #include "gsdevice.h" |
30 | | #include "gxdevice.h" |
31 | | #include "gxhttile.h" |
32 | | #include "gxgstate.h" |
33 | | #include "gzline.h" |
34 | | #include "gzpath.h" |
35 | | #include "gzcpath.h" |
36 | | #include "gxpaint.h" |
37 | | #include "gxscanc.h" |
38 | | #include "gxfill.h" |
39 | | #include "gxdcolor.h" |
40 | | #include "assert_.h" |
41 | | #include <stdlib.h> /* for qsort */ |
42 | | #include <limits.h> /* For INT_MAX */ |
43 | | |
44 | | /* Overview of the scan conversion algorithm. |
45 | | * |
46 | | * The normal scan conversion algorithm runs through a path, converting |
47 | | * it into a sequence of edges. It then runs through those edges from |
48 | | * top to bottom keeping a list of which ones are "active", and ordering |
49 | | * them so that it can read out a list of intersection points from left |
50 | | * to right across any given scanline (or scan "band" when working with |
51 | | * trapezoids). |
52 | | * |
53 | | * This scan conversion algorithm avoids the need to maintain an active |
54 | | * line list, and to repeatedly re-sort lines. It is thus faster, at |
55 | | * the cost of using more memory, and not being able to cope with |
56 | | * trapezoids. |
57 | | * |
58 | | * Conceptually, the idea is to make an (initially empty) table. Each |
59 | | * row of the table holds the set of intersection data for a given |
60 | | * scanline. We therefore just need to run through the path once, |
61 | | * decomposing it to a sequence of edges. We then step along each edge |
62 | | * adding intersection information into each row of the table as we go. |
63 | | * Each piece of intersection information includes the point at which |
64 | | * the edge crosses the scanline, and the direction in which it does so |
65 | | * (up or down). |
66 | | * |
67 | | * At the end of this process, we can then sort each rows data, and |
68 | | * simply 'fill in' the scanline according to the winding rule. |
69 | | * |
70 | | * This copes well with 'centre of a pixel' fill modes, but 'any part |
71 | | * of a pixel' requires some extra work. Let's describe 'centre of a |
72 | | * pixel' first. |
73 | | * |
74 | | * Assume we have a path with n segments in, and a bbox that crosses |
75 | | * a region x wide, y high. |
76 | | * |
77 | | * 1) Create a table, A, 1 int entry per scan line. Run through the path, |
78 | | * segment by segment counting how many intersections occur on each |
79 | | * scanline. (O(y * n)) |
80 | | * |
81 | | * 2) Create a table, B, with as many entries per scanline as determined in |
82 | | * the table A. (O(y * n)) |
83 | | * |
84 | | * [Each entry is a (xcoord,direction) tuple. xcoord = the xcoord where |
85 | | * an edge crosses the horizontal line through the middle of the pixel. |
86 | | * direction = 0 if the edge is rising, 1 if falling.] |
87 | | * |
88 | | * 3) Run through the path segment by segment, inserting entries for each |
89 | | * scanline intersection in table B. (O(y * n)) |
90 | | * |
91 | | * 4) Sort the scanline intersections of table B (on left,right,direction). |
92 | | * (O(y * n log n) for current code) |
93 | | * |
94 | | * 5) Filter the scanline intersections according to the winding rule. |
95 | | * (O(y * n)) |
96 | | * |
97 | | * 6) Fill rectangles according to each set of scanline intersections. |
98 | | * (O(y * n)) |
99 | | * |
100 | | * So worst case complexity (when every segment crosses every scanline) is |
101 | | * O(y * n log n). |
102 | | * |
103 | | * NOTE: If we use a binary comparison based sort, then the best we can manage |
104 | | * is n log n for step 4. If we use a radix based sort, we can get O(n). |
105 | | * Consider this if we ever need it. |
106 | | * |
107 | | * In order to cope with 'any part of a pixel' it no longer suffices |
108 | | * to keep a single intersection point for each scanline intersection. |
109 | | * Instead we keep the interval of a scanline that the edge intersects. |
110 | | * Thus each entry is a (left,right,direction) tuple. left = the |
111 | | * leftmost point at which this edge intersects this scanline. right = |
112 | | * the rightmost point at which this edge intersects this scanline. |
113 | | * direction = 0 for rising edges, 1 for falling edges. |
114 | | * |
115 | | * The rest of the algorithm is unchanged, apart from additional care |
116 | | * being required when filling the scanlines to allow for the fact |
117 | | * that edges are no longer point intersections. |
118 | | * |
119 | | * The first set of routines (gx_scan_convert and gx_fill_edgebuffer) |
120 | | * implement the "pixel centre" covered routines by drawing rectangle |
121 | | * high scanlines at a time. The second set of routines |
122 | | * (gx_scan_convert_app and gx_fill_edgebuffer_app) is the equivalent, |
123 | | * for "Any Part of Pixel" covered. |
124 | | * |
125 | | * The third and fourth are the same things, but using trapezoids |
126 | | * that can be multiple scanlines high rather than scanlines. |
127 | | * |
128 | | * In order to do trapezoid extraction, we extend the edge intersection |
129 | | * information to be (left,right,id,direction) (for the "centre pixel" |
130 | | * variants) and (left,left_id,right,right_id,direction) (for the "any |
131 | | * part of a pixel" variants). The 'id' is a int that is guaranteed |
132 | | * unique for each flattened line in path. |
133 | | * |
134 | | * If we spot that each scanlines data has the same set of ids in the |
135 | | * same order, then we can 'collate' them into a trapezoid. |
136 | | */ |
137 | | |
138 | | /* NOTE: code in this file assumes that fixed and int can be used |
139 | | * interchangably. */ |
140 | | |
141 | | #undef DEBUG_SCAN_CONVERTER |
142 | | #undef DEBUG_OUTPUT_SC_AS_PS |
143 | | |
144 | | typedef int64_t fixed64; |
145 | | |
146 | | enum |
147 | | { |
148 | | DIRN_UNSET = -1, |
149 | | DIRN_UP = 0, |
150 | | DIRN_DOWN = 1 |
151 | | }; |
152 | | |
153 | | /* Centre of a pixel routines */ |
154 | | |
155 | | static int intcmp(const void *a, const void *b) |
156 | 18.2k | { |
157 | 18.2k | return *((int*)a) - *((int *)b); |
158 | 18.2k | } |
159 | | |
160 | | #if defined(DEBUG_SCAN_CONVERTER) |
161 | | int debugging_scan_converter = 1; |
162 | | |
163 | | static void |
164 | | gx_edgebuffer_print(gx_edgebuffer * edgebuffer) |
165 | | { |
166 | | int i; |
167 | | |
168 | | dlprintf1("Edgebuffer %x\n", edgebuffer); |
169 | | dlprintf4("xmin=%x xmax=%x base=%x height=%x\n", |
170 | | edgebuffer->xmin, edgebuffer->xmax, edgebuffer->base, edgebuffer->height); |
171 | | for (i=0; i < edgebuffer->height; i++) { |
172 | | int offset = edgebuffer->index[i]; |
173 | | int *row = &edgebuffer->table[offset]; |
174 | | int count = *row++; |
175 | | dlprintf3("%d @ %d: %d =", i, offset, count); |
176 | | while (count-- > 0) { |
177 | | int v = *row++; |
178 | | dlprintf2(" %x:%d", v&~1, v&1); |
179 | | } |
180 | | dlprintf("\n"); |
181 | | } |
182 | | } |
183 | | #endif |
184 | | |
185 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
186 | | static void coord(const char *str, fixed x, fixed y) |
187 | | { |
188 | | if (x > 0) |
189 | | dlprintf1(" 16#%x ", x); |
190 | | else |
191 | | dlprintf1("0 16#%x sub ", -x); |
192 | | if (y > 0) |
193 | | dlprintf1(" 16#%x ", y); |
194 | | else |
195 | | dlprintf1("0 16#%x sub ", -y); |
196 | | dlprintf1("%s %%PS\n", str); |
197 | | } |
198 | | #endif |
199 | | |
200 | | typedef void (zero_filler_fn)(int *, const fixed *); |
201 | | |
202 | | static void mark_line_zero(fixed sx, fixed ex, fixed *zf) |
203 | 19.6k | { |
204 | 19.6k | if (sx < zf[0]) |
205 | 0 | zf[0] = sx; |
206 | 19.6k | if (ex < zf[0]) |
207 | 30 | zf[0] = ex; |
208 | 19.6k | if (sx > zf[1]) |
209 | 0 | zf[1] = sx; |
210 | 19.6k | if (ex > zf[1]) |
211 | 33 | zf[1] = ex; |
212 | 19.6k | } |
213 | | |
214 | | static void mark_curve_zero(fixed sx, fixed c1x, fixed c2x, fixed ex, int depth, fixed *zf) |
215 | 0 | { |
216 | 0 | fixed ax = (sx + c1x)>>1; |
217 | 0 | fixed bx = (c1x + c2x)>>1; |
218 | 0 | fixed cx = (c2x + ex)>>1; |
219 | 0 | fixed dx = (ax + bx)>>1; |
220 | 0 | fixed fx = (bx + cx)>>1; |
221 | 0 | fixed gx = (dx + fx)>>1; |
222 | |
|
223 | 0 | assert(depth >= 0); |
224 | 0 | if (depth == 0) |
225 | 0 | mark_line_zero(sx, ex, zf); |
226 | 0 | else { |
227 | 0 | depth--; |
228 | 0 | mark_curve_zero(sx, ax, dx, gx, depth, zf); |
229 | 0 | mark_curve_zero(gx, fx, cx, ex, depth, zf); |
230 | 0 | } |
231 | 0 | } |
232 | | |
233 | | static void mark_curve_big_zero(fixed64 sx, fixed64 c1x, fixed64 c2x, fixed64 ex, int depth, fixed *zf) |
234 | 0 | { |
235 | 0 | fixed64 ax = (sx + c1x)>>1; |
236 | 0 | fixed64 bx = (c1x + c2x)>>1; |
237 | 0 | fixed64 cx = (c2x + ex)>>1; |
238 | 0 | fixed64 dx = (ax + bx)>>1; |
239 | 0 | fixed64 fx = (bx + cx)>>1; |
240 | 0 | fixed64 gx = (dx + fx)>>1; |
241 | |
|
242 | 0 | assert(depth >= 0); |
243 | 0 | if (depth == 0) |
244 | 0 | mark_line_zero((fixed)sx, (fixed)ex, zf); |
245 | 0 | else { |
246 | 0 | depth--; |
247 | 0 | mark_curve_big_zero(sx, ax, dx, gx, depth, zf); |
248 | 0 | mark_curve_big_zero(gx, fx, cx, ex, depth, zf); |
249 | 0 | } |
250 | 0 | } |
251 | | |
252 | | static void mark_curve_top_zero(fixed sx, fixed c1x, fixed c2x, fixed ex, int depth, fixed *zf) |
253 | 0 | { |
254 | 0 | fixed test = (sx^(sx<<1))|(c1x^(c1x<<1))|(c2x^(c2x<<1))|(ex^(ex<<1)); |
255 | |
|
256 | 0 | if (test < 0) |
257 | 0 | mark_curve_big_zero(sx, c1x, c2x, ex, depth, zf); |
258 | 0 | else |
259 | 0 | mark_curve_zero(sx, c1x, c2x, ex, depth, zf); |
260 | 0 | } |
261 | | |
262 | | static int |
263 | | zero_case(gx_device * gs_restrict pdev, |
264 | | gx_path * gs_restrict path, |
265 | | gs_fixed_rect * gs_restrict ibox, |
266 | | int * gs_restrict index, |
267 | | int * gs_restrict table, |
268 | | fixed fixed_flat, |
269 | | zero_filler_fn * fill) |
270 | 1.62k | { |
271 | 1.62k | const subpath *psub; |
272 | 1.62k | fixed zf[2]; |
273 | | |
274 | | /* Step 2 continued: Now we run through the path, filling in the real |
275 | | * values. */ |
276 | 3.53k | for (psub = path->first_subpath; psub != 0;) { |
277 | 1.91k | const segment *pseg = (const segment *)psub; |
278 | 1.91k | fixed ex = pseg->pt.x; |
279 | 1.91k | fixed sy = pseg->pt.y; |
280 | 1.91k | fixed ix = ex; |
281 | 1.91k | int iy = fixed2int(pseg->pt.y); |
282 | | |
283 | 1.91k | zf[0] = ex; |
284 | 1.91k | zf[1] = ex; |
285 | | |
286 | 19.6k | while ((pseg = pseg->next) != 0 && |
287 | 19.6k | pseg->type != s_start |
288 | 17.7k | ) { |
289 | 17.7k | fixed sx = ex; |
290 | 17.7k | ex = pseg->pt.x; |
291 | | |
292 | 17.7k | switch (pseg->type) { |
293 | 0 | default: |
294 | 0 | case s_start: /* Should never happen */ |
295 | 0 | case s_dash: /* We should never be seeing a dash here */ |
296 | 0 | assert("This should never happen" == NULL); |
297 | 0 | break; |
298 | 0 | case s_curve: { |
299 | 0 | const curve_segment *const pcur = (const curve_segment *)pseg; |
300 | 0 | int k = gx_curve_log2_samples(sx, sy, pcur, fixed_flat); |
301 | |
|
302 | 0 | mark_curve_top_zero(sx, pcur->p1.x, pcur->p2.x, ex, k, zf); |
303 | 0 | break; |
304 | 0 | } |
305 | 0 | case s_gap: |
306 | 16.5k | case s_line: |
307 | 17.7k | case s_line_close: |
308 | 17.7k | mark_line_zero(sx, ex, zf); |
309 | 17.7k | break; |
310 | 17.7k | } |
311 | 17.7k | } |
312 | | /* And close any open segments */ |
313 | 1.91k | mark_line_zero(ex, ix, zf); |
314 | 1.91k | fill(&table[index[iy-ibox->p.y]], zf); |
315 | 1.91k | psub = (const subpath *)pseg; |
316 | 1.91k | } |
317 | | |
318 | 1.62k | return 0; |
319 | 1.62k | } |
320 | | |
321 | | static void mark_line(fixed sx, fixed sy, fixed ex, fixed ey, int base_y, int height, int *table, int *index) |
322 | 364k | { |
323 | 364k | int64_t delta; |
324 | 364k | int iy, ih; |
325 | 364k | fixed clip_sy, clip_ey; |
326 | 364k | int dirn = DIRN_UP; |
327 | 364k | int *row; |
328 | | |
329 | | #ifdef DEBUG_SCAN_CONVERTER |
330 | | if (debugging_scan_converter) |
331 | | dlprintf6("Marking line from %x,%x to %x,%x (%x,%x)\n", sx, sy, ex, ey, fixed2int(sy + fixed_half-1) - base_y, fixed2int(ey + fixed_half-1) - base_y); |
332 | | #endif |
333 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
334 | | dlprintf("0.001 setlinewidth 0 0 0 setrgbcolor %%PS\n"); |
335 | | coord("moveto", sx, sy); |
336 | | coord("lineto", ex, ey); |
337 | | dlprintf("stroke %%PS\n"); |
338 | | #endif |
339 | | |
340 | 364k | if (fixed2int(sy + fixed_half-1) == fixed2int(ey + fixed_half-1)) |
341 | 137k | return; |
342 | 227k | if (sy > ey) { |
343 | 103k | int t; |
344 | 103k | t = sy; sy = ey; ey = t; |
345 | 103k | t = sx; sx = ex; ex = t; |
346 | 103k | dirn = DIRN_DOWN; |
347 | 103k | } |
348 | | /* Lines go from sy to ey, closed at the start, open at the end. */ |
349 | | /* We clip them to a region to make them closed at both ends. */ |
350 | | /* Thus the first scanline marked (>= sy) is: */ |
351 | 227k | clip_sy = ((sy + fixed_half - 1) & ~(fixed_1-1)) | fixed_half; |
352 | | /* The last scanline marked (< ey) is: */ |
353 | 227k | clip_ey = ((ey - fixed_half - 1) & ~(fixed_1-1)) | fixed_half; |
354 | | /* Now allow for banding */ |
355 | 227k | if (clip_sy < int2fixed(base_y) + fixed_half) |
356 | 126k | clip_sy = int2fixed(base_y) + fixed_half; |
357 | 227k | if (ey <= clip_sy) |
358 | 123k | return; |
359 | 103k | if (clip_ey > int2fixed(base_y + height - 1) + fixed_half) |
360 | 91.5k | clip_ey = int2fixed(base_y + height - 1) + fixed_half; |
361 | 103k | if (sy > clip_ey) |
362 | 88.1k | return; |
363 | 15.7k | delta = (int64_t)clip_sy - (int64_t)sy; |
364 | 15.7k | if (delta > 0) |
365 | 15.4k | { |
366 | 15.4k | int64_t dx = (int64_t)ex - (int64_t)sx; |
367 | 15.4k | int64_t dy = (int64_t)ey - (int64_t)sy; |
368 | 15.4k | int advance = (int)((dx * delta + (dy>>1)) / dy); |
369 | 15.4k | sx += advance; |
370 | 15.4k | sy += delta; |
371 | 15.4k | } |
372 | 15.7k | delta = (int64_t)ey - (int64_t)clip_ey; |
373 | 15.7k | if (delta > 0) |
374 | 15.7k | { |
375 | 15.7k | int64_t dx = (int64_t)ex - (int64_t)sx; |
376 | 15.7k | int64_t dy = (int64_t)ey - (int64_t)sy; |
377 | 15.7k | int advance = (int)((dx * delta + (dy>>1)) / dy); |
378 | 15.7k | ex -= advance; |
379 | 15.7k | ey -= delta; |
380 | 15.7k | } |
381 | 15.7k | ex -= sx; |
382 | 15.7k | ey -= sy; |
383 | 15.7k | ih = fixed2int(ey); |
384 | 15.7k | assert(ih >= 0); |
385 | 15.7k | iy = fixed2int(sy) - base_y; |
386 | | #ifdef DEBUG_SCAN_CONVERTER |
387 | | if (debugging_scan_converter) |
388 | | dlprintf2(" iy=%x ih=%x\n", iy, ih); |
389 | | #endif |
390 | 15.7k | assert(iy >= 0 && iy < height); |
391 | | /* We always cross at least one scanline */ |
392 | 15.7k | row = &table[index[iy]]; |
393 | 15.7k | *row = (*row)+1; /* Increment the count */ |
394 | 15.7k | row[*row] = (sx&~1) | dirn; |
395 | 15.7k | if (ih == 0) |
396 | 7.39k | return; |
397 | 8.30k | if (ex >= 0) { |
398 | 1.96k | int x_inc, n_inc, f; |
399 | | |
400 | | /* We want to change sx by ex in ih steps. So each step, we add |
401 | | * ex/ih to sx. That's x_inc + n_inc/ih. |
402 | | */ |
403 | 1.96k | x_inc = ex/ih; |
404 | 1.96k | n_inc = ex-(x_inc*ih); |
405 | 1.96k | f = ih>>1; |
406 | 1.96k | delta = ih; |
407 | 24.3k | do { |
408 | 24.3k | int count; |
409 | 24.3k | iy++; |
410 | 24.3k | sx += x_inc; |
411 | 24.3k | f -= n_inc; |
412 | 24.3k | if (f < 0) { |
413 | 4.91k | f += ih; |
414 | 4.91k | sx++; |
415 | 4.91k | } |
416 | 24.3k | assert(iy >= 0 && iy < height); |
417 | 24.3k | row = &table[index[iy]]; |
418 | 24.3k | count = *row = (*row)+1; /* Increment the count */ |
419 | 24.3k | row[count] = (sx&~1) | dirn; |
420 | 24.3k | } while (--delta); |
421 | 6.33k | } else { |
422 | 6.33k | int x_dec, n_dec, f; |
423 | | |
424 | 6.33k | ex = -ex; |
425 | | /* We want to change sx by ex in ih steps. So each step, we subtract |
426 | | * ex/ih from sx. That's x_dec + n_dec/ih. |
427 | | */ |
428 | 6.33k | x_dec = ex/ih; |
429 | 6.33k | n_dec = ex-(x_dec*ih); |
430 | 6.33k | f = ih>>1; |
431 | 6.33k | delta = ih; |
432 | 121k | do { |
433 | 121k | int count; |
434 | 121k | iy++; |
435 | 121k | sx -= x_dec; |
436 | 121k | f -= n_dec; |
437 | 121k | if (f < 0) { |
438 | 23.3k | f += ih; |
439 | 23.3k | sx--; |
440 | 23.3k | } |
441 | 121k | assert(iy >= 0 && iy < height); |
442 | 121k | row = &table[index[iy]]; |
443 | 121k | count = *row = (*row)+1; /* Increment the count */ |
444 | 121k | row[count] = (sx&~1) | dirn; |
445 | 121k | } while (--delta); |
446 | 6.33k | } |
447 | 8.30k | } |
448 | | |
449 | | static void mark_curve(fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, fixed base_y, fixed height, int *table, int *index, int depth) |
450 | 0 | { |
451 | 0 | fixed ax = (sx + c1x)>>1; |
452 | 0 | fixed ay = (sy + c1y)>>1; |
453 | 0 | fixed bx = (c1x + c2x)>>1; |
454 | 0 | fixed by = (c1y + c2y)>>1; |
455 | 0 | fixed cx = (c2x + ex)>>1; |
456 | 0 | fixed cy = (c2y + ey)>>1; |
457 | 0 | fixed dx = (ax + bx)>>1; |
458 | 0 | fixed dy = (ay + by)>>1; |
459 | 0 | fixed fx = (bx + cx)>>1; |
460 | 0 | fixed fy = (by + cy)>>1; |
461 | 0 | fixed gx = (dx + fx)>>1; |
462 | 0 | fixed gy = (dy + fy)>>1; |
463 | |
|
464 | 0 | assert(depth >= 0); |
465 | 0 | if (depth == 0) |
466 | 0 | mark_line(sx, sy, ex, ey, base_y, height, table, index); |
467 | 0 | else { |
468 | 0 | depth--; |
469 | 0 | mark_curve(sx, sy, ax, ay, dx, dy, gx, gy, base_y, height, table, index, depth); |
470 | 0 | mark_curve(gx, gy, fx, fy, cx, cy, ex, ey, base_y, height, table, index, depth); |
471 | 0 | } |
472 | 0 | } |
473 | | |
474 | | static void mark_curve_big(fixed64 sx, fixed64 sy, fixed64 c1x, fixed64 c1y, fixed64 c2x, fixed64 c2y, fixed64 ex, fixed64 ey, fixed base_y, fixed height, int *table, int *index, int depth) |
475 | 0 | { |
476 | 0 | fixed64 ax = (sx + c1x)>>1; |
477 | 0 | fixed64 ay = (sy + c1y)>>1; |
478 | 0 | fixed64 bx = (c1x + c2x)>>1; |
479 | 0 | fixed64 by = (c1y + c2y)>>1; |
480 | 0 | fixed64 cx = (c2x + ex)>>1; |
481 | 0 | fixed64 cy = (c2y + ey)>>1; |
482 | 0 | fixed64 dx = (ax + bx)>>1; |
483 | 0 | fixed64 dy = (ay + by)>>1; |
484 | 0 | fixed64 fx = (bx + cx)>>1; |
485 | 0 | fixed64 fy = (by + cy)>>1; |
486 | 0 | fixed64 gx = (dx + fx)>>1; |
487 | 0 | fixed64 gy = (dy + fy)>>1; |
488 | |
|
489 | 0 | assert(depth >= 0); |
490 | 0 | if (depth == 0) |
491 | 0 | mark_line((fixed)sx, (fixed)sy, (fixed)ex, (fixed)ey, base_y, height, table, index); |
492 | 0 | else { |
493 | 0 | depth--; |
494 | 0 | mark_curve_big(sx, sy, ax, ay, dx, dy, gx, gy, base_y, height, table, index, depth); |
495 | 0 | mark_curve_big(gx, gy, fx, fy, cx, cy, ex, ey, base_y, height, table, index, depth); |
496 | 0 | } |
497 | 0 | } |
498 | | |
499 | | static void mark_curve_top(fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, fixed base_y, fixed height, int *table, int *index, int depth) |
500 | 0 | { |
501 | 0 | fixed test = (sx^(sx<<1))|(sy^(sy<<1))|(c1x^(c1x<<1))|(c1y^(c1y<<1))|(c2x^(c2x<<1))|(c2y^(c2y<<1))|(ex^(ex<<1))|(ey^(ey<<1)); |
502 | |
|
503 | 0 | if (test < 0) |
504 | 0 | mark_curve_big(sx, sy, c1x, c1y, c2x, c2y, ex, ey, base_y, height, table, index, depth); |
505 | 0 | else |
506 | 0 | mark_curve(sx, sy, c1x, c1y, c2x, c2y, ex, ey, base_y, height, table, index, depth); |
507 | 0 | } |
508 | | |
509 | | static int make_bbox(gx_path * path, |
510 | | const gs_fixed_rect * clip, |
511 | | gs_fixed_rect * bbox, |
512 | | gs_fixed_rect * ibox, |
513 | | fixed adjust) |
514 | 40.4k | { |
515 | 40.4k | int code; |
516 | 40.4k | int ret = 0; |
517 | | |
518 | | /* Find the bbox - fixed */ |
519 | 40.4k | code = gx_path_bbox(path, bbox); |
520 | 40.4k | if (code < 0) |
521 | 0 | return code; |
522 | | |
523 | 40.4k | if (bbox->p.y == bbox->q.y) { |
524 | | /* Zero height path */ |
525 | 1.62k | if (!clip || |
526 | 1.62k | (bbox->p.y >= clip->p.y && bbox->q.y <= clip->q.y)) { |
527 | | /* Either we're not clipping, or we are vertically inside the clip */ |
528 | 1.62k | if (clip) { |
529 | 1.62k | if (bbox->p.x < clip->p.x) |
530 | 1 | bbox->p.x = clip->p.x; |
531 | 1.62k | if (bbox->q.x > clip->q.x) |
532 | 13 | bbox->q.x = clip->q.x; |
533 | 1.62k | } |
534 | 1.62k | if (bbox->p.x <= bbox->q.x) { |
535 | | /* Zero height rectangle, not clipped completely away */ |
536 | 1.62k | ret = 1; |
537 | 1.62k | } |
538 | 1.62k | } |
539 | 1.62k | } |
540 | | |
541 | 40.4k | if (clip) { |
542 | 40.4k | if (bbox->p.y < clip->p.y) |
543 | 14.5k | bbox->p.y = clip->p.y; |
544 | 40.4k | if (bbox->q.y > clip->q.y) |
545 | 15.8k | bbox->q.y = clip->q.y; |
546 | 40.4k | } |
547 | | |
548 | | /* Convert to bbox - int */ |
549 | 40.4k | ibox->p.x = fixed2int(bbox->p.x+adjust-(adjust?1:0)); |
550 | 40.4k | ibox->p.y = fixed2int(bbox->p.y+adjust-(adjust?1:0)); |
551 | 40.4k | ibox->q.x = fixed2int(bbox->q.x-adjust+fixed_1); |
552 | 40.4k | ibox->q.y = fixed2int(bbox->q.y-adjust+fixed_1); |
553 | | |
554 | 40.4k | return ret; |
555 | 40.4k | } |
556 | | |
557 | | static inline int |
558 | | make_table_template(gx_device * pdev, |
559 | | gx_path * path, |
560 | | gs_fixed_rect * ibox, |
561 | | int intersection_size, |
562 | | int adjust, |
563 | | int * scanlinesp, |
564 | | int ** indexp, |
565 | | int ** tablep) |
566 | 40.4k | { |
567 | 40.4k | int scanlines; |
568 | 40.4k | const subpath * gs_restrict psub; |
569 | 40.4k | int * gs_restrict index; |
570 | 40.4k | int * gs_restrict table; |
571 | 40.4k | int i; |
572 | 40.4k | int64_t offset; |
573 | 40.4k | int delta; |
574 | 40.4k | fixed base_y; |
575 | | |
576 | 40.4k | *scanlinesp = 0; |
577 | 40.4k | *indexp = NULL; |
578 | 40.4k | *tablep = NULL; |
579 | | |
580 | 40.4k | if (pdev->max_fill_band != 0) |
581 | 0 | ibox->p.y &= ~(pdev->max_fill_band-1); |
582 | 40.4k | base_y = ibox->p.y; |
583 | | |
584 | | /* Previously we took adjust as a fixed distance to add to miny/maxy |
585 | | * to allow for the expansion due to 'any part of a pixel'. This causes |
586 | | * problems with over/underflow near INT_MAX/INT_MIN, so instead we |
587 | | * take adjust as boolean telling us whether to expand y by 1 or not, and |
588 | | * then adjust the assignments into the index as appropriate. This |
589 | | * solves Bug 697970. */ |
590 | | |
591 | | /* Step 1: Make us a table */ |
592 | 40.4k | scanlines = ibox->q.y-base_y; |
593 | | /* +1+adjust simplifies the loop below */ |
594 | 40.4k | index = (int *)gs_alloc_bytes(pdev->memory, |
595 | 40.4k | (scanlines+1+adjust) * sizeof(*index), |
596 | 40.4k | "scanc index buffer"); |
597 | 40.4k | if (index == NULL) |
598 | 0 | return_error(gs_error_VMerror); |
599 | | |
600 | | /* Step 1 continued: Blank the index */ |
601 | 40.4k | memset(index, 0, (scanlines+1)*sizeof(int)); |
602 | | |
603 | | /* Step 1 continued: Run through the path, filling in the index */ |
604 | 104k | for (psub = path->first_subpath; psub != 0;) { |
605 | 63.6k | const segment * gs_restrict pseg = (const segment *)psub; |
606 | 63.6k | fixed ey = pseg->pt.y; |
607 | 63.6k | fixed iy = ey; |
608 | 63.6k | int iey = fixed2int(iy) - base_y; |
609 | | |
610 | 63.6k | assert(pseg->type == s_start); |
611 | | |
612 | | /* Allow for 2 extra intersections on the start scanline. |
613 | | * This copes with the 'zero height rectangle' case. */ |
614 | 63.6k | if (iey >= 0 && iey < scanlines) |
615 | 33.3k | { |
616 | 33.3k | index[iey] += 2; |
617 | 33.3k | if (iey+1 < scanlines) |
618 | 29.6k | index[iey+1] -= 2; |
619 | 33.3k | } |
620 | | |
621 | 7.37M | while ((pseg = pseg->next) != 0 && |
622 | 7.37M | pseg->type != s_start |
623 | 7.31M | ) { |
624 | 7.31M | fixed sy = ey; |
625 | 7.31M | ey = pseg->pt.y; |
626 | | |
627 | 7.31M | switch (pseg->type) { |
628 | 0 | default: |
629 | 0 | case s_start: /* Should never happen */ |
630 | 0 | case s_dash: /* We should never be seeing a dash here */ |
631 | 0 | assert("This should never happen" == NULL); |
632 | 0 | break; |
633 | 0 | case s_curve: { |
634 | 0 | const curve_segment *const gs_restrict pcur = (const curve_segment *)pseg; |
635 | 0 | fixed c1y = pcur->p1.y; |
636 | 0 | fixed c2y = pcur->p2.y; |
637 | 0 | fixed maxy = sy, miny = sy; |
638 | 0 | int imaxy, iminy; |
639 | 0 | if (miny > c1y) |
640 | 0 | miny = c1y; |
641 | 0 | if (miny > c2y) |
642 | 0 | miny = c2y; |
643 | 0 | if (miny > ey) |
644 | 0 | miny = ey; |
645 | 0 | if (maxy < c1y) |
646 | 0 | maxy = c1y; |
647 | 0 | if (maxy < c2y) |
648 | 0 | maxy = c2y; |
649 | 0 | if (maxy < ey) |
650 | 0 | maxy = ey; |
651 | | #ifdef DEBUG_SCAN_CONVERTER |
652 | | if (debugging_scan_converter) |
653 | | dlprintf2("Curve (%x->%x) ", miny, maxy); |
654 | | #endif |
655 | 0 | iminy = fixed2int(miny) - base_y; |
656 | 0 | if (iminy <= 0) |
657 | 0 | iminy = 0; |
658 | 0 | else |
659 | 0 | iminy -= adjust; |
660 | 0 | if (iminy < scanlines) { |
661 | 0 | imaxy = fixed2int(maxy) - base_y; |
662 | 0 | if (imaxy >= 0) { |
663 | | #ifdef DEBUG_SCAN_CONVERTER |
664 | | if (debugging_scan_converter) |
665 | | dlprintf1("+%x ", iminy); |
666 | | #endif |
667 | 0 | index[iminy]+=3; |
668 | 0 | if (imaxy < scanlines) { |
669 | | #ifdef DEBUG_SCAN_CONVERTER |
670 | | if (debugging_scan_converter) |
671 | | dlprintf1("-%x ", imaxy+1); |
672 | | #endif |
673 | 0 | index[imaxy+1+adjust]-=3; |
674 | 0 | } |
675 | 0 | } |
676 | 0 | } |
677 | | #ifdef DEBUG_SCAN_CONVERTER |
678 | | if (debugging_scan_converter) |
679 | | dlprintf("\n"); |
680 | | #endif |
681 | 0 | break; |
682 | 0 | } |
683 | 0 | case s_gap: |
684 | 7.27M | case s_line: |
685 | 7.31M | case s_line_close: { |
686 | 7.31M | fixed miny, maxy; |
687 | 7.31M | int imaxy, iminy; |
688 | 7.31M | if (sy == ey) { |
689 | | #ifdef DEBUG_SCAN_CONVERTER |
690 | | if (debugging_scan_converter) |
691 | | dlprintf("Line (Horiz)\n"); |
692 | | #endif |
693 | 811k | break; |
694 | 811k | } |
695 | 6.49M | if (sy < ey) |
696 | 3.45M | miny = sy, maxy = ey; |
697 | 3.04M | else |
698 | 3.04M | miny = ey, maxy = sy; |
699 | | #ifdef DEBUG_SCAN_CONVERTER |
700 | | if (debugging_scan_converter) |
701 | | dlprintf2("Line (%x->%x) ", miny, maxy); |
702 | | #endif |
703 | 6.49M | iminy = fixed2int(miny) - base_y; |
704 | 6.49M | if (iminy <= 0) |
705 | 5.23M | iminy = 0; |
706 | 1.26M | else |
707 | 1.26M | iminy -= adjust; |
708 | 6.49M | if (iminy < scanlines) { |
709 | 5.87M | imaxy = fixed2int(maxy) - base_y; |
710 | 5.87M | if (imaxy >= 0) { |
711 | | #ifdef DEBUG_SCAN_CONVERTER |
712 | | if (debugging_scan_converter) |
713 | | dlprintf1("+%x ", iminy); |
714 | | #endif |
715 | 772k | index[iminy]++; |
716 | 772k | if (imaxy < scanlines) { |
717 | | #ifdef DEBUG_SCAN_CONVERTER |
718 | | if (debugging_scan_converter) |
719 | | dlprintf1("-%x ", imaxy+1); |
720 | | #endif |
721 | 732k | index[imaxy+1+adjust]--; |
722 | 732k | } |
723 | 772k | } |
724 | 5.87M | } |
725 | | #ifdef DEBUG_SCAN_CONVERTER |
726 | | if (debugging_scan_converter) |
727 | | dlprintf("\n"); |
728 | | #endif |
729 | 6.49M | break; |
730 | 7.31M | } |
731 | 7.31M | } |
732 | 7.31M | } |
733 | | |
734 | | /* And close any segments that need it */ |
735 | 63.6k | if (ey != iy) { |
736 | 2.21k | fixed miny, maxy; |
737 | 2.21k | int imaxy, iminy; |
738 | 2.21k | if (iy < ey) |
739 | 1.04k | miny = iy, maxy = ey; |
740 | 1.17k | else |
741 | 1.17k | miny = ey, maxy = iy; |
742 | | #ifdef DEBUG_SCAN_CONVERTER |
743 | | if (debugging_scan_converter) |
744 | | dlprintf2("Close (%x->%x) ", miny, maxy); |
745 | | #endif |
746 | 2.21k | iminy = fixed2int(miny) - base_y; |
747 | 2.21k | if (iminy <= 0) |
748 | 1.91k | iminy = 0; |
749 | 307 | else |
750 | 307 | iminy -= adjust; |
751 | 2.21k | if (iminy < scanlines) { |
752 | 1.95k | imaxy = fixed2int(maxy) - base_y; |
753 | 1.95k | if (imaxy >= 0) { |
754 | | #ifdef DEBUG_SCAN_CONVERTER |
755 | | if (debugging_scan_converter) |
756 | | dlprintf1("+%x ", iminy); |
757 | | #endif |
758 | 365 | index[iminy]++; |
759 | 365 | if (imaxy < scanlines) { |
760 | | #ifdef DEBUG_SCAN_CONVERTER |
761 | | if (debugging_scan_converter) |
762 | | dlprintf1("-%x ", imaxy+1); |
763 | | #endif |
764 | 159 | index[imaxy+1+adjust]--; |
765 | 159 | } |
766 | 365 | } |
767 | 1.95k | } |
768 | | #ifdef DEBUG_SCAN_CONVERTER |
769 | | if (debugging_scan_converter) |
770 | | dlprintf("\n"); |
771 | | #endif |
772 | 2.21k | } |
773 | | #ifdef DEBUG_SCAN_CONVERTER |
774 | | if (debugging_scan_converter) |
775 | | dlprintf("\n"); |
776 | | #endif |
777 | 63.6k | psub = (const subpath *)pseg; |
778 | 63.6k | } |
779 | | |
780 | | /* Step 1 continued: index now contains a list of deltas (how the |
781 | | * number of intersects on line x differs from the number on line x-1). |
782 | | * First convert them to be the real number of intersects on that line. |
783 | | * Sum these values to get us the total number of intersects. Then |
784 | | * convert the table to be a list of offsets into the real intersect |
785 | | * buffer. */ |
786 | 40.4k | offset = 0; |
787 | 40.4k | delta = 0; |
788 | 2.17M | for (i=0; i < scanlines+adjust; i++) { |
789 | 2.13M | delta += intersection_size*index[i]; /* delta = Num ints on this scanline. */ |
790 | 2.13M | index[i] = offset; /* Offset into table for this lines data. */ |
791 | 2.13M | offset += delta+1; /* Adjust offset for next line. */ |
792 | 2.13M | } |
793 | | /* Ensure we always have enough room for our zero height rectangle hack. */ |
794 | 40.4k | if (offset < 2*intersection_size) |
795 | 0 | offset += 2*intersection_size; |
796 | 40.4k | offset *= sizeof(*table); |
797 | | |
798 | | /* Try to keep the size to 1Meg. This is enough for the vast majority |
799 | | * of files. Allow us to grow above this if it would mean dropping |
800 | | * the height below a suitably small number (set to be larger than |
801 | | * any max_fill_band we might meet). */ |
802 | 40.4k | if (scanlines > 16 && offset > 1024*1024) { /* Arbitrary */ |
803 | 3 | gs_free_object(pdev->memory, index, "scanc index buffer"); |
804 | 3 | return offset/(1024*1024) + 1; |
805 | 3 | } |
806 | | |
807 | | /* In the case where we have let offset be large, at least make sure |
808 | | * it's not TOO large for us to malloc. */ |
809 | 40.4k | if (offset != (int64_t)(uint)offset) |
810 | 0 | { |
811 | 0 | gs_free_object(pdev->memory, index, "scanc index buffer"); |
812 | 0 | return_error(gs_error_VMerror); |
813 | 0 | } |
814 | | |
815 | | /* End of step 1: index[i] = offset into table 2 for scanline i's |
816 | | * intersection data. offset = Total number of int entries required for |
817 | | * table. */ |
818 | | |
819 | | /* Step 2: Collect the real intersections */ |
820 | 40.4k | table = (int *)gs_alloc_bytes(pdev->memory, offset, |
821 | 40.4k | "scanc intersects buffer"); |
822 | 40.4k | if (table == NULL) { |
823 | 0 | gs_free_object(pdev->memory, index, "scanc index buffer"); |
824 | 0 | return_error(gs_error_VMerror); |
825 | 0 | } |
826 | | |
827 | | /* Step 2 continued: initialise table's data; each scanlines data starts |
828 | | * with a count of the number of intersects so far, followed by a record |
829 | | * of the intersect points on this scanline. */ |
830 | 2.16M | for (i=0; i < scanlines; i++) { |
831 | 2.12M | table[index[i]] = 0; |
832 | 2.12M | } |
833 | | |
834 | 40.4k | *scanlinesp = scanlines; |
835 | 40.4k | *tablep = table; |
836 | 40.4k | *indexp = index; |
837 | | |
838 | 40.4k | return 0; |
839 | 40.4k | } |
840 | | |
841 | | static int make_table(gx_device * pdev, |
842 | | gx_path * path, |
843 | | gs_fixed_rect * ibox, |
844 | | int * scanlines, |
845 | | int ** index, |
846 | | int ** table) |
847 | 1.03k | { |
848 | 1.03k | return make_table_template(pdev, path, ibox, 1, 1, scanlines, index, table); |
849 | 1.03k | } |
850 | | |
851 | | static void |
852 | | fill_zero(int *row, const fixed *x) |
853 | 0 | { |
854 | 0 | int n = *row = (*row)+2; /* Increment the count */ |
855 | 0 | row[n-1] = (x[0]&~1); |
856 | 0 | row[n ] = (x[1]|1); |
857 | 0 | } |
858 | | |
859 | | int gx_scan_convert(gx_device * gs_restrict pdev, |
860 | | gx_path * gs_restrict path, |
861 | | const gs_fixed_rect * gs_restrict clip, |
862 | | gx_edgebuffer * gs_restrict edgebuffer, |
863 | | fixed fixed_flat) |
864 | 1.64k | { |
865 | 1.64k | gs_fixed_rect ibox; |
866 | 1.64k | gs_fixed_rect bbox; |
867 | 1.64k | int scanlines; |
868 | 1.64k | const subpath *psub; |
869 | 1.64k | int *index; |
870 | 1.64k | int *table; |
871 | 1.64k | int i; |
872 | 1.64k | int code; |
873 | 1.64k | int zero; |
874 | | |
875 | 1.64k | edgebuffer->index = NULL; |
876 | 1.64k | edgebuffer->table = NULL; |
877 | | |
878 | | /* Bale out if no actual path. We see this with the clist */ |
879 | 1.64k | if (path->first_subpath == NULL) |
880 | 606 | return 0; |
881 | | |
882 | 1.03k | zero = make_bbox(path, clip, &bbox, &ibox, fixed_half); |
883 | 1.03k | if (zero < 0) |
884 | 0 | return zero; |
885 | | |
886 | 1.03k | if (ibox.q.y <= ibox.p.y) |
887 | 0 | return 0; |
888 | | |
889 | 1.03k | code = make_table(pdev, path, &ibox, &scanlines, &index, &table); |
890 | 1.03k | if (code != 0) /* >0 means "retry with smaller height" */ |
891 | 0 | return code; |
892 | | |
893 | 1.03k | if (scanlines == 0) |
894 | 0 | return 0; |
895 | | |
896 | 1.03k | if (zero) { |
897 | 0 | code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero); |
898 | 1.03k | } else { |
899 | | |
900 | | /* Step 2 continued: Now we run through the path, filling in the real |
901 | | * values. */ |
902 | 3.04k | for (psub = path->first_subpath; psub != 0;) { |
903 | 2.01k | const segment *pseg = (const segment *)psub; |
904 | 2.01k | fixed ex = pseg->pt.x; |
905 | 2.01k | fixed ey = pseg->pt.y; |
906 | 2.01k | fixed ix = ex; |
907 | 2.01k | fixed iy = ey; |
908 | | |
909 | 366k | while ((pseg = pseg->next) != 0 && |
910 | 366k | pseg->type != s_start |
911 | 364k | ) { |
912 | 364k | fixed sx = ex; |
913 | 364k | fixed sy = ey; |
914 | 364k | ex = pseg->pt.x; |
915 | 364k | ey = pseg->pt.y; |
916 | | |
917 | 364k | switch (pseg->type) { |
918 | 0 | default: |
919 | 0 | case s_start: /* Should never happen */ |
920 | 0 | case s_dash: /* We should never be seeing a dash here */ |
921 | 0 | assert("This should never happen" == NULL); |
922 | 0 | break; |
923 | 0 | case s_curve: { |
924 | 0 | const curve_segment *const pcur = (const curve_segment *)pseg; |
925 | 0 | int k = gx_curve_log2_samples(sx, sy, pcur, fixed_flat); |
926 | |
|
927 | 0 | mark_curve_top(sx, sy, pcur->p1.x, pcur->p1.y, pcur->p2.x, pcur->p2.y, ex, ey, ibox.p.y, scanlines, table, index, k); |
928 | 0 | break; |
929 | 0 | } |
930 | 0 | case s_gap: |
931 | 364k | case s_line: |
932 | 364k | case s_line_close: |
933 | 364k | if (sy != ey) |
934 | 362k | mark_line(sx, sy, ex, ey, ibox.p.y, scanlines, table, index); |
935 | 364k | break; |
936 | 364k | } |
937 | 364k | } |
938 | | /* And close any open segments */ |
939 | 2.01k | if (iy != ey) |
940 | 1.60k | mark_line(ex, ey, ix, iy, ibox.p.y, scanlines, table, index); |
941 | 2.01k | psub = (const subpath *)pseg; |
942 | 2.01k | } |
943 | 1.03k | } |
944 | | |
945 | | /* Step 2 complete: We now have a complete list of intersection data in |
946 | | * table, indexed by index. */ |
947 | | |
948 | 1.03k | edgebuffer->base = ibox.p.y; |
949 | 1.03k | edgebuffer->height = scanlines; |
950 | 1.03k | edgebuffer->xmin = ibox.p.x; |
951 | 1.03k | edgebuffer->xmax = ibox.q.x; |
952 | 1.03k | edgebuffer->index = index; |
953 | 1.03k | edgebuffer->table = table; |
954 | | |
955 | | #ifdef DEBUG_SCAN_CONVERTER |
956 | | if (debugging_scan_converter) { |
957 | | dlprintf("Before sorting:\n"); |
958 | | gx_edgebuffer_print(edgebuffer); |
959 | | } |
960 | | #endif |
961 | | |
962 | | /* Step 3: Sort the intersects on x */ |
963 | 42.4k | for (i=0; i < scanlines; i++) { |
964 | 41.4k | int *row = &table[index[i]]; |
965 | 41.4k | int rowlen = *row++; |
966 | | |
967 | | /* Bubblesort short runs, qsort longer ones. */ |
968 | | /* FIXME: Check "6" below */ |
969 | 41.4k | if (rowlen <= 6) { |
970 | 40.2k | int j, k; |
971 | 151k | for (j = 0; j < rowlen-1; j++) { |
972 | 111k | int t = row[j]; |
973 | 334k | for (k = j+1; k < rowlen; k++) { |
974 | 222k | int s = row[k]; |
975 | 222k | if (t > s) |
976 | 141k | row[k] = t, t = row[j] = s; |
977 | 222k | } |
978 | 111k | } |
979 | 40.2k | } else |
980 | 1.13k | qsort(row, rowlen, sizeof(int), intcmp); |
981 | 41.4k | } |
982 | | |
983 | 1.03k | return 0; |
984 | 1.03k | } |
985 | | |
986 | | /* Step 5: Filter the intersections according to the rules */ |
987 | | int |
988 | | gx_filter_edgebuffer(gx_device * gs_restrict pdev, |
989 | | gx_edgebuffer * gs_restrict edgebuffer, |
990 | | int rule) |
991 | 1.64k | { |
992 | 1.64k | int i; |
993 | | |
994 | | #ifdef DEBUG_SCAN_CONVERTER |
995 | | if (debugging_scan_converter) { |
996 | | dlprintf("Before filtering:\n"); |
997 | | gx_edgebuffer_print(edgebuffer); |
998 | | } |
999 | | #endif |
1000 | | |
1001 | 43.0k | for (i=0; i < edgebuffer->height; i++) { |
1002 | 41.4k | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
1003 | 41.4k | int *rowstart = row; |
1004 | 41.4k | int rowlen = *row++; |
1005 | 41.4k | int *rowout = row; |
1006 | | |
1007 | 119k | while (rowlen > 0) |
1008 | 77.9k | { |
1009 | 77.9k | int left, right; |
1010 | | |
1011 | 77.9k | if (rule == gx_rule_even_odd) { |
1012 | | /* Even Odd */ |
1013 | 0 | left = (*row++)&~1; |
1014 | 0 | right = (*row++)&~1; |
1015 | 0 | rowlen -= 2; |
1016 | 77.9k | } else { |
1017 | | /* Non-Zero */ |
1018 | 77.9k | int w; |
1019 | | |
1020 | 77.9k | left = *row++; |
1021 | 77.9k | w = ((left&1)-1) | (left&1); |
1022 | 77.9k | rowlen--; |
1023 | 83.4k | do { |
1024 | 83.4k | right = *row++; |
1025 | 83.4k | rowlen--; |
1026 | 83.4k | w += ((right&1)-1) | (right&1); |
1027 | 83.4k | } while (w != 0); |
1028 | 77.9k | left &= ~1; |
1029 | 77.9k | right &= ~1; |
1030 | 77.9k | } |
1031 | | |
1032 | 77.9k | if (right > left) { |
1033 | 77.9k | *rowout++ = left; |
1034 | 77.9k | *rowout++ = right; |
1035 | 77.9k | } |
1036 | 77.9k | } |
1037 | 41.4k | *rowstart = (rowout-rowstart)-1; |
1038 | 41.4k | } |
1039 | 1.64k | return 0; |
1040 | 1.64k | } |
1041 | | |
1042 | | /* Step 6: Fill the edgebuffer */ |
1043 | | int |
1044 | | gx_fill_edgebuffer(gx_device * gs_restrict pdev, |
1045 | | const gx_device_color * gs_restrict pdevc, |
1046 | | gx_edgebuffer * gs_restrict edgebuffer, |
1047 | | int log_op) |
1048 | 1.64k | { |
1049 | 1.64k | int i, code; |
1050 | | |
1051 | 43.0k | for (i=0; i < edgebuffer->height; i++) { |
1052 | 41.4k | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
1053 | 41.4k | int rowlen = *row++; |
1054 | | |
1055 | 119k | while (rowlen > 0) { |
1056 | 77.9k | int left, right; |
1057 | | |
1058 | 77.9k | left = *row++; |
1059 | 77.9k | right = *row++; |
1060 | 77.9k | rowlen -= 2; |
1061 | 77.9k | left = fixed2int(left + fixed_half); |
1062 | 77.9k | right = fixed2int(right + fixed_half); |
1063 | 77.9k | right -= left; |
1064 | 77.9k | if (right > 0) { |
1065 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
1066 | | dlprintf("0.001 setlinewidth 1 0.5 0 setrgbcolor %% orange %%PS\n"); |
1067 | | coord("moveto", int2fixed(left), int2fixed(edgebuffer->base+i)); |
1068 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+i)); |
1069 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+i+1)); |
1070 | | coord("lineto", int2fixed(left), int2fixed(edgebuffer->base+i+1)); |
1071 | | dlprintf("closepath stroke %%PS\n"); |
1072 | | #endif |
1073 | 77.5k | if (log_op < 0) |
1074 | 0 | code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure); |
1075 | 77.5k | else |
1076 | 77.5k | code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op); |
1077 | 77.5k | if (code < 0) |
1078 | 0 | return code; |
1079 | 77.5k | } |
1080 | 77.9k | } |
1081 | 41.4k | } |
1082 | 1.64k | return 0; |
1083 | 1.64k | } |
1084 | | |
1085 | | /* Any part of a pixel routines */ |
1086 | | |
1087 | | static int edgecmp(const void *a, const void *b) |
1088 | 1.15k | { |
1089 | 1.15k | int left = ((int*)a)[0]; |
1090 | 1.15k | int right = ((int*)b)[0]; |
1091 | 1.15k | left -= right; |
1092 | 1.15k | if (left) |
1093 | 1.14k | return left; |
1094 | 8 | return ((int*)a)[1] - ((int*)b)[1]; |
1095 | 1.15k | } |
1096 | | |
1097 | | #ifdef DEBUG_SCAN_CONVERTER |
1098 | | static void |
1099 | | gx_edgebuffer_print_app(gx_edgebuffer * edgebuffer) |
1100 | | { |
1101 | | int i; |
1102 | | int borked = 0; |
1103 | | |
1104 | | if (!debugging_scan_converter) |
1105 | | return; |
1106 | | |
1107 | | dlprintf1("Edgebuffer %x\n", edgebuffer); |
1108 | | dlprintf4("xmin=%x xmax=%x base=%x height=%x\n", |
1109 | | edgebuffer->xmin, edgebuffer->xmax, edgebuffer->base, edgebuffer->height); |
1110 | | for (i=0; i < edgebuffer->height; i++) { |
1111 | | int offset = edgebuffer->index[i]; |
1112 | | int *row = &edgebuffer->table[offset]; |
1113 | | int count = *row++; |
1114 | | int c = count; |
1115 | | int wind = 0; |
1116 | | dlprintf3("%x @ %d: %d =", i, offset, count); |
1117 | | while (count-- > 0) { |
1118 | | int left = *row++; |
1119 | | int right = *row++; |
1120 | | int w = -(left&1) | 1; |
1121 | | wind += w; |
1122 | | dlprintf3(" (%x,%x)%c", left&~1, right, left&1 ? 'v' : '^'); |
1123 | | } |
1124 | | if (wind != 0 || c & 1) { |
1125 | | dlprintf(" <- BROKEN"); |
1126 | | borked = 1; |
1127 | | } |
1128 | | dlprintf("\n"); |
1129 | | } |
1130 | | if (borked) { |
1131 | | borked = borked; /* Breakpoint here */ |
1132 | | } |
1133 | | } |
1134 | | #endif |
1135 | | |
1136 | | typedef struct |
1137 | | { |
1138 | | fixed left; |
1139 | | fixed right; |
1140 | | fixed y; |
1141 | | signed char d; /* 0 up (or horiz), 1 down, -1 uninited */ |
1142 | | unsigned char first; |
1143 | | unsigned char saved; |
1144 | | |
1145 | | fixed save_left; |
1146 | | fixed save_right; |
1147 | | int save_iy; |
1148 | | int save_d; |
1149 | | |
1150 | | int scanlines; |
1151 | | int *table; |
1152 | | int *index; |
1153 | | int base; |
1154 | | } cursor; |
1155 | | |
1156 | | static inline void |
1157 | | cursor_output(cursor * gs_restrict cr, int iy) |
1158 | 1.85k | { |
1159 | 1.85k | int *row; |
1160 | 1.85k | int count; |
1161 | | |
1162 | 1.85k | if (iy >= 0 && iy < cr->scanlines) { |
1163 | 1.62k | if (cr->first) { |
1164 | | /* Save it for later in case we join up */ |
1165 | 25 | cr->save_left = cr->left; |
1166 | 25 | cr->save_right = cr->right; |
1167 | 25 | cr->save_iy = iy; |
1168 | 25 | cr->save_d = cr->d; |
1169 | 25 | cr->saved = 1; |
1170 | 1.59k | } else if (cr->d != DIRN_UNSET) { |
1171 | | /* Enter it into the table */ |
1172 | 1.58k | row = &cr->table[cr->index[iy]]; |
1173 | 1.58k | *row = count = (*row)+1; /* Increment the count */ |
1174 | 1.58k | row[2 * count - 1] = (cr->left&~1) | cr->d; |
1175 | 1.58k | row[2 * count ] = cr->right; |
1176 | 1.58k | } else { |
1177 | 13 | assert(cr->left == max_fixed && cr->right == min_fixed); |
1178 | 13 | } |
1179 | 1.62k | } |
1180 | 1.85k | cr->first = 0; |
1181 | 1.85k | } |
1182 | | |
1183 | | static inline void |
1184 | | cursor_output_inrange(cursor * gs_restrict cr, int iy) |
1185 | 1.98k | { |
1186 | 1.98k | int *row; |
1187 | 1.98k | int count; |
1188 | | |
1189 | 1.98k | assert(iy >= 0 && iy < cr->scanlines); |
1190 | 1.98k | if (cr->first) { |
1191 | | /* Save it for later in case we join up */ |
1192 | 19 | cr->save_left = cr->left; |
1193 | 19 | cr->save_right = cr->right; |
1194 | 19 | cr->save_iy = iy; |
1195 | 19 | cr->save_d = cr->d; |
1196 | 19 | cr->saved = 1; |
1197 | 1.96k | } else { |
1198 | | /* Enter it into the table */ |
1199 | 1.96k | assert(cr->d != DIRN_UNSET); |
1200 | | |
1201 | 1.96k | row = &cr->table[cr->index[iy]]; |
1202 | 1.96k | *row = count = (*row)+1; /* Increment the count */ |
1203 | 1.96k | row[2 * count - 1] = (cr->left&~1) | cr->d; |
1204 | 1.96k | row[2 * count ] = cr->right; |
1205 | 1.96k | } |
1206 | 1.98k | cr->first = 0; |
1207 | 1.98k | } |
1208 | | |
1209 | | /* Step the cursor in y, allowing for maybe crossing a scanline */ |
1210 | | static inline void |
1211 | | cursor_step(cursor * gs_restrict cr, fixed dy, fixed x, int skip) |
1212 | 65 | { |
1213 | 65 | int new_iy; |
1214 | 65 | int iy = fixed2int(cr->y) - cr->base; |
1215 | | |
1216 | 65 | cr->y += dy; |
1217 | 65 | new_iy = fixed2int(cr->y) - cr->base; |
1218 | 65 | if (new_iy != iy) { |
1219 | 65 | if (!skip) |
1220 | 65 | cursor_output(cr, iy); |
1221 | 65 | cr->left = x; |
1222 | 65 | cr->right = x; |
1223 | 65 | } else { |
1224 | 0 | if (x < cr->left) |
1225 | 0 | cr->left = x; |
1226 | 0 | if (x > cr->right) |
1227 | 0 | cr->right = x; |
1228 | 0 | } |
1229 | 65 | } |
1230 | | |
1231 | | /* Step the cursor in y, never by enough to cross a scanline. */ |
1232 | | static inline void |
1233 | | cursor_never_step_vertical(cursor * gs_restrict cr, fixed dy, fixed x) |
1234 | 2 | { |
1235 | 2 | assert(fixed2int(cr->y+dy) == fixed2int(cr->y)); |
1236 | | |
1237 | 2 | cr->y += dy; |
1238 | 2 | } |
1239 | | |
1240 | | /* Step the cursor in y, never by enough to cross a scanline, |
1241 | | * knowing that we are moving left, and that the right edge |
1242 | | * has already been accounted for. */ |
1243 | | static inline void |
1244 | | cursor_never_step_left(cursor * gs_restrict cr, fixed dy, fixed x) |
1245 | 14 | { |
1246 | 14 | assert(fixed2int(cr->y+dy) == fixed2int(cr->y)); |
1247 | | |
1248 | 14 | if (x < cr->left) |
1249 | 14 | cr->left = x; |
1250 | 14 | cr->y += dy; |
1251 | 14 | } |
1252 | | |
1253 | | /* Step the cursor in y, never by enough to cross a scanline, |
1254 | | * knowing that we are moving right, and that the left edge |
1255 | | * has already been accounted for. */ |
1256 | | static inline void |
1257 | | cursor_never_step_right(cursor * gs_restrict cr, fixed dy, fixed x) |
1258 | 15 | { |
1259 | 15 | assert(fixed2int(cr->y+dy) == fixed2int(cr->y)); |
1260 | | |
1261 | 15 | if (x > cr->right) |
1262 | 15 | cr->right = x; |
1263 | 15 | cr->y += dy; |
1264 | 15 | } |
1265 | | |
1266 | | /* Step the cursor in y, always by enough to cross a scanline. */ |
1267 | | static inline void |
1268 | | cursor_always_step(cursor * gs_restrict cr, fixed dy, fixed x, int skip) |
1269 | 443 | { |
1270 | 443 | int iy = fixed2int(cr->y) - cr->base; |
1271 | | |
1272 | 443 | if (!skip) |
1273 | 241 | cursor_output(cr, iy); |
1274 | 443 | cr->y += dy; |
1275 | 443 | cr->left = x; |
1276 | 443 | cr->right = x; |
1277 | 443 | } |
1278 | | |
1279 | | /* Step the cursor in y, always by enough to cross a scanline, as |
1280 | | * part of a vertical line, knowing that we are moving from a |
1281 | | * position guaranteed to be in the valid y range. */ |
1282 | | static inline void |
1283 | | cursor_always_step_inrange_vertical(cursor * gs_restrict cr, fixed dy, fixed x) |
1284 | 1.25k | { |
1285 | 1.25k | int iy = fixed2int(cr->y) - cr->base; |
1286 | | |
1287 | 1.25k | cursor_output(cr, iy); |
1288 | 1.25k | cr->y += dy; |
1289 | 1.25k | } |
1290 | | |
1291 | | /* Step the cursor in y, always by enough to cross a scanline, as |
1292 | | * part of a left moving line, knowing that we are moving from a |
1293 | | * position guaranteed to be in the valid y range. */ |
1294 | | static inline void |
1295 | | cursor_always_inrange_step_left(cursor * gs_restrict cr, fixed dy, fixed x) |
1296 | 1.07k | { |
1297 | 1.07k | int iy = fixed2int(cr->y) - cr->base; |
1298 | | |
1299 | 1.07k | cr->y += dy; |
1300 | 1.07k | cursor_output_inrange(cr, iy); |
1301 | 1.07k | cr->right = x; |
1302 | 1.07k | } |
1303 | | |
1304 | | /* Step the cursor in y, always by enough to cross a scanline, as |
1305 | | * part of a right moving line, knowing that we are moving from a |
1306 | | * position guaranteed to be in the valid y range. */ |
1307 | | static inline void |
1308 | | cursor_always_inrange_step_right(cursor * gs_restrict cr, fixed dy, fixed x) |
1309 | 915 | { |
1310 | 915 | int iy = fixed2int(cr->y) - cr->base; |
1311 | | |
1312 | 915 | cr->y += dy; |
1313 | 915 | cursor_output_inrange(cr, iy); |
1314 | 915 | cr->left = x; |
1315 | 915 | } |
1316 | | |
1317 | | static inline void cursor_init(cursor * gs_restrict cr, fixed y, fixed x) |
1318 | 0 | { |
1319 | 0 | assert(y >= int2fixed(cr->base) && y <= int2fixed(cr->base + cr->scanlines)); |
1320 | 0 |
|
1321 | 0 | cr->y = y; |
1322 | 0 | cr->left = x; |
1323 | 0 | cr->right = x; |
1324 | 0 | cr->d = DIRN_UNSET; |
1325 | 0 | } |
1326 | | |
1327 | | static inline void cursor_left_merge(cursor * gs_restrict cr, fixed x) |
1328 | 591 | { |
1329 | 591 | if (x < cr->left) |
1330 | 497 | cr->left = x; |
1331 | 591 | } |
1332 | | |
1333 | | static inline void cursor_left(cursor * gs_restrict cr, fixed x) |
1334 | 1.19k | { |
1335 | 1.19k | cr->left = x; |
1336 | 1.19k | } |
1337 | | |
1338 | | static inline void cursor_right_merge(cursor * gs_restrict cr, fixed x) |
1339 | 606 | { |
1340 | 606 | if (x > cr->right) |
1341 | 474 | cr->right = x; |
1342 | 606 | } |
1343 | | |
1344 | | static inline void cursor_right(cursor * gs_restrict cr, fixed x) |
1345 | 1.00k | { |
1346 | 1.00k | cr->right = x; |
1347 | 1.00k | } |
1348 | | |
1349 | | static inline int cursor_down(cursor * gs_restrict cr, fixed x) |
1350 | 241 | { |
1351 | 241 | int skip = 0; |
1352 | 241 | if ((cr->y & 0xff) == 0) |
1353 | 205 | skip = 1; |
1354 | 241 | if (cr->d == DIRN_UP) |
1355 | 2 | { |
1356 | 2 | if (!skip) |
1357 | 2 | cursor_output(cr, fixed2int(cr->y) - cr->base); |
1358 | 2 | cr->left = x; |
1359 | 2 | cr->right = x; |
1360 | 2 | } |
1361 | 241 | cr->d = DIRN_DOWN; |
1362 | 241 | return skip; |
1363 | 241 | } |
1364 | | |
1365 | | static inline void cursor_up(cursor * gs_restrict cr, fixed x) |
1366 | 246 | { |
1367 | 246 | if (cr->d == DIRN_DOWN) |
1368 | 1 | { |
1369 | 1 | cursor_output(cr, fixed2int(cr->y) - cr->base); |
1370 | 1 | cr->left = x; |
1371 | 1 | cr->right = x; |
1372 | 1 | } |
1373 | 246 | cr->d = DIRN_UP; |
1374 | 246 | } |
1375 | | |
1376 | | static inline void |
1377 | | cursor_flush(cursor * gs_restrict cr, fixed x) |
1378 | 245 | { |
1379 | 245 | int iy; |
1380 | | |
1381 | | /* This should only happen if we were entirely out of bounds, |
1382 | | * or if everything was within a zero height horizontal |
1383 | | * rectangle from the start point. */ |
1384 | 245 | if (cr->first) { |
1385 | 0 | int iy = fixed2int(cr->y) - cr->base; |
1386 | | /* Any zero height rectangle counts as filled, except |
1387 | | * those on the baseline of a pixel. */ |
1388 | 0 | if (cr->d == DIRN_UNSET && (cr->y & 0xff) == 0) |
1389 | 0 | return; |
1390 | 0 | assert(cr->left != max_fixed && cr->right != min_fixed); |
1391 | 0 | if (iy >= 0 && iy < cr->scanlines) { |
1392 | 0 | int *row = &cr->table[cr->index[iy]]; |
1393 | 0 | int count = *row = (*row)+2; /* Increment the count */ |
1394 | 0 | row[2 * count - 3] = (cr->left & ~1) | DIRN_UP; |
1395 | 0 | row[2 * count - 2] = (cr->right & ~1); |
1396 | 0 | row[2 * count - 1] = (cr->right & ~1) | DIRN_DOWN; |
1397 | 0 | row[2 * count ] = cr->right; |
1398 | 0 | } |
1399 | 0 | return; |
1400 | 0 | } |
1401 | | |
1402 | | /* Merge save into current if we can */ |
1403 | 245 | iy = fixed2int(cr->y) - cr->base; |
1404 | 245 | if (cr->saved && iy == cr->save_iy && |
1405 | 245 | (cr->d == cr->save_d || cr->save_d == DIRN_UNSET)) { |
1406 | 1 | if (cr->left > cr->save_left) |
1407 | 0 | cr->left = cr->save_left; |
1408 | 1 | if (cr->right < cr->save_right) |
1409 | 0 | cr->right = cr->save_right; |
1410 | 1 | cursor_output(cr, iy); |
1411 | 1 | return; |
1412 | 1 | } |
1413 | | |
1414 | | /* Merge not possible */ |
1415 | 244 | cursor_output(cr, iy); |
1416 | 244 | if (cr->saved) { |
1417 | 43 | cr->left = cr->save_left; |
1418 | 43 | cr->right = cr->save_right; |
1419 | 43 | assert(cr->save_d != DIRN_UNSET); |
1420 | 43 | if (cr->save_d != DIRN_UNSET) |
1421 | 43 | cr->d = cr->save_d; |
1422 | 43 | cursor_output(cr, cr->save_iy); |
1423 | 43 | } |
1424 | 244 | } |
1425 | | |
1426 | | static inline void |
1427 | | cursor_null(cursor *cr) |
1428 | 812 | { |
1429 | 812 | cr->right = min_fixed; |
1430 | 812 | cr->left = max_fixed; |
1431 | 812 | cr->d = DIRN_UNSET; |
1432 | 812 | } |
1433 | | |
1434 | | static void mark_line_app(cursor * gs_restrict cr, fixed sx, fixed sy, fixed ex, fixed ey) |
1435 | 3.85k | { |
1436 | 3.85k | int isy, iey; |
1437 | 3.85k | fixed saved_sy = sy; |
1438 | 3.85k | fixed saved_ex = ex; |
1439 | 3.85k | fixed saved_ey = ey; |
1440 | 3.85k | int truncated; |
1441 | | |
1442 | 3.85k | if (sx == ex && sy == ey) |
1443 | 297 | return; |
1444 | | |
1445 | 3.55k | isy = fixed2int(sy) - cr->base; |
1446 | 3.55k | iey = fixed2int(ey) - cr->base; |
1447 | | #ifdef DEBUG_SCAN_CONVERTER |
1448 | | if (debugging_scan_converter) |
1449 | | dlprintf6("Marking line (app) from %x,%x to %x,%x (%x,%x)\n", sx, sy, ex, ey, isy, iey); |
1450 | | #endif |
1451 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
1452 | | dlprintf("0.001 setlinewidth 0 0 0 setrgbcolor %%PS\n"); |
1453 | | coord("moveto", sx, sy); |
1454 | | coord("lineto", ex, ey); |
1455 | | dlprintf("stroke %%PS\n"); |
1456 | | #endif |
1457 | | |
1458 | | /* Horizontal motion at the bottom of a pixel is ignored */ |
1459 | 3.55k | if (sy == ey && (sy & 0xff) == 0) |
1460 | 67 | return; |
1461 | | |
1462 | 3.49k | assert(cr->y == sy && |
1463 | 3.49k | ((cr->left <= sx && cr->right >= sx) || ((sy & 0xff) == 0)) && |
1464 | 3.49k | cr->d >= DIRN_UNSET && cr->d <= DIRN_DOWN); |
1465 | | |
1466 | 3.49k | if (isy < iey) { |
1467 | | /* Rising line */ |
1468 | 1.38k | if (iey < 0 || isy >= cr->scanlines) { |
1469 | | /* All line is outside. */ |
1470 | 1.14k | if ((ey & 0xff) == 0) |
1471 | 7 | cursor_null(cr); |
1472 | 1.13k | else { |
1473 | 1.13k | cr->left = ex; |
1474 | 1.13k | cr->right = ex; |
1475 | 1.13k | } |
1476 | 1.14k | cr->y = ey; |
1477 | 1.14k | cr->first = 0; |
1478 | 1.14k | return; |
1479 | 1.14k | } |
1480 | 241 | if (isy < 0) { |
1481 | | /* Move sy up */ |
1482 | 176 | int64_t y = (int64_t)ey - (int64_t)sy; |
1483 | 176 | fixed new_sy = int2fixed(cr->base); |
1484 | 176 | int64_t dy = (int64_t)new_sy - (int64_t)sy; |
1485 | 176 | sx += (int)((((int64_t)(ex-sx))*dy + y/2)/y); |
1486 | 176 | sy = new_sy; |
1487 | 176 | cursor_null(cr); |
1488 | 176 | cr->y = sy; |
1489 | 176 | isy = 0; |
1490 | 176 | } |
1491 | 241 | truncated = iey > cr->scanlines; |
1492 | 241 | if (truncated) { |
1493 | | /* Move ey down */ |
1494 | 202 | int64_t y = ey - sy; |
1495 | 202 | fixed new_ey = int2fixed(cr->base + cr->scanlines); |
1496 | 202 | int64_t dy = (int64_t)ey - (int64_t)new_ey; |
1497 | 202 | saved_ex = ex; |
1498 | 202 | saved_ey = ey; |
1499 | 202 | ex -= (int)((((int64_t)(ex-sx))*dy + y/2)/y); |
1500 | 202 | ey = new_ey; |
1501 | 202 | iey = cr->scanlines; |
1502 | 202 | } |
1503 | 2.10k | } else { |
1504 | | /* Falling line */ |
1505 | 2.10k | if (isy < 0 || iey >= cr->scanlines) { |
1506 | | /* All line is outside. */ |
1507 | 1.85k | if ((ey & 0xff) == 0) |
1508 | 16 | cursor_null(cr); |
1509 | 1.84k | else { |
1510 | 1.84k | cr->left = ex; |
1511 | 1.84k | cr->right = ex; |
1512 | 1.84k | } |
1513 | 1.85k | cr->y = ey; |
1514 | 1.85k | cr->first = 0; |
1515 | 1.85k | return; |
1516 | 1.85k | } |
1517 | 252 | truncated = iey < 0; |
1518 | 252 | if (truncated) { |
1519 | | /* Move ey up */ |
1520 | 176 | int64_t y = (int64_t)ey - (int64_t)sy; |
1521 | 176 | fixed new_ey = int2fixed(cr->base); |
1522 | 176 | int64_t dy = (int64_t)ey - (int64_t)new_ey; |
1523 | 176 | ex -= (int)((((int64_t)(ex-sx))*dy + y/2)/y); |
1524 | 176 | ey = new_ey; |
1525 | 176 | iey = 0; |
1526 | 176 | } |
1527 | 252 | if (isy >= cr->scanlines) { |
1528 | | /* Move sy down */ |
1529 | 202 | int64_t y = (int64_t)ey - (int64_t)sy; |
1530 | 202 | fixed new_sy = int2fixed(cr->base + cr->scanlines); |
1531 | 202 | int64_t dy = (int64_t)new_sy - (int64_t)sy; |
1532 | 202 | sx += (int)((((int64_t)(ex-sx))*dy + y/2)/y); |
1533 | 202 | sy = new_sy; |
1534 | 202 | cursor_null(cr); |
1535 | 202 | cr->y = sy; |
1536 | 202 | isy = cr->scanlines; |
1537 | 202 | } |
1538 | 252 | } |
1539 | | |
1540 | 493 | cursor_left_merge(cr, sx); |
1541 | 493 | cursor_right_merge(cr, sx); |
1542 | | |
1543 | 493 | assert(cr->left <= sx); |
1544 | 493 | assert(cr->right >= sx); |
1545 | 493 | assert(cr->y == sy); |
1546 | | |
1547 | | /* A note: The code below used to be of the form: |
1548 | | * if (isy == iey) ... deal with horizontal lines |
1549 | | * else if (ey > sy) { |
1550 | | * fixed y_steps = ey - sy; |
1551 | | * ... deal with rising lines ... |
1552 | | * } else { |
1553 | | * fixed y_steps = ey - sy; |
1554 | | * ... deal with falling lines |
1555 | | * } |
1556 | | * but that lead to problems, for instance, an example seen |
1557 | | * has sx=2aa8e, sy=8aee7, ex=7ffc1686, ey=8003e97a. |
1558 | | * Thus isy=84f, iey=ff80038a. We can see that ey < sy, but |
1559 | | * sy - ey < 0! |
1560 | | * We therefore rejig our code so that the choice between |
1561 | | * cases is done based on the sign of y_steps rather than |
1562 | | * the relative size of ey and sy. |
1563 | | */ |
1564 | | |
1565 | | /* First, deal with lines that don't change scanline. |
1566 | | * This accommodates horizontal lines. */ |
1567 | 493 | if (isy == iey) { |
1568 | 24 | if (saved_sy == saved_ey) { |
1569 | | /* Horizontal line. Don't change cr->d, don't flush. */ |
1570 | 6 | if ((ey & 0xff) == 0) |
1571 | 0 | goto no_merge; |
1572 | 18 | } else if (saved_sy > saved_ey) { |
1573 | | /* Falling line, flush if previous was rising */ |
1574 | 8 | int skip = cursor_down(cr, sx); |
1575 | 8 | if ((ey & 0xff) == 0) { |
1576 | | /* We are falling to the baseline of a subpixel, so output |
1577 | | * for the current pixel, and leave the cursor nulled. */ |
1578 | 3 | if (sx <= ex) { |
1579 | 3 | cursor_right_merge(cr, ex); |
1580 | 3 | } else { |
1581 | 0 | cursor_left_merge(cr, ex); |
1582 | 0 | } |
1583 | 3 | if (!skip) |
1584 | 0 | cursor_output(cr, fixed2int(cr->y) - cr->base); |
1585 | 3 | cursor_null(cr); |
1586 | 3 | goto no_merge; |
1587 | 3 | } |
1588 | 10 | } else { |
1589 | | /* Rising line, flush if previous was falling */ |
1590 | 10 | cursor_up(cr, sx); |
1591 | 10 | if ((ey & 0xff) == 0) { |
1592 | 3 | cursor_null(cr); |
1593 | 3 | goto no_merge; |
1594 | 3 | } |
1595 | 10 | } |
1596 | 18 | if (sx <= ex) { |
1597 | 9 | cursor_right_merge(cr, ex); |
1598 | 9 | } else { |
1599 | 9 | cursor_left_merge(cr, ex); |
1600 | 9 | } |
1601 | 24 | no_merge: |
1602 | 24 | cr->y = ey; |
1603 | 24 | if (sy > saved_ey) |
1604 | 8 | goto endFalling; |
1605 | 469 | } else if (iey > isy) { |
1606 | | /* We want to change from sy to ey, which are guaranteed to be on |
1607 | | * different scanlines. We do this in 3 phases. |
1608 | | * Phase 1 gets us from sy to the next scanline boundary. |
1609 | | * Phase 2 gets us all the way to the last scanline boundary. |
1610 | | * Phase 3 gets us from the last scanline boundary to ey. |
1611 | | */ |
1612 | | /* We want to change from sy to ey, which are guaranteed to be on |
1613 | | * different scanlines. We do this in 3 phases. |
1614 | | * Phase 1 gets us from sy to the next scanline boundary. (We may exit after phase 1). |
1615 | | * Phase 2 gets us all the way to the last scanline boundary. (This may be a null operation) |
1616 | | * Phase 3 gets us from the last scanline boundary to ey. (We are guaranteed to have output the cursor at least once before phase 3). |
1617 | | */ |
1618 | 236 | int phase1_y_steps = (-sy) & (fixed_1 - 1); |
1619 | 236 | int phase3_y_steps = ey & (fixed_1 - 1); |
1620 | 236 | ufixed y_steps = (ufixed)ey - (ufixed)sy; |
1621 | | |
1622 | 236 | cursor_up(cr, sx); |
1623 | | |
1624 | 236 | if (sx == ex) { |
1625 | | /* Vertical line. (Rising) */ |
1626 | | |
1627 | | /* Phase 1: */ |
1628 | 67 | if (phase1_y_steps) { |
1629 | | /* If phase 1 will move us into a new scanline, then we must |
1630 | | * flush it before we move. */ |
1631 | 2 | cursor_step(cr, phase1_y_steps, sx, 0); |
1632 | 2 | sy += phase1_y_steps; |
1633 | 2 | y_steps -= phase1_y_steps; |
1634 | 2 | if (y_steps == 0) { |
1635 | 0 | cursor_null(cr); |
1636 | 0 | goto end; |
1637 | 0 | } |
1638 | 2 | } |
1639 | | |
1640 | | /* Phase 3: precalculation */ |
1641 | 67 | y_steps -= phase3_y_steps; |
1642 | | |
1643 | | /* Phase 2: */ |
1644 | 67 | y_steps = fixed2int(y_steps); |
1645 | 67 | assert(y_steps >= 0); |
1646 | 67 | if (y_steps > 0) { |
1647 | 66 | cursor_always_step(cr, fixed_1, sx, 0); |
1648 | 66 | y_steps--; |
1649 | 625 | while (y_steps) { |
1650 | 559 | cursor_always_step_inrange_vertical(cr, fixed_1, sx); |
1651 | 559 | y_steps--; |
1652 | 559 | } |
1653 | 66 | } |
1654 | | |
1655 | | /* Phase 3 */ |
1656 | 67 | assert(cr->left == sx && cr->right == sx); |
1657 | 67 | if (phase3_y_steps == 0) |
1658 | 65 | cursor_null(cr); |
1659 | 2 | else |
1660 | 2 | cr->y += phase3_y_steps; |
1661 | 169 | } else if (sx < ex) { |
1662 | | /* Lines increasing in x. (Rightwards, rising) */ |
1663 | 88 | int phase1_x_steps, phase3_x_steps; |
1664 | 88 | fixed x_steps = ex - sx; |
1665 | | |
1666 | | /* Phase 1: */ |
1667 | 88 | if (phase1_y_steps) { |
1668 | 19 | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
1669 | 19 | sx += phase1_x_steps; |
1670 | 19 | cursor_right_merge(cr, sx); |
1671 | 19 | x_steps -= phase1_x_steps; |
1672 | 19 | cursor_step(cr, phase1_y_steps, sx, 0); |
1673 | 19 | sy += phase1_y_steps; |
1674 | 19 | y_steps -= phase1_y_steps; |
1675 | 19 | if (y_steps == 0) { |
1676 | 0 | cursor_null(cr); |
1677 | 0 | goto end; |
1678 | 0 | } |
1679 | 19 | } |
1680 | | |
1681 | | /* Phase 3: precalculation */ |
1682 | 88 | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
1683 | 88 | x_steps -= phase3_x_steps; |
1684 | 88 | y_steps -= phase3_y_steps; |
1685 | 88 | assert((y_steps & (fixed_1 - 1)) == 0); |
1686 | | |
1687 | | /* Phase 2: */ |
1688 | 88 | y_steps = fixed2int(y_steps); |
1689 | 88 | assert(y_steps >= 0); |
1690 | 88 | if (y_steps) { |
1691 | | /* We want to change sx by x_steps in y_steps steps. |
1692 | | * So each step, we add x_steps/y_steps to sx. That's x_inc + n_inc/y_steps. */ |
1693 | 82 | int x_inc = x_steps/y_steps; |
1694 | 82 | int n_inc = x_steps - (x_inc * y_steps); |
1695 | 82 | int f = y_steps/2; |
1696 | 82 | int d = y_steps; |
1697 | | |
1698 | | /* Special casing the first iteration, allows us to simplify |
1699 | | * the following loop. */ |
1700 | 82 | sx += x_inc; |
1701 | 82 | f -= n_inc; |
1702 | 82 | if (f < 0) |
1703 | 12 | f += d, sx++; |
1704 | 82 | cursor_right_merge(cr, sx); |
1705 | 82 | cursor_always_step(cr, fixed_1, sx, 0); |
1706 | 82 | y_steps--; |
1707 | | |
1708 | 598 | while (y_steps) { |
1709 | 516 | sx += x_inc; |
1710 | 516 | f -= n_inc; |
1711 | 516 | if (f < 0) |
1712 | 153 | f += d, sx++; |
1713 | 516 | cursor_right(cr, sx); |
1714 | 516 | cursor_always_inrange_step_right(cr, fixed_1, sx); |
1715 | 516 | y_steps--; |
1716 | 516 | }; |
1717 | 82 | } |
1718 | | |
1719 | | /* Phase 3 */ |
1720 | 88 | assert(cr->left <= ex && cr->right >= sx); |
1721 | 88 | if (phase3_y_steps == 0) |
1722 | 74 | cursor_null(cr); |
1723 | 14 | else { |
1724 | 14 | cursor_right(cr, ex); |
1725 | 14 | cr->y += phase3_y_steps; |
1726 | 14 | } |
1727 | 88 | } else { |
1728 | | /* Lines decreasing in x. (Leftwards, rising) */ |
1729 | 81 | int phase1_x_steps, phase3_x_steps; |
1730 | 81 | fixed x_steps = sx - ex; |
1731 | | |
1732 | | /* Phase 1: */ |
1733 | 81 | if (phase1_y_steps) { |
1734 | 14 | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
1735 | 14 | x_steps -= phase1_x_steps; |
1736 | 14 | sx -= phase1_x_steps; |
1737 | 14 | cursor_left_merge(cr, sx); |
1738 | 14 | cursor_step(cr, phase1_y_steps, sx, 0); |
1739 | 14 | sy += phase1_y_steps; |
1740 | 14 | y_steps -= phase1_y_steps; |
1741 | 14 | if (y_steps == 0) { |
1742 | 0 | cursor_null(cr); |
1743 | 0 | goto end; |
1744 | 0 | } |
1745 | 14 | } |
1746 | | |
1747 | | /* Phase 3: precalculation */ |
1748 | 81 | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
1749 | 81 | x_steps -= phase3_x_steps; |
1750 | 81 | y_steps -= phase3_y_steps; |
1751 | 81 | assert((y_steps & (fixed_1 - 1)) == 0); |
1752 | | |
1753 | | /* Phase 2: */ |
1754 | 81 | y_steps = fixed2int(y_steps); |
1755 | 81 | assert(y_steps >= 0); |
1756 | 81 | if (y_steps) { |
1757 | | /* We want to change sx by x_steps in y_steps steps. |
1758 | | * So each step, we sub x_steps/y_steps from sx. That's x_inc + n_inc/ey. */ |
1759 | 75 | int x_inc = x_steps/y_steps; |
1760 | 75 | int n_inc = x_steps - (x_inc * y_steps); |
1761 | 75 | int f = y_steps/2; |
1762 | 75 | int d = y_steps; |
1763 | | |
1764 | | /* Special casing the first iteration, allows us to simplify |
1765 | | * the following loop. */ |
1766 | 75 | sx -= x_inc; |
1767 | 75 | f -= n_inc; |
1768 | 75 | if (f < 0) |
1769 | 24 | f += d, sx--; |
1770 | 75 | cursor_left_merge(cr, sx); |
1771 | 75 | cursor_always_step(cr, fixed_1, sx, 0); |
1772 | 75 | y_steps--; |
1773 | | |
1774 | 516 | while (y_steps) { |
1775 | 441 | sx -= x_inc; |
1776 | 441 | f -= n_inc; |
1777 | 441 | if (f < 0) |
1778 | 194 | f += d, sx--; |
1779 | 441 | cursor_left(cr, sx); |
1780 | 441 | cursor_always_inrange_step_left(cr, fixed_1, sx); |
1781 | 441 | y_steps--; |
1782 | 441 | } |
1783 | 75 | } |
1784 | | |
1785 | | /* Phase 3 */ |
1786 | 81 | assert(cr->right >= ex && cr->left <= sx); |
1787 | 81 | if (phase3_y_steps == 0) |
1788 | 63 | cursor_null(cr); |
1789 | 18 | else { |
1790 | 18 | cursor_left(cr, ex); |
1791 | 18 | cr->y += phase3_y_steps; |
1792 | 18 | } |
1793 | 81 | } |
1794 | 236 | } else { |
1795 | | /* So lines decreasing in y. */ |
1796 | | /* We want to change from sy to ey, which are guaranteed to be on |
1797 | | * different scanlines. We do this in 3 phases. |
1798 | | * Phase 1 gets us from sy to the next scanline boundary. This never causes an output. |
1799 | | * Phase 2 gets us all the way to the last scanline boundary. This is guaranteed to cause an output. |
1800 | | * Phase 3 gets us from the last scanline boundary to ey. We are guaranteed to have outputted by now. |
1801 | | */ |
1802 | 233 | int phase1_y_steps = sy & (fixed_1 - 1); |
1803 | 233 | int phase3_y_steps = (-ey) & (fixed_1 - 1); |
1804 | 233 | ufixed y_steps = (ufixed)sy - (ufixed)ey; |
1805 | | |
1806 | 233 | int skip = cursor_down(cr, sx); |
1807 | | |
1808 | 233 | if (sx == ex) { |
1809 | | /* Vertical line. (Falling) */ |
1810 | | |
1811 | | /* Phase 1: */ |
1812 | 58 | if (phase1_y_steps) { |
1813 | | /* Phase 1 in a falling line never moves us into a new scanline. */ |
1814 | 2 | cursor_never_step_vertical(cr, -phase1_y_steps, sx); |
1815 | 2 | sy -= phase1_y_steps; |
1816 | 2 | y_steps -= phase1_y_steps; |
1817 | 2 | if (y_steps == 0) |
1818 | 0 | goto endFallingLeftOnEdgeOfPixel; |
1819 | 2 | } |
1820 | | |
1821 | | /* Phase 3: precalculation */ |
1822 | 58 | y_steps -= phase3_y_steps; |
1823 | 58 | assert((y_steps & (fixed_1 - 1)) == 0); |
1824 | | |
1825 | | /* Phase 2: */ |
1826 | 58 | y_steps = fixed2int(y_steps); |
1827 | 58 | assert(y_steps >= 0); |
1828 | 58 | if (y_steps) { |
1829 | 57 | cursor_always_step(cr, -fixed_1, sx, skip); |
1830 | 57 | skip = 0; |
1831 | 57 | y_steps--; |
1832 | 553 | while (y_steps) { |
1833 | 496 | cursor_always_step_inrange_vertical(cr, -fixed_1, sx); |
1834 | 496 | y_steps--; |
1835 | 496 | } |
1836 | 57 | } |
1837 | | |
1838 | | /* Phase 3 */ |
1839 | 58 | if (phase3_y_steps == 0) { |
1840 | 56 | endFallingLeftOnEdgeOfPixel: |
1841 | 56 | cursor_always_step_inrange_vertical(cr, 0, sx); |
1842 | 56 | cursor_null(cr); |
1843 | 56 | } else { |
1844 | 2 | cursor_step(cr, -phase3_y_steps, sx, skip); |
1845 | 2 | assert(cr->left == sx && cr->right == sx); |
1846 | 2 | } |
1847 | 175 | } else if (sx < ex) { |
1848 | | /* Lines increasing in x. (Rightwards, falling) */ |
1849 | 72 | int phase1_x_steps, phase3_x_steps; |
1850 | 72 | fixed x_steps = ex - sx; |
1851 | | |
1852 | | /* Phase 1: */ |
1853 | 72 | if (phase1_y_steps) { |
1854 | 15 | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
1855 | 15 | x_steps -= phase1_x_steps; |
1856 | 15 | sx += phase1_x_steps; |
1857 | | /* Phase 1 in a falling line never moves us into a new scanline. */ |
1858 | 15 | cursor_never_step_right(cr, -phase1_y_steps, sx); |
1859 | 15 | sy -= phase1_y_steps; |
1860 | 15 | y_steps -= phase1_y_steps; |
1861 | 15 | if (y_steps == 0) |
1862 | 0 | goto endFallingRightOnEdgeOfPixel; |
1863 | 15 | } |
1864 | | |
1865 | | /* Phase 3: precalculation */ |
1866 | 72 | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
1867 | 72 | x_steps -= phase3_x_steps; |
1868 | 72 | y_steps -= phase3_y_steps; |
1869 | 72 | assert((y_steps & (fixed_1 - 1)) == 0); |
1870 | | |
1871 | | /* Phase 2: */ |
1872 | 72 | y_steps = fixed2int(y_steps); |
1873 | 72 | assert(y_steps >= 0); |
1874 | 72 | if (y_steps) { |
1875 | | /* We want to change sx by x_steps in y_steps steps. |
1876 | | * So each step, we add x_steps/y_steps to sx. That's x_inc + n_inc/ey. */ |
1877 | 66 | int x_inc = x_steps/y_steps; |
1878 | 66 | int n_inc = x_steps - (x_inc * y_steps); |
1879 | 66 | int f = y_steps/2; |
1880 | 66 | int d = y_steps; |
1881 | | |
1882 | 66 | cursor_always_step(cr, -fixed_1, sx, skip); |
1883 | 66 | skip = 0; |
1884 | 66 | sx += x_inc; |
1885 | 66 | f -= n_inc; |
1886 | 66 | if (f < 0) |
1887 | 15 | f += d, sx++; |
1888 | 66 | cursor_right(cr, sx); |
1889 | 66 | y_steps--; |
1890 | | |
1891 | 465 | while (y_steps) { |
1892 | 399 | cursor_always_inrange_step_right(cr, -fixed_1, sx); |
1893 | 399 | sx += x_inc; |
1894 | 399 | f -= n_inc; |
1895 | 399 | if (f < 0) |
1896 | 182 | f += d, sx++; |
1897 | 399 | cursor_right(cr, sx); |
1898 | 399 | y_steps--; |
1899 | 399 | } |
1900 | 66 | } |
1901 | | |
1902 | | /* Phase 3 */ |
1903 | 72 | if (phase3_y_steps == 0) { |
1904 | 58 | endFallingRightOnEdgeOfPixel: |
1905 | 58 | cursor_always_step_inrange_vertical(cr, 0, sx); |
1906 | 58 | cursor_null(cr); |
1907 | 58 | } else { |
1908 | 14 | cursor_step(cr, -phase3_y_steps, sx, skip); |
1909 | 14 | cursor_right(cr, ex); |
1910 | 14 | assert(cr->left == sx && cr->right == ex); |
1911 | 14 | } |
1912 | 103 | } else { |
1913 | | /* Lines decreasing in x. (Falling) */ |
1914 | 103 | int phase1_x_steps, phase3_x_steps; |
1915 | 103 | fixed x_steps = sx - ex; |
1916 | | |
1917 | | /* Phase 1: */ |
1918 | 103 | if (phase1_y_steps) { |
1919 | 14 | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
1920 | 14 | x_steps -= phase1_x_steps; |
1921 | 14 | sx -= phase1_x_steps; |
1922 | | /* Phase 1 in a falling line never moves us into a new scanline. */ |
1923 | 14 | cursor_never_step_left(cr, -phase1_y_steps, sx); |
1924 | 14 | sy -= phase1_y_steps; |
1925 | 14 | y_steps -= phase1_y_steps; |
1926 | 14 | if (y_steps == 0) |
1927 | 0 | goto endFallingVerticalOnEdgeOfPixel; |
1928 | 14 | } |
1929 | | |
1930 | | /* Phase 3: precalculation */ |
1931 | 103 | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
1932 | 103 | x_steps -= phase3_x_steps; |
1933 | 103 | y_steps -= phase3_y_steps; |
1934 | 103 | assert((y_steps & (fixed_1 - 1)) == 0); |
1935 | | |
1936 | | /* Phase 2: */ |
1937 | 103 | y_steps = fixed2int(y_steps); |
1938 | 103 | assert(y_steps >= 0); |
1939 | 103 | if (y_steps) { |
1940 | | /* We want to change sx by x_steps in y_steps steps. |
1941 | | * So each step, we sub x_steps/y_steps from sx. That's x_inc + n_inc/ey. */ |
1942 | 97 | int x_inc = x_steps/y_steps; |
1943 | 97 | int n_inc = x_steps - (x_inc * y_steps); |
1944 | 97 | int f = y_steps/2; |
1945 | 97 | int d = y_steps; |
1946 | | |
1947 | 97 | cursor_always_step(cr, -fixed_1, sx, skip); |
1948 | 97 | skip = 0; |
1949 | 97 | sx -= x_inc; |
1950 | 97 | f -= n_inc; |
1951 | 97 | if (f < 0) |
1952 | 15 | f += d, sx--; |
1953 | 97 | cursor_left(cr, sx); |
1954 | 97 | y_steps--; |
1955 | | |
1956 | 726 | while (y_steps) { |
1957 | 629 | cursor_always_inrange_step_left(cr, -fixed_1, sx); |
1958 | 629 | sx -= x_inc; |
1959 | 629 | f -= n_inc; |
1960 | 629 | if (f < 0) |
1961 | 245 | f += d, sx--; |
1962 | 629 | cursor_left(cr, sx); |
1963 | 629 | y_steps--; |
1964 | 629 | } |
1965 | 97 | } |
1966 | | |
1967 | | /* Phase 3 */ |
1968 | 103 | if (phase3_y_steps == 0) { |
1969 | 89 | endFallingVerticalOnEdgeOfPixel: |
1970 | 89 | cursor_always_step_inrange_vertical(cr, 0, sx); |
1971 | 89 | cursor_null(cr); |
1972 | 89 | } else { |
1973 | 14 | cursor_step(cr, -phase3_y_steps, sx, skip); |
1974 | 14 | cursor_left(cr, ex); |
1975 | 14 | assert(cr->left == ex && cr->right == sx); |
1976 | 14 | } |
1977 | 103 | } |
1978 | 241 | endFalling: {} |
1979 | 241 | } |
1980 | | |
1981 | 493 | end: |
1982 | 493 | if (truncated) { |
1983 | 378 | cr->left = saved_ex; |
1984 | 378 | cr->right = saved_ex; |
1985 | 378 | cr->y = saved_ey; |
1986 | 378 | } |
1987 | 493 | } |
1988 | | |
1989 | | static void mark_curve_app(cursor *cr, fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, int depth) |
1990 | 0 | { |
1991 | 0 | int ax = (sx + c1x)>>1; |
1992 | 0 | int ay = (sy + c1y)>>1; |
1993 | 0 | int bx = (c1x + c2x)>>1; |
1994 | 0 | int by = (c1y + c2y)>>1; |
1995 | 0 | int cx = (c2x + ex)>>1; |
1996 | 0 | int cy = (c2y + ey)>>1; |
1997 | 0 | int dx = (ax + bx)>>1; |
1998 | 0 | int dy = (ay + by)>>1; |
1999 | 0 | int fx = (bx + cx)>>1; |
2000 | 0 | int fy = (by + cy)>>1; |
2001 | 0 | int gx = (dx + fx)>>1; |
2002 | 0 | int gy = (dy + fy)>>1; |
2003 | |
|
2004 | 0 | assert(depth >= 0); |
2005 | 0 | if (depth == 0) |
2006 | 0 | mark_line_app(cr, sx, sy, ex, ey); |
2007 | 0 | else { |
2008 | 0 | depth--; |
2009 | 0 | mark_curve_app(cr, sx, sy, ax, ay, dx, dy, gx, gy, depth); |
2010 | 0 | mark_curve_app(cr, gx, gy, fx, fy, cx, cy, ex, ey, depth); |
2011 | 0 | } |
2012 | 0 | } |
2013 | | |
2014 | | static void mark_curve_big_app(cursor *cr, fixed64 sx, fixed64 sy, fixed64 c1x, fixed64 c1y, fixed64 c2x, fixed64 c2y, fixed64 ex, fixed64 ey, int depth) |
2015 | 0 | { |
2016 | 0 | fixed64 ax = (sx + c1x)>>1; |
2017 | 0 | fixed64 ay = (sy + c1y)>>1; |
2018 | 0 | fixed64 bx = (c1x + c2x)>>1; |
2019 | 0 | fixed64 by = (c1y + c2y)>>1; |
2020 | 0 | fixed64 cx = (c2x + ex)>>1; |
2021 | 0 | fixed64 cy = (c2y + ey)>>1; |
2022 | 0 | fixed64 dx = (ax + bx)>>1; |
2023 | 0 | fixed64 dy = (ay + by)>>1; |
2024 | 0 | fixed64 fx = (bx + cx)>>1; |
2025 | 0 | fixed64 fy = (by + cy)>>1; |
2026 | 0 | fixed64 gx = (dx + fx)>>1; |
2027 | 0 | fixed64 gy = (dy + fy)>>1; |
2028 | |
|
2029 | 0 | assert(depth >= 0); |
2030 | 0 | if (depth == 0) |
2031 | 0 | mark_line_app(cr, (fixed)sx, (fixed)sy, (fixed)ex, (fixed)ey); |
2032 | 0 | else { |
2033 | 0 | depth--; |
2034 | 0 | mark_curve_big_app(cr, sx, sy, ax, ay, dx, dy, gx, gy, depth); |
2035 | 0 | mark_curve_big_app(cr, gx, gy, fx, fy, cx, cy, ex, ey, depth); |
2036 | 0 | } |
2037 | 0 | } |
2038 | | |
2039 | | static void mark_curve_top_app(cursor *cr, fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, int depth) |
2040 | 0 | { |
2041 | 0 | fixed test = (sx^(sx<<1))|(sy^(sy<<1))|(c1x^(c1x<<1))|(c1y^(c1y<<1))|(c2x^(c2x<<1))|(c2y^(c2y<<1))|(ex^(ex<<1))|(ey^(ey<<1)); |
2042 | |
|
2043 | 0 | if (test < 0) |
2044 | 0 | mark_curve_big_app(cr, sx, sy, c1x, c1y, c2x, c2y, ex, ey, depth); |
2045 | 0 | else |
2046 | 0 | mark_curve_app(cr, sx, sy, c1x, c1y, c2x, c2y, ex, ey, depth); |
2047 | 0 | } |
2048 | | |
2049 | | static int make_table_app(gx_device * pdev, |
2050 | | gx_path * path, |
2051 | | gs_fixed_rect * ibox, |
2052 | | int * scanlines, |
2053 | | int ** index, |
2054 | | int ** table) |
2055 | 108 | { |
2056 | 108 | return make_table_template(pdev, path, ibox, 2, 0, scanlines, index, table); |
2057 | 108 | } |
2058 | | |
2059 | | static void |
2060 | | fill_zero_app(int *row, const fixed *x) |
2061 | 0 | { |
2062 | 0 | int n = *row = (*row)+2; /* Increment the count */ |
2063 | 0 | row[2*n-3] = (x[0]&~1); |
2064 | 0 | row[2*n-2] = (x[1]&~1); |
2065 | 0 | row[2*n-1] = (x[1]&~1)|1; |
2066 | 0 | row[2*n ] = x[1]; |
2067 | 0 | } |
2068 | | |
2069 | | int gx_scan_convert_app(gx_device * gs_restrict pdev, |
2070 | | gx_path * gs_restrict path, |
2071 | | const gs_fixed_rect * gs_restrict clip, |
2072 | | gx_edgebuffer * gs_restrict edgebuffer, |
2073 | | fixed fixed_flat) |
2074 | 199 | { |
2075 | 199 | gs_fixed_rect ibox; |
2076 | 199 | gs_fixed_rect bbox; |
2077 | 199 | int scanlines; |
2078 | 199 | const subpath *psub; |
2079 | 199 | int *index; |
2080 | 199 | int *table; |
2081 | 199 | int i; |
2082 | 199 | cursor cr; |
2083 | 199 | int code; |
2084 | 199 | int zero; |
2085 | | |
2086 | 199 | edgebuffer->index = NULL; |
2087 | 199 | edgebuffer->table = NULL; |
2088 | | |
2089 | | /* Bale out if no actual path. We see this with the clist */ |
2090 | 199 | if (path->first_subpath == NULL) |
2091 | 91 | return 0; |
2092 | | |
2093 | 108 | zero = make_bbox(path, clip, &bbox, &ibox, 0); |
2094 | 108 | if (zero < 0) |
2095 | 0 | return zero; |
2096 | | |
2097 | 108 | if (ibox.q.y <= ibox.p.y) |
2098 | 0 | return 0; |
2099 | | |
2100 | 108 | code = make_table_app(pdev, path, &ibox, &scanlines, &index, &table); |
2101 | 108 | if (code != 0) /* > 0 means "retry with smaller height" */ |
2102 | 0 | return code; |
2103 | | |
2104 | 108 | if (scanlines == 0) |
2105 | 0 | return 0; |
2106 | | |
2107 | 108 | if (zero) { |
2108 | 0 | code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero_app); |
2109 | 108 | } else { |
2110 | | |
2111 | | /* Step 2 continued: Now we run through the path, filling in the real |
2112 | | * values. */ |
2113 | 108 | cr.scanlines = scanlines; |
2114 | 108 | cr.index = index; |
2115 | 108 | cr.table = table; |
2116 | 108 | cr.base = ibox.p.y; |
2117 | 353 | for (psub = path->first_subpath; psub != 0;) { |
2118 | 245 | const segment *pseg = (const segment *)psub; |
2119 | 245 | fixed ex = pseg->pt.x; |
2120 | 245 | fixed ey = pseg->pt.y; |
2121 | 245 | fixed ix = ex; |
2122 | 245 | fixed iy = ey; |
2123 | 245 | fixed sx, sy; |
2124 | | |
2125 | 245 | if ((ey & 0xff) == 0) { |
2126 | 16 | cr.left = max_fixed; |
2127 | 16 | cr.right = min_fixed; |
2128 | 229 | } else { |
2129 | 229 | cr.left = cr.right = ex; |
2130 | 229 | } |
2131 | 245 | cr.y = ey; |
2132 | 245 | cr.d = DIRN_UNSET; |
2133 | 245 | cr.first = 1; |
2134 | 245 | cr.saved = 0; |
2135 | | |
2136 | 3.85k | while ((pseg = pseg->next) != 0 && |
2137 | 3.85k | pseg->type != s_start |
2138 | 3.60k | ) { |
2139 | 3.60k | sx = ex; |
2140 | 3.60k | sy = ey; |
2141 | 3.60k | ex = pseg->pt.x; |
2142 | 3.60k | ey = pseg->pt.y; |
2143 | | |
2144 | 3.60k | switch (pseg->type) { |
2145 | 0 | default: |
2146 | 0 | case s_start: /* Should never happen */ |
2147 | 0 | case s_dash: /* We should never be seeing a dash here */ |
2148 | 0 | assert("This should never happen" == NULL); |
2149 | 0 | break; |
2150 | 0 | case s_curve: { |
2151 | 0 | const curve_segment *const pcur = (const curve_segment *)pseg; |
2152 | 0 | int k = gx_curve_log2_samples(sx, sy, pcur, fixed_flat); |
2153 | |
|
2154 | 0 | mark_curve_top_app(&cr, sx, sy, pcur->p1.x, pcur->p1.y, pcur->p2.x, pcur->p2.y, ex, ey, k); |
2155 | 0 | break; |
2156 | 0 | } |
2157 | 0 | case s_gap: |
2158 | 3.36k | case s_line: |
2159 | 3.60k | case s_line_close: |
2160 | 3.60k | mark_line_app(&cr, sx, sy, ex, ey); |
2161 | 3.60k | break; |
2162 | 3.60k | } |
2163 | 3.60k | } |
2164 | | /* And close any open segments */ |
2165 | 245 | mark_line_app(&cr, ex, ey, ix, iy); |
2166 | 245 | cursor_flush(&cr, ex); |
2167 | 245 | psub = (const subpath *)pseg; |
2168 | 245 | } |
2169 | 108 | } |
2170 | | |
2171 | | /* Step 2 complete: We now have a complete list of intersection data in |
2172 | | * table, indexed by index. */ |
2173 | | |
2174 | 108 | edgebuffer->base = ibox.p.y; |
2175 | 108 | edgebuffer->height = scanlines; |
2176 | 108 | edgebuffer->xmin = ibox.p.x; |
2177 | 108 | edgebuffer->xmax = ibox.q.x; |
2178 | 108 | edgebuffer->index = index; |
2179 | 108 | edgebuffer->table = table; |
2180 | | |
2181 | | #ifdef DEBUG_SCAN_CONVERTER |
2182 | | if (debugging_scan_converter) { |
2183 | | dlprintf("Before sorting:\n"); |
2184 | | gx_edgebuffer_print_app(edgebuffer); |
2185 | | } |
2186 | | #endif |
2187 | | |
2188 | | /* Step 3: Sort the intersects on x */ |
2189 | 1.10k | for (i=0; i < scanlines; i++) { |
2190 | 997 | int *row = &table[index[i]]; |
2191 | 997 | int rowlen = *row++; |
2192 | | |
2193 | | /* Bubblesort short runs, qsort longer ones. */ |
2194 | | /* FIXME: Verify the figure 6 below */ |
2195 | 997 | if (rowlen <= 6) { |
2196 | 933 | int j, k; |
2197 | 2.97k | for (j = 0; j < rowlen-1; j++) { |
2198 | 2.04k | int * gs_restrict t = &row[j<<1]; |
2199 | 6.04k | for (k = j+1; k < rowlen; k++) { |
2200 | 4.00k | int * gs_restrict s = &row[k<<1]; |
2201 | 4.00k | int tmp; |
2202 | 4.00k | if (t[0] < s[0]) |
2203 | 1.76k | continue; |
2204 | 2.24k | if (t[0] > s[0]) |
2205 | 1.71k | goto swap01; |
2206 | 530 | if (t[1] <= s[1]) |
2207 | 496 | continue; |
2208 | 34 | if (0) { |
2209 | 1.71k | swap01: |
2210 | 1.71k | tmp = t[0], t[0] = s[0], s[0] = tmp; |
2211 | 1.71k | } |
2212 | 1.74k | tmp = t[1], t[1] = s[1], s[1] = tmp; |
2213 | 1.74k | } |
2214 | 2.04k | } |
2215 | 933 | } else |
2216 | 64 | qsort(row, rowlen, 2*sizeof(int), edgecmp); |
2217 | 997 | } |
2218 | | |
2219 | 108 | return 0; |
2220 | 108 | } |
2221 | | |
2222 | | /* Step 5: Filter the intersections according to the rules */ |
2223 | | int |
2224 | | gx_filter_edgebuffer_app(gx_device * gs_restrict pdev, |
2225 | | gx_edgebuffer * gs_restrict edgebuffer, |
2226 | | int rule) |
2227 | 199 | { |
2228 | 199 | int i; |
2229 | | |
2230 | | #ifdef DEBUG_SCAN_CONVERTER |
2231 | | if (debugging_scan_converter) { |
2232 | | dlprintf("Before filtering:\n"); |
2233 | | gx_edgebuffer_print_app(edgebuffer); |
2234 | | } |
2235 | | #endif |
2236 | | |
2237 | 1.19k | for (i=0; i < edgebuffer->height; i++) { |
2238 | 997 | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
2239 | 997 | int rowlen = *row++; |
2240 | 997 | int *rowstart = row; |
2241 | 997 | int *rowout = row; |
2242 | 997 | int ll, lr, rl, rr, wind, marked_to; |
2243 | | |
2244 | | /* Avoid double setting pixels, by keeping where we have marked to. */ |
2245 | 997 | marked_to = INT_MIN; |
2246 | 2.45k | while (rowlen > 0) { |
2247 | 1.46k | if (rule == gx_rule_even_odd) { |
2248 | | /* Even Odd */ |
2249 | 9 | ll = (*row++)&~1; |
2250 | 9 | lr = *row; |
2251 | 9 | row += 2; |
2252 | 9 | rowlen-=2; |
2253 | | |
2254 | | /* We will fill solidly from ll to at least lr, possibly further */ |
2255 | 9 | assert(rowlen >= 0); |
2256 | 9 | rr = (*row++); |
2257 | 9 | if (rr > lr) |
2258 | 2 | lr = rr; |
2259 | 1.45k | } else { |
2260 | | /* Non-Zero */ |
2261 | 1.45k | int w; |
2262 | | |
2263 | 1.45k | ll = *row++; |
2264 | 1.45k | lr = *row++; |
2265 | 1.45k | wind = -(ll&1) | 1; |
2266 | 1.45k | ll &= ~1; |
2267 | 1.45k | rowlen--; |
2268 | | |
2269 | 1.45k | assert(rowlen > 0); |
2270 | 2.08k | do { |
2271 | 2.08k | rl = *row++; |
2272 | 2.08k | rr = *row++; |
2273 | 2.08k | w = -(rl&1) | 1; |
2274 | 2.08k | rl &= ~1; |
2275 | 2.08k | rowlen--; |
2276 | 2.08k | if (rr > lr) |
2277 | 1.69k | lr = rr; |
2278 | 2.08k | wind += w; |
2279 | 2.08k | if (wind == 0) |
2280 | 1.45k | break; |
2281 | 2.08k | } while (rowlen > 0); |
2282 | 1.45k | } |
2283 | | |
2284 | 1.46k | if (marked_to >= lr) |
2285 | 0 | continue; |
2286 | | |
2287 | 1.46k | if (marked_to >= ll) { |
2288 | 0 | if (rowout == rowstart) |
2289 | 0 | ll = marked_to; |
2290 | 0 | else { |
2291 | 0 | rowout -= 2; |
2292 | 0 | ll = *rowout; |
2293 | 0 | } |
2294 | 0 | } |
2295 | | |
2296 | 1.46k | if (lr >= ll) { |
2297 | 1.46k | *rowout++ = ll; |
2298 | 1.46k | *rowout++ = lr; |
2299 | 1.46k | marked_to = lr; |
2300 | 1.46k | } |
2301 | 1.46k | } |
2302 | 997 | rowstart[-1] = rowout - rowstart; |
2303 | 997 | } |
2304 | 199 | return 0; |
2305 | 199 | } |
2306 | | |
2307 | | /* Step 6: Fill */ |
2308 | | int |
2309 | | gx_fill_edgebuffer_app(gx_device * gs_restrict pdev, |
2310 | | const gx_device_color * gs_restrict pdevc, |
2311 | | gx_edgebuffer * gs_restrict edgebuffer, |
2312 | | int log_op) |
2313 | 199 | { |
2314 | 199 | int i, code; |
2315 | | |
2316 | 1.19k | for (i=0; i < edgebuffer->height; i++) { |
2317 | 997 | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
2318 | 997 | int rowlen = *row++; |
2319 | 997 | int left, right; |
2320 | | |
2321 | 2.45k | while (rowlen > 0) { |
2322 | 1.46k | left = *row++; |
2323 | 1.46k | right = *row++; |
2324 | 1.46k | left = fixed2int(left); |
2325 | 1.46k | right = fixed2int(right + fixed_1 - 1); |
2326 | 1.46k | rowlen -= 2; |
2327 | | |
2328 | 1.46k | right -= left; |
2329 | 1.46k | if (right > 0) { |
2330 | 1.46k | if (log_op < 0) |
2331 | 123 | code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure); |
2332 | 1.33k | else |
2333 | 1.33k | code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op); |
2334 | 1.46k | if (code < 0) |
2335 | 0 | return code; |
2336 | 1.46k | } |
2337 | 1.46k | } |
2338 | 997 | } |
2339 | 199 | return 0; |
2340 | 199 | } |
2341 | | |
2342 | | /* Centre of a pixel trapezoid routines */ |
2343 | | |
2344 | | static int intcmp_tr(const void *a, const void *b) |
2345 | 3.00k | { |
2346 | 3.00k | int left = ((int*)a)[0]; |
2347 | 3.00k | int right = ((int*)b)[0]; |
2348 | 3.00k | if (left != right) |
2349 | 3.00k | return left - right; |
2350 | 0 | return ((int*)a)[1] - ((int*)b)[1]; |
2351 | 3.00k | } |
2352 | | |
2353 | | #ifdef DEBUG_SCAN_CONVERTER |
2354 | | static void |
2355 | | gx_edgebuffer_print_tr(gx_edgebuffer * edgebuffer) |
2356 | | { |
2357 | | int i; |
2358 | | |
2359 | | if (!debugging_scan_converter) |
2360 | | return; |
2361 | | |
2362 | | dlprintf1("Edgebuffer %x\n", edgebuffer); |
2363 | | dlprintf4("xmin=%x xmax=%x base=%x height=%x\n", |
2364 | | edgebuffer->xmin, edgebuffer->xmax, edgebuffer->base, edgebuffer->height); |
2365 | | for (i=0; i < edgebuffer->height; i++) |
2366 | | { |
2367 | | int offset = edgebuffer->index[i]; |
2368 | | int *row = &edgebuffer->table[offset]; |
2369 | | int count = *row++; |
2370 | | dlprintf3("%d @ %d: %d =", i, offset, count); |
2371 | | while (count-- > 0) { |
2372 | | int e = *row++; |
2373 | | int id = *row++; |
2374 | | dlprintf3(" %x%c%d", e, id&1 ? 'v' : '^', id>>1); |
2375 | | } |
2376 | | dlprintf("\n"); |
2377 | | } |
2378 | | } |
2379 | | #endif |
2380 | | |
2381 | | static void mark_line_tr(fixed sx, fixed sy, fixed ex, fixed ey, int base_y, int height, int *table, int *index, int id) |
2382 | 33.0k | { |
2383 | 33.0k | int64_t delta; |
2384 | 33.0k | int iy, ih; |
2385 | 33.0k | fixed clip_sy, clip_ey; |
2386 | 33.0k | int dirn = DIRN_UP; |
2387 | 33.0k | int *row; |
2388 | | |
2389 | | #ifdef DEBUG_SCAN_CONVERTER |
2390 | | if (debugging_scan_converter) |
2391 | | dlprintf6("Marking line (tr) from %x,%x to %x,%x (%x,%x)\n", sx, sy, ex, ey, fixed2int(sy + fixed_half-1) - base_y, fixed2int(ey + fixed_half-1) - base_y); |
2392 | | #endif |
2393 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
2394 | | dlprintf("0.001 setlinewidth 0 0 0 setrgbcolor %%PS\n"); |
2395 | | coord("moveto", sx, sy); |
2396 | | coord("lineto", ex, ey); |
2397 | | dlprintf("stroke %%PS\n"); |
2398 | | #endif |
2399 | | |
2400 | 33.0k | if (fixed2int(sy + fixed_half-1) == fixed2int(ey + fixed_half-1)) |
2401 | 2 | return; |
2402 | 33.0k | if (sy > ey) { |
2403 | 11.4k | int t; |
2404 | 11.4k | t = sy; sy = ey; ey = t; |
2405 | 11.4k | t = sx; sx = ex; ex = t; |
2406 | 11.4k | dirn = DIRN_DOWN; |
2407 | 11.4k | } |
2408 | | /* Lines go from sy to ey, closed at the start, open at the end. */ |
2409 | | /* We clip them to a region to make them closed at both ends. */ |
2410 | | /* Thus the first scanline marked (>= sy) is: */ |
2411 | 33.0k | clip_sy = ((sy + fixed_half - 1) & ~(fixed_1-1)) | fixed_half; |
2412 | | /* The last scanline marked (< ey) is: */ |
2413 | 33.0k | clip_ey = ((ey - fixed_half - 1) & ~(fixed_1-1)) | fixed_half; |
2414 | | /* Now allow for banding */ |
2415 | 33.0k | if (clip_sy < int2fixed(base_y) + fixed_half) |
2416 | 20.7k | clip_sy = int2fixed(base_y) + fixed_half; |
2417 | 33.0k | if (ey <= clip_sy) |
2418 | 20.4k | return; |
2419 | 12.6k | if (clip_ey > int2fixed(base_y + height - 1) + fixed_half) |
2420 | 12.5k | clip_ey = int2fixed(base_y + height - 1) + fixed_half; |
2421 | 12.6k | if (sy > clip_ey) |
2422 | 12.1k | return; |
2423 | 494 | delta = (int64_t)clip_sy - (int64_t)sy; |
2424 | 494 | if (delta > 0) |
2425 | 494 | { |
2426 | 494 | int64_t dx = (int64_t)ex - (int64_t)sx; |
2427 | 494 | int64_t dy = (int64_t)ey - (int64_t)sy; |
2428 | 494 | int advance = (int)((dx * delta + (dy>>1)) / dy); |
2429 | 494 | sx += advance; |
2430 | 494 | sy += delta; |
2431 | 494 | } |
2432 | 494 | delta = (int64_t)ey - (int64_t)clip_ey; |
2433 | 494 | if (delta > 0) |
2434 | 494 | { |
2435 | 494 | int64_t dx = (int64_t)ex - (int64_t)sx; |
2436 | 494 | int64_t dy = (int64_t)ey - (int64_t)sy; |
2437 | 494 | int advance = (int)((dx * delta + (dy>>1)) / dy); |
2438 | 494 | ex -= advance; |
2439 | 494 | ey -= delta; |
2440 | 494 | } |
2441 | 494 | ex -= sx; |
2442 | 494 | ey -= sy; |
2443 | 494 | ih = fixed2int(ey); |
2444 | 494 | assert(ih >= 0); |
2445 | 494 | iy = fixed2int(sy) - base_y; |
2446 | | #ifdef DEBUG_SCAN_CONVERTER |
2447 | | if (debugging_scan_converter) |
2448 | | dlprintf2(" iy=%x ih=%x\n", iy, ih); |
2449 | | #endif |
2450 | 494 | assert(iy >= 0 && iy < height); |
2451 | 494 | id = (id<<1) | dirn; |
2452 | | /* We always cross at least one scanline */ |
2453 | 494 | row = &table[index[iy]]; |
2454 | 494 | *row = (*row)+1; /* Increment the count */ |
2455 | 494 | row[*row * 2 - 1] = sx; |
2456 | 494 | row[*row * 2 ] = id; |
2457 | 494 | if (ih == 0) |
2458 | 10 | return; |
2459 | 484 | if (ex >= 0) { |
2460 | 380 | int x_inc, n_inc, f; |
2461 | | |
2462 | | /* We want to change sx by ex in ih steps. So each step, we add |
2463 | | * ex/ih to sx. That's x_inc + n_inc/ih. |
2464 | | */ |
2465 | 380 | x_inc = ex/ih; |
2466 | 380 | n_inc = ex-(x_inc*ih); |
2467 | 380 | f = ih>>1; |
2468 | 380 | delta = ih; |
2469 | 16.1k | do { |
2470 | 16.1k | int count; |
2471 | 16.1k | iy++; |
2472 | 16.1k | sx += x_inc; |
2473 | 16.1k | f -= n_inc; |
2474 | 16.1k | if (f < 0) { |
2475 | 1.73k | f += ih; |
2476 | 1.73k | sx++; |
2477 | 1.73k | } |
2478 | 16.1k | assert(iy >= 0 && iy < height); |
2479 | 16.1k | row = &table[index[iy]]; |
2480 | 16.1k | count = *row = (*row)+1; /* Increment the count */ |
2481 | 16.1k | row[count * 2 - 1] = sx; |
2482 | 16.1k | row[count * 2 ] = id; |
2483 | 16.1k | } |
2484 | 16.1k | while (--delta); |
2485 | 380 | } else { |
2486 | 104 | int x_dec, n_dec, f; |
2487 | | |
2488 | 104 | ex = -ex; |
2489 | | /* We want to change sx by ex in ih steps. So each step, we subtract |
2490 | | * ex/ih from sx. That's x_dec + n_dec/ih. |
2491 | | */ |
2492 | 104 | x_dec = ex/ih; |
2493 | 104 | n_dec = ex-(x_dec*ih); |
2494 | 104 | f = ih>>1; |
2495 | 104 | delta = ih; |
2496 | 3.74k | do { |
2497 | 3.74k | int count; |
2498 | 3.74k | iy++; |
2499 | 3.74k | sx -= x_dec; |
2500 | 3.74k | f -= n_dec; |
2501 | 3.74k | if (f < 0) { |
2502 | 1.20k | f += ih; |
2503 | 1.20k | sx--; |
2504 | 1.20k | } |
2505 | 3.74k | assert(iy >= 0 && iy < height); |
2506 | 3.74k | row = &table[index[iy]]; |
2507 | 3.74k | count = *row = (*row)+1; /* Increment the count */ |
2508 | 3.74k | row[count * 2 - 1] = sx; |
2509 | 3.74k | row[count * 2 ] = id; |
2510 | 3.74k | } |
2511 | 3.74k | while (--delta); |
2512 | 104 | } |
2513 | 484 | } |
2514 | | |
2515 | | static void mark_curve_tr(fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, fixed base_y, fixed height, int *table, int *index, int *id, int depth) |
2516 | 0 | { |
2517 | 0 | fixed ax = (sx + c1x)>>1; |
2518 | 0 | fixed ay = (sy + c1y)>>1; |
2519 | 0 | fixed bx = (c1x + c2x)>>1; |
2520 | 0 | fixed by = (c1y + c2y)>>1; |
2521 | 0 | fixed cx = (c2x + ex)>>1; |
2522 | 0 | fixed cy = (c2y + ey)>>1; |
2523 | 0 | fixed dx = (ax + bx)>>1; |
2524 | 0 | fixed dy = (ay + by)>>1; |
2525 | 0 | fixed fx = (bx + cx)>>1; |
2526 | 0 | fixed fy = (by + cy)>>1; |
2527 | 0 | fixed gx = (dx + fx)>>1; |
2528 | 0 | fixed gy = (dy + fy)>>1; |
2529 | |
|
2530 | 0 | assert(depth >= 0); |
2531 | 0 | if (depth == 0) { |
2532 | 0 | *id += 1; |
2533 | 0 | mark_line_tr(sx, sy, ex, ey, base_y, height, table, index, *id); |
2534 | 0 | } else { |
2535 | 0 | depth--; |
2536 | 0 | mark_curve_tr(sx, sy, ax, ay, dx, dy, gx, gy, base_y, height, table, index, id, depth); |
2537 | 0 | mark_curve_tr(gx, gy, fx, fy, cx, cy, ex, ey, base_y, height, table, index, id, depth); |
2538 | 0 | } |
2539 | 0 | } |
2540 | | |
2541 | | static void mark_curve_big_tr(fixed64 sx, fixed64 sy, fixed64 c1x, fixed64 c1y, fixed64 c2x, fixed64 c2y, fixed64 ex, fixed64 ey, fixed base_y, fixed height, int *table, int *index, int *id, int depth) |
2542 | 0 | { |
2543 | 0 | fixed64 ax = (sx + c1x)>>1; |
2544 | 0 | fixed64 ay = (sy + c1y)>>1; |
2545 | 0 | fixed64 bx = (c1x + c2x)>>1; |
2546 | 0 | fixed64 by = (c1y + c2y)>>1; |
2547 | 0 | fixed64 cx = (c2x + ex)>>1; |
2548 | 0 | fixed64 cy = (c2y + ey)>>1; |
2549 | 0 | fixed64 dx = (ax + bx)>>1; |
2550 | 0 | fixed64 dy = (ay + by)>>1; |
2551 | 0 | fixed64 fx = (bx + cx)>>1; |
2552 | 0 | fixed64 fy = (by + cy)>>1; |
2553 | 0 | fixed64 gx = (dx + fx)>>1; |
2554 | 0 | fixed64 gy = (dy + fy)>>1; |
2555 | |
|
2556 | 0 | assert(depth >= 0); |
2557 | 0 | if (depth == 0) { |
2558 | 0 | *id += 1; |
2559 | 0 | mark_line_tr((fixed)sx, (fixed)sy, (fixed)ex, (fixed)ey, base_y, height, table, index, *id); |
2560 | 0 | } else { |
2561 | 0 | depth--; |
2562 | 0 | mark_curve_big_tr(sx, sy, ax, ay, dx, dy, gx, gy, base_y, height, table, index, id, depth); |
2563 | 0 | mark_curve_big_tr(gx, gy, fx, fy, cx, cy, ex, ey, base_y, height, table, index, id, depth); |
2564 | 0 | } |
2565 | 0 | } |
2566 | | |
2567 | | static void mark_curve_top_tr(fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, fixed base_y, fixed height, int *table, int *index, int *id, int depth) |
2568 | 0 | { |
2569 | 0 | fixed test = (sx^(sx<<1))|(sy^(sy<<1))|(c1x^(c1x<<1))|(c1y^(c1y<<1))|(c2x^(c2x<<1))|(c2y^(c2y<<1))|(ex^(ex<<1))|(ey^(ey<<1)); |
2570 | |
|
2571 | 0 | if (test < 0) |
2572 | 0 | mark_curve_big_tr(sx, sy, c1x, c1y, c2x, c2y, ex, ey, base_y, height, table, index, id, depth); |
2573 | 0 | else |
2574 | 0 | mark_curve_tr(sx, sy, c1x, c1y, c2x, c2y, ex, ey, base_y, height, table, index, id, depth); |
2575 | 0 | } |
2576 | | |
2577 | | static int make_table_tr(gx_device * pdev, |
2578 | | gx_path * path, |
2579 | | gs_fixed_rect * ibox, |
2580 | | int * scanlines, |
2581 | | int ** index, |
2582 | | int ** table) |
2583 | 145 | { |
2584 | 145 | return make_table_template(pdev, path, ibox, 2, 1, scanlines, index, table); |
2585 | 145 | } |
2586 | | |
2587 | | static void |
2588 | | fill_zero_tr(int *row, const fixed *x) |
2589 | 0 | { |
2590 | 0 | int n = *row = (*row)+2; /* Increment the count */ |
2591 | 0 | row[2*n-3] = x[0]; |
2592 | 0 | row[2*n-2] = 0; |
2593 | 0 | row[2*n-1] = x[1]; |
2594 | 0 | row[2*n ] = 1; |
2595 | 0 | } |
2596 | | |
2597 | | int gx_scan_convert_tr(gx_device * gs_restrict pdev, |
2598 | | gx_path * gs_restrict path, |
2599 | | const gs_fixed_rect * gs_restrict clip, |
2600 | | gx_edgebuffer * gs_restrict edgebuffer, |
2601 | | fixed fixed_flat) |
2602 | 93.8k | { |
2603 | 93.8k | gs_fixed_rect ibox; |
2604 | 93.8k | gs_fixed_rect bbox; |
2605 | 93.8k | int scanlines; |
2606 | 93.8k | const subpath *psub; |
2607 | 93.8k | int *index; |
2608 | 93.8k | int *table; |
2609 | 93.8k | int i; |
2610 | 93.8k | int code; |
2611 | 93.8k | int id = 0; |
2612 | 93.8k | int zero; |
2613 | | |
2614 | 93.8k | edgebuffer->index = NULL; |
2615 | 93.8k | edgebuffer->table = NULL; |
2616 | | |
2617 | | /* Bale out if no actual path. We see this with the clist */ |
2618 | 93.8k | if (path->first_subpath == NULL) |
2619 | 93.7k | return 0; |
2620 | | |
2621 | 145 | zero = make_bbox(path, clip, &bbox, &ibox, fixed_half); |
2622 | 145 | if (zero < 0) |
2623 | 0 | return zero; |
2624 | | |
2625 | 145 | if (ibox.q.y <= ibox.p.y) |
2626 | 0 | return 0; |
2627 | | |
2628 | 145 | code = make_table_tr(pdev, path, &ibox, &scanlines, &index, &table); |
2629 | 145 | if (code != 0) /* > 0 means "retry with smaller height" */ |
2630 | 0 | return code; |
2631 | | |
2632 | 145 | if (scanlines == 0) |
2633 | 0 | return 0; |
2634 | | |
2635 | 145 | if (zero) { |
2636 | 0 | code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero_tr); |
2637 | 145 | } else { |
2638 | | |
2639 | | /* Step 3: Now we run through the path, filling in the real |
2640 | | * values. */ |
2641 | 306 | for (psub = path->first_subpath; psub != 0;) { |
2642 | 161 | const segment *pseg = (const segment *)psub; |
2643 | 161 | fixed ex = pseg->pt.x; |
2644 | 161 | fixed ey = pseg->pt.y; |
2645 | 161 | fixed ix = ex; |
2646 | 161 | fixed iy = ey; |
2647 | | |
2648 | 33.4k | while ((pseg = pseg->next) != 0 && |
2649 | 33.4k | pseg->type != s_start |
2650 | 33.2k | ) { |
2651 | 33.2k | fixed sx = ex; |
2652 | 33.2k | fixed sy = ey; |
2653 | 33.2k | ex = pseg->pt.x; |
2654 | 33.2k | ey = pseg->pt.y; |
2655 | | |
2656 | 33.2k | switch (pseg->type) { |
2657 | 0 | default: |
2658 | 0 | case s_start: /* Should never happen */ |
2659 | 0 | case s_dash: /* We should never be seeing a dash here */ |
2660 | 0 | assert("This should never happen" == NULL); |
2661 | 0 | break; |
2662 | 0 | case s_curve: { |
2663 | 0 | const curve_segment *const pcur = (const curve_segment *)pseg; |
2664 | 0 | int k = gx_curve_log2_samples(sx, sy, pcur, fixed_flat); |
2665 | |
|
2666 | 0 | mark_curve_top_tr(sx, sy, pcur->p1.x, pcur->p1.y, pcur->p2.x, pcur->p2.y, ex, ey, ibox.p.y, scanlines, table, index, &id, k); |
2667 | 0 | break; |
2668 | 0 | } |
2669 | 0 | case s_gap: |
2670 | 33.2k | case s_line: |
2671 | 33.2k | case s_line_close: |
2672 | 33.2k | if (sy != ey) |
2673 | 32.9k | mark_line_tr(sx, sy, ex, ey, ibox.p.y, scanlines, table, index, ++id); |
2674 | 33.2k | break; |
2675 | 33.2k | } |
2676 | 33.2k | } |
2677 | | /* And close any open segments */ |
2678 | 161 | if (iy != ey) |
2679 | 64 | mark_line_tr(ex, ey, ix, iy, ibox.p.y, scanlines, table, index, ++id); |
2680 | 161 | psub = (const subpath *)pseg; |
2681 | 161 | } |
2682 | 145 | } |
2683 | | |
2684 | | /*if (zero) { |
2685 | | if (table[0] == 0) { */ |
2686 | | /* Zero height rectangle fills a span */ |
2687 | | /* table[0] = 2; |
2688 | | table[1] = int2fixed(fixed2int(bbox.p.x + fixed_half)); |
2689 | | table[2] = 0; |
2690 | | table[3] = int2fixed(fixed2int(bbox.q.x + fixed_half)); |
2691 | | table[4] = 1; |
2692 | | } |
2693 | | }*/ |
2694 | | |
2695 | | /* Step 2 complete: We now have a complete list of intersection data in |
2696 | | * table, indexed by index. */ |
2697 | | |
2698 | 145 | edgebuffer->base = ibox.p.y; |
2699 | 145 | edgebuffer->height = scanlines; |
2700 | 145 | edgebuffer->xmin = ibox.p.x; |
2701 | 145 | edgebuffer->xmax = ibox.q.x; |
2702 | 145 | edgebuffer->index = index; |
2703 | 145 | edgebuffer->table = table; |
2704 | | |
2705 | | #ifdef DEBUG_SCAN_CONVERTER |
2706 | | if (debugging_scan_converter) { |
2707 | | dlprintf("Before sorting:\n"); |
2708 | | gx_edgebuffer_print_tr(edgebuffer); |
2709 | | } |
2710 | | #endif |
2711 | | |
2712 | | /* Step 4: Sort the intersects on x */ |
2713 | 6.40k | for (i=0; i < scanlines; i++) { |
2714 | 6.25k | int *row = &table[index[i]]; |
2715 | 6.25k | int rowlen = *row++; |
2716 | | |
2717 | | /* Bubblesort short runs, qsort longer ones. */ |
2718 | | /* FIXME: Verify the figure 6 below */ |
2719 | 6.25k | if (rowlen <= 6) { |
2720 | 6.05k | int j, k; |
2721 | 18.7k | for (j = 0; j < rowlen-1; j++) { |
2722 | 12.6k | int * gs_restrict t = &row[j<<1]; |
2723 | 37.1k | for (k = j+1; k < rowlen; k++) { |
2724 | 24.4k | int * gs_restrict s = &row[k<<1]; |
2725 | 24.4k | int tmp; |
2726 | 24.4k | if (t[0] < s[0]) |
2727 | 13.3k | continue; |
2728 | 11.0k | if (t[0] == s[0]) { |
2729 | 0 | if (t[1] <= s[1]) |
2730 | 0 | continue; |
2731 | 0 | } else |
2732 | 11.0k | tmp = t[0], t[0] = s[0], s[0] = tmp; |
2733 | 11.0k | tmp = t[1], t[1] = s[1], s[1] = tmp; |
2734 | 11.0k | } |
2735 | 12.6k | } |
2736 | 6.05k | } else |
2737 | 202 | qsort(row, rowlen, 2*sizeof(int), intcmp_tr); |
2738 | 6.25k | } |
2739 | | |
2740 | 145 | return 0; |
2741 | 145 | } |
2742 | | |
2743 | | /* Step 5: Filter the intersections according to the rules */ |
2744 | | int |
2745 | | gx_filter_edgebuffer_tr(gx_device * gs_restrict pdev, |
2746 | | gx_edgebuffer * gs_restrict edgebuffer, |
2747 | | int rule) |
2748 | 93.8k | { |
2749 | 93.8k | int i; |
2750 | | |
2751 | | #ifdef DEBUG_SCAN_CONVERTER |
2752 | | if (debugging_scan_converter) { |
2753 | | dlprintf("Before filtering\n"); |
2754 | | gx_edgebuffer_print_tr(edgebuffer); |
2755 | | } |
2756 | | #endif |
2757 | | |
2758 | 100k | for (i=0; i < edgebuffer->height; i++) { |
2759 | 6.25k | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
2760 | 6.25k | int rowlen = *row++; |
2761 | 6.25k | int *rowstart = row; |
2762 | 6.25k | int *rowout = row; |
2763 | | |
2764 | 16.4k | while (rowlen > 0) { |
2765 | 10.2k | int left, lid, right, rid; |
2766 | | |
2767 | 10.2k | if (rule == gx_rule_even_odd) { |
2768 | | /* Even Odd */ |
2769 | 0 | left = *row++; |
2770 | 0 | lid = *row++; |
2771 | 0 | right = *row++; |
2772 | 0 | rid = *row++; |
2773 | 0 | rowlen -= 2; |
2774 | 10.2k | } else { |
2775 | | /* Non-Zero */ |
2776 | 10.2k | int w; |
2777 | | |
2778 | 10.2k | left = *row++; |
2779 | 10.2k | lid = *row++; |
2780 | 10.2k | w = ((lid&1)-1) | 1; |
2781 | 10.2k | rowlen--; |
2782 | 10.2k | do { |
2783 | 10.2k | right = *row++; |
2784 | 10.2k | rid = *row++; |
2785 | 10.2k | rowlen--; |
2786 | 10.2k | w += ((rid&1)-1) | 1; |
2787 | 10.2k | } while (w != 0); |
2788 | 10.2k | } |
2789 | | |
2790 | 10.2k | if (right > left) { |
2791 | 10.2k | *rowout++ = left; |
2792 | 10.2k | *rowout++ = lid; |
2793 | 10.2k | *rowout++ = right; |
2794 | 10.2k | *rowout++ = rid; |
2795 | 10.2k | } |
2796 | 10.2k | } |
2797 | 6.25k | rowstart[-1] = (rowout-rowstart)>>1; |
2798 | 6.25k | } |
2799 | 93.8k | return 0; |
2800 | 93.8k | } |
2801 | | |
2802 | | /* Step 6: Fill the edgebuffer */ |
2803 | | int |
2804 | | gx_fill_edgebuffer_tr(gx_device * gs_restrict pdev, |
2805 | | const gx_device_color * gs_restrict pdevc, |
2806 | | gx_edgebuffer * gs_restrict edgebuffer, |
2807 | | int log_op) |
2808 | 93.8k | { |
2809 | 93.8k | int i, j, code; |
2810 | 93.8k | int mfb = pdev->max_fill_band; |
2811 | | |
2812 | | #ifdef DEBUG_SCAN_CONVERTER |
2813 | | if (debugging_scan_converter) { |
2814 | | dlprintf("Before filling\n"); |
2815 | | gx_edgebuffer_print_tr(edgebuffer); |
2816 | | } |
2817 | | #endif |
2818 | | |
2819 | 94.1k | for (i=0; i < edgebuffer->height; ) { |
2820 | 214 | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
2821 | 214 | int rowlen = *row++; |
2822 | 214 | int *row2; |
2823 | 214 | int *rowptr; |
2824 | 214 | int *row2ptr; |
2825 | 214 | int y_band_max; |
2826 | | |
2827 | 214 | if (mfb) { |
2828 | 0 | y_band_max = (i & ~(mfb-1)) + mfb; |
2829 | 0 | if (y_band_max > edgebuffer->height) |
2830 | 0 | y_band_max = edgebuffer->height; |
2831 | 214 | } else { |
2832 | 214 | y_band_max = edgebuffer->height; |
2833 | 214 | } |
2834 | | |
2835 | | /* See how many scanlines match i */ |
2836 | 6.25k | for (j = i+1; j < y_band_max; j++) { |
2837 | 6.11k | int row2len; |
2838 | | |
2839 | 6.11k | row2 = &edgebuffer->table[edgebuffer->index[j]]; |
2840 | 6.11k | row2len = *row2++; |
2841 | 6.11k | row2ptr = row2; |
2842 | 6.11k | rowptr = row; |
2843 | | |
2844 | 6.11k | if (rowlen != row2len) |
2845 | 13 | break; |
2846 | 25.9k | while (row2len > 0) { |
2847 | 19.8k | if ((rowptr[1]&~1) != (row2ptr[1]&~1)) |
2848 | 56 | goto rowdifferent; |
2849 | 19.8k | rowptr += 2; |
2850 | 19.8k | row2ptr += 2; |
2851 | 19.8k | row2len--; |
2852 | 19.8k | } |
2853 | 6.09k | } |
2854 | 214 | rowdifferent:{} |
2855 | | |
2856 | | /* So j is the first scanline that doesn't match i */ |
2857 | | |
2858 | 214 | if (j == i+1) { |
2859 | 26 | while (rowlen > 0) { |
2860 | 14 | int left, right; |
2861 | | |
2862 | 14 | left = row[0]; |
2863 | 14 | right = row[2]; |
2864 | 14 | row += 4; |
2865 | 14 | rowlen -= 2; |
2866 | | |
2867 | 14 | left = fixed2int(left + fixed_half); |
2868 | 14 | right = fixed2int(right + fixed_half); |
2869 | 14 | right -= left; |
2870 | 14 | if (right > 0) { |
2871 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
2872 | | dlprintf("0.001 setlinewidth 1 0 1 setrgbcolor %% purple %%PS\n"); |
2873 | | coord("moveto", int2fixed(left), int2fixed(edgebuffer->base+i)); |
2874 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+i)); |
2875 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+i+1)); |
2876 | | coord("lineto", int2fixed(left), int2fixed(edgebuffer->base+i+1)); |
2877 | | dlprintf("closepath stroke %%PS\n"); |
2878 | | #endif |
2879 | 14 | if (log_op < 0) |
2880 | 0 | code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure); |
2881 | 14 | else |
2882 | 14 | code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op); |
2883 | 14 | if (code < 0) |
2884 | 0 | return code; |
2885 | 14 | } |
2886 | 14 | } |
2887 | 202 | } else { |
2888 | 202 | gs_fixed_edge le; |
2889 | 202 | gs_fixed_edge re; |
2890 | | |
2891 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
2892 | | #ifdef DEBUG_OUTPUT_SC_AS_PS_TRAPS_AS_RECTS |
2893 | | int k; |
2894 | | for (k = i; k < j; k++) |
2895 | | { |
2896 | | int row2len; |
2897 | | int left, right; |
2898 | | row2 = &edgebuffer->table[edgebuffer->index[k]]; |
2899 | | row2len = *row2++; |
2900 | | while (row2len > 0) { |
2901 | | left = row2[0]; |
2902 | | right = row2[2]; |
2903 | | row2 += 4; |
2904 | | row2len -= 2; |
2905 | | |
2906 | | left = fixed2int(left + fixed_half); |
2907 | | right = fixed2int(right + fixed_half); |
2908 | | right -= left; |
2909 | | if (right > 0) { |
2910 | | dlprintf("0.001 setlinewidth 1 0 0.5 setrgbcolor %%PS\n"); |
2911 | | coord("moveto", int2fixed(left), int2fixed(edgebuffer->base+k)); |
2912 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+k)); |
2913 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+k+1)); |
2914 | | coord("lineto", int2fixed(left), int2fixed(edgebuffer->base+k+1)); |
2915 | | dlprintf("closepath stroke %%PS\n"); |
2916 | | } |
2917 | | } |
2918 | | } |
2919 | | #endif |
2920 | | #endif |
2921 | | |
2922 | 202 | le.start.y = re.start.y = int2fixed(edgebuffer->base+i) + fixed_half; |
2923 | 202 | le.end.y = re.end.y = int2fixed(edgebuffer->base+j) - (fixed_half-1); |
2924 | 202 | row2 = &edgebuffer->table[edgebuffer->index[j-1]+1]; |
2925 | 512 | while (rowlen > 0) { |
2926 | 310 | le.start.x = row[0]; |
2927 | 310 | re.start.x = row[2]; |
2928 | 310 | le.end.x = row2[0]; |
2929 | 310 | re.end.x = row2[2]; |
2930 | 310 | row += 4; |
2931 | 310 | row2 += 4; |
2932 | 310 | rowlen -= 2; |
2933 | | |
2934 | 310 | assert(re.start.x >= le.start.x); |
2935 | 310 | assert(re.end.x >= le.end.x); |
2936 | | |
2937 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
2938 | | dlprintf("0.001 setlinewidth 0 1 1 setrgbcolor %%cyan %%PS\n"); |
2939 | | coord("moveto", le.start.x, le.start.y); |
2940 | | coord("lineto", le.end.x, le.end.y); |
2941 | | coord("lineto", re.end.x, re.end.y); |
2942 | | coord("lineto", re.start.x, re.start.y); |
2943 | | dlprintf("closepath stroke %%PS\n"); |
2944 | | #endif |
2945 | 310 | code = dev_proc(pdev, fill_trapezoid)( |
2946 | 310 | pdev, |
2947 | 310 | &le, |
2948 | 310 | &re, |
2949 | 310 | le.start.y, |
2950 | 310 | le.end.y, |
2951 | 310 | 0, /* bool swap_axes */ |
2952 | 310 | pdevc, /*const gx_drawing_color *pdcolor */ |
2953 | 310 | log_op); |
2954 | 310 | if (code < 0) |
2955 | 0 | return code; |
2956 | 310 | } |
2957 | 202 | } |
2958 | | |
2959 | 214 | i = j; |
2960 | 214 | } |
2961 | 93.8k | return 0; |
2962 | 93.8k | } |
2963 | | |
2964 | | /* Any part of a pixel trapezoid routines */ |
2965 | | |
2966 | | static int edgecmp_tr(const void *a, const void *b) |
2967 | 2.23M | { |
2968 | 2.23M | int left = ((int*)a)[0]; |
2969 | 2.23M | int right = ((int*)b)[0]; |
2970 | 2.23M | if (left != right) |
2971 | 2.13M | return left - right; |
2972 | 98.3k | left = ((int*)a)[2] - ((int*)b)[2]; |
2973 | 98.3k | if (left != 0) |
2974 | 2.83k | return left; |
2975 | 95.5k | left = ((int*)a)[1] - ((int*)b)[1]; |
2976 | 95.5k | if (left != 0) |
2977 | 93.7k | return left; |
2978 | 1.79k | return ((int*)a)[3] - ((int*)b)[3]; |
2979 | 95.5k | } |
2980 | | |
2981 | | #ifdef DEBUG_SCAN_CONVERTER |
2982 | | static void |
2983 | | gx_edgebuffer_print_filtered_tr_app(gx_edgebuffer * edgebuffer) |
2984 | | { |
2985 | | int i; |
2986 | | |
2987 | | if (!debugging_scan_converter) |
2988 | | return; |
2989 | | |
2990 | | dlprintf1("Edgebuffer %x\n", edgebuffer); |
2991 | | dlprintf4("xmin=%x xmax=%x base=%x height=%x\n", |
2992 | | edgebuffer->xmin, edgebuffer->xmax, edgebuffer->base, edgebuffer->height); |
2993 | | for (i=0; i < edgebuffer->height; i++) |
2994 | | { |
2995 | | int offset = edgebuffer->index[i]; |
2996 | | int *row = &edgebuffer->table[offset]; |
2997 | | int count = *row++; |
2998 | | dlprintf3("%x @ %d: %d =", i, offset, count); |
2999 | | while (count-- > 0) { |
3000 | | int left = *row++; |
3001 | | int lid = *row++; |
3002 | | int right = *row++; |
3003 | | int rid = *row++; |
3004 | | dlprintf4(" (%x:%d,%x:%d)", left, lid, right, rid); |
3005 | | } |
3006 | | dlprintf("\n"); |
3007 | | } |
3008 | | } |
3009 | | |
3010 | | static void |
3011 | | gx_edgebuffer_print_tr_app(gx_edgebuffer * edgebuffer) |
3012 | | { |
3013 | | int i; |
3014 | | int borked = 0; |
3015 | | |
3016 | | if (!debugging_scan_converter) |
3017 | | return; |
3018 | | |
3019 | | dlprintf1("Edgebuffer %x\n", edgebuffer); |
3020 | | dlprintf4("xmin=%x xmax=%x base=%x height=%x\n", |
3021 | | edgebuffer->xmin, edgebuffer->xmax, edgebuffer->base, edgebuffer->height); |
3022 | | for (i=0; i < edgebuffer->height; i++) |
3023 | | { |
3024 | | int offset = edgebuffer->index[i]; |
3025 | | int *row = &edgebuffer->table[offset]; |
3026 | | int count = *row++; |
3027 | | int c = count; |
3028 | | int wind = 0; |
3029 | | dlprintf3("%x @ %d: %d =", i, offset, count); |
3030 | | while (count-- > 0) { |
3031 | | int left = *row++; |
3032 | | int lid = *row++; |
3033 | | int right = *row++; |
3034 | | int rid = *row++; |
3035 | | int ww = lid & 1; |
3036 | | int w = -ww | 1; |
3037 | | lid >>= 1; |
3038 | | wind += w; |
3039 | | dlprintf5(" (%x:%d,%x:%d)%c", left, lid, right, rid, ww ? 'v' : '^'); |
3040 | | } |
3041 | | if (wind != 0 || c & 1) { |
3042 | | dlprintf(" <- BROKEN"); |
3043 | | borked = 1; |
3044 | | } |
3045 | | dlprintf("\n"); |
3046 | | } |
3047 | | if (borked) { |
3048 | | borked = borked; /* Breakpoint here */ |
3049 | | } |
3050 | | } |
3051 | | #endif |
3052 | | |
3053 | | typedef struct |
3054 | | { |
3055 | | fixed left; |
3056 | | int lid; |
3057 | | fixed right; |
3058 | | int rid; |
3059 | | fixed y; |
3060 | | signed char d; /* 0 up (or horiz), 1 down, -1 uninited */ |
3061 | | unsigned char first; |
3062 | | unsigned char saved; |
3063 | | fixed save_left; |
3064 | | int save_lid; |
3065 | | fixed save_right; |
3066 | | int save_rid; |
3067 | | int save_iy; |
3068 | | int save_d; |
3069 | | |
3070 | | int scanlines; |
3071 | | int *table; |
3072 | | int *index; |
3073 | | int base; |
3074 | | } cursor_tr; |
3075 | | |
3076 | | static inline void |
3077 | | cursor_output_tr(cursor_tr * gs_restrict cr, int iy) |
3078 | 3.16M | { |
3079 | 3.16M | int *row; |
3080 | 3.16M | int count; |
3081 | | |
3082 | 3.16M | if (iy >= 0 && iy < cr->scanlines) { |
3083 | 3.13M | if (cr->first) { |
3084 | | /* Save it for later in case we join up */ |
3085 | 36.6k | cr->save_left = cr->left; |
3086 | 36.6k | cr->save_lid = cr->lid; |
3087 | 36.6k | cr->save_right = cr->right; |
3088 | 36.6k | cr->save_rid = cr->rid; |
3089 | 36.6k | cr->save_iy = iy; |
3090 | 36.6k | cr->save_d = cr->d; |
3091 | 36.6k | cr->saved = 1; |
3092 | 3.09M | } else if (cr->d != DIRN_UNSET) { |
3093 | | /* Enter it into the table */ |
3094 | 3.09M | row = &cr->table[cr->index[iy]]; |
3095 | 3.09M | *row = count = (*row)+1; /* Increment the count */ |
3096 | 3.09M | row[4 * count - 3] = cr->left; |
3097 | 3.09M | row[4 * count - 2] = cr->d | (cr->lid<<1); |
3098 | 3.09M | row[4 * count - 1] = cr->right; |
3099 | 3.09M | row[4 * count ] = cr->rid; |
3100 | 3.09M | } else { |
3101 | 687 | assert(cr->left == max_fixed && cr->right == min_fixed); |
3102 | 687 | } |
3103 | 3.13M | } |
3104 | 3.16M | cr->first = 0; |
3105 | 3.16M | } |
3106 | | |
3107 | | static inline void |
3108 | | cursor_output_inrange_tr(cursor_tr * gs_restrict cr, int iy) |
3109 | 2.01M | { |
3110 | 2.01M | int *row; |
3111 | 2.01M | int count; |
3112 | | |
3113 | 2.01M | assert(iy >= 0 && iy < cr->scanlines); |
3114 | 2.01M | if (cr->first) { |
3115 | | /* Save it for later in case we join up */ |
3116 | 5.93k | cr->save_left = cr->left; |
3117 | 5.93k | cr->save_lid = cr->lid; |
3118 | 5.93k | cr->save_right = cr->right; |
3119 | 5.93k | cr->save_rid = cr->rid; |
3120 | 5.93k | cr->save_iy = iy; |
3121 | 5.93k | cr->save_d = cr->d; |
3122 | 5.93k | cr->saved = 1; |
3123 | 2.00M | } else { |
3124 | | /* Enter it into the table */ |
3125 | 2.00M | assert(cr->d != DIRN_UNSET); |
3126 | | |
3127 | 2.00M | row = &cr->table[cr->index[iy]]; |
3128 | 2.00M | *row = count = (*row)+1; /* Increment the count */ |
3129 | 2.00M | row[4 * count - 3] = cr->left; |
3130 | 2.00M | row[4 * count - 2] = cr->d | (cr->lid<<1); |
3131 | 2.00M | row[4 * count - 1] = cr->right; |
3132 | 2.00M | row[4 * count ] = cr->rid; |
3133 | 2.00M | } |
3134 | 2.01M | cr->first = 0; |
3135 | 2.01M | } |
3136 | | |
3137 | | /* Step the cursor in y, allowing for maybe crossing a scanline */ |
3138 | | static inline void |
3139 | | cursor_step_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id, int skip) |
3140 | 186k | { |
3141 | 186k | int new_iy; |
3142 | 186k | int iy = fixed2int(cr->y) - cr->base; |
3143 | | |
3144 | 186k | cr->y += dy; |
3145 | 186k | new_iy = fixed2int(cr->y) - cr->base; |
3146 | 186k | if (new_iy != iy) { |
3147 | 186k | if (!skip) |
3148 | 185k | cursor_output_tr(cr, iy); |
3149 | 186k | cr->left = x; |
3150 | 186k | cr->lid = id; |
3151 | 186k | cr->right = x; |
3152 | 186k | cr->rid = id; |
3153 | 186k | } else { |
3154 | 0 | if (x < cr->left) { |
3155 | 0 | cr->left = x; |
3156 | 0 | cr->lid = id; |
3157 | 0 | } |
3158 | 0 | if (x > cr->right) { |
3159 | 0 | cr->right = x; |
3160 | 0 | cr->rid = id; |
3161 | 0 | } |
3162 | 0 | } |
3163 | 186k | } |
3164 | | |
3165 | | /* Step the cursor in y, never by enough to cross a scanline. */ |
3166 | | static inline void |
3167 | | cursor_never_step_vertical_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id) |
3168 | 19.7k | { |
3169 | 19.7k | assert(fixed2int(cr->y+dy) == fixed2int(cr->y)); |
3170 | | |
3171 | 19.7k | cr->y += dy; |
3172 | 19.7k | } |
3173 | | |
3174 | | /* Step the cursor in y, never by enough to cross a scanline, |
3175 | | * knowing that we are moving left, and that the right edge |
3176 | | * has already been accounted for. */ |
3177 | | static inline void |
3178 | | cursor_never_step_left_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id) |
3179 | 35.7k | { |
3180 | 35.7k | assert(fixed2int(cr->y+dy) == fixed2int(cr->y)); |
3181 | | |
3182 | 35.7k | if (x < cr->left) |
3183 | 27.5k | { |
3184 | 27.5k | cr->left = x; |
3185 | 27.5k | cr->lid = id; |
3186 | 27.5k | } |
3187 | 35.7k | cr->y += dy; |
3188 | 35.7k | } |
3189 | | |
3190 | | /* Step the cursor in y, never by enough to cross a scanline, |
3191 | | * knowing that we are moving right, and that the left edge |
3192 | | * has already been accounted for. */ |
3193 | | static inline void |
3194 | | cursor_never_step_right_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id) |
3195 | 35.7k | { |
3196 | 35.7k | assert(fixed2int(cr->y+dy) == fixed2int(cr->y)); |
3197 | | |
3198 | 35.7k | if (x > cr->right) |
3199 | 35.1k | { |
3200 | 35.1k | cr->right = x; |
3201 | 35.1k | cr->rid = id; |
3202 | 35.1k | } |
3203 | 35.7k | cr->y += dy; |
3204 | 35.7k | } |
3205 | | |
3206 | | /* Step the cursor in y, always by enough to cross a scanline. */ |
3207 | | static inline void |
3208 | | cursor_always_step_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id, int skip) |
3209 | 124k | { |
3210 | 124k | int iy = fixed2int(cr->y) - cr->base; |
3211 | | |
3212 | 124k | if (!skip) |
3213 | 107k | cursor_output_tr(cr, iy); |
3214 | 124k | cr->y += dy; |
3215 | 124k | cr->left = x; |
3216 | 124k | cr->lid = id; |
3217 | 124k | cr->right = x; |
3218 | 124k | cr->rid = id; |
3219 | 124k | } |
3220 | | |
3221 | | /* Step the cursor in y, always by enough to cross a scanline, as |
3222 | | * part of a vertical line, knowing that we are moving from a |
3223 | | * position guaranteed to be in the valid y range. */ |
3224 | | static inline void |
3225 | | cursor_always_step_inrange_vertical_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id) |
3226 | 2.74M | { |
3227 | 2.74M | int iy = fixed2int(cr->y) - cr->base; |
3228 | | |
3229 | 2.74M | cursor_output_tr(cr, iy); |
3230 | 2.74M | cr->y += dy; |
3231 | 2.74M | } |
3232 | | |
3233 | | /* Step the cursor in y, always by enough to cross a scanline, as |
3234 | | * part of a left moving line, knowing that we are moving from a |
3235 | | * position guaranteed to be in the valid y range. */ |
3236 | | static inline void |
3237 | | cursor_always_inrange_step_left_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id) |
3238 | 1.04M | { |
3239 | 1.04M | int iy = fixed2int(cr->y) - cr->base; |
3240 | | |
3241 | 1.04M | cr->y += dy; |
3242 | 1.04M | cursor_output_inrange_tr(cr, iy); |
3243 | 1.04M | cr->right = x; |
3244 | 1.04M | cr->rid = id; |
3245 | 1.04M | } |
3246 | | |
3247 | | /* Step the cursor in y, always by enough to cross a scanline, as |
3248 | | * part of a right moving line, knowing that we are moving from a |
3249 | | * position guaranteed to be in the valid y range. */ |
3250 | | static inline void |
3251 | | cursor_always_inrange_step_right_tr(cursor_tr * gs_restrict cr, fixed dy, fixed x, int id) |
3252 | 968k | { |
3253 | 968k | int iy = fixed2int(cr->y) - cr->base; |
3254 | | |
3255 | 968k | cr->y += dy; |
3256 | 968k | cursor_output_inrange_tr(cr, iy); |
3257 | 968k | cr->left = x; |
3258 | 968k | cr->lid = id; |
3259 | 968k | } |
3260 | | |
3261 | | static inline void cursor_init_tr(cursor_tr * gs_restrict cr, fixed y, fixed x, int id) |
3262 | 0 | { |
3263 | 0 | assert(y >= int2fixed(cr->base) && y <= int2fixed(cr->base + cr->scanlines)); |
3264 | 0 |
|
3265 | 0 | cr->y = y; |
3266 | 0 | cr->left = x; |
3267 | 0 | cr->lid = id; |
3268 | 0 | cr->right = x; |
3269 | 0 | cr->rid = id; |
3270 | 0 | cr->d = DIRN_UNSET; |
3271 | 0 | } |
3272 | | |
3273 | | static inline void cursor_left_merge_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3274 | 1.76M | { |
3275 | 1.76M | if (x < cr->left) { |
3276 | 599k | cr->left = x; |
3277 | 599k | cr->lid = id; |
3278 | 599k | } |
3279 | 1.76M | } |
3280 | | |
3281 | | static inline void cursor_left_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3282 | 1.13M | { |
3283 | 1.13M | cr->left = x; |
3284 | 1.13M | cr->lid = id; |
3285 | 1.13M | } |
3286 | | |
3287 | | static inline void cursor_right_merge_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3288 | 1.64M | { |
3289 | 1.64M | if (x > cr->right) { |
3290 | 453k | cr->right = x; |
3291 | 453k | cr->rid = id; |
3292 | 453k | } |
3293 | 1.64M | } |
3294 | | |
3295 | | static inline void cursor_right_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3296 | 1.05M | { |
3297 | 1.05M | cr->right = x; |
3298 | 1.05M | cr->rid = id; |
3299 | 1.05M | } |
3300 | | |
3301 | | static inline int cursor_down_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3302 | 257k | { |
3303 | 257k | int skip = 0; |
3304 | 257k | if ((cr->y & 0xff) == 0) |
3305 | 18.6k | skip = 1; |
3306 | 257k | if (cr->d == DIRN_UP) |
3307 | 27.2k | { |
3308 | 27.2k | if (!skip) |
3309 | 27.2k | cursor_output_tr(cr, fixed2int(cr->y) - cr->base); |
3310 | 27.2k | cr->left = x; |
3311 | 27.2k | cr->lid = id; |
3312 | 27.2k | cr->right = x; |
3313 | 27.2k | cr->rid = id; |
3314 | 27.2k | } |
3315 | 257k | cr->d = DIRN_DOWN; |
3316 | 257k | return skip; |
3317 | 257k | } |
3318 | | |
3319 | | static inline void cursor_up_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3320 | 421k | { |
3321 | 421k | if (cr->d == DIRN_DOWN) |
3322 | 19.5k | { |
3323 | 19.5k | cursor_output_tr(cr, fixed2int(cr->y) - cr->base); |
3324 | 19.5k | cr->left = x; |
3325 | 19.5k | cr->lid = id; |
3326 | 19.5k | cr->right = x; |
3327 | 19.5k | cr->rid = id; |
3328 | 19.5k | } |
3329 | 421k | cr->d = DIRN_UP; |
3330 | 421k | } |
3331 | | |
3332 | | static inline void |
3333 | | cursor_flush_tr(cursor_tr * gs_restrict cr, fixed x, int id) |
3334 | 56.2k | { |
3335 | 56.2k | int iy; |
3336 | | |
3337 | | /* This should only happen if we were entirely out of bounds, |
3338 | | * or if everything was within a zero height horizontal |
3339 | | * rectangle from the start point. */ |
3340 | 56.2k | if (cr->first) { |
3341 | 334 | int iy = fixed2int(cr->y) - cr->base; |
3342 | | /* Any zero height rectangle counts as filled, except |
3343 | | * those on the baseline of a pixel. */ |
3344 | 334 | if (cr->d == DIRN_UNSET && (cr->y & 0xff) == 0) |
3345 | 23 | return; |
3346 | 311 | assert(cr->left != max_fixed && cr->right != min_fixed); |
3347 | 311 | if (iy >= 0 && iy < cr->scanlines) { |
3348 | 291 | int *row = &cr->table[cr->index[iy]]; |
3349 | 291 | int count = *row = (*row)+2; /* Increment the count */ |
3350 | 291 | row[4 * count - 7] = cr->left; |
3351 | 291 | row[4 * count - 6] = DIRN_UP | (cr->lid<<1); |
3352 | 291 | row[4 * count - 5] = cr->right; |
3353 | 291 | row[4 * count - 4] = cr->rid; |
3354 | 291 | row[4 * count - 3] = cr->right; |
3355 | 291 | row[4 * count - 2] = DIRN_DOWN | (cr->rid<<1); |
3356 | 291 | row[4 * count - 1] = cr->right; |
3357 | 291 | row[4 * count ] = cr->rid; |
3358 | 291 | } |
3359 | 311 | return; |
3360 | 334 | } |
3361 | | |
3362 | | /* Merge save into current if we can */ |
3363 | 55.9k | iy = fixed2int(cr->y) - cr->base; |
3364 | 55.9k | if (cr->saved && iy == cr->save_iy && |
3365 | 55.9k | (cr->d == cr->save_d || cr->save_d == DIRN_UNSET)) { |
3366 | 17.0k | if (cr->left > cr->save_left) { |
3367 | 14.8k | cr->left = cr->save_left; |
3368 | 14.8k | cr->lid = cr->save_lid; |
3369 | 14.8k | } |
3370 | 17.0k | if (cr->right < cr->save_right) { |
3371 | 835 | cr->right = cr->save_right; |
3372 | 835 | cr->rid = cr->save_rid; |
3373 | 835 | } |
3374 | 17.0k | cursor_output_tr(cr, iy); |
3375 | 17.0k | return; |
3376 | 17.0k | } |
3377 | | |
3378 | | /* Merge not possible */ |
3379 | 38.9k | cursor_output_tr(cr, iy); |
3380 | 38.9k | if (cr->saved) { |
3381 | 25.5k | cr->left = cr->save_left; |
3382 | 25.5k | cr->lid = cr->save_lid; |
3383 | 25.5k | cr->right = cr->save_right; |
3384 | 25.5k | cr->rid = cr->save_rid; |
3385 | 25.5k | assert(cr->save_d != DIRN_UNSET); |
3386 | 25.5k | if (cr->save_d != DIRN_UNSET) |
3387 | 25.5k | cr->d = cr->save_d; |
3388 | 25.5k | cursor_output_tr(cr, cr->save_iy); |
3389 | 25.5k | } |
3390 | 38.9k | } |
3391 | | |
3392 | | static inline void |
3393 | | cursor_null_tr(cursor_tr *cr) |
3394 | 92.3k | { |
3395 | 92.3k | cr->right = min_fixed; |
3396 | 92.3k | cr->left = max_fixed; |
3397 | 92.3k | cr->d = DIRN_UNSET; |
3398 | 92.3k | } |
3399 | | |
3400 | | static void mark_line_tr_app(cursor_tr * gs_restrict cr, fixed sx, fixed sy, fixed ex, fixed ey, int id) |
3401 | 6.87M | { |
3402 | 6.87M | int isy, iey; |
3403 | 6.87M | fixed saved_sy = sy; |
3404 | 6.87M | fixed saved_ex = ex; |
3405 | 6.87M | fixed saved_ey = ey; |
3406 | 6.87M | int truncated; |
3407 | | |
3408 | 6.87M | if (sy == ey && sx == ex) |
3409 | 150k | return; |
3410 | | |
3411 | 6.72M | isy = fixed2int(sy) - cr->base; |
3412 | 6.72M | iey = fixed2int(ey) - cr->base; |
3413 | | |
3414 | | #ifdef DEBUG_SCAN_CONVERTER |
3415 | | if (debugging_scan_converter) |
3416 | | dlprintf6("Marking line (tr_app) from %x,%x to %x,%x (%x,%x)\n", sx, sy, ex, ey, isy, iey); |
3417 | | #endif |
3418 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
3419 | | dlprintf("0.001 setlinewidth 0 0 0 setrgbcolor %%PS\n"); |
3420 | | coord("moveto", sx, sy); |
3421 | | coord("lineto", ex, ey); |
3422 | | dlprintf("stroke %%PS\n"); |
3423 | | #endif |
3424 | | |
3425 | | /* Horizontal motion at the bottom of a pixel is ignored */ |
3426 | 6.72M | if (sy == ey && (sy & 0xff) == 0) |
3427 | 20.4k | return; |
3428 | | |
3429 | 6.70M | assert(cr->y == sy && |
3430 | 6.70M | ((cr->left <= sx && cr->right >= sx) || ((sy & 0xff) == 0)) && |
3431 | 6.70M | cr->d >= DIRN_UNSET && cr->d <= DIRN_DOWN); |
3432 | | |
3433 | 6.70M | if (isy < iey) { |
3434 | | /* Rising line */ |
3435 | 2.68M | if (iey < 0 || isy >= cr->scanlines) { |
3436 | | /* All line is outside. */ |
3437 | 2.57M | if ((ey & 0xff) == 0) { |
3438 | 10.8k | cursor_null_tr(cr); |
3439 | 2.56M | } else { |
3440 | 2.56M | cr->left = ex; |
3441 | 2.56M | cr->lid = id; |
3442 | 2.56M | cr->right = ex; |
3443 | 2.56M | cr->rid = id; |
3444 | 2.56M | } |
3445 | 2.57M | cr->y = ey; |
3446 | 2.57M | cr->first = 0; |
3447 | 2.57M | return; |
3448 | 2.57M | } |
3449 | 111k | if (isy < 0) { |
3450 | | /* Move sy up */ |
3451 | 16.4k | int64_t y = (int64_t)ey - (int64_t)sy; |
3452 | 16.4k | fixed new_sy = int2fixed(cr->base); |
3453 | 16.4k | int64_t dy = (int64_t)new_sy - (int64_t)sy; |
3454 | 16.4k | sx += (int)(((((int64_t)ex-sx))*dy + y/2)/y); |
3455 | 16.4k | sy = new_sy; |
3456 | 16.4k | cursor_null_tr(cr); |
3457 | 16.4k | cr->y = sy; |
3458 | 16.4k | isy = 0; |
3459 | 16.4k | } |
3460 | 111k | truncated = iey > cr->scanlines; |
3461 | 111k | if (truncated) { |
3462 | | /* Move ey down */ |
3463 | 16.8k | int64_t y = (int64_t)ey - (int64_t)sy; |
3464 | 16.8k | fixed new_ey = int2fixed(cr->base + cr->scanlines); |
3465 | 16.8k | int64_t dy = (int64_t)ey - (int64_t)new_ey; |
3466 | 16.8k | saved_ex = ex; |
3467 | 16.8k | saved_ey = ey; |
3468 | 16.8k | ex -= (int)(((((int64_t)ex-sx))*dy + y/2)/y); |
3469 | 16.8k | ey = new_ey; |
3470 | 16.8k | iey = cr->scanlines; |
3471 | 16.8k | } |
3472 | 4.02M | } else { |
3473 | | /* Falling line */ |
3474 | 4.02M | if (isy < 0 || iey >= cr->scanlines) { |
3475 | | /* All line is outside. */ |
3476 | 2.95M | if ((ey & 0xff) == 0) { |
3477 | 10.7k | cursor_null_tr(cr); |
3478 | 2.94M | } else { |
3479 | 2.94M | cr->left = ex; |
3480 | 2.94M | cr->lid = id; |
3481 | 2.94M | cr->right = ex; |
3482 | 2.94M | cr->rid = id; |
3483 | 2.94M | } |
3484 | 2.95M | cr->y = ey; |
3485 | 2.95M | cr->first = 0; |
3486 | 2.95M | return; |
3487 | 2.95M | } |
3488 | 1.06M | truncated = iey < 0; |
3489 | 1.06M | if (truncated) { |
3490 | | /* Move ey up */ |
3491 | 16.4k | int64_t y = (int64_t)ey - (int64_t)sy; |
3492 | 16.4k | fixed new_ey = int2fixed(cr->base); |
3493 | 16.4k | int64_t dy = (int64_t)ey - (int64_t)new_ey; |
3494 | 16.4k | ex -= (int)(((((int64_t)ex-sx))*dy + y/2)/y); |
3495 | 16.4k | ey = new_ey; |
3496 | 16.4k | iey = 0; |
3497 | 16.4k | } |
3498 | 1.06M | if (isy >= cr->scanlines) { |
3499 | | /* Move sy down */ |
3500 | 17.1k | int64_t y = (int64_t)ey - (int64_t)sy; |
3501 | 17.1k | fixed new_sy = int2fixed(cr->base + cr->scanlines); |
3502 | 17.1k | int64_t dy = (int64_t)new_sy - (int64_t)sy; |
3503 | 17.1k | sx += (int)(((((int64_t)ex-sx))*dy + y/2)/y); |
3504 | 17.1k | sy = new_sy; |
3505 | 17.1k | cursor_null_tr(cr); |
3506 | 17.1k | cr->y = sy; |
3507 | 17.1k | isy = cr->scanlines; |
3508 | 17.1k | } |
3509 | 1.06M | } |
3510 | | |
3511 | 1.17M | cursor_left_merge_tr(cr, sx, id); |
3512 | 1.17M | cursor_right_merge_tr(cr, sx, id); |
3513 | | |
3514 | 1.17M | assert(cr->left <= sx); |
3515 | 1.17M | assert(cr->right >= sx); |
3516 | 1.17M | assert(cr->y == sy); |
3517 | | |
3518 | | /* A note: The code below used to be of the form: |
3519 | | * if (isy == iey) ... deal with horizontal lines |
3520 | | * else if (ey > sy) { |
3521 | | * fixed y_steps = ey - sy; |
3522 | | * ... deal with rising lines ... |
3523 | | * } else { |
3524 | | * fixed y_steps = ey - sy; |
3525 | | * ... deal with falling lines |
3526 | | * } |
3527 | | * but that lead to problems, for instance, an example seen |
3528 | | * has sx=2aa8e, sy=8aee7, ex=7ffc1686, ey=8003e97a. |
3529 | | * Thus isy=84f, iey=ff80038a. We can see that ey < sy, but |
3530 | | * sy - ey < 0! |
3531 | | * We therefore rejig our code so that the choice between |
3532 | | * cases is done based on the sign of y_steps rather than |
3533 | | * the relative size of ey and sy. |
3534 | | */ |
3535 | | |
3536 | | /* First, deal with lines that don't change scanline. |
3537 | | * This accommodates horizontal lines. */ |
3538 | 1.17M | if (isy == iey) { |
3539 | 956k | if (saved_sy == saved_ey) { |
3540 | | /* Horizontal line. Don't change cr->d, don't flush. */ |
3541 | 498k | if ((ey & 0xff) == 0) { |
3542 | 0 | cursor_null_tr(cr); |
3543 | 0 | goto no_merge; |
3544 | 0 | } |
3545 | 498k | } else if (saved_sy > saved_ey) { |
3546 | | /* Falling line, flush if previous was rising */ |
3547 | 147k | int skip = cursor_down_tr(cr, sx, id); |
3548 | 147k | if ((ey & 0xff) == 0) { |
3549 | | /* We are falling to the baseline of a subpixel, so output |
3550 | | * for the current pixel, and leave the cursor nulled. */ |
3551 | 976 | if (sx <= ex) { |
3552 | 559 | cursor_right_merge_tr(cr, ex, id); |
3553 | 559 | } else { |
3554 | 417 | cursor_left_merge_tr(cr, ex, id); |
3555 | 417 | } |
3556 | 976 | if (!skip) |
3557 | 933 | cursor_output_tr(cr, fixed2int(cr->y) - cr->base); |
3558 | 976 | cursor_null_tr(cr); |
3559 | 976 | goto no_merge; |
3560 | 976 | } |
3561 | 310k | } else { |
3562 | | /* Rising line, flush if previous was falling */ |
3563 | 310k | cursor_up_tr(cr, sx, id); |
3564 | 310k | if ((ey & 0xff) == 0) { |
3565 | 50 | cursor_null_tr(cr); |
3566 | 50 | goto no_merge; |
3567 | 50 | } |
3568 | 310k | } |
3569 | 955k | if (sx <= ex) { |
3570 | 415k | cursor_right_merge_tr(cr, ex, id); |
3571 | 539k | } else { |
3572 | 539k | cursor_left_merge_tr(cr, ex, id); |
3573 | 539k | } |
3574 | 956k | no_merge: |
3575 | 956k | cr->y = ey; |
3576 | 956k | if (sy > saved_ey) |
3577 | 147k | goto endFalling; |
3578 | 956k | } else if (iey > isy) { |
3579 | | /* So lines increasing in y. */ |
3580 | | /* We want to change from sy to ey, which are guaranteed to be on |
3581 | | * different scanlines. We do this in 3 phases. |
3582 | | * Phase 1 gets us from sy to the next scanline boundary. (We may exit after phase 1). |
3583 | | * Phase 2 gets us all the way to the last scanline boundary. (This may be a null operation) |
3584 | | * Phase 3 gets us from the last scanline boundary to ey. (We are guaranteed to have output the cursor at least once before phase 3). |
3585 | | */ |
3586 | 111k | int phase1_y_steps = (-sy) & (fixed_1 - 1); |
3587 | 111k | int phase3_y_steps = ey & (fixed_1 - 1); |
3588 | 111k | ufixed y_steps = (ufixed)ey - (ufixed)sy; |
3589 | | |
3590 | 111k | cursor_up_tr(cr, sx, id); |
3591 | | |
3592 | 111k | if (sx == ex) { |
3593 | | /* Vertical line. (Rising) */ |
3594 | | |
3595 | | /* Phase 1: */ |
3596 | 30.8k | if (phase1_y_steps) { |
3597 | | /* If phase 1 will move us into a new scanline, then we must |
3598 | | * flush it before we move. */ |
3599 | 21.3k | cursor_step_tr(cr, phase1_y_steps, sx, id, 0); |
3600 | 21.3k | sy += phase1_y_steps; |
3601 | 21.3k | y_steps -= phase1_y_steps; |
3602 | 21.3k | if (y_steps == 0) { |
3603 | 732 | cursor_null_tr(cr); |
3604 | 732 | goto end; |
3605 | 732 | } |
3606 | 21.3k | } |
3607 | | |
3608 | | /* Phase 3: precalculation */ |
3609 | 30.1k | y_steps -= phase3_y_steps; |
3610 | | |
3611 | | /* Phase 2: */ |
3612 | 30.1k | y_steps = fixed2int(y_steps); |
3613 | 30.1k | assert(y_steps >= 0); |
3614 | 30.1k | if (y_steps > 0) { |
3615 | 28.5k | cursor_always_step_tr(cr, fixed_1, sx, id, 0); |
3616 | 28.5k | y_steps--; |
3617 | 1.40M | while (y_steps) { |
3618 | 1.37M | cursor_always_step_inrange_vertical_tr(cr, fixed_1, sx, id); |
3619 | 1.37M | y_steps--; |
3620 | 1.37M | } |
3621 | 28.5k | } |
3622 | | |
3623 | | /* Phase 3 */ |
3624 | 30.1k | assert(cr->left == sx && cr->right == sx && cr->lid == id && cr->rid == id); |
3625 | 30.1k | if (phase3_y_steps == 0) |
3626 | 9.57k | cursor_null_tr(cr); |
3627 | 20.5k | else |
3628 | 20.5k | cr->y += phase3_y_steps; |
3629 | 80.2k | } else if (sx < ex) { |
3630 | | /* Lines increasing in x. (Rightwards, rising) */ |
3631 | 42.4k | int phase1_x_steps, phase3_x_steps; |
3632 | | /* Use unsigned int here, to allow for extreme cases like |
3633 | | * ex = 0x7fffffff, sx = 0x80000000 */ |
3634 | 42.4k | unsigned int x_steps = ex - sx; |
3635 | | |
3636 | | /* Phase 1: */ |
3637 | 42.4k | if (phase1_y_steps) { |
3638 | 36.7k | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
3639 | 36.7k | sx += phase1_x_steps; |
3640 | 36.7k | cursor_right_merge_tr(cr, sx, id); |
3641 | 36.7k | x_steps -= phase1_x_steps; |
3642 | 36.7k | cursor_step_tr(cr, phase1_y_steps, sx, id, 0); |
3643 | 36.7k | sy += phase1_y_steps; |
3644 | 36.7k | y_steps -= phase1_y_steps; |
3645 | 36.7k | if (y_steps == 0) { |
3646 | 500 | cursor_null_tr(cr); |
3647 | 500 | goto end; |
3648 | 500 | } |
3649 | 36.7k | } |
3650 | | |
3651 | | /* Phase 3: precalculation */ |
3652 | 41.9k | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
3653 | 41.9k | x_steps -= phase3_x_steps; |
3654 | 41.9k | y_steps -= phase3_y_steps; |
3655 | 41.9k | assert((y_steps & (fixed_1 - 1)) == 0); |
3656 | | |
3657 | | /* Phase 2: */ |
3658 | 41.9k | y_steps = fixed2int(y_steps); |
3659 | 41.9k | assert(y_steps >= 0); |
3660 | 41.9k | if (y_steps) { |
3661 | | /* We want to change sx by x_steps in y_steps steps. |
3662 | | * So each step, we add x_steps/y_steps to sx. That's x_inc + n_inc/y_steps. */ |
3663 | 18.4k | int x_inc = x_steps/y_steps; |
3664 | 18.4k | int n_inc = x_steps - (x_inc * y_steps); |
3665 | 18.4k | int f = y_steps/2; |
3666 | 18.4k | int d = y_steps; |
3667 | | |
3668 | | /* Special casing the first iteration, allows us to simplify |
3669 | | * the following loop. */ |
3670 | 18.4k | sx += x_inc; |
3671 | 18.4k | f -= n_inc; |
3672 | 18.4k | if (f < 0) |
3673 | 5.72k | f += d, sx++; |
3674 | 18.4k | cursor_right_merge_tr(cr, sx, id); |
3675 | 18.4k | cursor_always_step_tr(cr, fixed_1, sx, id, 0); |
3676 | 18.4k | y_steps--; |
3677 | | |
3678 | 467k | while (y_steps) { |
3679 | 449k | sx += x_inc; |
3680 | 449k | f -= n_inc; |
3681 | 449k | if (f < 0) |
3682 | 184k | f += d, sx++; |
3683 | 449k | cursor_right_tr(cr, sx, id); |
3684 | 449k | cursor_always_inrange_step_right_tr(cr, fixed_1, sx, id); |
3685 | 449k | y_steps--; |
3686 | 449k | }; |
3687 | 18.4k | } |
3688 | | |
3689 | | /* Phase 3 */ |
3690 | 41.9k | assert(cr->left <= ex && cr->lid == id && cr->right >= sx); |
3691 | 41.9k | if (phase3_y_steps == 0) |
3692 | 5.45k | cursor_null_tr(cr); |
3693 | 36.5k | else { |
3694 | 36.5k | cursor_right_tr(cr, ex, id); |
3695 | 36.5k | cr->y += phase3_y_steps; |
3696 | 36.5k | } |
3697 | 41.9k | } else { |
3698 | | /* Lines decreasing in x. (Leftwards, rising) */ |
3699 | 37.7k | int phase1_x_steps, phase3_x_steps; |
3700 | | /* Use unsigned int here, to allow for extreme cases like |
3701 | | * sx = 0x7fffffff, ex = 0x80000000 */ |
3702 | 37.7k | unsigned int x_steps = sx - ex; |
3703 | | |
3704 | | /* Phase 1: */ |
3705 | 37.7k | if (phase1_y_steps) { |
3706 | 35.8k | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
3707 | 35.8k | x_steps -= phase1_x_steps; |
3708 | 35.8k | sx -= phase1_x_steps; |
3709 | 35.8k | cursor_left_merge_tr(cr, sx, id); |
3710 | 35.8k | cursor_step_tr(cr, phase1_y_steps, sx, id, 0); |
3711 | 35.8k | sy += phase1_y_steps; |
3712 | 35.8k | y_steps -= phase1_y_steps; |
3713 | 35.8k | if (y_steps == 0) { |
3714 | 992 | cursor_null_tr(cr); |
3715 | 992 | goto end; |
3716 | 992 | } |
3717 | 35.8k | } |
3718 | | |
3719 | | /* Phase 3: precalculation */ |
3720 | 36.7k | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
3721 | 36.7k | x_steps -= phase3_x_steps; |
3722 | 36.7k | y_steps -= phase3_y_steps; |
3723 | 36.7k | assert((y_steps & (fixed_1 - 1)) == 0); |
3724 | | |
3725 | | /* Phase 2: */ |
3726 | 36.7k | y_steps = fixed2int((unsigned int)y_steps); |
3727 | 36.7k | assert(y_steps >= 0); |
3728 | 36.7k | if (y_steps) { |
3729 | | /* We want to change sx by x_steps in y_steps steps. |
3730 | | * So each step, we sub x_steps/y_steps from sx. That's x_inc + n_inc/ey. */ |
3731 | 14.4k | int x_inc = x_steps/y_steps; |
3732 | 14.4k | int n_inc = x_steps - (x_inc * y_steps); |
3733 | 14.4k | int f = y_steps/2; |
3734 | 14.4k | int d = y_steps; |
3735 | | |
3736 | | /* Special casing the first iteration, allows us to simplify |
3737 | | * the following loop. */ |
3738 | 14.4k | sx -= x_inc; |
3739 | 14.4k | f -= n_inc; |
3740 | 14.4k | if (f < 0) |
3741 | 3.86k | f += d, sx--; |
3742 | 14.4k | cursor_left_merge_tr(cr, sx, id); |
3743 | 14.4k | cursor_always_step_tr(cr, fixed_1, sx, id, 0); |
3744 | 14.4k | y_steps--; |
3745 | | |
3746 | 557k | while (y_steps) { |
3747 | 543k | sx -= x_inc; |
3748 | 543k | f -= n_inc; |
3749 | 543k | if (f < 0) |
3750 | 241k | f += d, sx--; |
3751 | 543k | cursor_left_tr(cr, sx, id); |
3752 | 543k | cursor_always_inrange_step_left_tr(cr, fixed_1, sx, id); |
3753 | 543k | y_steps--; |
3754 | 543k | } |
3755 | 14.4k | } |
3756 | | |
3757 | | /* Phase 3 */ |
3758 | 36.7k | assert(cr->right >= ex && cr->rid == id && cr->left <= sx); |
3759 | 36.7k | if (phase3_y_steps == 0) |
3760 | 1.78k | cursor_null_tr(cr); |
3761 | 35.0k | else { |
3762 | 35.0k | cursor_left_tr(cr, ex, id); |
3763 | 35.0k | cr->y += phase3_y_steps; |
3764 | 35.0k | } |
3765 | 36.7k | } |
3766 | 111k | } else { |
3767 | | /* So lines decreasing in y. */ |
3768 | | /* We want to change from sy to ey, which are guaranteed to be on |
3769 | | * different scanlines. We do this in 3 phases. |
3770 | | * Phase 1 gets us from sy to the next scanline boundary. This never causes an output. |
3771 | | * Phase 2 gets us all the way to the last scanline boundary. This is guaranteed to cause an output. |
3772 | | * Phase 3 gets us from the last scanline boundary to ey. We are guaranteed to have outputted by now. |
3773 | | */ |
3774 | 109k | int phase1_y_steps = sy & (fixed_1 - 1); |
3775 | 109k | int phase3_y_steps = (-ey) & (fixed_1 - 1); |
3776 | 109k | ufixed y_steps = (ufixed)sy - (ufixed)ey; |
3777 | | |
3778 | 109k | int skip = cursor_down_tr(cr, sx, id); |
3779 | | |
3780 | 109k | if (sx == ex) { |
3781 | | /* Vertical line. (Falling) */ |
3782 | | |
3783 | | /* Phase 1: */ |
3784 | 30.2k | if (phase1_y_steps) { |
3785 | | /* Phase 1 in a falling line never moves us into a new scanline. */ |
3786 | 19.7k | cursor_never_step_vertical_tr(cr, -phase1_y_steps, sx, id); |
3787 | 19.7k | sy -= phase1_y_steps; |
3788 | 19.7k | y_steps -= phase1_y_steps; |
3789 | 19.7k | if (y_steps == 0) |
3790 | 0 | goto endFallingLeftOnEdgeOfPixel; |
3791 | 19.7k | } |
3792 | | |
3793 | | /* Phase 3: precalculation */ |
3794 | 30.2k | y_steps -= phase3_y_steps; |
3795 | 30.2k | assert((y_steps & (fixed_1 - 1)) == 0); |
3796 | | |
3797 | | /* Phase 2: */ |
3798 | 30.2k | y_steps = fixed2int(y_steps); |
3799 | 30.2k | assert(y_steps >= 0); |
3800 | 30.2k | if (y_steps) { |
3801 | 28.0k | cursor_always_step_tr(cr, -fixed_1, sx, id, skip); |
3802 | 28.0k | skip = 0; |
3803 | 28.0k | y_steps--; |
3804 | 1.37M | while (y_steps) { |
3805 | 1.34M | cursor_always_step_inrange_vertical_tr(cr, -fixed_1, sx, id); |
3806 | 1.34M | y_steps--; |
3807 | 1.34M | } |
3808 | 28.0k | } |
3809 | | |
3810 | | /* Phase 3 */ |
3811 | 30.2k | if (phase3_y_steps == 0) { |
3812 | 9.46k | endFallingLeftOnEdgeOfPixel: |
3813 | 9.46k | cursor_always_step_inrange_vertical_tr(cr, 0, sx, id); |
3814 | 9.46k | cursor_null_tr(cr); |
3815 | 20.7k | } else { |
3816 | 20.7k | cursor_step_tr(cr, -phase3_y_steps, sx, id, skip); |
3817 | 20.7k | assert(cr->left == sx && cr->lid == id && cr->right == sx && cr->rid == id); |
3818 | 20.7k | } |
3819 | 79.5k | } else if (sx < ex) { |
3820 | | /* Lines increasing in x. (Rightwards, falling) */ |
3821 | 37.7k | int phase1_x_steps, phase3_x_steps; |
3822 | | /* Use unsigned int here, to allow for extreme cases like |
3823 | | * ex = 0x7fffffff, sx = 0x80000000 */ |
3824 | 37.7k | unsigned int x_steps = ex - sx; |
3825 | | |
3826 | | /* Phase 1: */ |
3827 | 37.7k | if (phase1_y_steps) { |
3828 | 35.7k | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
3829 | 35.7k | x_steps -= phase1_x_steps; |
3830 | 35.7k | sx += phase1_x_steps; |
3831 | | /* Phase 1 in a falling line never moves us into a new scanline. */ |
3832 | 35.7k | cursor_never_step_right_tr(cr, -phase1_y_steps, sx, id); |
3833 | 35.7k | sy -= phase1_y_steps; |
3834 | 35.7k | y_steps -= phase1_y_steps; |
3835 | 35.7k | if (y_steps == 0) |
3836 | 0 | goto endFallingRightOnEdgeOfPixel; |
3837 | 35.7k | } |
3838 | | |
3839 | | /* Phase 3: precalculation */ |
3840 | 37.7k | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
3841 | 37.7k | x_steps -= phase3_x_steps; |
3842 | 37.7k | y_steps -= phase3_y_steps; |
3843 | 37.7k | assert((y_steps & (fixed_1 - 1)) == 0); |
3844 | | |
3845 | | /* Phase 2: */ |
3846 | 37.7k | y_steps = fixed2int(y_steps); |
3847 | 37.7k | assert(y_steps >= 0); |
3848 | 37.7k | if (y_steps) { |
3849 | | /* We want to change sx by x_steps in y_steps steps. |
3850 | | * So each step, we add x_steps/y_steps to sx. That's x_inc + n_inc/ey. */ |
3851 | 14.4k | int x_inc = x_steps/y_steps; |
3852 | 14.4k | int n_inc = x_steps - (x_inc * y_steps); |
3853 | 14.4k | int f = y_steps/2; |
3854 | 14.4k | int d = y_steps; |
3855 | | |
3856 | 14.4k | cursor_always_step_tr(cr, -fixed_1, sx, id, skip); |
3857 | 14.4k | skip = 0; |
3858 | 14.4k | sx += x_inc; |
3859 | 14.4k | f -= n_inc; |
3860 | 14.4k | if (f < 0) |
3861 | 4.13k | f += d, sx++; |
3862 | 14.4k | cursor_right_tr(cr, sx, id); |
3863 | 14.4k | y_steps--; |
3864 | | |
3865 | 534k | while (y_steps) { |
3866 | 519k | cursor_always_inrange_step_right_tr(cr, -fixed_1, sx, id); |
3867 | 519k | sx += x_inc; |
3868 | 519k | f -= n_inc; |
3869 | 519k | if (f < 0) |
3870 | 216k | f += d, sx++; |
3871 | 519k | cursor_right_tr(cr, sx, id); |
3872 | 519k | y_steps--; |
3873 | 519k | } |
3874 | 14.4k | } |
3875 | | |
3876 | | /* Phase 3 */ |
3877 | 37.7k | if (phase3_y_steps == 0) { |
3878 | 1.79k | endFallingRightOnEdgeOfPixel: |
3879 | 1.79k | cursor_always_step_inrange_vertical_tr(cr, 0, sx, id); |
3880 | 1.79k | cursor_null_tr(cr); |
3881 | 35.9k | } else { |
3882 | 35.9k | cursor_step_tr(cr, -phase3_y_steps, sx, id, skip); |
3883 | 35.9k | cursor_right_tr(cr, ex, id); |
3884 | 35.9k | assert(cr->left == sx && cr->lid == id && cr->right == ex && cr->rid == id); |
3885 | 35.9k | } |
3886 | 41.8k | } else { |
3887 | | /* Lines decreasing in x. (Falling) */ |
3888 | 41.8k | int phase1_x_steps, phase3_x_steps; |
3889 | | /* Use unsigned int here, to allow for extreme cases like |
3890 | | * sx = 0x7fffffff, ex = 0x80000000 */ |
3891 | 41.8k | unsigned int x_steps = sx - ex; |
3892 | | |
3893 | | /* Phase 1: */ |
3894 | 41.8k | if (phase1_y_steps) { |
3895 | 35.7k | phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps); |
3896 | 35.7k | x_steps -= phase1_x_steps; |
3897 | 35.7k | sx -= phase1_x_steps; |
3898 | | /* Phase 1 in a falling line never moves us into a new scanline. */ |
3899 | 35.7k | cursor_never_step_left_tr(cr, -phase1_y_steps, sx, id); |
3900 | 35.7k | sy -= phase1_y_steps; |
3901 | 35.7k | y_steps -= phase1_y_steps; |
3902 | 35.7k | if (y_steps == 0) |
3903 | 0 | goto endFallingVerticalOnEdgeOfPixel; |
3904 | 35.7k | } |
3905 | | |
3906 | | /* Phase 3: precalculation */ |
3907 | 41.8k | phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps); |
3908 | 41.8k | x_steps -= phase3_x_steps; |
3909 | 41.8k | y_steps -= phase3_y_steps; |
3910 | 41.8k | assert((y_steps & (fixed_1 - 1)) == 0); |
3911 | | |
3912 | | /* Phase 2: */ |
3913 | 41.8k | y_steps = fixed2int(y_steps); |
3914 | 41.8k | assert(y_steps >= 0); |
3915 | 41.8k | if (y_steps) { |
3916 | | /* We want to change sx by x_steps in y_steps steps. |
3917 | | * So each step, we sub x_steps/y_steps from sx. That's x_inc + n_inc/ey. */ |
3918 | 20.3k | int x_inc = x_steps/y_steps; |
3919 | 20.3k | int n_inc = x_steps - (x_inc * y_steps); |
3920 | 20.3k | int f = y_steps/2; |
3921 | 20.3k | int d = y_steps; |
3922 | | |
3923 | 20.3k | cursor_always_step_tr(cr, -fixed_1, sx, id, skip); |
3924 | 20.3k | skip = 0; |
3925 | 20.3k | sx -= x_inc; |
3926 | 20.3k | f -= n_inc; |
3927 | 20.3k | if (f < 0) |
3928 | 6.07k | f += d, sx--; |
3929 | 20.3k | cursor_left_tr(cr, sx, id); |
3930 | 20.3k | y_steps--; |
3931 | | |
3932 | 519k | while (y_steps) { |
3933 | 498k | cursor_always_inrange_step_left_tr(cr, -fixed_1, sx, id); |
3934 | 498k | sx -= x_inc; |
3935 | 498k | f -= n_inc; |
3936 | 498k | if (f < 0) |
3937 | 192k | f += d, sx--; |
3938 | 498k | cursor_left_tr(cr, sx, id); |
3939 | 498k | y_steps--; |
3940 | 498k | } |
3941 | 20.3k | } |
3942 | | |
3943 | | /* Phase 3 */ |
3944 | 41.8k | if (phase3_y_steps == 0) { |
3945 | 5.87k | endFallingVerticalOnEdgeOfPixel: |
3946 | 5.87k | cursor_always_step_inrange_vertical_tr(cr, 0, sx, id); |
3947 | 5.87k | cursor_null_tr(cr); |
3948 | 35.9k | } else { |
3949 | 35.9k | cursor_step_tr(cr, -phase3_y_steps, sx, id, skip); |
3950 | 35.9k | cursor_left_tr(cr, ex, id); |
3951 | 35.9k | assert(cr->left == ex && cr->lid == id && cr->right == sx && cr->rid == id); |
3952 | 35.9k | } |
3953 | 41.8k | } |
3954 | 257k | endFalling: {} |
3955 | 257k | } |
3956 | | |
3957 | 1.17M | end: |
3958 | 1.17M | if (truncated) { |
3959 | 33.2k | cr->left = saved_ex; |
3960 | 33.2k | cr->lid = id; |
3961 | 33.2k | cr->right = saved_ex; |
3962 | 33.2k | cr->rid = id; |
3963 | 33.2k | cr->y = saved_ey; |
3964 | 33.2k | } |
3965 | 1.17M | } |
3966 | | |
3967 | | static void mark_curve_tr_app(cursor_tr * gs_restrict cr, fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, int depth, int * gs_restrict id) |
3968 | 0 | { |
3969 | 0 | int ax = (sx + c1x)>>1; |
3970 | 0 | int ay = (sy + c1y)>>1; |
3971 | 0 | int bx = (c1x + c2x)>>1; |
3972 | 0 | int by = (c1y + c2y)>>1; |
3973 | 0 | int cx = (c2x + ex)>>1; |
3974 | 0 | int cy = (c2y + ey)>>1; |
3975 | 0 | int dx = (ax + bx)>>1; |
3976 | 0 | int dy = (ay + by)>>1; |
3977 | 0 | int fx = (bx + cx)>>1; |
3978 | 0 | int fy = (by + cy)>>1; |
3979 | 0 | int gx = (dx + fx)>>1; |
3980 | 0 | int gy = (dy + fy)>>1; |
3981 | |
|
3982 | 0 | assert(depth >= 0); |
3983 | 0 | if (depth == 0) { |
3984 | 0 | *id += 1; |
3985 | 0 | mark_line_tr_app(cr, sx, sy, ex, ey, *id); |
3986 | 0 | } else { |
3987 | 0 | depth--; |
3988 | 0 | mark_curve_tr_app(cr, sx, sy, ax, ay, dx, dy, gx, gy, depth, id); |
3989 | 0 | mark_curve_tr_app(cr, gx, gy, fx, fy, cx, cy, ex, ey, depth, id); |
3990 | 0 | } |
3991 | 0 | } |
3992 | | |
3993 | | static void mark_curve_big_tr_app(cursor_tr * gs_restrict cr, fixed64 sx, fixed64 sy, fixed64 c1x, fixed64 c1y, fixed64 c2x, fixed64 c2y, fixed64 ex, fixed64 ey, int depth, int * gs_restrict id) |
3994 | 0 | { |
3995 | 0 | fixed64 ax = (sx + c1x)>>1; |
3996 | 0 | fixed64 ay = (sy + c1y)>>1; |
3997 | 0 | fixed64 bx = (c1x + c2x)>>1; |
3998 | 0 | fixed64 by = (c1y + c2y)>>1; |
3999 | 0 | fixed64 cx = (c2x + ex)>>1; |
4000 | 0 | fixed64 cy = (c2y + ey)>>1; |
4001 | 0 | fixed64 dx = (ax + bx)>>1; |
4002 | 0 | fixed64 dy = (ay + by)>>1; |
4003 | 0 | fixed64 fx = (bx + cx)>>1; |
4004 | 0 | fixed64 fy = (by + cy)>>1; |
4005 | 0 | fixed64 gx = (dx + fx)>>1; |
4006 | 0 | fixed64 gy = (dy + fy)>>1; |
4007 | |
|
4008 | 0 | assert(depth >= 0); |
4009 | 0 | if (depth == 0) { |
4010 | 0 | *id += 1; |
4011 | 0 | mark_line_tr_app(cr, (fixed)sx, (fixed)sy, (fixed)ex, (fixed)ey, *id); |
4012 | 0 | } else { |
4013 | 0 | depth--; |
4014 | 0 | mark_curve_big_tr_app(cr, sx, sy, ax, ay, dx, dy, gx, gy, depth, id); |
4015 | 0 | mark_curve_big_tr_app(cr, gx, gy, fx, fy, cx, cy, ex, ey, depth, id); |
4016 | 0 | } |
4017 | 0 | } |
4018 | | |
4019 | | static void mark_curve_top_tr_app(cursor_tr * gs_restrict cr, fixed sx, fixed sy, fixed c1x, fixed c1y, fixed c2x, fixed c2y, fixed ex, fixed ey, int depth, int * gs_restrict id) |
4020 | 0 | { |
4021 | 0 | fixed test = (sx^(sx<<1))|(sy^(sy<<1))|(c1x^(c1x<<1))|(c1y^(c1y<<1))|(c2x^(c2x<<1))|(c2y^(c2y<<1))|(ex^(ex<<1))|(ey^(ey<<1)); |
4022 | |
|
4023 | 0 | if (test < 0) |
4024 | 0 | mark_curve_big_tr_app(cr, sx, sy, c1x, c1y, c2x, c2y, ex, ey, depth, id); |
4025 | 0 | else |
4026 | 0 | mark_curve_tr_app(cr, sx, sy, c1x, c1y, c2x, c2y, ex, ey, depth, id); |
4027 | 0 | } |
4028 | | |
4029 | | static int make_table_tr_app(gx_device * pdev, |
4030 | | gx_path * path, |
4031 | | gs_fixed_rect * ibox, |
4032 | | int * scanlines, |
4033 | | int ** index, |
4034 | | int ** table) |
4035 | 39.1k | { |
4036 | 39.1k | return make_table_template(pdev, path, ibox, 4, 0, scanlines, index, table); |
4037 | 39.1k | } |
4038 | | |
4039 | | static void |
4040 | | fill_zero_app_tr(int *row, const fixed *x) |
4041 | 1.91k | { |
4042 | 1.91k | int n = *row = (*row)+2; /* Increment the count */ |
4043 | 1.91k | row[4*n-7] = x[0]; |
4044 | 1.91k | row[4*n-6] = 0; |
4045 | 1.91k | row[4*n-5] = x[1]; |
4046 | 1.91k | row[4*n-4] = 0; |
4047 | 1.91k | row[4*n-3] = x[1]; |
4048 | 1.91k | row[4*n-2] = (1<<1)|1; |
4049 | 1.91k | row[4*n-1] = x[1]; |
4050 | 1.91k | row[4*n ] = 1; |
4051 | 1.91k | } |
4052 | | |
4053 | | int gx_scan_convert_tr_app(gx_device * gs_restrict pdev, |
4054 | | gx_path * gs_restrict path, |
4055 | | const gs_fixed_rect * gs_restrict clip, |
4056 | | gx_edgebuffer * gs_restrict edgebuffer, |
4057 | | fixed fixed_flat) |
4058 | 49.7k | { |
4059 | 49.7k | gs_fixed_rect ibox; |
4060 | 49.7k | gs_fixed_rect bbox; |
4061 | 49.7k | int scanlines; |
4062 | 49.7k | const subpath *psub; |
4063 | 49.7k | int *index; |
4064 | 49.7k | int *table; |
4065 | 49.7k | int i; |
4066 | 49.7k | cursor_tr cr; |
4067 | 49.7k | int code; |
4068 | 49.7k | int id = 0; |
4069 | 49.7k | int zero; |
4070 | | |
4071 | 49.7k | edgebuffer->index = NULL; |
4072 | 49.7k | edgebuffer->table = NULL; |
4073 | | |
4074 | | /* Bale out if no actual path. We see this with the clist */ |
4075 | 49.7k | if (path->first_subpath == NULL) |
4076 | 10.5k | return 0; |
4077 | | |
4078 | 39.1k | zero = make_bbox(path, clip, &bbox, &ibox, 0); |
4079 | 39.1k | if (zero < 0) |
4080 | 0 | return zero; |
4081 | | |
4082 | 39.1k | if (ibox.q.y <= ibox.p.y) |
4083 | 1 | return 0; |
4084 | | |
4085 | 39.1k | code = make_table_tr_app(pdev, path, &ibox, &scanlines, &index, &table); |
4086 | 39.1k | if (code != 0) /* > 0 means "retry with smaller height" */ |
4087 | 3 | return code; |
4088 | | |
4089 | 39.1k | if (scanlines == 0) |
4090 | 0 | return 0; |
4091 | | |
4092 | 39.1k | if (zero) { |
4093 | 1.62k | code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero_app_tr); |
4094 | 37.5k | } else { |
4095 | | |
4096 | | /* Step 2 continued: Now we run through the path, filling in the real |
4097 | | * values. */ |
4098 | 37.5k | cr.scanlines = scanlines; |
4099 | 37.5k | cr.index = index; |
4100 | 37.5k | cr.table = table; |
4101 | 37.5k | cr.base = ibox.p.y; |
4102 | 93.8k | for (psub = path->first_subpath; psub != 0;) { |
4103 | 56.2k | const segment *pseg = (const segment *)psub; |
4104 | 56.2k | fixed ex = pseg->pt.x; |
4105 | 56.2k | fixed ey = pseg->pt.y; |
4106 | 56.2k | fixed ix = ex; |
4107 | 56.2k | fixed iy = ey; |
4108 | 56.2k | fixed sx, sy; |
4109 | | |
4110 | 56.2k | if ((ey & 0xff) == 0) { |
4111 | 9.37k | cr.left = max_fixed; |
4112 | 9.37k | cr.right = min_fixed; |
4113 | 46.9k | } else { |
4114 | 46.9k | cr.left = cr.right = ex; |
4115 | 46.9k | } |
4116 | 56.2k | cr.lid = cr.rid = id+1; |
4117 | 56.2k | cr.y = ey; |
4118 | 56.2k | cr.d = DIRN_UNSET; |
4119 | 56.2k | cr.first = 1; |
4120 | 56.2k | cr.saved = 0; |
4121 | | |
4122 | 6.87M | while ((pseg = pseg->next) != 0 && |
4123 | 6.87M | pseg->type != s_start |
4124 | 6.82M | ) { |
4125 | 6.82M | sx = ex; |
4126 | 6.82M | sy = ey; |
4127 | 6.82M | ex = pseg->pt.x; |
4128 | 6.82M | ey = pseg->pt.y; |
4129 | | |
4130 | 6.82M | switch (pseg->type) { |
4131 | 0 | default: |
4132 | 0 | case s_start: /* Should never happen */ |
4133 | 0 | case s_dash: /* We should never be seeing a dash here */ |
4134 | 0 | assert("This should never happen" == NULL); |
4135 | 0 | break; |
4136 | 0 | case s_curve: { |
4137 | 0 | const curve_segment *const pcur = (const curve_segment *)pseg; |
4138 | 0 | int k = gx_curve_log2_samples(sx, sy, pcur, fixed_flat); |
4139 | |
|
4140 | 0 | mark_curve_top_tr_app(&cr, sx, sy, pcur->p1.x, pcur->p1.y, pcur->p2.x, pcur->p2.y, ex, ey, k, &id); |
4141 | 0 | break; |
4142 | 0 | } |
4143 | 0 | case s_gap: |
4144 | 6.78M | case s_line: |
4145 | 6.82M | case s_line_close: |
4146 | 6.82M | mark_line_tr_app(&cr, sx, sy, ex, ey, ++id); |
4147 | 6.82M | break; |
4148 | 6.82M | } |
4149 | 6.82M | } |
4150 | | /* And close any open segments */ |
4151 | 56.2k | mark_line_tr_app(&cr, ex, ey, ix, iy, ++id); |
4152 | 56.2k | cursor_flush_tr(&cr, ex, id); |
4153 | 56.2k | psub = (const subpath *)pseg; |
4154 | 56.2k | } |
4155 | 37.5k | } |
4156 | | |
4157 | | /* Step 2 complete: We now have a complete list of intersection data in |
4158 | | * table, indexed by index. */ |
4159 | | |
4160 | 39.1k | edgebuffer->base = ibox.p.y; |
4161 | 39.1k | edgebuffer->height = scanlines; |
4162 | 39.1k | edgebuffer->xmin = ibox.p.x; |
4163 | 39.1k | edgebuffer->xmax = ibox.q.x; |
4164 | 39.1k | edgebuffer->index = index; |
4165 | 39.1k | edgebuffer->table = table; |
4166 | | |
4167 | | #ifdef DEBUG_SCAN_CONVERTER |
4168 | | if (debugging_scan_converter) { |
4169 | | dlprintf("Before sorting\n"); |
4170 | | gx_edgebuffer_print_tr_app(edgebuffer); |
4171 | | } |
4172 | | #endif |
4173 | | |
4174 | | /* Step 3: Sort the intersects on x */ |
4175 | 2.11M | for (i=0; i < scanlines; i++) { |
4176 | 2.07M | int *row = &table[index[i]]; |
4177 | 2.07M | int rowlen = *row++; |
4178 | | |
4179 | | /* Bubblesort short runs, qsort longer ones. */ |
4180 | | /* Figure of '6' comes from testing */ |
4181 | 2.07M | if (rowlen <= 6) { |
4182 | 2.05M | int j, k; |
4183 | 4.54M | for (j = 0; j < rowlen-1; j++) { |
4184 | 2.49M | int * gs_restrict t = &row[j<<2]; |
4185 | 5.72M | for (k = j+1; k < rowlen; k++) { |
4186 | 3.23M | int * gs_restrict s = &row[k<<2]; |
4187 | 3.23M | int tmp; |
4188 | 3.23M | if (t[0] < s[0]) |
4189 | 1.21M | continue; |
4190 | 2.01M | if (t[0] > s[0]) |
4191 | 1.75M | goto swap0213; |
4192 | 264k | if (t[2] < s[2]) |
4193 | 5.38k | continue; |
4194 | 258k | if (t[2] > s[2]) |
4195 | 13.2k | goto swap213; |
4196 | 245k | if (t[1] < s[1]) |
4197 | 206k | continue; |
4198 | 38.9k | if (t[1] > s[1]) |
4199 | 38.8k | goto swap13; |
4200 | 118 | if (t[3] <= s[3]) |
4201 | 118 | continue; |
4202 | 0 | if (0) { |
4203 | 1.75M | swap0213: |
4204 | 1.75M | tmp = t[0], t[0] = s[0], s[0] = tmp; |
4205 | 1.76M | swap213: |
4206 | 1.76M | tmp = t[2], t[2] = s[2], s[2] = tmp; |
4207 | 1.80M | swap13: |
4208 | 1.80M | tmp = t[1], t[1] = s[1], s[1] = tmp; |
4209 | 1.80M | } |
4210 | 1.80M | tmp = t[3], t[3] = s[3], s[3] = tmp; |
4211 | 1.80M | } |
4212 | 2.49M | } |
4213 | 2.05M | } else |
4214 | 23.5k | qsort(row, rowlen, 4*sizeof(int), edgecmp_tr); |
4215 | 2.07M | } |
4216 | | |
4217 | 39.1k | return 0; |
4218 | 39.1k | } |
4219 | | |
4220 | | /* Step 5: Filter the intersections according to the rules */ |
4221 | | int |
4222 | | gx_filter_edgebuffer_tr_app(gx_device * gs_restrict pdev, |
4223 | | gx_edgebuffer * gs_restrict edgebuffer, |
4224 | | int rule) |
4225 | 49.7k | { |
4226 | 49.7k | int i; |
4227 | 49.7k | int marked_id = 0; |
4228 | | |
4229 | | #ifdef DEBUG_SCAN_CONVERTER |
4230 | | if (debugging_scan_converter) { |
4231 | | dlprintf("Before filtering:\n"); |
4232 | | gx_edgebuffer_print_tr_app(edgebuffer); |
4233 | | } |
4234 | | #endif |
4235 | | |
4236 | 2.12M | for (i=0; i < edgebuffer->height; i++) { |
4237 | 2.07M | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
4238 | 2.07M | int rowlen = *row++; |
4239 | 2.07M | int *rowstart = row; |
4240 | 2.07M | int *rowout = row; |
4241 | 2.07M | int ll, llid, lr, lrid, rlid, rr, rrid, wind, marked_to; |
4242 | | |
4243 | | /* Avoid double setting pixels, by keeping where we have marked to. */ |
4244 | 2.07M | marked_to = INT_MIN; |
4245 | 4.41M | while (rowlen > 0) { |
4246 | 2.33M | if (rule == gx_rule_even_odd) { |
4247 | | /* Even Odd */ |
4248 | 156k | ll = *row++; |
4249 | 156k | llid = (*row++)>>1; |
4250 | 156k | lr = *row++; |
4251 | 156k | lrid = *row++; |
4252 | 156k | rowlen--; |
4253 | | |
4254 | | /* We will fill solidly from ll to at least lr, possibly further */ |
4255 | 156k | assert(rowlen > 0); |
4256 | 156k | (void)row++; /* rl not needed here */ |
4257 | 156k | (void)row++; |
4258 | 156k | rr = *row++; |
4259 | 156k | rrid = *row++; |
4260 | 156k | rowlen--; |
4261 | 156k | if (rr > lr) { |
4262 | 153k | lr = rr; |
4263 | 153k | lrid = rrid; |
4264 | 153k | } |
4265 | 2.17M | } else { |
4266 | | /* Non-Zero */ |
4267 | 2.17M | int w; |
4268 | | |
4269 | 2.17M | ll = *row++; |
4270 | 2.17M | llid = *row++; |
4271 | 2.17M | lr = *row++; |
4272 | 2.17M | lrid = *row++; |
4273 | 2.17M | wind = -(llid&1) | 1; |
4274 | 2.17M | llid >>= 1; |
4275 | 2.17M | rowlen--; |
4276 | | |
4277 | 2.17M | assert(rowlen > 0); |
4278 | 2.61M | do { |
4279 | 2.61M | (void)row++; /* rl not needed */ |
4280 | 2.61M | rlid = *row++; |
4281 | 2.61M | rr = *row++; |
4282 | 2.61M | rrid = *row++; |
4283 | 2.61M | w = -(rlid&1) | 1; |
4284 | 2.61M | rlid >>= 1; |
4285 | 2.61M | rowlen--; |
4286 | 2.61M | if (rr > lr) { |
4287 | 2.34M | lr = rr; |
4288 | 2.34M | lrid = rrid; |
4289 | 2.34M | } |
4290 | 2.61M | wind += w; |
4291 | 2.61M | if (wind == 0) |
4292 | 2.17M | break; |
4293 | 2.61M | } while (rowlen > 0); |
4294 | 2.17M | } |
4295 | | |
4296 | 2.33M | if (lr < marked_to) |
4297 | 861 | continue; |
4298 | | |
4299 | 2.33M | if (marked_to >= ll) { |
4300 | 36.3k | if (rowout == rowstart) { |
4301 | 1 | ll = marked_to; |
4302 | 1 | llid = --marked_id; |
4303 | 36.3k | } else { |
4304 | 36.3k | rowout -= 4; |
4305 | 36.3k | ll = rowout[0]; |
4306 | 36.3k | llid = rowout[1]; |
4307 | 36.3k | } |
4308 | 36.3k | } |
4309 | | |
4310 | 2.33M | if (lr >= ll) { |
4311 | 2.33M | *rowout++ = ll; |
4312 | 2.33M | *rowout++ = llid; |
4313 | 2.33M | *rowout++ = lr; |
4314 | 2.33M | *rowout++ = lrid; |
4315 | 2.33M | marked_to = lr; |
4316 | 2.33M | } |
4317 | 2.33M | } |
4318 | 2.07M | rowstart[-1] = (rowout - rowstart)>>2; |
4319 | 2.07M | } |
4320 | 49.7k | return 0; |
4321 | 49.7k | } |
4322 | | |
4323 | | /* Step 6: Fill */ |
4324 | | int |
4325 | | gx_fill_edgebuffer_tr_app(gx_device * gs_restrict pdev, |
4326 | | const gx_device_color * gs_restrict pdevc, |
4327 | | gx_edgebuffer * gs_restrict edgebuffer, |
4328 | | int log_op) |
4329 | 49.7k | { |
4330 | 49.7k | int i, j, code; |
4331 | 49.7k | int mfb = pdev->max_fill_band; |
4332 | | |
4333 | | #ifdef DEBUG_SCAN_CONVERTER |
4334 | | if (debugging_scan_converter) { |
4335 | | dlprintf("Filling:\n"); |
4336 | | gx_edgebuffer_print_filtered_tr_app(edgebuffer); |
4337 | | } |
4338 | | #endif |
4339 | | |
4340 | 200k | for (i=0; i < edgebuffer->height; ) { |
4341 | 150k | int *row = &edgebuffer->table[edgebuffer->index[i]]; |
4342 | 150k | int rowlen = *row++; |
4343 | 150k | int *row2; |
4344 | 150k | int *rowptr; |
4345 | 150k | int *row2ptr; |
4346 | 150k | int y_band_max; |
4347 | | |
4348 | 150k | if (mfb) { |
4349 | 0 | y_band_max = (i & ~(mfb-1)) + mfb; |
4350 | 0 | if (y_band_max > edgebuffer->height) |
4351 | 0 | y_band_max = edgebuffer->height; |
4352 | 150k | } else { |
4353 | 150k | y_band_max = edgebuffer->height; |
4354 | 150k | } |
4355 | | |
4356 | | /* See how many scanlines match i */ |
4357 | 2.07M | for (j = i+1; j < y_band_max; j++) { |
4358 | 2.03M | int row2len; |
4359 | | |
4360 | 2.03M | row2 = &edgebuffer->table[edgebuffer->index[j]]; |
4361 | 2.03M | row2len = *row2++; |
4362 | 2.03M | row2ptr = row2; |
4363 | 2.03M | rowptr = row; |
4364 | | |
4365 | 2.03M | if (rowlen != row2len) |
4366 | 3.46k | break; |
4367 | 4.14M | while (row2len > 0) { |
4368 | 2.21M | if (rowptr[1] != row2ptr[1] || rowptr[3] != row2ptr[3]) |
4369 | 107k | goto rowdifferent; |
4370 | 2.11M | rowptr += 4; |
4371 | 2.11M | row2ptr += 4; |
4372 | 2.11M | row2len--; |
4373 | 2.11M | } |
4374 | 2.03M | } |
4375 | 150k | rowdifferent:{} |
4376 | | |
4377 | | /* So j is the first scanline that doesn't match i */ |
4378 | | |
4379 | | /* The first scanline is always sent as rectangles */ |
4380 | 363k | while (rowlen > 0) { |
4381 | 213k | int left = row[0]; |
4382 | 213k | int right = row[2]; |
4383 | 213k | row += 4; |
4384 | 213k | left = fixed2int(left); |
4385 | 213k | right = fixed2int(right + fixed_1 - 1); |
4386 | 213k | rowlen--; |
4387 | | |
4388 | 213k | right -= left; |
4389 | 213k | if (right > 0) { |
4390 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
4391 | | dlprintf("0.001 setlinewidth 1 0 0 setrgbcolor %%red %%PS\n"); |
4392 | | coord("moveto", int2fixed(left), int2fixed(edgebuffer->base+i)); |
4393 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+i)); |
4394 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+i+1)); |
4395 | | coord("lineto", int2fixed(left), int2fixed(edgebuffer->base+i+1)); |
4396 | | dlprintf("closepath stroke %%PS\n"); |
4397 | | #endif |
4398 | 213k | if (log_op < 0) |
4399 | 0 | code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure); |
4400 | 213k | else |
4401 | 213k | code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op); |
4402 | 213k | if (code < 0) |
4403 | 0 | return code; |
4404 | 213k | } |
4405 | 213k | } |
4406 | | |
4407 | | /* The middle section (all but the first and last |
4408 | | * scanlines) can be sent as a trapezoid. */ |
4409 | 150k | if (i + 2 < j) { |
4410 | 56.6k | gs_fixed_edge le; |
4411 | 56.6k | gs_fixed_edge re; |
4412 | 56.6k | fixed ybot = int2fixed(edgebuffer->base+i+1); |
4413 | 56.6k | fixed ytop = int2fixed(edgebuffer->base+j-1); |
4414 | 56.6k | int *row3, *row4; |
4415 | 56.6k | int offset = 1; |
4416 | 56.6k | row = &edgebuffer->table[edgebuffer->index[i]]; |
4417 | 56.6k | row2 = &edgebuffer->table[edgebuffer->index[i+1]]; |
4418 | 56.6k | row3 = &edgebuffer->table[edgebuffer->index[j-2]]; |
4419 | 56.6k | row4 = &edgebuffer->table[edgebuffer->index[j-1]]; |
4420 | 56.6k | rowlen = *row; |
4421 | 119k | while (rowlen > 0) { |
4422 | | /* The fill rules used by fill_trap state that if a |
4423 | | * pixel centre is touched by a boundary, the pixel |
4424 | | * will be filled iff the boundary is horizontal and |
4425 | | * the filled region is above it, or the boundary is |
4426 | | * not horizontal, and the filled region is to the |
4427 | | * right of it. |
4428 | | * |
4429 | | * We need to fill "any part of a pixel", not just |
4430 | | * "centre covered", so we need to adjust our edges |
4431 | | * by half a pixel in both X and Y. |
4432 | | * |
4433 | | * X is relatively easy. We move the left edge back by |
4434 | | * just less than half, so ...00 goes to ...81 and |
4435 | | * therefore does not cause an extra pixel to get filled. |
4436 | | * |
4437 | | * Similarly, we move the right edge forward by half, so |
4438 | | * ...00 goes to ...80 and therefore does not cause an |
4439 | | * extra pixel to get filled. |
4440 | | * |
4441 | | * For y, we can adjust edges up or down as appropriate. |
4442 | | * We move up by half, so ...0 goes to ..80 and therefore |
4443 | | * does not cause an extra pixel to get filled. We move |
4444 | | * down by just less than a half so that ...0 goes to |
4445 | | * ...81 and therefore does not cause an extra pixel to |
4446 | | * get filled. |
4447 | | * |
4448 | | * We use ybot = ...80 and ytop = ...81 in the trap call |
4449 | | * so that it just covers the pixel centres. |
4450 | | */ |
4451 | 63.0k | if (row[offset] <= row4[offset]) { |
4452 | 45.9k | le.start.x = row2[offset] - (fixed_half-1); |
4453 | 45.9k | le.end.x = row4[offset] - (fixed_half-1); |
4454 | 45.9k | le.start.y = ybot + fixed_half; |
4455 | 45.9k | le.end.y = ytop + fixed_half; |
4456 | 45.9k | } else { |
4457 | 17.1k | le.start.x = row [offset] - (fixed_half-1); |
4458 | 17.1k | le.end.x = row3[offset] - (fixed_half-1); |
4459 | 17.1k | le.start.y = ybot - (fixed_half-1); |
4460 | 17.1k | le.end.y = ytop - (fixed_half-1); |
4461 | 17.1k | } |
4462 | 63.0k | if (row[offset+2] <= row4[offset+2]) { |
4463 | 46.5k | re.start.x = row [offset+2] + fixed_half; |
4464 | 46.5k | re.end.x = row3[offset+2] + fixed_half; |
4465 | 46.5k | re.start.y = ybot - (fixed_half-1); |
4466 | 46.5k | re.end.y = ytop - (fixed_half-1); |
4467 | 46.5k | } else { |
4468 | 16.5k | re.start.x = row2[offset+2] + fixed_half; |
4469 | 16.5k | re.end.x = row4[offset+2] + fixed_half; |
4470 | 16.5k | re.start.y = ybot + fixed_half; |
4471 | 16.5k | re.end.y = ytop + fixed_half; |
4472 | 16.5k | } |
4473 | 63.0k | offset += 4; |
4474 | 63.0k | rowlen--; |
4475 | | |
4476 | 63.0k | assert(re.start.x >= le.start.x); |
4477 | 63.0k | assert(re.end.x >= le.end.x); |
4478 | 63.0k | assert(le.start.y <= ybot + fixed_half); |
4479 | 63.0k | assert(re.start.y <= ybot + fixed_half); |
4480 | 63.0k | assert(le.end.y >= ytop - (fixed_half - 1)); |
4481 | 63.0k | assert(re.end.y >= ytop - (fixed_half - 1)); |
4482 | | |
4483 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
4484 | | dlprintf("0.001 setlinewidth 0 1 0 setrgbcolor %% green %%PS\n"); |
4485 | | coord("moveto", le.start.x, le.start.y); |
4486 | | coord("lineto", le.end.x, le.end.y); |
4487 | | coord("lineto", re.end.x, re.end.y); |
4488 | | coord("lineto", re.start.x, re.start.y); |
4489 | | dlprintf("closepath stroke %%PS\n"); |
4490 | | #endif |
4491 | 63.0k | code = dev_proc(pdev, fill_trapezoid)( |
4492 | 63.0k | pdev, |
4493 | 63.0k | &le, |
4494 | 63.0k | &re, |
4495 | 63.0k | ybot + fixed_half, |
4496 | 63.0k | ytop - (fixed_half - 1), |
4497 | 63.0k | 0, /* bool swap_axes */ |
4498 | 63.0k | pdevc, /*const gx_drawing_color *pdcolor */ |
4499 | 63.0k | log_op); |
4500 | 63.0k | if (code < 0) |
4501 | 0 | return code; |
4502 | 63.0k | } |
4503 | 56.6k | } |
4504 | | |
4505 | 150k | if (i + 1 < j) |
4506 | 66.9k | { |
4507 | | /* The last scanline is always sent as rectangles */ |
4508 | 66.9k | row = &edgebuffer->table[edgebuffer->index[j-1]]; |
4509 | 66.9k | rowlen = *row++; |
4510 | 144k | while (rowlen > 0) { |
4511 | 77.0k | int left = row[0]; |
4512 | 77.0k | int right = row[2]; |
4513 | 77.0k | row += 4; |
4514 | 77.0k | left = fixed2int(left); |
4515 | 77.0k | right = fixed2int(right + fixed_1 - 1); |
4516 | 77.0k | rowlen--; |
4517 | | |
4518 | 77.0k | right -= left; |
4519 | 77.0k | if (right > 0) { |
4520 | | #ifdef DEBUG_OUTPUT_SC_AS_PS |
4521 | | dlprintf("0.001 setlinewidth 0 0 1 setrgbcolor %% blue %%PS\n"); |
4522 | | coord("moveto", int2fixed(left), int2fixed(edgebuffer->base+j-1)); |
4523 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+j-1)); |
4524 | | coord("lineto", int2fixed(left+right), int2fixed(edgebuffer->base+j)); |
4525 | | coord("lineto", int2fixed(left), int2fixed(edgebuffer->base+j)); |
4526 | | dlprintf("closepath stroke %%PS\n"); |
4527 | | #endif |
4528 | 77.0k | if (log_op < 0) |
4529 | 0 | code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+j-1, right, 1, pdevc->colors.pure); |
4530 | 77.0k | else |
4531 | 77.0k | code = gx_fill_rectangle_device_rop(left, edgebuffer->base+j-1, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op); |
4532 | 77.0k | if (code < 0) |
4533 | 0 | return code; |
4534 | 77.0k | } |
4535 | 77.0k | } |
4536 | 66.9k | } |
4537 | 150k | i = j; |
4538 | 150k | } |
4539 | 49.7k | return 0; |
4540 | 49.7k | } |
4541 | | |
4542 | | |
4543 | | void |
4544 | | gx_edgebuffer_init(gx_edgebuffer * edgebuffer) |
4545 | 145k | { |
4546 | 145k | edgebuffer->base = 0; |
4547 | 145k | edgebuffer->height = 0; |
4548 | 145k | edgebuffer->index = NULL; |
4549 | 145k | edgebuffer->table = NULL; |
4550 | 145k | } |
4551 | | |
4552 | | void |
4553 | | gx_edgebuffer_fin(gx_device * pdev, |
4554 | | gx_edgebuffer * edgebuffer) |
4555 | 145k | { |
4556 | 145k | gs_free_object(pdev->memory, edgebuffer->table, "scanc intersects buffer"); |
4557 | 145k | gs_free_object(pdev->memory, edgebuffer->index, "scanc index buffer"); |
4558 | 145k | edgebuffer->index = NULL; |
4559 | 145k | edgebuffer->table = NULL; |
4560 | 145k | } |
4561 | | |
4562 | | gx_scan_converter_t gx_scan_converter = |
4563 | | { |
4564 | | gx_scan_convert, |
4565 | | gx_filter_edgebuffer, |
4566 | | gx_fill_edgebuffer |
4567 | | }; |
4568 | | |
4569 | | gx_scan_converter_t gx_scan_converter_app = |
4570 | | { |
4571 | | gx_scan_convert_app, |
4572 | | gx_filter_edgebuffer_app, |
4573 | | gx_fill_edgebuffer_app |
4574 | | }; |
4575 | | |
4576 | | gx_scan_converter_t gx_scan_converter_tr = |
4577 | | { |
4578 | | gx_scan_convert_tr, |
4579 | | gx_filter_edgebuffer_tr, |
4580 | | gx_fill_edgebuffer_tr |
4581 | | }; |
4582 | | |
4583 | | gx_scan_converter_t gx_scan_converter_tr_app = |
4584 | | { |
4585 | | gx_scan_convert_tr_app, |
4586 | | gx_filter_edgebuffer_tr_app, |
4587 | | gx_fill_edgebuffer_tr_app |
4588 | | }; |
4589 | | |
4590 | | int |
4591 | | gx_scan_convert_and_fill(const gx_scan_converter_t *sc, |
4592 | | gx_device *dev, |
4593 | | gx_path *ppath, |
4594 | | const gs_fixed_rect *ibox, |
4595 | | fixed flat, |
4596 | | int rule, |
4597 | | const gx_device_color *pdevc, |
4598 | | int lop) |
4599 | 145k | { |
4600 | 145k | int code; |
4601 | 145k | gx_edgebuffer eb; |
4602 | 145k | gs_fixed_rect ibox2 = *ibox; |
4603 | 145k | int height; |
4604 | 145k | int mfb = dev->max_fill_band; |
4605 | | |
4606 | 145k | if (mfb != 0) { |
4607 | 0 | ibox2.p.y &= ~(mfb-1); |
4608 | 0 | ibox2.q.y = (ibox2.q.y+mfb-1) & ~(mfb-1); |
4609 | 0 | } |
4610 | 145k | height = ibox2.q.y - ibox2.p.y; |
4611 | | |
4612 | 145k | do { |
4613 | 145k | gx_edgebuffer_init(&eb); |
4614 | 145k | while (1) { |
4615 | 145k | ibox2.q.y = ibox2.p.y + height; |
4616 | 145k | if (ibox2.q.y > ibox->q.y) |
4617 | 2 | ibox2.q.y = ibox->q.y; |
4618 | 145k | code = sc->scan_convert(dev, |
4619 | 145k | ppath, |
4620 | 145k | &ibox2, |
4621 | 145k | &eb, |
4622 | 145k | flat); |
4623 | 145k | if (code <= 0) |
4624 | 145k | break; |
4625 | | /* Let's shrink the ibox and try again */ |
4626 | 3 | if (mfb && height == mfb) { |
4627 | | /* Can't shrink the height any more! */ |
4628 | 0 | code = gs_error_rangecheck; |
4629 | 0 | break; |
4630 | 0 | } |
4631 | 3 | height = height/code; |
4632 | 3 | if (mfb) |
4633 | 0 | height = (height + mfb-1) & ~(mfb-1); |
4634 | 3 | if (height < (mfb ? mfb : 1)) { |
4635 | 0 | code = gs_error_VMerror; |
4636 | 0 | break; |
4637 | 0 | } |
4638 | 3 | } |
4639 | 145k | if (code >= 0) |
4640 | 145k | code = sc->filter(dev, |
4641 | 145k | &eb, |
4642 | 145k | rule); |
4643 | 145k | if (code >= 0) |
4644 | 145k | code = sc->fill(dev, |
4645 | 145k | pdevc, |
4646 | 145k | &eb, |
4647 | 145k | lop); |
4648 | 145k | gx_edgebuffer_fin(dev,&eb); |
4649 | 145k | ibox2.p.y += height; |
4650 | 145k | } |
4651 | 145k | while (ibox2.p.y < ibox->q.y); |
4652 | | |
4653 | 145k | return code; |
4654 | 145k | } |