Coverage Report

Created: 2025-06-10 07:27

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