Coverage Report

Created: 2025-06-10 06:49

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