Coverage Report

Created: 2025-06-10 06:58

/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
3.21k
{
157
3.21k
    return *((int*)a) - *((int *)b);
158
3.21k
}
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
9.03k
{
204
9.03k
    if (sx < zf[0])
205
0
        zf[0] = sx;
206
9.03k
    if (ex < zf[0])
207
14
        zf[0] = ex;
208
9.03k
    if (sx > zf[1])
209
0
        zf[1] = sx;
210
9.03k
    if (ex > zf[1])
211
125
        zf[1] = ex;
212
9.03k
}
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.04k
{
271
1.04k
    const subpath *psub;
272
1.04k
    fixed zf[2];
273
274
    /* Step 2 continued: Now we run through the path, filling in the real
275
     * values. */
276
2.08k
    for (psub = path->first_subpath; psub != 0;) {
277
1.04k
        const segment *pseg = (const segment *)psub;
278
1.04k
        fixed ex = pseg->pt.x;
279
1.04k
        fixed sy = pseg->pt.y;
280
1.04k
        fixed ix = ex;
281
1.04k
        int iy = fixed2int(pseg->pt.y);
282
283
1.04k
        zf[0] = ex;
284
1.04k
        zf[1] = ex;
285
286
9.03k
        while ((pseg = pseg->next) != 0 &&
287
9.03k
               pseg->type != s_start
288
7.99k
            ) {
289
7.99k
            fixed sx = ex;
290
7.99k
            ex = pseg->pt.x;
291
292
7.99k
            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
7.38k
                case s_line:
307
7.99k
                case s_line_close:
308
7.99k
                    mark_line_zero(sx, ex, zf);
309
7.99k
                    break;
310
7.99k
            }
311
7.99k
        }
312
        /* And close any open segments */
313
1.04k
        mark_line_zero(ex, ix, zf);
314
1.04k
        fill(&table[index[iy-ibox->p.y]], zf);
315
1.04k
        psub = (const subpath *)pseg;
316
1.04k
    }
317
318
1.04k
    return 0;
319
1.04k
}
320
321
static void mark_line(fixed sx, fixed sy, fixed ex, fixed ey, int base_y, int height, int *table, int *index)
322
40.2k
{
323
40.2k
    int64_t delta;
324
40.2k
    int iy, ih;
325
40.2k
    fixed clip_sy, clip_ey;
326
40.2k
    int dirn = DIRN_UP;
327
40.2k
    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
40.2k
    if (fixed2int(sy + fixed_half-1) == fixed2int(ey + fixed_half-1))
341
12.8k
        return;
342
27.4k
    if (sy > ey) {
343
14.1k
        int t;
344
14.1k
        t = sy; sy = ey; ey = t;
345
14.1k
        t = sx; sx = ex; ex = t;
346
14.1k
        dirn = DIRN_DOWN;
347
14.1k
    }
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
27.4k
    clip_sy = ((sy + fixed_half - 1) & ~(fixed_1-1)) | fixed_half;
352
    /* The last scanline marked (< ey) is: */
353
27.4k
    clip_ey = ((ey - fixed_half - 1) & ~(fixed_1-1)) | fixed_half;
354
    /* Now allow for banding */
355
27.4k
    if (clip_sy < int2fixed(base_y) + fixed_half)
356
29
        clip_sy = int2fixed(base_y) + fixed_half;
357
27.4k
    if (ey <= clip_sy)
358
24
        return;
359
27.4k
    if (clip_ey > int2fixed(base_y + height - 1) + fixed_half)
360
0
        clip_ey = int2fixed(base_y + height - 1) + fixed_half;
361
27.4k
    if (sy > clip_ey)
362
0
        return;
363
27.4k
    delta = (int64_t)clip_sy - (int64_t)sy;
364
27.4k
    if (delta > 0)
365
27.3k
    {
366
27.3k
        int64_t dx = (int64_t)ex - (int64_t)sx;
367
27.3k
        int64_t dy = (int64_t)ey - (int64_t)sy;
368
27.3k
        int advance = (int)((dx * delta + (dy>>1)) / dy);
369
27.3k
        sx += advance;
370
27.3k
        sy += delta;
371
27.3k
    }
372
27.4k
    delta = (int64_t)ey - (int64_t)clip_ey;
373
27.4k
    if (delta > 0)
374
27.4k
    {
375
27.4k
        int64_t dx = (int64_t)ex - (int64_t)sx;
376
27.4k
        int64_t dy = (int64_t)ey - (int64_t)sy;
377
27.4k
        int advance = (int)((dx * delta + (dy>>1)) / dy);
378
27.4k
        ex -= advance;
379
27.4k
        ey -= delta;
380
27.4k
    }
381
27.4k
    ex -= sx;
382
27.4k
    ey -= sy;
383
27.4k
    ih = fixed2int(ey);
384
27.4k
    assert(ih >= 0);
385
27.4k
    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
27.4k
    assert(iy >= 0 && iy < height);
391
    /* We always cross at least one scanline */
392
27.4k
    row = &table[index[iy]];
393
27.4k
    *row = (*row)+1; /* Increment the count */
394
27.4k
    row[*row] = (sx&~1) | dirn;
395
27.4k
    if (ih == 0)
396
16.7k
        return;
397
10.7k
    if (ex >= 0) {
398
6.62k
        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
6.62k
        x_inc = ex/ih;
404
6.62k
        n_inc = ex-(x_inc*ih);
405
6.62k
        f     = ih>>1;
406
6.62k
        delta = ih;
407
42.3k
        do {
408
42.3k
            int count;
409
42.3k
            iy++;
410
42.3k
            sx += x_inc;
411
42.3k
            f  -= n_inc;
412
42.3k
            if (f < 0) {
413
3.96k
                f += ih;
414
3.96k
                sx++;
415
3.96k
            }
416
42.3k
            assert(iy >= 0 && iy < height);
417
42.3k
            row = &table[index[iy]];
418
42.3k
            count = *row = (*row)+1; /* Increment the count */
419
42.3k
            row[count] = (sx&~1) | dirn;
420
42.3k
        } while (--delta);
421
6.62k
    } else {
422
4.09k
        int x_dec, n_dec, f;
423
424
4.09k
        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
4.09k
        x_dec = ex/ih;
429
4.09k
        n_dec = ex-(x_dec*ih);
430
4.09k
        f     = ih>>1;
431
4.09k
        delta = ih;
432
12.4k
        do {
433
12.4k
            int count;
434
12.4k
            iy++;
435
12.4k
            sx -= x_dec;
436
12.4k
            f  -= n_dec;
437
12.4k
            if (f < 0) {
438
3.73k
                f += ih;
439
3.73k
                sx--;
440
3.73k
            }
441
12.4k
            assert(iy >= 0 && iy < height);
442
12.4k
            row = &table[index[iy]];
443
12.4k
            count = *row = (*row)+1; /* Increment the count */
444
12.4k
            row[count] = (sx&~1) | dirn;
445
12.4k
        } while (--delta);
446
4.09k
    }
447
10.7k
}
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
45.1k
{
515
45.1k
    int           code;
516
45.1k
    int           ret = 0;
517
518
    /* Find the bbox - fixed */
519
45.1k
    code = gx_path_bbox(path, bbox);
520
45.1k
    if (code < 0)
521
0
        return code;
522
523
45.1k
    if (bbox->p.y == bbox->q.y) {
524
        /* Zero height path */
525
1.04k
        if (!clip ||
526
1.04k
            (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.04k
            if (clip) {
529
1.04k
                if (bbox->p.x < clip->p.x)
530
12
                    bbox->p.x = clip->p.x;
531
1.04k
                if (bbox->q.x > clip->q.x)
532
60
                    bbox->q.x = clip->q.x;
533
1.04k
            }
534
1.04k
            if (bbox->p.x <= bbox->q.x) {
535
                /* Zero height rectangle, not clipped completely away */
536
1.04k
                ret = 1;
537
1.04k
            }
538
1.04k
        }
539
1.04k
    }
540
541
45.1k
    if (clip) {
542
45.1k
        if (bbox->p.y < clip->p.y)
543
14.8k
            bbox->p.y = clip->p.y;
544
45.1k
        if (bbox->q.y > clip->q.y)
545
15.3k
            bbox->q.y = clip->q.y;
546
45.1k
    }
547
548
    /* Convert to bbox - int */
549
45.1k
    ibox->p.x = fixed2int(bbox->p.x+adjust-(adjust?1:0));
550
45.1k
    ibox->p.y = fixed2int(bbox->p.y+adjust-(adjust?1:0));
551
45.1k
    ibox->q.x = fixed2int(bbox->q.x-adjust+fixed_1);
552
45.1k
    ibox->q.y = fixed2int(bbox->q.y-adjust+fixed_1);
553
554
45.1k
    return ret;
555
45.1k
}
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
45.1k
{
567
45.1k
    int             scanlines;
568
45.1k
    const subpath * gs_restrict psub;
569
45.1k
    int           * gs_restrict index;
570
45.1k
    int           * gs_restrict table;
571
45.1k
    int             i;
572
45.1k
    int64_t         offset;
573
45.1k
    int             delta;
574
45.1k
    fixed           base_y;
575
576
45.1k
    *scanlinesp = 0;
577
45.1k
    *indexp     = NULL;
578
45.1k
    *tablep     = NULL;
579
580
45.1k
    if (pdev->max_fill_band != 0)
581
0
        ibox->p.y &= ~(pdev->max_fill_band-1);
582
45.1k
    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
45.1k
    scanlines = ibox->q.y-base_y;
593
    /* +1+adjust simplifies the loop below */
594
45.1k
    index = (int *)gs_alloc_bytes(pdev->memory,
595
45.1k
                                  (scanlines+1+adjust) * sizeof(*index),
596
45.1k
                                  "scanc index buffer");
597
45.1k
    if (index == NULL)
598
0
        return_error(gs_error_VMerror);
599
600
    /* Step 1 continued: Blank the index */
601
45.1k
    memset(index, 0, (scanlines+1)*sizeof(int));
602
603
    /* Step 1 continued: Run through the path, filling in the index */
604
97.8k
    for (psub = path->first_subpath; psub != 0;) {
605
52.6k
        const segment * gs_restrict pseg = (const segment *)psub;
606
52.6k
        fixed          ey = pseg->pt.y;
607
52.6k
        fixed          iy = ey;
608
52.6k
        int            iey = fixed2int(iy) - base_y;
609
610
52.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
52.6k
        if (iey >= 0 && iey < scanlines)
615
33.1k
        {
616
33.1k
            index[iey] += 2;
617
33.1k
            if (iey+1 < scanlines)
618
9.68k
                index[iey+1] -= 2;
619
33.1k
        }
620
621
39.0M
        while ((pseg = pseg->next) != 0 &&
622
39.0M
               pseg->type != s_start
623
38.9M
            ) {
624
38.9M
            fixed sy = ey;
625
38.9M
            ey = pseg->pt.y;
626
627
38.9M
            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
38.9M
                case s_line:
685
38.9M
                case s_line_close: {
686
38.9M
                    fixed miny, maxy;
687
38.9M
                    int imaxy, iminy;
688
38.9M
                    if (sy == ey) {
689
#ifdef DEBUG_SCAN_CONVERTER
690
                        if (debugging_scan_converter)
691
                            dlprintf("Line (Horiz)\n");
692
#endif
693
382k
                        break;
694
382k
                    }
695
38.5M
                    if (sy < ey)
696
18.3M
                        miny = sy, maxy = ey;
697
20.2M
                    else
698
20.2M
                        miny = ey, maxy = sy;
699
#ifdef DEBUG_SCAN_CONVERTER
700
                    if (debugging_scan_converter)
701
                        dlprintf2("Line (%x->%x) ", miny, maxy);
702
#endif
703
38.5M
                    iminy = fixed2int(miny) - base_y;
704
38.5M
                    if (iminy <= 0)
705
13.3M
                        iminy = 0;
706
25.2M
                    else
707
25.2M
                        iminy -= adjust;
708
38.5M
                    if (iminy < scanlines) {
709
14.1M
                        imaxy = fixed2int(maxy) - base_y;
710
14.1M
                        if (imaxy >= 0) {
711
#ifdef DEBUG_SCAN_CONVERTER
712
                            if (debugging_scan_converter)
713
                                dlprintf1("+%x ", iminy);
714
#endif
715
1.00M
                            index[iminy]++;
716
1.00M
                            if (imaxy < scanlines) {
717
#ifdef DEBUG_SCAN_CONVERTER
718
                                if (debugging_scan_converter)
719
                                    dlprintf1("-%x ", imaxy+1);
720
#endif
721
964k
                                index[imaxy+1+adjust]--;
722
964k
                            }
723
1.00M
                        }
724
14.1M
                    }
725
#ifdef DEBUG_SCAN_CONVERTER
726
                    if (debugging_scan_converter)
727
                        dlprintf("\n");
728
#endif
729
38.5M
                    break;
730
38.9M
                }
731
38.9M
            }
732
38.9M
        }
733
734
        /* And close any segments that need it */
735
52.6k
        if (ey != iy) {
736
1.54k
            fixed miny, maxy;
737
1.54k
            int imaxy, iminy;
738
1.54k
            if (iy < ey)
739
780
                miny = iy, maxy = ey;
740
761
            else
741
761
                miny = ey, maxy = iy;
742
#ifdef DEBUG_SCAN_CONVERTER
743
            if (debugging_scan_converter)
744
                dlprintf2("Close (%x->%x) ", miny, maxy);
745
#endif
746
1.54k
            iminy = fixed2int(miny) - base_y;
747
1.54k
            if (iminy <= 0)
748
388
                iminy = 0;
749
1.15k
            else
750
1.15k
                iminy -= adjust;
751
1.54k
            if (iminy < scanlines) {
752
622
                imaxy = fixed2int(maxy) - base_y;
753
622
                if (imaxy >= 0) {
754
#ifdef DEBUG_SCAN_CONVERTER
755
                    if (debugging_scan_converter)
756
                        dlprintf1("+%x ", iminy);
757
#endif
758
620
                    index[iminy]++;
759
620
                    if (imaxy < scanlines) {
760
#ifdef DEBUG_SCAN_CONVERTER
761
                        if (debugging_scan_converter)
762
                            dlprintf1("-%x ", imaxy+1);
763
#endif
764
271
                        index[imaxy+1+adjust]--;
765
271
                    }
766
620
                }
767
622
            }
768
#ifdef DEBUG_SCAN_CONVERTER
769
            if (debugging_scan_converter)
770
                dlprintf("\n");
771
#endif
772
1.54k
        }
773
#ifdef DEBUG_SCAN_CONVERTER
774
        if (debugging_scan_converter)
775
            dlprintf("\n");
776
#endif
777
52.6k
        psub = (const subpath *)pseg;
778
52.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
45.1k
    offset = 0;
787
45.1k
    delta  = 0;
788
58.2M
    for (i=0; i < scanlines+adjust; i++) {
789
58.1M
        delta    += intersection_size*index[i];  /* delta = Num ints on this scanline. */
790
58.1M
        index[i]  = offset;                      /* Offset into table for this lines data. */
791
58.1M
        offset   += delta+1;                     /* Adjust offset for next line. */
792
58.1M
    }
793
    /* Ensure we always have enough room for our zero height rectangle hack. */
794
45.1k
    if (offset < 2*intersection_size)
795
0
        offset += 2*intersection_size;
796
45.1k
    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
45.1k
    if (scanlines > 16 && offset > 1024*1024) { /* Arbitrary */
803
12
        gs_free_object(pdev->memory, index, "scanc index buffer");
804
12
        return offset/(1024*1024) + 1;
805
12
    }
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
45.1k
    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
45.1k
    table = (int *)gs_alloc_bytes(pdev->memory, offset,
821
45.1k
                                  "scanc intersects buffer");
822
45.1k
    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
32.0M
    for (i=0; i < scanlines; i++) {
831
32.0M
        table[index[i]] = 0;
832
32.0M
    }
833
834
45.1k
    *scanlinesp = scanlines;
835
45.1k
    *tablep     = table;
836
45.1k
    *indexp     = index;
837
838
45.1k
    return 0;
839
45.1k
}
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
407
{
848
407
    return make_table_template(pdev, path, ibox, 1, 1, scanlines, index, table);
849
407
}
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
407
{
865
407
    gs_fixed_rect  ibox;
866
407
    gs_fixed_rect  bbox;
867
407
    int            scanlines;
868
407
    const subpath *psub;
869
407
    int           *index;
870
407
    int           *table;
871
407
    int            i;
872
407
    int            code;
873
407
    int            zero;
874
875
407
    edgebuffer->index = NULL;
876
407
    edgebuffer->table = NULL;
877
878
    /* Bale out if no actual path. We see this with the clist */
879
407
    if (path->first_subpath == NULL)
880
0
        return 0;
881
882
407
    zero = make_bbox(path, clip, &bbox, &ibox, fixed_half);
883
407
    if (zero < 0)
884
0
        return zero;
885
886
407
    if (ibox.q.y <= ibox.p.y)
887
0
        return 0;
888
889
407
    code = make_table(pdev, path, &ibox, &scanlines, &index, &table);
890
407
    if (code != 0) /* >0 means "retry with smaller height" */
891
0
        return code;
892
893
407
    if (scanlines == 0)
894
0
        return 0;
895
896
407
    if (zero) {
897
0
        code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero);
898
407
    } else {
899
900
    /* Step 2 continued: Now we run through the path, filling in the real
901
     * values. */
902
1.10k
    for (psub = path->first_subpath; psub != 0;) {
903
697
        const segment *pseg = (const segment *)psub;
904
697
        fixed ex = pseg->pt.x;
905
697
        fixed ey = pseg->pt.y;
906
697
        fixed ix = ex;
907
697
        fixed iy = ey;
908
909
45.6k
        while ((pseg = pseg->next) != 0 &&
910
45.6k
               pseg->type != s_start
911
44.9k
            ) {
912
44.9k
            fixed sx = ex;
913
44.9k
            fixed sy = ey;
914
44.9k
            ex = pseg->pt.x;
915
44.9k
            ey = pseg->pt.y;
916
917
44.9k
            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
44.2k
                case s_line:
932
44.9k
                case s_line_close:
933
44.9k
                    if (sy != ey)
934
40.2k
                        mark_line(sx, sy, ex, ey, ibox.p.y, scanlines, table, index);
935
44.9k
                    break;
936
44.9k
            }
937
44.9k
        }
938
        /* And close any open segments */
939
697
        if (iy != ey)
940
0
            mark_line(ex, ey, ix, iy, ibox.p.y, scanlines, table, index);
941
697
        psub = (const subpath *)pseg;
942
697
    }
943
407
    }
944
945
    /* Step 2 complete: We now have a complete list of intersection data in
946
     * table, indexed by index. */
947
948
407
    edgebuffer->base   = ibox.p.y;
949
407
    edgebuffer->height = scanlines;
950
407
    edgebuffer->xmin   = ibox.p.x;
951
407
    edgebuffer->xmax   = ibox.q.x;
952
407
    edgebuffer->index  = index;
953
407
    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
28.9k
    for (i=0; i < scanlines; i++) {
964
28.5k
        int *row = &table[index[i]];
965
28.5k
        int  rowlen = *row++;
966
967
        /* Bubblesort short runs, qsort longer ones. */
968
        /* FIXME: Check "6" below */
969
28.5k
        if (rowlen <= 6) {
970
28.3k
            int j, k;
971
80.8k
            for (j = 0; j < rowlen-1; j++) {
972
52.4k
                int t = row[j];
973
143k
                for (k = j+1; k < rowlen; k++) {
974
90.8k
                    int s = row[k];
975
90.8k
                    if (t > s)
976
43.8k
                         row[k] = t, t = row[j] = s;
977
90.8k
                }
978
52.4k
            }
979
28.3k
        } else
980
216
            qsort(row, rowlen, sizeof(int), intcmp);
981
28.5k
    }
982
983
407
    return 0;
984
407
}
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
407
{
992
407
    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
28.9k
    for (i=0; i < edgebuffer->height; i++) {
1002
28.5k
        int *row      = &edgebuffer->table[edgebuffer->index[i]];
1003
28.5k
        int *rowstart = row;
1004
28.5k
        int  rowlen   = *row++;
1005
28.5k
        int *rowout   = row;
1006
1007
69.7k
        while (rowlen > 0)
1008
41.1k
        {
1009
41.1k
            int left, right;
1010
1011
41.1k
            if (rule == gx_rule_even_odd) {
1012
                /* Even Odd */
1013
0
                left  = (*row++)&~1;
1014
0
                right = (*row++)&~1;
1015
0
                rowlen -= 2;
1016
41.1k
            } else {
1017
                /* Non-Zero */
1018
41.1k
                int w;
1019
1020
41.1k
                left = *row++;
1021
41.1k
                w = ((left&1)-1) | (left&1);
1022
41.1k
                rowlen--;
1023
41.1k
                do {
1024
41.1k
                    right  = *row++;
1025
41.1k
                    rowlen--;
1026
41.1k
                    w += ((right&1)-1) | (right&1);
1027
41.1k
                } while (w != 0);
1028
41.1k
                left &= ~1;
1029
41.1k
                right &= ~1;
1030
41.1k
            }
1031
1032
41.1k
            if (right > left) {
1033
41.1k
                *rowout++ = left;
1034
41.1k
                *rowout++ = right;
1035
41.1k
            }
1036
41.1k
        }
1037
28.5k
        *rowstart = (rowout-rowstart)-1;
1038
28.5k
    }
1039
407
    return 0;
1040
407
}
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
407
{
1049
407
    int i, code;
1050
1051
28.9k
    for (i=0; i < edgebuffer->height; i++) {
1052
28.5k
        int *row    = &edgebuffer->table[edgebuffer->index[i]];
1053
28.5k
        int  rowlen = *row++;
1054
1055
69.7k
        while (rowlen > 0) {
1056
41.1k
            int left, right;
1057
1058
41.1k
            left  = *row++;
1059
41.1k
            right = *row++;
1060
41.1k
            rowlen -= 2;
1061
41.1k
            left  = fixed2int(left + fixed_half);
1062
41.1k
            right = fixed2int(right + fixed_half);
1063
41.1k
            right -= left;
1064
41.1k
            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
41.0k
                if (log_op < 0)
1074
0
                    code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure);
1075
41.0k
                else
1076
41.0k
                    code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op);
1077
41.0k
                if (code < 0)
1078
0
                    return code;
1079
41.0k
            }
1080
41.1k
        }
1081
28.5k
    }
1082
407
    return 0;
1083
407
}
1084
1085
/* Any part of a pixel routines */
1086
1087
static int edgecmp(const void *a, const void *b)
1088
0
{
1089
0
    int left  = ((int*)a)[0];
1090
0
    int right = ((int*)b)[0];
1091
0
    left -= right;
1092
0
    if (left)
1093
0
        return left;
1094
0
    return ((int*)a)[1] - ((int*)b)[1];
1095
0
}
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
0
{
1159
0
    int *row;
1160
0
    int count;
1161
1162
0
    if (iy >= 0 && iy < cr->scanlines) {
1163
0
        if (cr->first) {
1164
            /* Save it for later in case we join up */
1165
0
            cr->save_left  = cr->left;
1166
0
            cr->save_right = cr->right;
1167
0
            cr->save_iy    = iy;
1168
0
            cr->save_d     = cr->d;
1169
0
            cr->saved      = 1;
1170
0
        } else if (cr->d != DIRN_UNSET) {
1171
            /* Enter it into the table */
1172
0
            row = &cr->table[cr->index[iy]];
1173
0
            *row = count = (*row)+1; /* Increment the count */
1174
0
            row[2 * count - 1] = (cr->left&~1) | cr->d;
1175
0
            row[2 * count    ] = cr->right;
1176
0
        } else {
1177
0
            assert(cr->left == max_fixed && cr->right == min_fixed);
1178
0
        }
1179
0
    }
1180
0
    cr->first = 0;
1181
0
}
1182
1183
static inline void
1184
cursor_output_inrange(cursor * gs_restrict cr, int iy)
1185
0
{
1186
0
    int *row;
1187
0
    int count;
1188
1189
0
    assert(iy >= 0 && iy < cr->scanlines);
1190
0
    if (cr->first) {
1191
        /* Save it for later in case we join up */
1192
0
        cr->save_left  = cr->left;
1193
0
        cr->save_right = cr->right;
1194
0
        cr->save_iy    = iy;
1195
0
        cr->save_d     = cr->d;
1196
0
        cr->saved      = 1;
1197
0
    } else {
1198
        /* Enter it into the table */
1199
0
        assert(cr->d != DIRN_UNSET);
1200
1201
0
        row = &cr->table[cr->index[iy]];
1202
0
        *row = count = (*row)+1; /* Increment the count */
1203
0
        row[2 * count - 1] = (cr->left&~1) | cr->d;
1204
0
        row[2 * count    ] = cr->right;
1205
0
    }
1206
0
    cr->first = 0;
1207
0
}
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
0
{
1213
0
    int new_iy;
1214
0
    int iy = fixed2int(cr->y) - cr->base;
1215
1216
0
    cr->y += dy;
1217
0
    new_iy = fixed2int(cr->y) - cr->base;
1218
0
    if (new_iy != iy) {
1219
0
        if (!skip)
1220
0
            cursor_output(cr, iy);
1221
0
        cr->left = x;
1222
0
        cr->right = x;
1223
0
    } 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
0
}
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
0
{
1235
0
    assert(fixed2int(cr->y+dy) == fixed2int(cr->y));
1236
1237
0
    cr->y += dy;
1238
0
}
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
0
{
1246
0
    assert(fixed2int(cr->y+dy) == fixed2int(cr->y));
1247
1248
0
    if (x < cr->left)
1249
0
        cr->left = x;
1250
0
    cr->y += dy;
1251
0
}
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
0
{
1259
0
    assert(fixed2int(cr->y+dy) == fixed2int(cr->y));
1260
1261
0
    if (x > cr->right)
1262
0
        cr->right = x;
1263
0
    cr->y += dy;
1264
0
}
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
0
{
1270
0
    int iy = fixed2int(cr->y) - cr->base;
1271
1272
0
    if (!skip)
1273
0
        cursor_output(cr, iy);
1274
0
    cr->y += dy;
1275
0
    cr->left = x;
1276
0
    cr->right = x;
1277
0
}
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
0
{
1285
0
    int iy = fixed2int(cr->y) - cr->base;
1286
1287
0
    cursor_output(cr, iy);
1288
0
    cr->y += dy;
1289
0
}
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
0
{
1297
0
    int iy = fixed2int(cr->y) - cr->base;
1298
1299
0
    cr->y += dy;
1300
0
    cursor_output_inrange(cr, iy);
1301
0
    cr->right = x;
1302
0
}
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
0
{
1310
0
    int iy = fixed2int(cr->y) - cr->base;
1311
1312
0
    cr->y += dy;
1313
0
    cursor_output_inrange(cr, iy);
1314
0
    cr->left = x;
1315
0
}
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
0
{
1329
0
    if (x < cr->left)
1330
0
        cr->left = x;
1331
0
}
1332
1333
static inline void cursor_left(cursor * gs_restrict cr, fixed x)
1334
0
{
1335
0
    cr->left = x;
1336
0
}
1337
1338
static inline void cursor_right_merge(cursor * gs_restrict cr, fixed x)
1339
0
{
1340
0
    if (x > cr->right)
1341
0
        cr->right = x;
1342
0
}
1343
1344
static inline void cursor_right(cursor * gs_restrict cr, fixed x)
1345
0
{
1346
0
    cr->right = x;
1347
0
}
1348
1349
static inline int cursor_down(cursor * gs_restrict cr, fixed x)
1350
0
{
1351
0
    int skip = 0;
1352
0
    if ((cr->y & 0xff) == 0)
1353
0
        skip = 1;
1354
0
    if (cr->d == DIRN_UP)
1355
0
    {
1356
0
        if (!skip)
1357
0
            cursor_output(cr, fixed2int(cr->y) - cr->base);
1358
0
        cr->left = x;
1359
0
        cr->right = x;
1360
0
    }
1361
0
    cr->d = DIRN_DOWN;
1362
0
    return skip;
1363
0
}
1364
1365
static inline void cursor_up(cursor * gs_restrict cr, fixed x)
1366
0
{
1367
0
    if (cr->d == DIRN_DOWN)
1368
0
    {
1369
0
        cursor_output(cr, fixed2int(cr->y) - cr->base);
1370
0
        cr->left = x;
1371
0
        cr->right = x;
1372
0
    }
1373
0
    cr->d = DIRN_UP;
1374
0
}
1375
1376
static inline void
1377
cursor_flush(cursor * gs_restrict cr, fixed x)
1378
0
{
1379
0
    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
0
    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
0
    iy = fixed2int(cr->y) - cr->base;
1404
0
    if (cr->saved && iy == cr->save_iy &&
1405
0
        (cr->d == cr->save_d || cr->save_d == DIRN_UNSET)) {
1406
0
        if (cr->left > cr->save_left)
1407
0
            cr->left = cr->save_left;
1408
0
        if (cr->right < cr->save_right)
1409
0
            cr->right = cr->save_right;
1410
0
        cursor_output(cr, iy);
1411
0
        return;
1412
0
    }
1413
1414
    /* Merge not possible */
1415
0
    cursor_output(cr, iy);
1416
0
    if (cr->saved) {
1417
0
        cr->left  = cr->save_left;
1418
0
        cr->right = cr->save_right;
1419
0
        assert(cr->save_d != DIRN_UNSET);
1420
0
        if (cr->save_d != DIRN_UNSET)
1421
0
            cr->d = cr->save_d;
1422
0
        cursor_output(cr, cr->save_iy);
1423
0
    }
1424
0
}
1425
1426
static inline void
1427
cursor_null(cursor *cr)
1428
0
{
1429
0
    cr->right = min_fixed;
1430
0
    cr->left  = max_fixed;
1431
0
    cr->d     = DIRN_UNSET;
1432
0
}
1433
1434
static void mark_line_app(cursor * gs_restrict cr, fixed sx, fixed sy, fixed ex, fixed ey)
1435
0
{
1436
0
    int isy, iey;
1437
0
    fixed saved_sy = sy;
1438
0
    fixed saved_ex = ex;
1439
0
    fixed saved_ey = ey;
1440
0
    int truncated;
1441
1442
0
    if (sx == ex && sy == ey)
1443
0
        return;
1444
1445
0
    isy = fixed2int(sy) - cr->base;
1446
0
    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
0
    if (sy == ey && (sy & 0xff) == 0)
1460
0
        return;
1461
1462
0
    assert(cr->y == sy &&
1463
0
           ((cr->left <= sx && cr->right >= sx) || ((sy & 0xff) == 0)) &&
1464
0
           cr->d >= DIRN_UNSET && cr->d <= DIRN_DOWN);
1465
1466
0
    if (isy < iey) {
1467
        /* Rising line */
1468
0
        if (iey < 0 || isy >= cr->scanlines) {
1469
            /* All line is outside. */
1470
0
            if ((ey & 0xff) == 0)
1471
0
                cursor_null(cr);
1472
0
            else {
1473
0
                cr->left = ex;
1474
0
                cr->right = ex;
1475
0
            }
1476
0
            cr->y = ey;
1477
0
            cr->first = 0;
1478
0
            return;
1479
0
        }
1480
0
        if (isy < 0) {
1481
            /* Move sy up */
1482
0
            int64_t y = (int64_t)ey - (int64_t)sy;
1483
0
            fixed new_sy = int2fixed(cr->base);
1484
0
            int64_t dy = (int64_t)new_sy - (int64_t)sy;
1485
0
            sx += (int)((((int64_t)(ex-sx))*dy + y/2)/y);
1486
0
            sy = new_sy;
1487
0
            cursor_null(cr);
1488
0
            cr->y = sy;
1489
0
            isy = 0;
1490
0
        }
1491
0
        truncated = iey > cr->scanlines;
1492
0
        if (truncated) {
1493
            /* Move ey down */
1494
0
            int64_t y = ey - sy;
1495
0
            fixed new_ey = int2fixed(cr->base + cr->scanlines);
1496
0
            int64_t dy = (int64_t)ey - (int64_t)new_ey;
1497
0
            saved_ex = ex;
1498
0
            saved_ey = ey;
1499
0
            ex -= (int)((((int64_t)(ex-sx))*dy + y/2)/y);
1500
0
            ey = new_ey;
1501
0
            iey = cr->scanlines;
1502
0
        }
1503
0
    } else {
1504
        /* Falling line */
1505
0
        if (isy < 0 || iey >= cr->scanlines) {
1506
            /* All line is outside. */
1507
0
            if ((ey & 0xff) == 0)
1508
0
                cursor_null(cr);
1509
0
            else {
1510
0
                cr->left = ex;
1511
0
                cr->right = ex;
1512
0
            }
1513
0
            cr->y = ey;
1514
0
            cr->first = 0;
1515
0
            return;
1516
0
        }
1517
0
        truncated = iey < 0;
1518
0
        if (truncated) {
1519
            /* Move ey up */
1520
0
            int64_t y = (int64_t)ey - (int64_t)sy;
1521
0
            fixed new_ey = int2fixed(cr->base);
1522
0
            int64_t dy = (int64_t)ey - (int64_t)new_ey;
1523
0
            ex -= (int)((((int64_t)(ex-sx))*dy + y/2)/y);
1524
0
            ey = new_ey;
1525
0
            iey = 0;
1526
0
        }
1527
0
        if (isy >= cr->scanlines) {
1528
            /* Move sy down */
1529
0
            int64_t y = (int64_t)ey - (int64_t)sy;
1530
0
            fixed new_sy = int2fixed(cr->base + cr->scanlines);
1531
0
            int64_t dy = (int64_t)new_sy - (int64_t)sy;
1532
0
            sx += (int)((((int64_t)(ex-sx))*dy + y/2)/y);
1533
0
            sy = new_sy;
1534
0
            cursor_null(cr);
1535
0
            cr->y = sy;
1536
0
            isy = cr->scanlines;
1537
0
        }
1538
0
    }
1539
1540
0
    cursor_left_merge(cr, sx);
1541
0
    cursor_right_merge(cr, sx);
1542
1543
0
    assert(cr->left <= sx);
1544
0
    assert(cr->right >= sx);
1545
0
    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
0
    if (isy == iey) {
1568
0
        if (saved_sy == saved_ey) {
1569
            /* Horizontal line. Don't change cr->d, don't flush. */
1570
0
            if ((ey & 0xff) == 0)
1571
0
                goto no_merge;
1572
0
        } else if (saved_sy > saved_ey) {
1573
            /* Falling line, flush if previous was rising */
1574
0
            int skip = cursor_down(cr, sx);
1575
0
            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
0
                if (sx <= ex) {
1579
0
                    cursor_right_merge(cr, ex);
1580
0
                } else {
1581
0
                    cursor_left_merge(cr, ex);
1582
0
                }
1583
0
                if (!skip)
1584
0
                    cursor_output(cr, fixed2int(cr->y) - cr->base);
1585
0
                cursor_null(cr);
1586
0
                goto no_merge;
1587
0
            }
1588
0
        } else {
1589
            /* Rising line, flush if previous was falling */
1590
0
            cursor_up(cr, sx);
1591
0
            if ((ey & 0xff) == 0) {
1592
0
                cursor_null(cr);
1593
0
                goto no_merge;
1594
0
            }
1595
0
        }
1596
0
        if (sx <= ex) {
1597
0
            cursor_right_merge(cr, ex);
1598
0
        } else {
1599
0
            cursor_left_merge(cr, ex);
1600
0
        }
1601
0
no_merge:
1602
0
        cr->y = ey;
1603
0
        if (sy > saved_ey)
1604
0
            goto endFalling;
1605
0
    } 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
0
        int phase1_y_steps = (-sy) & (fixed_1 - 1);
1619
0
        int phase3_y_steps = ey & (fixed_1 - 1);
1620
0
        ufixed y_steps = (ufixed)ey - (ufixed)sy;
1621
1622
0
        cursor_up(cr, sx);
1623
1624
0
        if (sx == ex) {
1625
            /* Vertical line. (Rising) */
1626
1627
            /* Phase 1: */
1628
0
            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
0
                cursor_step(cr, phase1_y_steps, sx, 0);
1632
0
                sy += phase1_y_steps;
1633
0
                y_steps -= phase1_y_steps;
1634
0
                if (y_steps == 0) {
1635
0
                    cursor_null(cr);
1636
0
                    goto end;
1637
0
                }
1638
0
            }
1639
1640
            /* Phase 3: precalculation */
1641
0
            y_steps -= phase3_y_steps;
1642
1643
            /* Phase 2: */
1644
0
            y_steps = fixed2int(y_steps);
1645
0
            assert(y_steps >= 0);
1646
0
            if (y_steps > 0) {
1647
0
                cursor_always_step(cr, fixed_1, sx, 0);
1648
0
                y_steps--;
1649
0
                while (y_steps) {
1650
0
                    cursor_always_step_inrange_vertical(cr, fixed_1, sx);
1651
0
                    y_steps--;
1652
0
                }
1653
0
            }
1654
1655
            /* Phase 3 */
1656
0
            assert(cr->left == sx && cr->right == sx);
1657
0
            if (phase3_y_steps == 0)
1658
0
                cursor_null(cr);
1659
0
            else
1660
0
                cr->y += phase3_y_steps;
1661
0
        } else if (sx < ex) {
1662
            /* Lines increasing in x. (Rightwards, rising) */
1663
0
            int phase1_x_steps, phase3_x_steps;
1664
0
            fixed x_steps = ex - sx;
1665
1666
            /* Phase 1: */
1667
0
            if (phase1_y_steps) {
1668
0
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
1669
0
                sx += phase1_x_steps;
1670
0
                cursor_right_merge(cr, sx);
1671
0
                x_steps -= phase1_x_steps;
1672
0
                cursor_step(cr, phase1_y_steps, sx, 0);
1673
0
                sy += phase1_y_steps;
1674
0
                y_steps -= phase1_y_steps;
1675
0
                if (y_steps == 0) {
1676
0
                    cursor_null(cr);
1677
0
                    goto end;
1678
0
                }
1679
0
            }
1680
1681
            /* Phase 3: precalculation */
1682
0
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
1683
0
            x_steps -= phase3_x_steps;
1684
0
            y_steps -= phase3_y_steps;
1685
0
            assert((y_steps & (fixed_1 - 1)) == 0);
1686
1687
            /* Phase 2: */
1688
0
            y_steps = fixed2int(y_steps);
1689
0
            assert(y_steps >= 0);
1690
0
            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
0
                int x_inc = x_steps/y_steps;
1694
0
                int n_inc = x_steps - (x_inc * y_steps);
1695
0
                int f = y_steps/2;
1696
0
                int d = y_steps;
1697
1698
                /* Special casing the first iteration, allows us to simplify
1699
                 * the following loop. */
1700
0
                sx += x_inc;
1701
0
                f -= n_inc;
1702
0
                if (f < 0)
1703
0
                    f += d, sx++;
1704
0
                cursor_right_merge(cr, sx);
1705
0
                cursor_always_step(cr, fixed_1, sx, 0);
1706
0
                y_steps--;
1707
1708
0
                while (y_steps) {
1709
0
                    sx += x_inc;
1710
0
                    f -= n_inc;
1711
0
                    if (f < 0)
1712
0
                        f += d, sx++;
1713
0
                    cursor_right(cr, sx);
1714
0
                    cursor_always_inrange_step_right(cr, fixed_1, sx);
1715
0
                    y_steps--;
1716
0
                };
1717
0
            }
1718
1719
            /* Phase 3 */
1720
0
            assert(cr->left <= ex && cr->right >= sx);
1721
0
            if (phase3_y_steps == 0)
1722
0
                cursor_null(cr);
1723
0
            else {
1724
0
                cursor_right(cr, ex);
1725
0
                cr->y += phase3_y_steps;
1726
0
            }
1727
0
        } else {
1728
            /* Lines decreasing in x. (Leftwards, rising) */
1729
0
            int phase1_x_steps, phase3_x_steps;
1730
0
            fixed x_steps = sx - ex;
1731
1732
            /* Phase 1: */
1733
0
            if (phase1_y_steps) {
1734
0
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
1735
0
                x_steps -= phase1_x_steps;
1736
0
                sx -= phase1_x_steps;
1737
0
                cursor_left_merge(cr, sx);
1738
0
                cursor_step(cr, phase1_y_steps, sx, 0);
1739
0
                sy += phase1_y_steps;
1740
0
                y_steps -= phase1_y_steps;
1741
0
                if (y_steps == 0) {
1742
0
                    cursor_null(cr);
1743
0
                    goto end;
1744
0
                }
1745
0
            }
1746
1747
            /* Phase 3: precalculation */
1748
0
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
1749
0
            x_steps -= phase3_x_steps;
1750
0
            y_steps -= phase3_y_steps;
1751
0
            assert((y_steps & (fixed_1 - 1)) == 0);
1752
1753
            /* Phase 2: */
1754
0
            y_steps = fixed2int(y_steps);
1755
0
            assert(y_steps >= 0);
1756
0
            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
0
                int x_inc = x_steps/y_steps;
1760
0
                int n_inc = x_steps - (x_inc * y_steps);
1761
0
                int f = y_steps/2;
1762
0
                int d = y_steps;
1763
1764
                /* Special casing the first iteration, allows us to simplify
1765
                 * the following loop. */
1766
0
                sx -= x_inc;
1767
0
                f -= n_inc;
1768
0
                if (f < 0)
1769
0
                    f += d, sx--;
1770
0
                cursor_left_merge(cr, sx);
1771
0
                cursor_always_step(cr, fixed_1, sx, 0);
1772
0
                y_steps--;
1773
1774
0
                while (y_steps) {
1775
0
                    sx -= x_inc;
1776
0
                    f -= n_inc;
1777
0
                    if (f < 0)
1778
0
                        f += d, sx--;
1779
0
                    cursor_left(cr, sx);
1780
0
                    cursor_always_inrange_step_left(cr, fixed_1, sx);
1781
0
                    y_steps--;
1782
0
                }
1783
0
            }
1784
1785
            /* Phase 3 */
1786
0
            assert(cr->right >= ex && cr->left <= sx);
1787
0
            if (phase3_y_steps == 0)
1788
0
                cursor_null(cr);
1789
0
            else {
1790
0
                cursor_left(cr, ex);
1791
0
                cr->y += phase3_y_steps;
1792
0
            }
1793
0
        }
1794
0
    } 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
0
        int phase1_y_steps = sy & (fixed_1 - 1);
1803
0
        int phase3_y_steps = (-ey) & (fixed_1 - 1);
1804
0
        ufixed y_steps = (ufixed)sy - (ufixed)ey;
1805
1806
0
        int skip = cursor_down(cr, sx);
1807
1808
0
        if (sx == ex) {
1809
            /* Vertical line. (Falling) */
1810
1811
            /* Phase 1: */
1812
0
            if (phase1_y_steps) {
1813
                /* Phase 1 in a falling line never moves us into a new scanline. */
1814
0
                cursor_never_step_vertical(cr, -phase1_y_steps, sx);
1815
0
                sy -= phase1_y_steps;
1816
0
                y_steps -= phase1_y_steps;
1817
0
                if (y_steps == 0)
1818
0
                    goto endFallingLeftOnEdgeOfPixel;
1819
0
            }
1820
1821
            /* Phase 3: precalculation */
1822
0
            y_steps -= phase3_y_steps;
1823
0
            assert((y_steps & (fixed_1 - 1)) == 0);
1824
1825
            /* Phase 2: */
1826
0
            y_steps = fixed2int(y_steps);
1827
0
            assert(y_steps >= 0);
1828
0
            if (y_steps) {
1829
0
                cursor_always_step(cr, -fixed_1, sx, skip);
1830
0
                skip = 0;
1831
0
                y_steps--;
1832
0
                while (y_steps) {
1833
0
                    cursor_always_step_inrange_vertical(cr, -fixed_1, sx);
1834
0
                    y_steps--;
1835
0
                }
1836
0
            }
1837
1838
            /* Phase 3 */
1839
0
            if (phase3_y_steps == 0) {
1840
0
endFallingLeftOnEdgeOfPixel:
1841
0
                cursor_always_step_inrange_vertical(cr, 0, sx);
1842
0
                cursor_null(cr);
1843
0
            } else {
1844
0
                cursor_step(cr, -phase3_y_steps, sx, skip);
1845
0
                assert(cr->left == sx && cr->right == sx);
1846
0
            }
1847
0
        } else if (sx < ex) {
1848
            /* Lines increasing in x. (Rightwards, falling) */
1849
0
            int phase1_x_steps, phase3_x_steps;
1850
0
            fixed x_steps = ex - sx;
1851
1852
            /* Phase 1: */
1853
0
            if (phase1_y_steps) {
1854
0
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
1855
0
                x_steps -= phase1_x_steps;
1856
0
                sx += phase1_x_steps;
1857
                /* Phase 1 in a falling line never moves us into a new scanline. */
1858
0
                cursor_never_step_right(cr, -phase1_y_steps, sx);
1859
0
                sy -= phase1_y_steps;
1860
0
                y_steps -= phase1_y_steps;
1861
0
                if (y_steps == 0)
1862
0
                    goto endFallingRightOnEdgeOfPixel;
1863
0
            }
1864
1865
            /* Phase 3: precalculation */
1866
0
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
1867
0
            x_steps -= phase3_x_steps;
1868
0
            y_steps -= phase3_y_steps;
1869
0
            assert((y_steps & (fixed_1 - 1)) == 0);
1870
1871
            /* Phase 2: */
1872
0
            y_steps = fixed2int(y_steps);
1873
0
            assert(y_steps >= 0);
1874
0
            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
0
                int x_inc = x_steps/y_steps;
1878
0
                int n_inc = x_steps - (x_inc * y_steps);
1879
0
                int f = y_steps/2;
1880
0
                int d = y_steps;
1881
1882
0
                cursor_always_step(cr, -fixed_1, sx, skip);
1883
0
                skip = 0;
1884
0
                sx += x_inc;
1885
0
                f -= n_inc;
1886
0
                if (f < 0)
1887
0
                    f += d, sx++;
1888
0
                cursor_right(cr, sx);
1889
0
                y_steps--;
1890
1891
0
                while (y_steps) {
1892
0
                    cursor_always_inrange_step_right(cr, -fixed_1, sx);
1893
0
                    sx += x_inc;
1894
0
                    f -= n_inc;
1895
0
                    if (f < 0)
1896
0
                        f += d, sx++;
1897
0
                    cursor_right(cr, sx);
1898
0
                    y_steps--;
1899
0
                }
1900
0
            }
1901
1902
            /* Phase 3 */
1903
0
            if (phase3_y_steps == 0) {
1904
0
endFallingRightOnEdgeOfPixel:
1905
0
                cursor_always_step_inrange_vertical(cr, 0, sx);
1906
0
                cursor_null(cr);
1907
0
            } else {
1908
0
                cursor_step(cr, -phase3_y_steps, sx, skip);
1909
0
                cursor_right(cr, ex);
1910
0
                assert(cr->left == sx && cr->right == ex);
1911
0
            }
1912
0
        } else {
1913
            /* Lines decreasing in x. (Falling) */
1914
0
            int phase1_x_steps, phase3_x_steps;
1915
0
            fixed x_steps = sx - ex;
1916
1917
            /* Phase 1: */
1918
0
            if (phase1_y_steps) {
1919
0
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
1920
0
                x_steps -= phase1_x_steps;
1921
0
                sx -= phase1_x_steps;
1922
                /* Phase 1 in a falling line never moves us into a new scanline. */
1923
0
                cursor_never_step_left(cr, -phase1_y_steps, sx);
1924
0
                sy -= phase1_y_steps;
1925
0
                y_steps -= phase1_y_steps;
1926
0
                if (y_steps == 0)
1927
0
                    goto endFallingVerticalOnEdgeOfPixel;
1928
0
            }
1929
1930
            /* Phase 3: precalculation */
1931
0
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
1932
0
            x_steps -= phase3_x_steps;
1933
0
            y_steps -= phase3_y_steps;
1934
0
            assert((y_steps & (fixed_1 - 1)) == 0);
1935
1936
            /* Phase 2: */
1937
0
            y_steps = fixed2int(y_steps);
1938
0
            assert(y_steps >= 0);
1939
0
            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
0
                int x_inc = x_steps/y_steps;
1943
0
                int n_inc = x_steps - (x_inc * y_steps);
1944
0
                int f = y_steps/2;
1945
0
                int d = y_steps;
1946
1947
0
                cursor_always_step(cr, -fixed_1, sx, skip);
1948
0
                skip = 0;
1949
0
                sx -= x_inc;
1950
0
                f -= n_inc;
1951
0
                if (f < 0)
1952
0
                    f += d, sx--;
1953
0
                cursor_left(cr, sx);
1954
0
                y_steps--;
1955
1956
0
                while (y_steps) {
1957
0
                    cursor_always_inrange_step_left(cr, -fixed_1, sx);
1958
0
                    sx -= x_inc;
1959
0
                    f -= n_inc;
1960
0
                    if (f < 0)
1961
0
                        f += d, sx--;
1962
0
                    cursor_left(cr, sx);
1963
0
                    y_steps--;
1964
0
                }
1965
0
            }
1966
1967
            /* Phase 3 */
1968
0
            if (phase3_y_steps == 0) {
1969
0
endFallingVerticalOnEdgeOfPixel:
1970
0
                cursor_always_step_inrange_vertical(cr, 0, sx);
1971
0
                cursor_null(cr);
1972
0
            } else {
1973
0
                cursor_step(cr, -phase3_y_steps, sx, skip);
1974
0
                cursor_left(cr, ex);
1975
0
                assert(cr->left == ex && cr->right == sx);
1976
0
            }
1977
0
        }
1978
0
endFalling: {}
1979
0
    }
1980
1981
0
end:
1982
0
    if (truncated) {
1983
0
        cr->left = saved_ex;
1984
0
        cr->right = saved_ex;
1985
0
        cr->y = saved_ey;
1986
0
    }
1987
0
}
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
0
{
2056
0
    return make_table_template(pdev, path, ibox, 2, 0, scanlines, index, table);
2057
0
}
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
0
{
2075
0
    gs_fixed_rect  ibox;
2076
0
    gs_fixed_rect  bbox;
2077
0
    int            scanlines;
2078
0
    const subpath *psub;
2079
0
    int           *index;
2080
0
    int           *table;
2081
0
    int            i;
2082
0
    cursor         cr;
2083
0
    int            code;
2084
0
    int            zero;
2085
2086
0
    edgebuffer->index = NULL;
2087
0
    edgebuffer->table = NULL;
2088
2089
    /* Bale out if no actual path. We see this with the clist */
2090
0
    if (path->first_subpath == NULL)
2091
0
        return 0;
2092
2093
0
    zero = make_bbox(path, clip, &bbox, &ibox, 0);
2094
0
    if (zero < 0)
2095
0
        return zero;
2096
2097
0
    if (ibox.q.y <= ibox.p.y)
2098
0
        return 0;
2099
2100
0
    code = make_table_app(pdev, path, &ibox, &scanlines, &index, &table);
2101
0
    if (code != 0) /* > 0 means "retry with smaller height" */
2102
0
        return code;
2103
2104
0
    if (scanlines == 0)
2105
0
        return 0;
2106
2107
0
    if (zero) {
2108
0
        code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero_app);
2109
0
    } else {
2110
2111
    /* Step 2 continued: Now we run through the path, filling in the real
2112
     * values. */
2113
0
    cr.scanlines = scanlines;
2114
0
    cr.index     = index;
2115
0
    cr.table     = table;
2116
0
    cr.base      = ibox.p.y;
2117
0
    for (psub = path->first_subpath; psub != 0;) {
2118
0
        const segment *pseg = (const segment *)psub;
2119
0
        fixed ex = pseg->pt.x;
2120
0
        fixed ey = pseg->pt.y;
2121
0
        fixed ix = ex;
2122
0
        fixed iy = ey;
2123
0
        fixed sx, sy;
2124
2125
0
        if ((ey & 0xff) == 0) {
2126
0
            cr.left  = max_fixed;
2127
0
            cr.right = min_fixed;
2128
0
        } else {
2129
0
            cr.left = cr.right = ex;
2130
0
        }
2131
0
        cr.y = ey;
2132
0
        cr.d = DIRN_UNSET;
2133
0
        cr.first = 1;
2134
0
        cr.saved = 0;
2135
2136
0
        while ((pseg = pseg->next) != 0 &&
2137
0
               pseg->type != s_start
2138
0
            ) {
2139
0
            sx = ex;
2140
0
            sy = ey;
2141
0
            ex = pseg->pt.x;
2142
0
            ey = pseg->pt.y;
2143
2144
0
            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
0
                case s_line:
2159
0
                case s_line_close:
2160
0
                    mark_line_app(&cr, sx, sy, ex, ey);
2161
0
                    break;
2162
0
            }
2163
0
        }
2164
        /* And close any open segments */
2165
0
        mark_line_app(&cr, ex, ey, ix, iy);
2166
0
        cursor_flush(&cr, ex);
2167
0
        psub = (const subpath *)pseg;
2168
0
    }
2169
0
    }
2170
2171
    /* Step 2 complete: We now have a complete list of intersection data in
2172
     * table, indexed by index. */
2173
2174
0
    edgebuffer->base   = ibox.p.y;
2175
0
    edgebuffer->height = scanlines;
2176
0
    edgebuffer->xmin   = ibox.p.x;
2177
0
    edgebuffer->xmax   = ibox.q.x;
2178
0
    edgebuffer->index  = index;
2179
0
    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
0
    for (i=0; i < scanlines; i++) {
2190
0
        int *row = &table[index[i]];
2191
0
        int  rowlen = *row++;
2192
2193
        /* Bubblesort short runs, qsort longer ones. */
2194
        /* FIXME: Verify the figure 6 below */
2195
0
        if (rowlen <= 6) {
2196
0
            int j, k;
2197
0
            for (j = 0; j < rowlen-1; j++) {
2198
0
                int * gs_restrict t = &row[j<<1];
2199
0
                for (k = j+1; k < rowlen; k++) {
2200
0
                    int * gs_restrict s = &row[k<<1];
2201
0
                    int tmp;
2202
0
                    if (t[0] < s[0])
2203
0
                        continue;
2204
0
                    if (t[0] > s[0])
2205
0
                        goto swap01;
2206
0
                    if (t[1] <= s[1])
2207
0
                        continue;
2208
0
                    if (0) {
2209
0
swap01:
2210
0
                        tmp = t[0], t[0] = s[0], s[0] = tmp;
2211
0
                    }
2212
0
                    tmp = t[1], t[1] = s[1], s[1] = tmp;
2213
0
                }
2214
0
            }
2215
0
        } else
2216
0
            qsort(row, rowlen, 2*sizeof(int), edgecmp);
2217
0
    }
2218
2219
0
    return 0;
2220
0
}
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
0
{
2228
0
    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
0
    for (i=0; i < edgebuffer->height; i++) {
2238
0
        int *row      = &edgebuffer->table[edgebuffer->index[i]];
2239
0
        int  rowlen   = *row++;
2240
0
        int *rowstart = row;
2241
0
        int *rowout   = row;
2242
0
        int  ll, lr, rl, rr, wind, marked_to;
2243
2244
        /* Avoid double setting pixels, by keeping where we have marked to. */
2245
0
        marked_to = INT_MIN;
2246
0
        while (rowlen > 0) {
2247
0
            if (rule == gx_rule_even_odd) {
2248
                /* Even Odd */
2249
0
                ll = (*row++)&~1;
2250
0
                lr = *row;
2251
0
                row += 2;
2252
0
                rowlen-=2;
2253
2254
                /* We will fill solidly from ll to at least lr, possibly further */
2255
0
                assert(rowlen >= 0);
2256
0
                rr = (*row++);
2257
0
                if (rr > lr)
2258
0
                    lr = rr;
2259
0
            } else {
2260
                /* Non-Zero */
2261
0
                int w;
2262
2263
0
                ll = *row++;
2264
0
                lr = *row++;
2265
0
                wind = -(ll&1) | 1;
2266
0
                ll &= ~1;
2267
0
                rowlen--;
2268
2269
0
                assert(rowlen > 0);
2270
0
                do {
2271
0
                    rl = *row++;
2272
0
                    rr = *row++;
2273
0
                    w = -(rl&1) | 1;
2274
0
                    rl &= ~1;
2275
0
                    rowlen--;
2276
0
                    if (rr > lr)
2277
0
                        lr = rr;
2278
0
                    wind += w;
2279
0
                    if (wind == 0)
2280
0
                        break;
2281
0
                } while (rowlen > 0);
2282
0
            }
2283
2284
0
            if (marked_to >= lr)
2285
0
                continue;
2286
2287
0
            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
0
            if (lr >= ll) {
2297
0
                *rowout++ = ll;
2298
0
                *rowout++ = lr;
2299
0
                marked_to = lr;
2300
0
            }
2301
0
        }
2302
0
        rowstart[-1] = rowout - rowstart;
2303
0
    }
2304
0
    return 0;
2305
0
}
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
0
{
2314
0
    int i, code;
2315
2316
0
    for (i=0; i < edgebuffer->height; i++) {
2317
0
        int *row    = &edgebuffer->table[edgebuffer->index[i]];
2318
0
        int  rowlen = *row++;
2319
0
        int  left, right;
2320
2321
0
        while (rowlen > 0) {
2322
0
            left  = *row++;
2323
0
            right = *row++;
2324
0
            left  = fixed2int(left);
2325
0
            right = fixed2int(right + fixed_1 - 1);
2326
0
            rowlen -= 2;
2327
2328
0
            right -= left;
2329
0
            if (right > 0) {
2330
0
                if (log_op < 0)
2331
0
                    code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure);
2332
0
                else
2333
0
                    code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op);
2334
0
                if (code < 0)
2335
0
                    return code;
2336
0
            }
2337
0
        }
2338
0
    }
2339
0
    return 0;
2340
0
}
2341
2342
/* Centre of a pixel trapezoid routines */
2343
2344
static int intcmp_tr(const void *a, const void *b)
2345
3.75k
{
2346
3.75k
    int left  = ((int*)a)[0];
2347
3.75k
    int right = ((int*)b)[0];
2348
3.75k
    if (left != right)
2349
3.75k
        return left - right;
2350
0
    return ((int*)a)[1] - ((int*)b)[1];
2351
3.75k
}
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
26.1M
{
2383
26.1M
    int64_t delta;
2384
26.1M
    int iy, ih;
2385
26.1M
    fixed clip_sy, clip_ey;
2386
26.1M
    int dirn = DIRN_UP;
2387
26.1M
    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
26.1M
    if (fixed2int(sy + fixed_half-1) == fixed2int(ey + fixed_half-1))
2401
22.7k
        return;
2402
26.1M
    if (sy > ey) {
2403
14.5M
        int t;
2404
14.5M
        t = sy; sy = ey; ey = t;
2405
14.5M
        t = sx; sx = ex; ex = t;
2406
14.5M
        dirn = DIRN_DOWN;
2407
14.5M
    }
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
26.1M
    clip_sy = ((sy + fixed_half - 1) & ~(fixed_1-1)) | fixed_half;
2412
    /* The last scanline marked (< ey) is: */
2413
26.1M
    clip_ey = ((ey - fixed_half - 1) & ~(fixed_1-1)) | fixed_half;
2414
    /* Now allow for banding */
2415
26.1M
    if (clip_sy < int2fixed(base_y) + fixed_half)
2416
12.8M
        clip_sy = int2fixed(base_y) + fixed_half;
2417
26.1M
    if (ey <= clip_sy)
2418
12.8M
        return;
2419
13.3M
    if (clip_ey > int2fixed(base_y + height - 1) + fixed_half)
2420
13.2M
        clip_ey = int2fixed(base_y + height - 1) + fixed_half;
2421
13.3M
    if (sy > clip_ey)
2422
13.2M
        return;
2423
92.8k
    delta = (int64_t)clip_sy - (int64_t)sy;
2424
92.8k
    if (delta > 0)
2425
92.5k
    {
2426
92.5k
        int64_t dx = (int64_t)ex - (int64_t)sx;
2427
92.5k
        int64_t dy = (int64_t)ey - (int64_t)sy;
2428
92.5k
        int advance = (int)((dx * delta + (dy>>1)) / dy);
2429
92.5k
        sx += advance;
2430
92.5k
        sy += delta;
2431
92.5k
    }
2432
92.8k
    delta = (int64_t)ey - (int64_t)clip_ey;
2433
92.8k
    if (delta > 0)
2434
92.8k
    {
2435
92.8k
        int64_t dx = (int64_t)ex - (int64_t)sx;
2436
92.8k
        int64_t dy = (int64_t)ey - (int64_t)sy;
2437
92.8k
        int advance = (int)((dx * delta + (dy>>1)) / dy);
2438
92.8k
        ex -= advance;
2439
92.8k
        ey -= delta;
2440
92.8k
    }
2441
92.8k
    ex -= sx;
2442
92.8k
    ey -= sy;
2443
92.8k
    ih = fixed2int(ey);
2444
92.8k
    assert(ih >= 0);
2445
92.8k
    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
92.8k
    assert(iy >= 0 && iy < height);
2451
92.8k
    id = (id<<1) | dirn;
2452
    /* We always cross at least one scanline */
2453
92.8k
    row = &table[index[iy]];
2454
92.8k
    *row = (*row)+1; /* Increment the count */
2455
92.8k
    row[*row * 2 - 1] = sx;
2456
92.8k
    row[*row * 2    ] = id;
2457
92.8k
    if (ih == 0)
2458
131
        return;
2459
92.7k
    if (ex >= 0) {
2460
62.7k
        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
62.7k
        x_inc = ex/ih;
2466
62.7k
        n_inc = ex-(x_inc*ih);
2467
62.7k
        f     = ih>>1;
2468
62.7k
        delta = ih;
2469
66.0M
        do {
2470
66.0M
            int count;
2471
66.0M
            iy++;
2472
66.0M
            sx += x_inc;
2473
66.0M
            f  -= n_inc;
2474
66.0M
            if (f < 0) {
2475
19.8M
                f += ih;
2476
19.8M
                sx++;
2477
19.8M
            }
2478
66.0M
            assert(iy >= 0 && iy < height);
2479
66.0M
            row = &table[index[iy]];
2480
66.0M
            count = *row = (*row)+1; /* Increment the count */
2481
66.0M
            row[count * 2 - 1] = sx;
2482
66.0M
            row[count * 2    ] = id;
2483
66.0M
        }
2484
66.0M
        while (--delta);
2485
62.7k
    } else {
2486
29.9k
        int x_dec, n_dec, f;
2487
2488
29.9k
        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
29.9k
        x_dec = ex/ih;
2493
29.9k
        n_dec = ex-(x_dec*ih);
2494
29.9k
        f     = ih>>1;
2495
29.9k
        delta = ih;
2496
26.6M
        do {
2497
26.6M
            int count;
2498
26.6M
            iy++;
2499
26.6M
            sx -= x_dec;
2500
26.6M
            f  -= n_dec;
2501
26.6M
            if (f < 0) {
2502
13.1M
                f += ih;
2503
13.1M
                sx--;
2504
13.1M
            }
2505
26.6M
            assert(iy >= 0 && iy < height);
2506
26.6M
            row = &table[index[iy]];
2507
26.6M
            count = *row = (*row)+1; /* Increment the count */
2508
26.6M
            row[count * 2 - 1] = sx;
2509
26.6M
            row[count * 2    ] = id;
2510
26.6M
         }
2511
26.6M
         while (--delta);
2512
29.9k
    }
2513
92.7k
}
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
2.53k
{
2584
2.53k
    return make_table_template(pdev, path, ibox, 2, 1, scanlines, index, table);
2585
2.53k
}
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
2.53k
{
2603
2.53k
    gs_fixed_rect  ibox;
2604
2.53k
    gs_fixed_rect  bbox;
2605
2.53k
    int            scanlines;
2606
2.53k
    const subpath *psub;
2607
2.53k
    int           *index;
2608
2.53k
    int           *table;
2609
2.53k
    int            i;
2610
2.53k
    int            code;
2611
2.53k
    int            id = 0;
2612
2.53k
    int            zero;
2613
2614
2.53k
    edgebuffer->index = NULL;
2615
2.53k
    edgebuffer->table = NULL;
2616
2617
    /* Bale out if no actual path. We see this with the clist */
2618
2.53k
    if (path->first_subpath == NULL)
2619
0
        return 0;
2620
2621
2.53k
    zero = make_bbox(path, clip, &bbox, &ibox, fixed_half);
2622
2.53k
    if (zero < 0)
2623
0
        return zero;
2624
2625
2.53k
    if (ibox.q.y <= ibox.p.y)
2626
6
        return 0;
2627
2628
2.53k
    code = make_table_tr(pdev, path, &ibox, &scanlines, &index, &table);
2629
2.53k
    if (code != 0) /* > 0 means "retry with smaller height" */
2630
12
        return code;
2631
2632
2.52k
    if (scanlines == 0)
2633
0
        return 0;
2634
2635
2.52k
    if (zero) {
2636
0
        code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero_tr);
2637
2.52k
    } else {
2638
2639
    /* Step 3: Now we run through the path, filling in the real
2640
     * values. */
2641
7.34k
    for (psub = path->first_subpath; psub != 0;) {
2642
4.82k
        const segment *pseg = (const segment *)psub;
2643
4.82k
        fixed ex = pseg->pt.x;
2644
4.82k
        fixed ey = pseg->pt.y;
2645
4.82k
        fixed ix = ex;
2646
4.82k
        fixed iy = ey;
2647
2648
26.2M
        while ((pseg = pseg->next) != 0 &&
2649
26.2M
               pseg->type != s_start
2650
26.2M
            ) {
2651
26.2M
            fixed sx = ex;
2652
26.2M
            fixed sy = ey;
2653
26.2M
            ex = pseg->pt.x;
2654
26.2M
            ey = pseg->pt.y;
2655
2656
26.2M
            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
26.2M
                case s_line:
2671
26.2M
                case s_line_close:
2672
26.2M
                    if (sy != ey)
2673
26.1M
                        mark_line_tr(sx, sy, ex, ey, ibox.p.y, scanlines, table, index, ++id);
2674
26.2M
                    break;
2675
26.2M
            }
2676
26.2M
        }
2677
        /* And close any open segments */
2678
4.82k
        if (iy != ey)
2679
0
            mark_line_tr(ex, ey, ix, iy, ibox.p.y, scanlines, table, index, ++id);
2680
4.82k
        psub = (const subpath *)pseg;
2681
4.82k
    }
2682
2.52k
    }
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
2.52k
    edgebuffer->base   = ibox.p.y;
2699
2.52k
    edgebuffer->height = scanlines;
2700
2.52k
    edgebuffer->xmin   = ibox.p.x;
2701
2.52k
    edgebuffer->xmax   = ibox.q.x;
2702
2.52k
    edgebuffer->index  = index;
2703
2.52k
    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
26.0M
    for (i=0; i < scanlines; i++) {
2714
26.0M
        int *row = &table[index[i]];
2715
26.0M
        int  rowlen = *row++;
2716
2717
        /* Bubblesort short runs, qsort longer ones. */
2718
        /* FIXME: Verify the figure 6 below */
2719
26.0M
        if (rowlen <= 6) {
2720
26.0M
            int j, k;
2721
92.7M
            for (j = 0; j < rowlen-1; j++) {
2722
66.7M
                int * gs_restrict t = &row[j<<1];
2723
196M
                for (k = j+1; k < rowlen; k++) {
2724
129M
                    int * gs_restrict s = &row[k<<1];
2725
129M
                    int tmp;
2726
129M
                    if (t[0] < s[0])
2727
66.4M
                        continue;
2728
62.7M
                    if (t[0] == s[0]) {
2729
0
                        if (t[1] <= s[1])
2730
0
                            continue;
2731
0
                    } else
2732
62.7M
                        tmp = t[0], t[0] = s[0], s[0] = tmp;
2733
62.7M
                    tmp = t[1], t[1] = s[1], s[1] = tmp;
2734
62.7M
                }
2735
66.7M
            }
2736
26.0M
        } else
2737
269
            qsort(row, rowlen, 2*sizeof(int), intcmp_tr);
2738
26.0M
    }
2739
2740
2.52k
    return 0;
2741
2.52k
}
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
2.52k
{
2749
2.52k
    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
26.0M
    for (i=0; i < edgebuffer->height; i++) {
2759
26.0M
        int *row      = &edgebuffer->table[edgebuffer->index[i]];
2760
26.0M
        int  rowlen   = *row++;
2761
26.0M
        int *rowstart = row;
2762
26.0M
        int *rowout   = row;
2763
2764
72.4M
        while (rowlen > 0) {
2765
46.3M
            int left, lid, right, rid;
2766
2767
46.3M
            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
46.3M
            } else {
2775
                /* Non-Zero */
2776
46.3M
                int w;
2777
2778
46.3M
                left = *row++;
2779
46.3M
                lid  = *row++;
2780
46.3M
                w = ((lid&1)-1) | 1;
2781
46.3M
                rowlen--;
2782
46.3M
                do {
2783
46.3M
                    right = *row++;
2784
46.3M
                    rid   = *row++;
2785
46.3M
                    rowlen--;
2786
46.3M
                    w += ((rid&1)-1) | 1;
2787
46.3M
                } while (w != 0);
2788
46.3M
            }
2789
2790
46.3M
            if (right > left) {
2791
46.3M
                *rowout++ = left;
2792
46.3M
                *rowout++ = lid;
2793
46.3M
                *rowout++ = right;
2794
46.3M
                *rowout++ = rid;
2795
46.3M
            }
2796
46.3M
        }
2797
26.0M
        rowstart[-1] = (rowout-rowstart)>>1;
2798
26.0M
    }
2799
2.52k
    return 0;
2800
2.52k
}
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
2.52k
{
2809
2.52k
    int i, j, code;
2810
2.52k
    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
83.6k
    for (i=0; i < edgebuffer->height; ) {
2820
81.0k
        int *row    = &edgebuffer->table[edgebuffer->index[i]];
2821
81.0k
        int  rowlen = *row++;
2822
81.0k
        int *row2;
2823
81.0k
        int *rowptr;
2824
81.0k
        int *row2ptr;
2825
81.0k
        int y_band_max;
2826
2827
81.0k
        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
81.0k
        } else {
2832
81.0k
            y_band_max = edgebuffer->height;
2833
81.0k
        }
2834
2835
        /* See how many scanlines match i */
2836
26.0M
        for (j = i+1; j < y_band_max; j++) {
2837
26.0M
            int row2len;
2838
2839
26.0M
            row2    = &edgebuffer->table[edgebuffer->index[j]];
2840
26.0M
            row2len = *row2++;
2841
26.0M
            row2ptr = row2;
2842
26.0M
            rowptr  = row;
2843
2844
26.0M
            if (rowlen != row2len)
2845
1.51k
                break;
2846
118M
            while (row2len > 0) {
2847
92.6M
                if ((rowptr[1]&~1) != (row2ptr[1]&~1))
2848
77.0k
                    goto rowdifferent;
2849
92.5M
                rowptr  += 2;
2850
92.5M
                row2ptr += 2;
2851
92.5M
                row2len--;
2852
92.5M
            }
2853
26.0M
        }
2854
81.0k
rowdifferent:{}
2855
2856
        /* So j is the first scanline that doesn't match i */
2857
2858
81.0k
        if (j == i+1) {
2859
1.66k
            while (rowlen > 0) {
2860
1.16k
                int left, right;
2861
2862
1.16k
                left  = row[0];
2863
1.16k
                right = row[2];
2864
1.16k
                row += 4;
2865
1.16k
                rowlen -= 2;
2866
2867
1.16k
                left  = fixed2int(left + fixed_half);
2868
1.16k
                right = fixed2int(right + fixed_half);
2869
1.16k
                right -= left;
2870
1.16k
                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
1.15k
                    if (log_op < 0)
2880
0
                        code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure);
2881
1.15k
                    else
2882
1.15k
                        code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op);
2883
1.15k
                    if (code < 0)
2884
0
                        return code;
2885
1.15k
                }
2886
1.16k
            }
2887
80.5k
        } else {
2888
80.5k
            gs_fixed_edge le;
2889
80.5k
            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
80.5k
            le.start.y = re.start.y = int2fixed(edgebuffer->base+i) + fixed_half;
2923
80.5k
            le.end.y   = re.end.y   = int2fixed(edgebuffer->base+j) - (fixed_half-1);
2924
80.5k
            row2    = &edgebuffer->table[edgebuffer->index[j-1]+1];
2925
231k
            while (rowlen > 0) {
2926
150k
                le.start.x = row[0];
2927
150k
                re.start.x = row[2];
2928
150k
                le.end.x   = row2[0];
2929
150k
                re.end.x   = row2[2];
2930
150k
                row += 4;
2931
150k
                row2 += 4;
2932
150k
                rowlen -= 2;
2933
2934
150k
                assert(re.start.x >= le.start.x);
2935
150k
                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
150k
                code = dev_proc(pdev, fill_trapezoid)(
2946
150k
                                pdev,
2947
150k
                                &le,
2948
150k
                                &re,
2949
150k
                                le.start.y,
2950
150k
                                le.end.y,
2951
150k
                                0, /* bool swap_axes */
2952
150k
                                pdevc, /*const gx_drawing_color *pdcolor */
2953
150k
                                log_op);
2954
150k
                if (code < 0)
2955
0
                    return code;
2956
150k
            }
2957
80.5k
        }
2958
2959
81.0k
        i = j;
2960
81.0k
    }
2961
2.52k
    return 0;
2962
2.52k
}
2963
2964
/* Any part of a pixel trapezoid routines */
2965
2966
static int edgecmp_tr(const void *a, const void *b)
2967
1.87M
{
2968
1.87M
    int left  = ((int*)a)[0];
2969
1.87M
    int right = ((int*)b)[0];
2970
1.87M
    if (left != right)
2971
1.76M
        return left - right;
2972
112k
    left = ((int*)a)[2] - ((int*)b)[2];
2973
112k
    if (left != 0)
2974
3.87k
        return left;
2975
108k
    left = ((int*)a)[1] - ((int*)b)[1];
2976
108k
    if (left != 0)
2977
108k
        return left;
2978
0
    return ((int*)a)[3] - ((int*)b)[3];
2979
108k
}
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
10.8M
{
3079
10.8M
    int *row;
3080
10.8M
    int count;
3081
3082
10.8M
    if (iy >= 0 && iy < cr->scanlines) {
3083
10.7M
        if (cr->first) {
3084
            /* Save it for later in case we join up */
3085
42.2k
            cr->save_left  = cr->left;
3086
42.2k
            cr->save_lid   = cr->lid;
3087
42.2k
            cr->save_right = cr->right;
3088
42.2k
            cr->save_rid   = cr->rid;
3089
42.2k
            cr->save_iy    = iy;
3090
42.2k
            cr->save_d     = cr->d;
3091
42.2k
            cr->saved      = 1;
3092
10.7M
        } else if (cr->d != DIRN_UNSET) {
3093
            /* Enter it into the table */
3094
10.7M
            row = &cr->table[cr->index[iy]];
3095
10.7M
            *row = count = (*row)+1; /* Increment the count */
3096
10.7M
            row[4 * count - 3] = cr->left;
3097
10.7M
            row[4 * count - 2] = cr->d | (cr->lid<<1);
3098
10.7M
            row[4 * count - 1] = cr->right;
3099
10.7M
            row[4 * count    ] = cr->rid;
3100
10.7M
        } else {
3101
524
            assert(cr->left == max_fixed && cr->right == min_fixed);
3102
524
        }
3103
10.7M
    }
3104
10.8M
    cr->first = 0;
3105
10.8M
}
3106
3107
static inline void
3108
cursor_output_inrange_tr(cursor_tr * gs_restrict cr, int iy)
3109
2.20M
{
3110
2.20M
    int *row;
3111
2.20M
    int count;
3112
3113
2.20M
    assert(iy >= 0 && iy < cr->scanlines);
3114
2.20M
    if (cr->first) {
3115
        /* Save it for later in case we join up */
3116
88
        cr->save_left  = cr->left;
3117
88
        cr->save_lid   = cr->lid;
3118
88
        cr->save_right = cr->right;
3119
88
        cr->save_rid   = cr->rid;
3120
88
        cr->save_iy    = iy;
3121
88
        cr->save_d     = cr->d;
3122
88
        cr->saved      = 1;
3123
2.20M
    } else {
3124
        /* Enter it into the table */
3125
2.20M
        assert(cr->d != DIRN_UNSET);
3126
3127
2.20M
        row = &cr->table[cr->index[iy]];
3128
2.20M
        *row = count = (*row)+1; /* Increment the count */
3129
2.20M
        row[4 * count - 3] = cr->left;
3130
2.20M
        row[4 * count - 2] = cr->d | (cr->lid<<1);
3131
2.20M
        row[4 * count - 1] = cr->right;
3132
2.20M
        row[4 * count    ] = cr->rid;
3133
2.20M
    }
3134
2.20M
    cr->first = 0;
3135
2.20M
}
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
238k
{
3141
238k
    int new_iy;
3142
238k
    int iy = fixed2int(cr->y) - cr->base;
3143
3144
238k
    cr->y += dy;
3145
238k
    new_iy = fixed2int(cr->y) - cr->base;
3146
238k
    if (new_iy != iy) {
3147
238k
        if (!skip)
3148
237k
            cursor_output_tr(cr, iy);
3149
238k
        cr->left = x;
3150
238k
        cr->lid = id;
3151
238k
        cr->right = x;
3152
238k
        cr->rid = id;
3153
238k
    } 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
238k
}
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
29.8k
{
3169
29.8k
    assert(fixed2int(cr->y+dy) == fixed2int(cr->y));
3170
3171
29.8k
    cr->y += dy;
3172
29.8k
}
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
44.6k
{
3180
44.6k
    assert(fixed2int(cr->y+dy) == fixed2int(cr->y));
3181
3182
44.6k
    if (x < cr->left)
3183
43.4k
    {
3184
43.4k
        cr->left = x;
3185
43.4k
        cr->lid = id;
3186
43.4k
    }
3187
44.6k
    cr->y += dy;
3188
44.6k
}
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
38.4k
{
3196
38.4k
    assert(fixed2int(cr->y+dy) == fixed2int(cr->y));
3197
3198
38.4k
    if (x > cr->right)
3199
32.7k
    {
3200
32.7k
        cr->right = x;
3201
32.7k
        cr->rid = id;
3202
32.7k
    }
3203
38.4k
    cr->y += dy;
3204
38.4k
}
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
150k
{
3210
150k
    int iy = fixed2int(cr->y) - cr->base;
3211
3212
150k
    if (!skip)
3213
134k
        cursor_output_tr(cr, iy);
3214
150k
    cr->y += dy;
3215
150k
    cr->left = x;
3216
150k
    cr->lid = id;
3217
150k
    cr->right = x;
3218
150k
    cr->rid = id;
3219
150k
}
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
10.3M
{
3227
10.3M
    int iy = fixed2int(cr->y) - cr->base;
3228
3229
10.3M
    cursor_output_tr(cr, iy);
3230
10.3M
    cr->y += dy;
3231
10.3M
}
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.14M
{
3239
1.14M
    int iy = fixed2int(cr->y) - cr->base;
3240
3241
1.14M
    cr->y += dy;
3242
1.14M
    cursor_output_inrange_tr(cr, iy);
3243
1.14M
    cr->right = x;
3244
1.14M
    cr->rid = id;
3245
1.14M
}
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
1.05M
{
3253
1.05M
    int iy = fixed2int(cr->y) - cr->base;
3254
3255
1.05M
    cr->y += dy;
3256
1.05M
    cursor_output_inrange_tr(cr, iy);
3257
1.05M
    cr->left = x;
3258
1.05M
    cr->lid = id;
3259
1.05M
}
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.36M
{
3275
1.36M
    if (x < cr->left) {
3276
465k
        cr->left = x;
3277
465k
        cr->lid  = id;
3278
465k
    }
3279
1.36M
}
3280
3281
static inline void cursor_left_tr(cursor_tr * gs_restrict cr, fixed x, int id)
3282
1.25M
{
3283
1.25M
    cr->left = x;
3284
1.25M
    cr->lid  = id;
3285
1.25M
}
3286
3287
static inline void cursor_right_merge_tr(cursor_tr * gs_restrict cr, fixed x, int id)
3288
1.25M
{
3289
1.25M
    if (x > cr->right) {
3290
358k
        cr->right = x;
3291
358k
        cr->rid   = id;
3292
358k
    }
3293
1.25M
}
3294
3295
static inline void cursor_right_tr(cursor_tr * gs_restrict cr, fixed x, int id)
3296
1.15M
{
3297
1.15M
    cr->right = x;
3298
1.15M
    cr->rid   = id;
3299
1.15M
}
3300
3301
static inline int cursor_down_tr(cursor_tr * gs_restrict cr, fixed x, int id)
3302
387k
{
3303
387k
    int skip = 0;
3304
387k
    if ((cr->y & 0xff) == 0)
3305
17.4k
        skip = 1;
3306
387k
    if (cr->d == DIRN_UP)
3307
15.2k
    {
3308
15.2k
        if (!skip)
3309
15.2k
            cursor_output_tr(cr, fixed2int(cr->y) - cr->base);
3310
15.2k
        cr->left = x;
3311
15.2k
        cr->lid = id;
3312
15.2k
        cr->right = x;
3313
15.2k
        cr->rid = id;
3314
15.2k
    }
3315
387k
    cr->d = DIRN_DOWN;
3316
387k
    return skip;
3317
387k
}
3318
3319
static inline void cursor_up_tr(cursor_tr * gs_restrict cr, fixed x, int id)
3320
394k
{
3321
394k
    if (cr->d == DIRN_DOWN)
3322
29.6k
    {
3323
29.6k
        cursor_output_tr(cr, fixed2int(cr->y) - cr->base);
3324
29.6k
        cr->left = x;
3325
29.6k
        cr->lid = id;
3326
29.6k
        cr->right = x;
3327
29.6k
        cr->rid = id;
3328
29.6k
    }
3329
394k
    cr->d = DIRN_UP;
3330
394k
}
3331
3332
static inline void
3333
cursor_flush_tr(cursor_tr * gs_restrict cr, fixed x, int id)
3334
46.0k
{
3335
46.0k
    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
46.0k
    if (cr->first) {
3341
330
        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
330
        if (cr->d == DIRN_UNSET && (cr->y & 0xff) == 0)
3345
46
            return;
3346
284
        assert(cr->left != max_fixed && cr->right != min_fixed);
3347
284
        if (iy >= 0 && iy < cr->scanlines) {
3348
273
            int *row = &cr->table[cr->index[iy]];
3349
273
            int count = *row = (*row)+2; /* Increment the count */
3350
273
            row[4 * count - 7] = cr->left;
3351
273
            row[4 * count - 6] = DIRN_UP | (cr->lid<<1);
3352
273
            row[4 * count - 5] = cr->right;
3353
273
            row[4 * count - 4] = cr->rid;
3354
273
            row[4 * count - 3] = cr->right;
3355
273
            row[4 * count - 2] = DIRN_DOWN | (cr->rid<<1);
3356
273
            row[4 * count - 1] = cr->right;
3357
273
            row[4 * count    ] = cr->rid;
3358
273
        }
3359
284
        return;
3360
330
    }
3361
3362
    /* Merge save into current if we can */
3363
45.7k
    iy = fixed2int(cr->y) - cr->base;
3364
45.7k
    if (cr->saved && iy == cr->save_iy &&
3365
45.7k
        (cr->d == cr->save_d || cr->save_d == DIRN_UNSET)) {
3366
12.5k
        if (cr->left > cr->save_left) {
3367
10.6k
            cr->left = cr->save_left;
3368
10.6k
            cr->lid  = cr->save_lid;
3369
10.6k
        }
3370
12.5k
        if (cr->right < cr->save_right) {
3371
807
            cr->right = cr->save_right;
3372
807
            cr->rid = cr->save_rid;
3373
807
        }
3374
12.5k
        cursor_output_tr(cr, iy);
3375
12.5k
        return;
3376
12.5k
    }
3377
3378
    /* Merge not possible */
3379
33.1k
    cursor_output_tr(cr, iy);
3380
33.1k
    if (cr->saved) {
3381
29.7k
        cr->left  = cr->save_left;
3382
29.7k
        cr->lid   = cr->save_lid;
3383
29.7k
        cr->right = cr->save_right;
3384
29.7k
        cr->rid   = cr->save_rid;
3385
29.7k
        assert(cr->save_d != DIRN_UNSET);
3386
29.7k
        if (cr->save_d != DIRN_UNSET)
3387
29.7k
            cr->d = cr->save_d;
3388
29.7k
        cursor_output_tr(cr, cr->save_iy);
3389
29.7k
    }
3390
33.1k
}
3391
3392
static inline void
3393
cursor_null_tr(cursor_tr *cr)
3394
105k
{
3395
105k
    cr->right = min_fixed;
3396
105k
    cr->left  = max_fixed;
3397
105k
    cr->d     = DIRN_UNSET;
3398
105k
}
3399
3400
static void mark_line_tr_app(cursor_tr * gs_restrict cr, fixed sx, fixed sy, fixed ex, fixed ey, int id)
3401
12.5M
{
3402
12.5M
    int isy, iey;
3403
12.5M
    fixed saved_sy = sy;
3404
12.5M
    fixed saved_ex = ex;
3405
12.5M
    fixed saved_ey = ey;
3406
12.5M
    int truncated;
3407
3408
12.5M
    if (sy == ey && sx == ex)
3409
94.1k
        return;
3410
3411
12.4M
    isy = fixed2int(sy) - cr->base;
3412
12.4M
    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
12.4M
    if (sy == ey && (sy & 0xff) == 0)
3427
20.9k
        return;
3428
3429
12.4M
    assert(cr->y == sy &&
3430
12.4M
           ((cr->left <= sx && cr->right >= sx) || ((sy & 0xff) == 0)) &&
3431
12.4M
           cr->d >= DIRN_UNSET && cr->d <= DIRN_DOWN);
3432
3433
12.4M
    if (isy < iey) {
3434
        /* Rising line */
3435
5.87M
        if (iey < 0 || isy >= cr->scanlines) {
3436
            /* All line is outside. */
3437
5.73M
            if ((ey & 0xff) == 0) {
3438
24.0k
                cursor_null_tr(cr);
3439
5.71M
            } else {
3440
5.71M
                cr->left = ex;
3441
5.71M
                cr->lid = id;
3442
5.71M
                cr->right = ex;
3443
5.71M
                cr->rid = id;
3444
5.71M
            }
3445
5.73M
            cr->y = ey;
3446
5.73M
            cr->first = 0;
3447
5.73M
            return;
3448
5.73M
        }
3449
136k
        if (isy < 0) {
3450
            /* Move sy up */
3451
13.4k
            int64_t y = (int64_t)ey - (int64_t)sy;
3452
13.4k
            fixed new_sy = int2fixed(cr->base);
3453
13.4k
            int64_t dy = (int64_t)new_sy - (int64_t)sy;
3454
13.4k
            sx += (int)(((((int64_t)ex-sx))*dy + y/2)/y);
3455
13.4k
            sy = new_sy;
3456
13.4k
            cursor_null_tr(cr);
3457
13.4k
            cr->y = sy;
3458
13.4k
            isy = 0;
3459
13.4k
        }
3460
136k
        truncated = iey > cr->scanlines;
3461
136k
        if (truncated) {
3462
            /* Move ey down */
3463
15.1k
            int64_t y = (int64_t)ey - (int64_t)sy;
3464
15.1k
            fixed new_ey = int2fixed(cr->base + cr->scanlines);
3465
15.1k
            int64_t dy = (int64_t)ey - (int64_t)new_ey;
3466
15.1k
            saved_ex = ex;
3467
15.1k
            saved_ey = ey;
3468
15.1k
            ex -= (int)(((((int64_t)ex-sx))*dy + y/2)/y);
3469
15.1k
            ey = new_ey;
3470
15.1k
            iey = cr->scanlines;
3471
15.1k
        }
3472
6.56M
    } else {
3473
        /* Falling line */
3474
6.56M
        if (isy < 0 || iey >= cr->scanlines) {
3475
            /* All line is outside. */
3476
5.78M
            if ((ey & 0xff) == 0) {
3477
20.0k
                cursor_null_tr(cr);
3478
5.76M
            } else {
3479
5.76M
                cr->left = ex;
3480
5.76M
                cr->lid = id;
3481
5.76M
                cr->right = ex;
3482
5.76M
                cr->rid = id;
3483
5.76M
            }
3484
5.78M
            cr->y = ey;
3485
5.78M
            cr->first = 0;
3486
5.78M
            return;
3487
5.78M
        }
3488
782k
        truncated = iey < 0;
3489
782k
        if (truncated) {
3490
            /* Move ey up */
3491
13.4k
            int64_t y = (int64_t)ey - (int64_t)sy;
3492
13.4k
            fixed new_ey = int2fixed(cr->base);
3493
13.4k
            int64_t dy = (int64_t)ey - (int64_t)new_ey;
3494
13.4k
            ex -= (int)(((((int64_t)ex-sx))*dy + y/2)/y);
3495
13.4k
            ey = new_ey;
3496
13.4k
            iey = 0;
3497
13.4k
        }
3498
782k
        if (isy >= cr->scanlines) {
3499
            /* Move sy down */
3500
15.5k
            int64_t y = (int64_t)ey - (int64_t)sy;
3501
15.5k
            fixed new_sy = int2fixed(cr->base + cr->scanlines);
3502
15.5k
            int64_t dy = (int64_t)new_sy - (int64_t)sy;
3503
15.5k
            sx += (int)(((((int64_t)ex-sx))*dy + y/2)/y);
3504
15.5k
            sy = new_sy;
3505
15.5k
            cursor_null_tr(cr);
3506
15.5k
            cr->y = sy;
3507
15.5k
            isy = cr->scanlines;
3508
15.5k
        }
3509
782k
    }
3510
3511
918k
    cursor_left_merge_tr(cr, sx, id);
3512
918k
    cursor_right_merge_tr(cr, sx, id);
3513
3514
918k
    assert(cr->left <= sx);
3515
918k
    assert(cr->right >= sx);
3516
918k
    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
918k
    if (isy == iey) {
3539
651k
        if (saved_sy == saved_ey) {
3540
            /* Horizontal line. Don't change cr->d, don't flush. */
3541
136k
            if ((ey & 0xff) == 0) {
3542
0
                cursor_null_tr(cr);
3543
0
                goto no_merge;
3544
0
            }
3545
514k
        } else if (saved_sy > saved_ey) {
3546
            /* Falling line, flush if previous was rising */
3547
257k
            int skip = cursor_down_tr(cr, sx, id);
3548
257k
            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
1.28k
                if (sx <= ex) {
3552
508
                    cursor_right_merge_tr(cr, ex, id);
3553
780
                } else {
3554
780
                    cursor_left_merge_tr(cr, ex, id);
3555
780
                }
3556
1.28k
                if (!skip)
3557
1.27k
                    cursor_output_tr(cr, fixed2int(cr->y) - cr->base);
3558
1.28k
                cursor_null_tr(cr);
3559
1.28k
                goto no_merge;
3560
1.28k
            }
3561
257k
        } else {
3562
            /* Rising line, flush if previous was falling */
3563
257k
            cursor_up_tr(cr, sx, id);
3564
257k
            if ((ey & 0xff) == 0) {
3565
17
                cursor_null_tr(cr);
3566
17
                goto no_merge;
3567
17
            }
3568
257k
        }
3569
650k
        if (sx <= ex) {
3570
266k
            cursor_right_merge_tr(cr, ex, id);
3571
383k
        } else {
3572
383k
            cursor_left_merge_tr(cr, ex, id);
3573
383k
        }
3574
651k
no_merge:
3575
651k
        cr->y = ey;
3576
651k
        if (sy > saved_ey)
3577
257k
            goto endFalling;
3578
651k
    } 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
136k
        int phase1_y_steps = (-sy) & (fixed_1 - 1);
3587
136k
        int phase3_y_steps = ey & (fixed_1 - 1);
3588
136k
        ufixed y_steps = (ufixed)ey - (ufixed)sy;
3589
3590
136k
        cursor_up_tr(cr, sx, id);
3591
3592
136k
        if (sx == ex) {
3593
            /* Vertical line. (Rising) */
3594
3595
            /* Phase 1: */
3596
43.3k
            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
29.8k
                cursor_step_tr(cr, phase1_y_steps, sx, id, 0);
3600
29.8k
                sy += phase1_y_steps;
3601
29.8k
                y_steps -= phase1_y_steps;
3602
29.8k
                if (y_steps == 0) {
3603
1
                    cursor_null_tr(cr);
3604
1
                    goto end;
3605
1
                }
3606
29.8k
            }
3607
3608
            /* Phase 3: precalculation */
3609
43.3k
            y_steps -= phase3_y_steps;
3610
3611
            /* Phase 2: */
3612
43.3k
            y_steps = fixed2int(y_steps);
3613
43.3k
            assert(y_steps >= 0);
3614
43.3k
            if (y_steps > 0) {
3615
42.4k
                cursor_always_step_tr(cr, fixed_1, sx, id, 0);
3616
42.4k
                y_steps--;
3617
5.15M
                while (y_steps) {
3618
5.11M
                    cursor_always_step_inrange_vertical_tr(cr, fixed_1, sx, id);
3619
5.11M
                    y_steps--;
3620
5.11M
                }
3621
42.4k
            }
3622
3623
            /* Phase 3 */
3624
43.3k
            assert(cr->left == sx && cr->right == sx && cr->lid == id && cr->rid == id);
3625
43.3k
            if (phase3_y_steps == 0)
3626
13.4k
                cursor_null_tr(cr);
3627
29.8k
            else
3628
29.8k
                cr->y += phase3_y_steps;
3629
93.2k
        } else if (sx < ex) {
3630
            /* Lines increasing in x. (Rightwards, rising) */
3631
47.8k
            int phase1_x_steps, phase3_x_steps;
3632
            /* Use unsigned int here, to allow for extreme cases like
3633
             * ex = 0x7fffffff, sx = 0x80000000 */
3634
47.8k
            unsigned int x_steps = ex - sx;
3635
3636
            /* Phase 1: */
3637
47.8k
            if (phase1_y_steps) {
3638
47.5k
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
3639
47.5k
                sx += phase1_x_steps;
3640
47.5k
                cursor_right_merge_tr(cr, sx, id);
3641
47.5k
                x_steps -= phase1_x_steps;
3642
47.5k
                cursor_step_tr(cr, phase1_y_steps, sx, id, 0);
3643
47.5k
                sy += phase1_y_steps;
3644
47.5k
                y_steps -= phase1_y_steps;
3645
47.5k
                if (y_steps == 0) {
3646
753
                    cursor_null_tr(cr);
3647
753
                    goto end;
3648
753
                }
3649
47.5k
            }
3650
3651
            /* Phase 3: precalculation */
3652
47.0k
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
3653
47.0k
            x_steps -= phase3_x_steps;
3654
47.0k
            y_steps -= phase3_y_steps;
3655
47.0k
            assert((y_steps & (fixed_1 - 1)) == 0);
3656
3657
            /* Phase 2: */
3658
47.0k
            y_steps = fixed2int(y_steps);
3659
47.0k
            assert(y_steps >= 0);
3660
47.0k
            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
17.8k
                int x_inc = x_steps/y_steps;
3664
17.8k
                int n_inc = x_steps - (x_inc * y_steps);
3665
17.8k
                int f = y_steps/2;
3666
17.8k
                int d = y_steps;
3667
3668
                /* Special casing the first iteration, allows us to simplify
3669
                 * the following loop. */
3670
17.8k
                sx += x_inc;
3671
17.8k
                f -= n_inc;
3672
17.8k
                if (f < 0)
3673
4.55k
                    f += d, sx++;
3674
17.8k
                cursor_right_merge_tr(cr, sx, id);
3675
17.8k
                cursor_always_step_tr(cr, fixed_1, sx, id, 0);
3676
17.8k
                y_steps--;
3677
3678
593k
                while (y_steps) {
3679
575k
                    sx += x_inc;
3680
575k
                    f -= n_inc;
3681
575k
                    if (f < 0)
3682
316k
                        f += d, sx++;
3683
575k
                    cursor_right_tr(cr, sx, id);
3684
575k
                    cursor_always_inrange_step_right_tr(cr, fixed_1, sx, id);
3685
575k
                    y_steps--;
3686
575k
                };
3687
17.8k
            }
3688
3689
            /* Phase 3 */
3690
47.0k
            assert(cr->left <= ex && cr->lid == id && cr->right >= sx);
3691
47.0k
            if (phase3_y_steps == 0)
3692
1.24k
                cursor_null_tr(cr);
3693
45.8k
            else {
3694
45.8k
                cursor_right_tr(cr, ex, id);
3695
45.8k
                cr->y += phase3_y_steps;
3696
45.8k
            }
3697
47.0k
        } else {
3698
            /* Lines decreasing in x. (Leftwards, rising) */
3699
45.4k
            int phase1_x_steps, phase3_x_steps;
3700
            /* Use unsigned int here, to allow for extreme cases like
3701
             * sx = 0x7fffffff, ex = 0x80000000 */
3702
45.4k
            unsigned int x_steps = sx - ex;
3703
3704
            /* Phase 1: */
3705
45.4k
            if (phase1_y_steps) {
3706
45.1k
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
3707
45.1k
                x_steps -= phase1_x_steps;
3708
45.1k
                sx -= phase1_x_steps;
3709
45.1k
                cursor_left_merge_tr(cr, sx, id);
3710
45.1k
                cursor_step_tr(cr, phase1_y_steps, sx, id, 0);
3711
45.1k
                sy += phase1_y_steps;
3712
45.1k
                y_steps -= phase1_y_steps;
3713
45.1k
                if (y_steps == 0) {
3714
629
                    cursor_null_tr(cr);
3715
629
                    goto end;
3716
629
                }
3717
45.1k
            }
3718
3719
            /* Phase 3: precalculation */
3720
44.8k
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
3721
44.8k
            x_steps -= phase3_x_steps;
3722
44.8k
            y_steps -= phase3_y_steps;
3723
44.8k
            assert((y_steps & (fixed_1 - 1)) == 0);
3724
3725
            /* Phase 2: */
3726
44.8k
            y_steps = fixed2int((unsigned int)y_steps);
3727
44.8k
            assert(y_steps >= 0);
3728
44.8k
            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
15.3k
                int x_inc = x_steps/y_steps;
3732
15.3k
                int n_inc = x_steps - (x_inc * y_steps);
3733
15.3k
                int f = y_steps/2;
3734
15.3k
                int d = y_steps;
3735
3736
                /* Special casing the first iteration, allows us to simplify
3737
                 * the following loop. */
3738
15.3k
                sx -= x_inc;
3739
15.3k
                f -= n_inc;
3740
15.3k
                if (f < 0)
3741
3.98k
                    f += d, sx--;
3742
15.3k
                cursor_left_merge_tr(cr, sx, id);
3743
15.3k
                cursor_always_step_tr(cr, fixed_1, sx, id, 0);
3744
15.3k
                y_steps--;
3745
3746
571k
                while (y_steps) {
3747
556k
                    sx -= x_inc;
3748
556k
                    f -= n_inc;
3749
556k
                    if (f < 0)
3750
258k
                        f += d, sx--;
3751
556k
                    cursor_left_tr(cr, sx, id);
3752
556k
                    cursor_always_inrange_step_left_tr(cr, fixed_1, sx, id);
3753
556k
                    y_steps--;
3754
556k
                }
3755
15.3k
            }
3756
3757
            /* Phase 3 */
3758
44.8k
            assert(cr->right >= ex && cr->rid == id && cr->left <= sx);
3759
44.8k
            if (phase3_y_steps == 0)
3760
1.04k
                cursor_null_tr(cr);
3761
43.7k
            else {
3762
43.7k
                cursor_left_tr(cr, ex, id);
3763
43.7k
                cr->y += phase3_y_steps;
3764
43.7k
            }
3765
44.8k
        }
3766
136k
    } 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
130k
        int phase1_y_steps = sy & (fixed_1 - 1);
3775
130k
        int phase3_y_steps = (-ey) & (fixed_1 - 1);
3776
130k
        ufixed y_steps = (ufixed)sy - (ufixed)ey;
3777
3778
130k
        int skip = cursor_down_tr(cr, sx, id);
3779
3780
130k
        if (sx == ex) {
3781
            /* Vertical line. (Falling) */
3782
3783
            /* Phase 1: */
3784
43.4k
            if (phase1_y_steps) {
3785
                /* Phase 1 in a falling line never moves us into a new scanline. */
3786
29.8k
                cursor_never_step_vertical_tr(cr, -phase1_y_steps, sx, id);
3787
29.8k
                sy -= phase1_y_steps;
3788
29.8k
                y_steps -= phase1_y_steps;
3789
29.8k
                if (y_steps == 0)
3790
0
                    goto endFallingLeftOnEdgeOfPixel;
3791
29.8k
            }
3792
3793
            /* Phase 3: precalculation */
3794
43.4k
            y_steps -= phase3_y_steps;
3795
43.4k
            assert((y_steps & (fixed_1 - 1)) == 0);
3796
3797
            /* Phase 2: */
3798
43.4k
            y_steps = fixed2int(y_steps);
3799
43.4k
            assert(y_steps >= 0);
3800
43.4k
            if (y_steps) {
3801
42.5k
                cursor_always_step_tr(cr, -fixed_1, sx, id, skip);
3802
42.5k
                skip = 0;
3803
42.5k
                y_steps--;
3804
5.22M
                while (y_steps) {
3805
5.18M
                    cursor_always_step_inrange_vertical_tr(cr, -fixed_1, sx, id);
3806
5.18M
                    y_steps--;
3807
5.18M
                }
3808
42.5k
            }
3809
3810
            /* Phase 3 */
3811
43.4k
            if (phase3_y_steps == 0) {
3812
13.4k
endFallingLeftOnEdgeOfPixel:
3813
13.4k
                cursor_always_step_inrange_vertical_tr(cr, 0, sx, id);
3814
13.4k
                cursor_null_tr(cr);
3815
30.0k
            } else {
3816
30.0k
                cursor_step_tr(cr, -phase3_y_steps, sx, id, skip);
3817
30.0k
                assert(cr->left == sx && cr->lid == id && cr->right == sx && cr->rid == id);
3818
30.0k
            }
3819
86.9k
        } else if (sx < ex) {
3820
            /* Lines increasing in x. (Rightwards, falling) */
3821
40.1k
            int phase1_x_steps, phase3_x_steps;
3822
            /* Use unsigned int here, to allow for extreme cases like
3823
             * ex = 0x7fffffff, sx = 0x80000000 */
3824
40.1k
            unsigned int x_steps = ex - sx;
3825
3826
            /* Phase 1: */
3827
40.1k
            if (phase1_y_steps) {
3828
38.4k
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
3829
38.4k
                x_steps -= phase1_x_steps;
3830
38.4k
                sx += phase1_x_steps;
3831
                /* Phase 1 in a falling line never moves us into a new scanline. */
3832
38.4k
                cursor_never_step_right_tr(cr, -phase1_y_steps, sx, id);
3833
38.4k
                sy -= phase1_y_steps;
3834
38.4k
                y_steps -= phase1_y_steps;
3835
38.4k
                if (y_steps == 0)
3836
0
                    goto endFallingRightOnEdgeOfPixel;
3837
38.4k
            }
3838
3839
            /* Phase 3: precalculation */
3840
40.1k
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
3841
40.1k
            x_steps -= phase3_x_steps;
3842
40.1k
            y_steps -= phase3_y_steps;
3843
40.1k
            assert((y_steps & (fixed_1 - 1)) == 0);
3844
3845
            /* Phase 2: */
3846
40.1k
            y_steps = fixed2int(y_steps);
3847
40.1k
            assert(y_steps >= 0);
3848
40.1k
            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
16.1k
                int x_inc = x_steps/y_steps;
3852
16.1k
                int n_inc = x_steps - (x_inc * y_steps);
3853
16.1k
                int f = y_steps/2;
3854
16.1k
                int d = y_steps;
3855
3856
16.1k
                cursor_always_step_tr(cr, -fixed_1, sx, id, skip);
3857
16.1k
                skip = 0;
3858
16.1k
                sx += x_inc;
3859
16.1k
                f -= n_inc;
3860
16.1k
                if (f < 0)
3861
3.79k
                    f += d, sx++;
3862
16.1k
                cursor_right_tr(cr, sx, id);
3863
16.1k
                y_steps--;
3864
3865
495k
                while (y_steps) {
3866
478k
                    cursor_always_inrange_step_right_tr(cr, -fixed_1, sx, id);
3867
478k
                    sx += x_inc;
3868
478k
                    f -= n_inc;
3869
478k
                    if (f < 0)
3870
223k
                        f += d, sx++;
3871
478k
                    cursor_right_tr(cr, sx, id);
3872
478k
                    y_steps--;
3873
478k
                }
3874
16.1k
            }
3875
3876
            /* Phase 3 */
3877
40.1k
            if (phase3_y_steps == 0) {
3878
250
endFallingRightOnEdgeOfPixel:
3879
250
                cursor_always_step_inrange_vertical_tr(cr, 0, sx, id);
3880
250
                cursor_null_tr(cr);
3881
39.9k
            } else {
3882
39.9k
                cursor_step_tr(cr, -phase3_y_steps, sx, id, skip);
3883
39.9k
                cursor_right_tr(cr, ex, id);
3884
39.9k
                assert(cr->left == sx && cr->lid == id && cr->right == ex && cr->rid == id);
3885
39.9k
            }
3886
46.7k
        } else {
3887
            /* Lines decreasing in x. (Falling) */
3888
46.7k
            int phase1_x_steps, phase3_x_steps;
3889
            /* Use unsigned int here, to allow for extreme cases like
3890
             * sx = 0x7fffffff, ex = 0x80000000 */
3891
46.7k
            unsigned int x_steps = sx - ex;
3892
3893
            /* Phase 1: */
3894
46.7k
            if (phase1_y_steps) {
3895
44.6k
                phase1_x_steps = (int)(((int64_t)x_steps * phase1_y_steps + y_steps/2) / y_steps);
3896
44.6k
                x_steps -= phase1_x_steps;
3897
44.6k
                sx -= phase1_x_steps;
3898
                /* Phase 1 in a falling line never moves us into a new scanline. */
3899
44.6k
                cursor_never_step_left_tr(cr, -phase1_y_steps, sx, id);
3900
44.6k
                sy -= phase1_y_steps;
3901
44.6k
                y_steps -= phase1_y_steps;
3902
44.6k
                if (y_steps == 0)
3903
0
                    goto endFallingVerticalOnEdgeOfPixel;
3904
44.6k
            }
3905
3906
            /* Phase 3: precalculation */
3907
46.7k
            phase3_x_steps = (int)(((int64_t)x_steps * phase3_y_steps + y_steps/2) / y_steps);
3908
46.7k
            x_steps -= phase3_x_steps;
3909
46.7k
            y_steps -= phase3_y_steps;
3910
46.7k
            assert((y_steps & (fixed_1 - 1)) == 0);
3911
3912
            /* Phase 2: */
3913
46.7k
            y_steps = fixed2int(y_steps);
3914
46.7k
            assert(y_steps >= 0);
3915
46.7k
            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
16.1k
                int x_inc = x_steps/y_steps;
3919
16.1k
                int n_inc = x_steps - (x_inc * y_steps);
3920
16.1k
                int f = y_steps/2;
3921
16.1k
                int d = y_steps;
3922
3923
16.1k
                cursor_always_step_tr(cr, -fixed_1, sx, id, skip);
3924
16.1k
                skip = 0;
3925
16.1k
                sx -= x_inc;
3926
16.1k
                f -= n_inc;
3927
16.1k
                if (f < 0)
3928
4.16k
                    f += d, sx--;
3929
16.1k
                cursor_left_tr(cr, sx, id);
3930
16.1k
                y_steps--;
3931
3932
609k
                while (y_steps) {
3933
592k
                    cursor_always_inrange_step_left_tr(cr, -fixed_1, sx, id);
3934
592k
                    sx -= x_inc;
3935
592k
                    f -= n_inc;
3936
592k
                    if (f < 0)
3937
291k
                        f += d, sx--;
3938
592k
                    cursor_left_tr(cr, sx, id);
3939
592k
                    y_steps--;
3940
592k
                }
3941
16.1k
            }
3942
3943
            /* Phase 3 */
3944
46.7k
            if (phase3_y_steps == 0) {
3945
356
endFallingVerticalOnEdgeOfPixel:
3946
356
                cursor_always_step_inrange_vertical_tr(cr, 0, sx, id);
3947
356
                cursor_null_tr(cr);
3948
46.4k
            } else {
3949
46.4k
                cursor_step_tr(cr, -phase3_y_steps, sx, id, skip);
3950
46.4k
                cursor_left_tr(cr, ex, id);
3951
46.4k
                assert(cr->left == ex && cr->lid == id && cr->right == sx && cr->rid == id);
3952
46.4k
            }
3953
46.7k
        }
3954
387k
endFalling: {}
3955
387k
    }
3956
3957
918k
end:
3958
918k
    if (truncated) {
3959
28.5k
        cr->left = saved_ex;
3960
28.5k
        cr->lid = id;
3961
28.5k
        cr->right = saved_ex;
3962
28.5k
        cr->rid = id;
3963
28.5k
        cr->y = saved_ey;
3964
28.5k
    }
3965
918k
}
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
42.2k
{
4036
42.2k
    return make_table_template(pdev, path, ibox, 4, 0, scanlines, index, table);
4037
42.2k
}
4038
4039
static void
4040
fill_zero_app_tr(int *row, const fixed *x)
4041
1.04k
{
4042
1.04k
    int n = *row = (*row)+2; /* Increment the count */
4043
1.04k
    row[4*n-7] = x[0];
4044
1.04k
    row[4*n-6] = 0;
4045
1.04k
    row[4*n-5] = x[1];
4046
1.04k
    row[4*n-4] = 0;
4047
1.04k
    row[4*n-3] = x[1];
4048
1.04k
    row[4*n-2] = (1<<1)|1;
4049
1.04k
    row[4*n-1] = x[1];
4050
1.04k
    row[4*n  ] = 1;
4051
1.04k
}
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
42.2k
{
4059
42.2k
    gs_fixed_rect  ibox;
4060
42.2k
    gs_fixed_rect  bbox;
4061
42.2k
    int            scanlines;
4062
42.2k
    const subpath *psub;
4063
42.2k
    int           *index;
4064
42.2k
    int           *table;
4065
42.2k
    int            i;
4066
42.2k
    cursor_tr      cr;
4067
42.2k
    int            code;
4068
42.2k
    int            id = 0;
4069
42.2k
    int            zero;
4070
4071
42.2k
    edgebuffer->index = NULL;
4072
42.2k
    edgebuffer->table = NULL;
4073
4074
    /* Bale out if no actual path. We see this with the clist */
4075
42.2k
    if (path->first_subpath == NULL)
4076
8
        return 0;
4077
4078
42.2k
    zero = make_bbox(path, clip, &bbox, &ibox, 0);
4079
42.2k
    if (zero < 0)
4080
0
        return zero;
4081
4082
42.2k
    if (ibox.q.y <= ibox.p.y)
4083
4
        return 0;
4084
4085
42.2k
    code = make_table_tr_app(pdev, path, &ibox, &scanlines, &index, &table);
4086
42.2k
    if (code != 0) /* > 0 means "retry with smaller height" */
4087
0
        return code;
4088
4089
42.2k
    if (scanlines == 0)
4090
0
        return 0;
4091
4092
42.2k
    if (zero) {
4093
1.04k
        code = zero_case(pdev, path, &ibox, index, table, fixed_flat, fill_zero_app_tr);
4094
41.2k
    } else {
4095
4096
    /* Step 2 continued: Now we run through the path, filling in the real
4097
     * values. */
4098
41.2k
    cr.scanlines = scanlines;
4099
41.2k
    cr.index     = index;
4100
41.2k
    cr.table     = table;
4101
41.2k
    cr.base      = ibox.p.y;
4102
87.2k
    for (psub = path->first_subpath; psub != 0;) {
4103
46.0k
        const segment *pseg = (const segment *)psub;
4104
46.0k
        fixed ex = pseg->pt.x;
4105
46.0k
        fixed ey = pseg->pt.y;
4106
46.0k
        fixed ix = ex;
4107
46.0k
        fixed iy = ey;
4108
46.0k
        fixed sx, sy;
4109
4110
46.0k
        if ((ey & 0xff) == 0) {
4111
12.6k
            cr.left  = max_fixed;
4112
12.6k
            cr.right = min_fixed;
4113
33.4k
        } else {
4114
33.4k
            cr.left = cr.right = ex;
4115
33.4k
        }
4116
46.0k
        cr.lid = cr.rid = id+1;
4117
46.0k
        cr.y = ey;
4118
46.0k
        cr.d = DIRN_UNSET;
4119
46.0k
        cr.first = 1;
4120
46.0k
        cr.saved = 0;
4121
4122
12.5M
        while ((pseg = pseg->next) != 0 &&
4123
12.5M
               pseg->type != s_start
4124
12.5M
            ) {
4125
12.5M
            sx = ex;
4126
12.5M
            sy = ey;
4127
12.5M
            ex = pseg->pt.x;
4128
12.5M
            ey = pseg->pt.y;
4129
4130
12.5M
            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
12.4M
                case s_line:
4145
12.5M
                case s_line_close:
4146
12.5M
                    mark_line_tr_app(&cr, sx, sy, ex, ey, ++id);
4147
12.5M
                    break;
4148
12.5M
            }
4149
12.5M
        }
4150
        /* And close any open segments */
4151
46.0k
        mark_line_tr_app(&cr, ex, ey, ix, iy, ++id);
4152
46.0k
        cursor_flush_tr(&cr, ex, id);
4153
46.0k
        psub = (const subpath *)pseg;
4154
46.0k
    }
4155
41.2k
    }
4156
4157
    /* Step 2 complete: We now have a complete list of intersection data in
4158
     * table, indexed by index. */
4159
4160
42.2k
    edgebuffer->base   = ibox.p.y;
4161
42.2k
    edgebuffer->height = scanlines;
4162
42.2k
    edgebuffer->xmin   = ibox.p.x;
4163
42.2k
    edgebuffer->xmax   = ibox.q.x;
4164
42.2k
    edgebuffer->index  = index;
4165
42.2k
    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
6.02M
    for (i=0; i < scanlines; i++) {
4176
5.97M
        int *row = &table[index[i]];
4177
5.97M
        int  rowlen = *row++;
4178
4179
        /* Bubblesort short runs, qsort longer ones. */
4180
        /* Figure of '6' comes from testing */
4181
5.97M
        if (rowlen <= 6) {
4182
5.94M
            int j, k;
4183
12.3M
            for (j = 0; j < rowlen-1; j++) {
4184
6.42M
                int * gs_restrict t = &row[j<<2];
4185
13.6M
                for (k = j+1; k < rowlen; k++) {
4186
7.24M
                    int * gs_restrict s = &row[k<<2];
4187
7.24M
                    int tmp;
4188
7.24M
                    if (t[0] < s[0])
4189
2.51M
                        continue;
4190
4.73M
                    if (t[0] > s[0])
4191
4.42M
                        goto swap0213;
4192
301k
                    if (t[2] < s[2])
4193
5.96k
                        continue;
4194
295k
                    if (t[2] > s[2])
4195
20.2k
                        goto swap213;
4196
275k
                    if (t[1] < s[1])
4197
251k
                        continue;
4198
23.2k
                    if (t[1] > s[1])
4199
23.2k
                        goto swap13;
4200
6
                    if (t[3] <= s[3])
4201
6
                        continue;
4202
0
                    if (0) {
4203
4.42M
swap0213:
4204
4.42M
                        tmp = t[0], t[0] = s[0], s[0] = tmp;
4205
4.44M
swap213:
4206
4.44M
                        tmp = t[2], t[2] = s[2], s[2] = tmp;
4207
4.47M
swap13:
4208
4.47M
                        tmp = t[1], t[1] = s[1], s[1] = tmp;
4209
4.47M
                    }
4210
4.47M
                    tmp = t[3], t[3] = s[3], s[3] = tmp;
4211
4.47M
                }
4212
6.42M
            }
4213
5.94M
        } else
4214
30.9k
            qsort(row, rowlen, 4*sizeof(int), edgecmp_tr);
4215
5.97M
    }
4216
4217
42.2k
    return 0;
4218
42.2k
}
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
42.2k
{
4226
42.2k
    int i;
4227
42.2k
    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
6.02M
    for (i=0; i < edgebuffer->height; i++) {
4237
5.97M
        int *row      = &edgebuffer->table[edgebuffer->index[i]];
4238
5.97M
        int  rowlen   = *row++;
4239
5.97M
        int *rowstart = row;
4240
5.97M
        int *rowout   = row;
4241
5.97M
        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
5.97M
        marked_to = INT_MIN;
4245
12.2M
        while (rowlen > 0) {
4246
6.30M
            if (rule == gx_rule_even_odd) {
4247
                /* Even Odd */
4248
1.16M
                ll   = *row++;
4249
1.16M
                llid = (*row++)>>1;
4250
1.16M
                lr   = *row++;
4251
1.16M
                lrid = *row++;
4252
1.16M
                rowlen--;
4253
4254
                /* We will fill solidly from ll to at least lr, possibly further */
4255
1.16M
                assert(rowlen > 0);
4256
1.16M
                (void)row++; /* rl not needed here */
4257
1.16M
                (void)row++;
4258
1.16M
                rr   = *row++;
4259
1.16M
                rrid = *row++;
4260
1.16M
                rowlen--;
4261
1.16M
                if (rr > lr) {
4262
1.12M
                    lr   = rr;
4263
1.12M
                    lrid = rrid;
4264
1.12M
                }
4265
5.13M
            } else {
4266
                /* Non-Zero */
4267
5.13M
                int w;
4268
4269
5.13M
                ll   = *row++;
4270
5.13M
                llid = *row++;
4271
5.13M
                lr   = *row++;
4272
5.13M
                lrid = *row++;
4273
5.13M
                wind = -(llid&1) | 1;
4274
5.13M
                llid >>= 1;
4275
5.13M
                rowlen--;
4276
4277
5.13M
                assert(rowlen > 0);
4278
5.47M
                do {
4279
5.47M
                    (void)row++; /* rl not needed */
4280
5.47M
                    rlid = *row++;
4281
5.47M
                    rr   = *row++;
4282
5.47M
                    rrid = *row++;
4283
5.47M
                    w = -(rlid&1) | 1;
4284
5.47M
                    rlid >>= 1;
4285
5.47M
                    rowlen--;
4286
5.47M
                    if (rr > lr) {
4287
5.20M
                        lr   = rr;
4288
5.20M
                        lrid = rrid;
4289
5.20M
                    }
4290
5.47M
                    wind += w;
4291
5.47M
                    if (wind == 0)
4292
5.13M
                        break;
4293
5.47M
                } while (rowlen > 0);
4294
5.13M
            }
4295
4296
6.30M
            if (lr < marked_to)
4297
1.97k
                continue;
4298
4299
6.30M
            if (marked_to >= ll) {
4300
23.9k
                if (rowout == rowstart) {
4301
10
                    ll   = marked_to;
4302
10
                    llid = --marked_id;
4303
23.9k
                } else {
4304
23.9k
                    rowout -= 4;
4305
23.9k
                    ll   = rowout[0];
4306
23.9k
                    llid = rowout[1];
4307
23.9k
                }
4308
23.9k
            }
4309
4310
6.30M
            if (lr >= ll) {
4311
6.30M
                *rowout++ = ll;
4312
6.30M
                *rowout++ = llid;
4313
6.30M
                *rowout++ = lr;
4314
6.30M
                *rowout++ = lrid;
4315
6.30M
                marked_to = lr;
4316
6.30M
            }
4317
6.30M
        }
4318
5.97M
        rowstart[-1] = (rowout - rowstart)>>2;
4319
5.97M
    }
4320
42.2k
    return 0;
4321
42.2k
}
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
42.2k
{
4330
42.2k
    int i, j, code;
4331
42.2k
    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
219k
    for (i=0; i < edgebuffer->height; ) {
4341
177k
        int *row    = &edgebuffer->table[edgebuffer->index[i]];
4342
177k
        int  rowlen = *row++;
4343
177k
        int *row2;
4344
177k
        int *rowptr;
4345
177k
        int *row2ptr;
4346
177k
        int y_band_max;
4347
4348
177k
        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
177k
        } else {
4353
177k
            y_band_max = edgebuffer->height;
4354
177k
        }
4355
4356
        /* See how many scanlines match i */
4357
5.97M
        for (j = i+1; j < y_band_max; j++) {
4358
5.93M
            int row2len;
4359
4360
5.93M
            row2    = &edgebuffer->table[edgebuffer->index[j]];
4361
5.93M
            row2len = *row2++;
4362
5.93M
            row2ptr = row2;
4363
5.93M
            rowptr  = row;
4364
4365
5.93M
            if (rowlen != row2len)
4366
6.47k
                break;
4367
11.9M
            while (row2len > 0) {
4368
6.15M
                if (rowptr[1] != row2ptr[1] || rowptr[3] != row2ptr[3])
4369
128k
                    goto rowdifferent;
4370
6.02M
                rowptr  += 4;
4371
6.02M
                row2ptr += 4;
4372
6.02M
                row2len--;
4373
6.02M
            }
4374
5.93M
        }
4375
177k
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
469k
        while (rowlen > 0) {
4381
292k
            int left  = row[0];
4382
292k
            int right = row[2];
4383
292k
            row += 4;
4384
292k
            left = fixed2int(left);
4385
292k
            right = fixed2int(right + fixed_1 - 1);
4386
292k
            rowlen--;
4387
4388
292k
            right -= left;
4389
292k
            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
291k
                if (log_op < 0)
4399
0
                    code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+i, right, 1, pdevc->colors.pure);
4400
291k
                else
4401
291k
                    code = gx_fill_rectangle_device_rop(left, edgebuffer->base+i, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op);
4402
291k
                if (code < 0)
4403
0
                    return code;
4404
291k
            }
4405
292k
        }
4406
4407
        /* The middle section (all but the first and last
4408
         * scanlines) can be sent as a trapezoid. */
4409
177k
        if (i + 2 < j) {
4410
65.3k
            gs_fixed_edge le;
4411
65.3k
            gs_fixed_edge re;
4412
65.3k
            fixed ybot = int2fixed(edgebuffer->base+i+1);
4413
65.3k
            fixed ytop = int2fixed(edgebuffer->base+j-1);
4414
65.3k
            int *row3, *row4;
4415
65.3k
            int offset = 1;
4416
65.3k
            row    = &edgebuffer->table[edgebuffer->index[i]];
4417
65.3k
            row2    = &edgebuffer->table[edgebuffer->index[i+1]];
4418
65.3k
            row3    = &edgebuffer->table[edgebuffer->index[j-2]];
4419
65.3k
            row4    = &edgebuffer->table[edgebuffer->index[j-1]];
4420
65.3k
            rowlen = *row;
4421
139k
            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
74.5k
                if (row[offset] <= row4[offset]) {
4452
62.6k
                    le.start.x = row2[offset] - (fixed_half-1);
4453
62.6k
                    le.end.x   = row4[offset] - (fixed_half-1);
4454
62.6k
                    le.start.y = ybot + fixed_half;
4455
62.6k
                    le.end.y   = ytop + fixed_half;
4456
62.6k
                } else {
4457
11.9k
                    le.start.x = row [offset] - (fixed_half-1);
4458
11.9k
                    le.end.x   = row3[offset] - (fixed_half-1);
4459
11.9k
                    le.start.y = ybot - (fixed_half-1);
4460
11.9k
                    le.end.y   = ytop - (fixed_half-1);
4461
11.9k
                }
4462
74.5k
                if (row[offset+2] <= row4[offset+2]) {
4463
60.9k
                    re.start.x = row [offset+2] + fixed_half;
4464
60.9k
                    re.end.x   = row3[offset+2] + fixed_half;
4465
60.9k
                    re.start.y = ybot - (fixed_half-1);
4466
60.9k
                    re.end.y   = ytop - (fixed_half-1);
4467
60.9k
                } else {
4468
13.6k
                    re.start.x = row2[offset+2] + fixed_half;
4469
13.6k
                    re.end.x   = row4[offset+2] + fixed_half;
4470
13.6k
                    re.start.y = ybot + fixed_half;
4471
13.6k
                    re.end.y   = ytop + fixed_half;
4472
13.6k
                }
4473
74.5k
                offset += 4;
4474
74.5k
                rowlen--;
4475
4476
74.5k
                assert(re.start.x >= le.start.x);
4477
74.5k
                assert(re.end.x >= le.end.x);
4478
74.5k
                assert(le.start.y <= ybot + fixed_half);
4479
74.5k
                assert(re.start.y <= ybot + fixed_half);
4480
74.5k
                assert(le.end.y >= ytop - (fixed_half - 1));
4481
74.5k
                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
74.5k
                code = dev_proc(pdev, fill_trapezoid)(
4492
74.5k
                                pdev,
4493
74.5k
                                &le,
4494
74.5k
                                &re,
4495
74.5k
                                ybot + fixed_half,
4496
74.5k
                                ytop - (fixed_half - 1),
4497
74.5k
                                0, /* bool swap_axes */
4498
74.5k
                                pdevc, /*const gx_drawing_color *pdcolor */
4499
74.5k
                                log_op);
4500
74.5k
                if (code < 0)
4501
0
                    return code;
4502
74.5k
            }
4503
65.3k
        }
4504
4505
177k
        if (i + 1 < j)
4506
75.7k
        {
4507
            /* The last scanline is always sent as rectangles */
4508
75.7k
            row    = &edgebuffer->table[edgebuffer->index[j-1]];
4509
75.7k
            rowlen = *row++;
4510
167k
            while (rowlen > 0) {
4511
91.7k
                int left  = row[0];
4512
91.7k
                int right = row[2];
4513
91.7k
                row += 4;
4514
91.7k
                left = fixed2int(left);
4515
91.7k
                right = fixed2int(right + fixed_1 - 1);
4516
91.7k
                rowlen--;
4517
4518
91.7k
                right -= left;
4519
91.7k
                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
91.7k
                    if (log_op < 0)
4529
0
                        code = dev_proc(pdev, fill_rectangle)(pdev, left, edgebuffer->base+j-1, right, 1, pdevc->colors.pure);
4530
91.7k
                    else
4531
91.7k
                        code = gx_fill_rectangle_device_rop(left, edgebuffer->base+j-1, right, 1, pdevc, pdev, (gs_logical_operation_t)log_op);
4532
91.7k
                    if (code < 0)
4533
0
                        return code;
4534
91.7k
                }
4535
91.7k
            }
4536
75.7k
        }
4537
177k
        i = j;
4538
177k
    }
4539
42.2k
    return 0;
4540
42.2k
}
4541
4542
4543
void
4544
gx_edgebuffer_init(gx_edgebuffer * edgebuffer)
4545
45.1k
{
4546
45.1k
    edgebuffer->base   = 0;
4547
45.1k
    edgebuffer->height = 0;
4548
45.1k
    edgebuffer->index  = NULL;
4549
45.1k
    edgebuffer->table  = NULL;
4550
45.1k
}
4551
4552
void
4553
gx_edgebuffer_fin(gx_device     * pdev,
4554
                  gx_edgebuffer * edgebuffer)
4555
45.1k
{
4556
45.1k
    gs_free_object(pdev->memory, edgebuffer->table, "scanc intersects buffer");
4557
45.1k
    gs_free_object(pdev->memory, edgebuffer->index, "scanc index buffer");
4558
45.1k
    edgebuffer->index = NULL;
4559
45.1k
    edgebuffer->table = NULL;
4560
45.1k
}
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
43.5k
{
4600
43.5k
    int code;
4601
43.5k
    gx_edgebuffer eb;
4602
43.5k
    gs_fixed_rect ibox2 = *ibox;
4603
43.5k
    int height;
4604
43.5k
    int mfb = dev->max_fill_band;
4605
4606
43.5k
    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
43.5k
    height = ibox2.q.y - ibox2.p.y;
4611
4612
45.1k
    do {
4613
45.1k
        gx_edgebuffer_init(&eb);
4614
45.2k
        while (1) {
4615
45.2k
            ibox2.q.y = ibox2.p.y + height;
4616
45.2k
            if (ibox2.q.y > ibox->q.y)
4617
6
                ibox2.q.y = ibox->q.y;
4618
45.2k
            code = sc->scan_convert(dev,
4619
45.2k
                                    ppath,
4620
45.2k
                                    &ibox2,
4621
45.2k
                                    &eb,
4622
45.2k
                                    flat);
4623
45.2k
            if (code <= 0)
4624
45.1k
                break;
4625
            /* Let's shrink the ibox and try again */
4626
12
            if (mfb && height == mfb) {
4627
                /* Can't shrink the height any more! */
4628
0
                code = gs_error_rangecheck;
4629
0
                break;
4630
0
            }
4631
12
            height = height/code;
4632
12
            if (mfb)
4633
0
                height = (height + mfb-1) & ~(mfb-1);
4634
12
            if (height < (mfb ? mfb : 1)) {
4635
0
                code = gs_error_VMerror;
4636
0
                break;
4637
0
            }
4638
12
        }
4639
45.1k
        if (code >= 0)
4640
45.1k
            code = sc->filter(dev,
4641
45.1k
                              &eb,
4642
45.1k
                              rule);
4643
45.1k
        if (code >= 0)
4644
45.1k
            code = sc->fill(dev,
4645
45.1k
                            pdevc,
4646
45.1k
                            &eb,
4647
45.1k
                            lop);
4648
45.1k
        gx_edgebuffer_fin(dev,&eb);
4649
45.1k
        ibox2.p.y += height;
4650
45.1k
    }
4651
45.1k
    while (ibox2.p.y < ibox->q.y);
4652
4653
43.5k
    return code;
4654
43.5k
}