Coverage Report

Created: 2026-10-28 08:05

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/ghostpdl/base/gxshade.c
Line
Count
Source
1
/* Copyright (C) 2001-2026 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
17
/* Shading rendering support */
18
#include "math_.h"
19
#include "gx.h"
20
#include "gserrors.h"
21
#include "gsrect.h"
22
#include "gxcspace.h"
23
#include "gscindex.h"
24
#include "gscie.h"    /* requires gscspace.h */
25
#include "gxdevcli.h"
26
#include "gxgstate.h"
27
#include "gxdht.h"    /* for computing # of different colors */
28
#include "gxpaint.h"
29
#include "gxshade.h"
30
#include "gxshade4.h"
31
#include "gsicc.h"
32
#include "gsicc_cache.h"
33
#include "gxcdevn.h"
34
#include "gximage.h"
35
36
/* Define a maximum smoothness value. */
37
/* smoothness > 0.2 produces severely blocky output. */
38
#define MAX_SMOOTHNESS 0.2
39
40
/* ================ Packed coordinate streams ================ */
41
42
/* Forward references */
43
static int cs_next_packed_value(shade_coord_stream_t *, int, uint *);
44
static int cs_next_array_value(shade_coord_stream_t *, int, uint *);
45
static int cs_next_packed_decoded(shade_coord_stream_t *, int,
46
                                   const float[2], float *);
47
static int cs_next_array_decoded(shade_coord_stream_t *, int,
48
                                  const float[2], float *);
49
static void cs_packed_align(shade_coord_stream_t *cs, int radix);
50
static void cs_array_align(shade_coord_stream_t *cs, int radix);
51
static bool cs_eod(const shade_coord_stream_t * cs);
52
53
/* Initialize a packed value stream. */
54
void
55
shade_next_init(shade_coord_stream_t * cs,
56
                const gs_shading_mesh_params_t * params,
57
                const gs_gstate * pgs)
58
1.45k
{
59
1.45k
    cs->params = params;
60
1.45k
    cs->pctm = &pgs->ctm;
61
1.45k
    if (data_source_is_stream(params->DataSource)) {
62
        /*
63
         * Rewind the data stream iff it is reusable -- either a reusable
64
         * file or a reusable string.
65
         */
66
1.45k
        stream *s = cs->s = params->DataSource.data.strm;
67
68
1.45k
        if ((s->file != 0 && s->file_limit != max_long) ||
69
1.45k
            (s->file == 0 && s->strm == 0)
70
1.45k
            )
71
1.45k
            sseek(s, 0);
72
1.45k
    } else {
73
0
        s_init(&cs->ds, NULL);
74
0
        sread_string(&cs->ds, params->DataSource.data.str.data,
75
0
                     params->DataSource.data.str.size);
76
0
        cs->s = &cs->ds;
77
0
    }
78
1.45k
    if (data_source_is_array(params->DataSource)) {
79
0
        cs->get_value = cs_next_array_value;
80
0
        cs->get_decoded = cs_next_array_decoded;
81
0
        cs->align = cs_array_align;
82
1.45k
    } else {
83
1.45k
        cs->get_value = cs_next_packed_value;
84
1.45k
        cs->get_decoded = cs_next_packed_decoded;
85
1.45k
        cs->align = cs_packed_align;
86
1.45k
    }
87
1.45k
    cs->is_eod = cs_eod;
88
1.45k
    cs->left = 0;
89
1.45k
    cs->ds_EOF = false;
90
1.45k
    cs->first_patch = 1;
91
1.45k
}
92
93
/* Check for the End-Of-Data state form a stream. */
94
static bool
95
cs_eod(const shade_coord_stream_t * cs)
96
622
{
97
622
    return cs->ds_EOF;
98
622
}
99
100
/* Get the next (integer) value from a packed value stream. */
101
/* 1 <= num_bits <= sizeof(uint) * 8. */
102
static int
103
cs_next_packed_value(shade_coord_stream_t * cs, int num_bits, uint * pvalue)
104
26.1M
{
105
26.1M
    uint bits = cs->bits;
106
26.1M
    int left = cs->left;
107
108
26.1M
    if (left >= num_bits) {
109
        /* We can satisfy this request with the current buffered bits. */
110
0
        cs->left = left -= num_bits;
111
0
        *pvalue = (bits >> left) & ((1 << num_bits) - 1);
112
26.1M
    } else {
113
        /* We need more bits. */
114
26.1M
        int needed = num_bits - left;
115
26.1M
        uint value = bits & ((1 << left) - 1);  /* all the remaining bits */
116
117
103M
        for (; needed >= 8; needed -= 8) {
118
77.7M
            int b = sgetc(cs->s);
119
120
77.7M
            if (b < 0) {
121
1.16k
                cs->ds_EOF = true;
122
1.16k
                return_error(gs_error_rangecheck);
123
1.16k
            }
124
77.7M
            value = (value << 8) + b;
125
77.7M
        }
126
26.1M
        if (needed == 0) {
127
26.1M
            cs->left = 0;
128
26.1M
            *pvalue = value;
129
26.1M
        } else {
130
0
            int b = sgetc(cs->s);
131
132
0
            if (b < 0) {
133
0
                cs->ds_EOF = true;
134
0
                return_error(gs_error_rangecheck);
135
0
            }
136
0
            cs->bits = b;
137
0
            cs->left = left = 8 - needed;
138
0
            *pvalue = (value << needed) + (b >> left);
139
0
        }
140
26.1M
    }
141
26.1M
    return 0;
142
26.1M
}
143
144
/*
145
 * Get the next (integer) value from an unpacked array.  Note that
146
 * num_bits may be 0 if we are reading a coordinate or color value.
147
 */
148
static int
149
cs_next_array_value(shade_coord_stream_t * cs, int num_bits, uint * pvalue)
150
0
{
151
0
    float value;
152
0
    uint read;
153
154
0
    if (sgets(cs->s, (byte *)&value, sizeof(float), &read) < 0 ||
155
0
        read != sizeof(float)) {
156
0
        cs->ds_EOF = true;
157
0
        return_error(gs_error_rangecheck);
158
0
    }
159
0
    if (value < 0 || (num_bits != 0 && num_bits < sizeof(uint) * 8 &&
160
0
         value >= (1 << num_bits)) ||
161
0
        value != (uint)value
162
0
        )
163
0
        return_error(gs_error_rangecheck);
164
0
    *pvalue = (uint) value;
165
0
    return 0;
166
0
}
167
168
/* Get the next decoded floating point value. */
169
static int
170
cs_next_packed_decoded(shade_coord_stream_t * cs, int num_bits,
171
                       const float decode[2], float *pvalue)
172
25.5M
{
173
25.5M
    uint value;
174
25.5M
    int code = cs->get_value(cs, num_bits, &value);
175
25.5M
    double max_value = (double)(uint)
176
25.5M
        (num_bits == sizeof(uint) * 8 ? ~0 : ((1 << num_bits) - 1));
177
25.5M
    double dvalue = (double)value;
178
179
25.5M
    if (code < 0)
180
741
        return code;
181
25.5M
    *pvalue =
182
25.5M
        (decode == 0 ? dvalue / max_value :
183
25.5M
         decode[0] + dvalue * (decode[1] - decode[0]) / max_value);
184
25.5M
    return 0;
185
25.5M
}
186
187
/* Get the next floating point value from an array, without decoding. */
188
static int
189
cs_next_array_decoded(shade_coord_stream_t * cs, int num_bits,
190
                      const float decode[2], float *pvalue)
191
0
{
192
0
    float value;
193
0
    uint read;
194
195
0
    if (sgets(cs->s, (byte *)&value, sizeof(float), &read) < 0 ||
196
0
        read != sizeof(float)
197
0
    ) {
198
0
        cs->ds_EOF = true;
199
0
        return_error(gs_error_rangecheck);
200
0
    }
201
0
    *pvalue = value;
202
0
    return 0;
203
0
}
204
205
static void
206
cs_packed_align(shade_coord_stream_t *cs, int radix)
207
2.16M
{
208
2.16M
    cs->left = cs->left / radix * radix;
209
2.16M
}
210
211
static void
212
cs_array_align(shade_coord_stream_t *cs, int radix)
213
0
{
214
0
}
215
216
/* Get the next flag value. */
217
/* Note that this always starts a new data byte. */
218
int
219
shade_next_flag(shade_coord_stream_t * cs, int BitsPerFlag)
220
582k
{
221
582k
    uint flag;
222
582k
    int code;
223
224
582k
    cs->left = 0;   /* start a new byte if packed */
225
582k
    code = cs->get_value(cs, BitsPerFlag, &flag);
226
582k
    return (code < 0 ? code : flag);
227
582k
}
228
229
/* Get one or more coordinate pairs. */
230
int
231
shade_next_coords(shade_coord_stream_t * cs, gs_fixed_point * ppt,
232
                  int num_points)
233
5.48M
{
234
5.48M
    int num_bits = cs->params->BitsPerCoordinate;
235
5.48M
    const float *decode = cs->params->Decode;
236
5.48M
    int code = 0;
237
5.48M
    int i;
238
239
14.3M
    for (i = 0; i < num_points; ++i) {
240
8.85M
        float x, y;
241
242
8.85M
        if ((code = cs->get_decoded(cs, num_bits, decode, &x)) < 0 ||
243
8.85M
            (code = cs->get_decoded(cs, num_bits, decode + 2, &y)) < 0 ||
244
8.85M
            (code = gs_point_transform2fixed(cs->pctm, x, y, &ppt[i])) < 0
245
8.85M
            )
246
583
            break;
247
8.85M
    }
248
5.48M
    return code;
249
5.48M
}
250
251
/* Get a color.  Currently all this does is look up Indexed colors. */
252
int
253
shade_next_color(shade_coord_stream_t * cs, float *pc)
254
3.15M
{
255
3.15M
    const float *decode = cs->params->Decode + 4; /* skip coord decode */
256
3.15M
    const gs_color_space *pcs = cs->params->ColorSpace;
257
3.15M
    gs_color_space_index index = gs_color_space_get_index(pcs);
258
3.15M
    int num_bits = cs->params->BitsPerComponent;
259
260
3.15M
    if (index == gs_color_space_index_Indexed) {
261
0
        int ncomp = gs_color_space_num_components(gs_cspace_base_space(pcs));
262
0
        int ci;
263
0
        float cf;
264
0
        int code = cs->get_decoded(cs, num_bits, decode, &cf);
265
0
        gs_client_color cc;
266
0
        int i;
267
268
0
        if (code < 0)
269
0
            return code;
270
0
        ci = (int)cf;
271
0
        if (ci < 0 || ci >= gs_cspace_indexed_num_entries(pcs))
272
0
            return_error(gs_error_rangecheck);
273
0
        code = gs_cspace_indexed_lookup(pcs, ci, &cc);
274
0
        if (code < 0)
275
0
            return code;
276
0
        for (i = 0; i < ncomp; ++i)
277
0
            pc[i] = cc.paint.values[i];
278
3.15M
    } else {
279
3.15M
        int i, code;
280
3.15M
        int ncomp = (cs->params->Function != 0 ? 1 :
281
3.15M
                     gs_color_space_num_components(pcs));
282
283
11.0M
        for (i = 0; i < ncomp; ++i) {
284
7.84M
            if ((code = cs->get_decoded(cs, num_bits, decode + i * 2, &pc[i])) < 0)
285
171
                return code;
286
7.84M
            if (cs->params->Function) {
287
1.56M
                gs_function_params_t *params = &cs->params->Function->params;
288
289
1.56M
                if (pc[i] < params->Domain[i + i])
290
0
                    pc[i] = params->Domain[i + i];
291
1.56M
                else if (pc[i] > params->Domain[i + i + 1])
292
36
                    pc[i] = params->Domain[i + i + 1];
293
1.56M
            }
294
7.84M
        }
295
3.15M
    }
296
3.15M
    return 0;
297
3.15M
}
298
299
/* Get the next vertex for a mesh element. */
300
int
301
shade_next_vertex(shade_coord_stream_t * cs, shading_vertex_t * vertex, patch_color_t *c)
302
1.62M
{   /* Assuming p->c == c, provides a non-const access. */
303
1.62M
    int code = shade_next_coords(cs, &vertex->p, 1);
304
305
1.62M
    if (code >= 0)
306
1.62M
        code = shade_next_color(cs, c->cc.paint.values);
307
1.62M
    if (code >= 0)
308
1.62M
        cs->align(cs, 8); /* CET 09-47J.PS SpecialTestI04Test01. */
309
1.62M
    return code;
310
1.62M
}
311
312
/* ================ Shading rendering ================ */
313
314
/* Initialize the common parts of the recursion state. */
315
int
316
shade_init_fill_state(shading_fill_state_t * pfs, const gs_shading_t * psh,
317
                      gx_device * dev, gs_gstate * pgs)
318
29.4k
{
319
29.4k
    const gs_color_space *pcs = psh->params.ColorSpace;
320
29.4k
    float max_error = min(pgs->smoothness, MAX_SMOOTHNESS);
321
29.4k
    bool is_lab;
322
29.4k
    bool cs_lin_test;
323
29.4k
    int code;
324
325
    /*
326
     * There's no point in trying to achieve smoothness beyond what
327
     * the device can implement, i.e., the number of representable
328
     * colors times the number of halftone levels.
329
     */
330
29.4k
    long num_colors =
331
29.4k
        max(dev->color_info.max_gray, dev->color_info.max_color) + 1;
332
29.4k
    const gs_range *ranges = 0;
333
29.4k
    int ci;
334
29.4k
    gsicc_rendering_param_t rendering_params;
335
336
29.4k
    pfs->cs_always_linear = false;
337
29.4k
    pfs->dev = dev;
338
29.4k
    pfs->pgs = pgs;
339
29.4k
top:
340
29.4k
    pfs->direct_space = pcs;
341
29.4k
    pfs->num_components = gs_color_space_num_components(pcs);
342
29.4k
    switch ( gs_color_space_get_index(pcs) )
343
29.4k
        {
344
0
        case gs_color_space_index_Indexed:
345
0
            pcs = gs_cspace_base_space(pcs);
346
0
            goto top;
347
0
        case gs_color_space_index_CIEDEFG:
348
0
            ranges = pcs->params.defg->RangeDEFG.ranges;
349
0
            break;
350
0
        case gs_color_space_index_CIEDEF:
351
0
            ranges = pcs->params.def->RangeDEF.ranges;
352
0
            break;
353
0
        case gs_color_space_index_CIEABC:
354
0
            ranges = pcs->params.abc->RangeABC.ranges;
355
0
            break;
356
0
        case gs_color_space_index_CIEA:
357
0
            ranges = &pcs->params.a->RangeA;
358
0
            break;
359
26.8k
        case gs_color_space_index_ICC:
360
26.8k
            ranges = pcs->cmm_icc_profile_data->Range.ranges;
361
26.8k
            break;
362
2.61k
        default:
363
2.61k
            break;
364
29.4k
        }
365
29.4k
    if (num_colors <= 32) {
366
        /****** WRONG FOR MULTI-PLANE HALFTONES ******/
367
3.40k
        num_colors *= pgs->dev_ht[HT_OBJTYPE_DEFAULT]->components[0].corder.num_levels;
368
3.40k
    }
369
29.4k
    if (psh->head.type == 2 || psh->head.type == 3) {
370
28.0k
        max_error *= 0.25;
371
28.0k
        num_colors *= 2;
372
28.0k
    }
373
29.4k
    if (max_error < 1.0 / num_colors)
374
3.40k
        max_error = 1.0 / num_colors;
375
114k
    for (ci = 0; ci < pfs->num_components; ++ci)
376
85.4k
        pfs->cc_max_error[ci] =
377
85.4k
            (ranges == 0 ? max_error :
378
85.4k
             max_error * (ranges[ci].rmax - ranges[ci].rmin));
379
29.4k
    if (pgs->has_transparency && pgs->trans_device != NULL) {
380
9.39k
        pfs->trans_device = pgs->trans_device;
381
20.0k
    } else {
382
20.0k
        pfs->trans_device = dev;
383
20.0k
    }
384
    /* If the CS is PS based and we have not yet converted to the ICC form
385
       then go ahead and do that now */
386
29.4k
    if (gs_color_space_is_PSCIE(pcs) && pcs->icc_equivalent == NULL) {
387
0
        code = gs_colorspace_set_icc_equivalent((gs_color_space *)pcs, &(is_lab), pgs->memory);
388
0
        if (code < 0)
389
0
            return code;
390
0
    }
391
29.4k
    rendering_params.black_point_comp = pgs->blackptcomp;
392
29.4k
    rendering_params.graphics_type_tag = GS_VECTOR_TAG;
393
29.4k
    rendering_params.override_icc = false;
394
29.4k
    rendering_params.preserve_black = gsBKPRESNOTSPECIFIED;
395
29.4k
    rendering_params.rendering_intent = pgs->renderingintent;
396
29.4k
    rendering_params.cmm = gsCMM_DEFAULT;
397
    /* Grab the icc link transform that we need now */
398
29.4k
    if (pcs->cmm_icc_profile_data != NULL) {
399
26.8k
        pfs->icclink = gsicc_get_link(pgs, pgs->trans_device, pcs, NULL,
400
26.8k
                                      &rendering_params, pgs->memory);
401
26.8k
        if (pfs->icclink == NULL)
402
43
            return_error(gs_error_VMerror);
403
26.8k
    } else {
404
2.61k
        if (pcs->icc_equivalent != NULL ) {
405
            /* We have a PS equivalent ICC profile.  We may need to go
406
               through special range adjustments in this case */
407
0
            pfs->icclink = gsicc_get_link(pgs, pgs->trans_device,
408
0
                                          pcs->icc_equivalent, NULL,
409
0
                                          &rendering_params, pgs->memory);
410
0
            if (pfs->icclink == NULL)
411
0
                return_error(gs_error_VMerror);
412
2.61k
        } else {
413
2.61k
            pfs->icclink = NULL;
414
2.61k
        }
415
2.61k
    }
416
    /* Two possible cases of interest here for performance.  One is that the
417
    * icclink is NULL, which could occur if the source space were DeviceN or
418
    * a separation color space, while at the same time, the output device
419
    * supports these colorants (e.g. a separation device).   The other case is
420
    * that the icclink is the identity.  This could happen for example if the
421
    * source space were CMYK and we are going out to a CMYK device. For both
422
    * of these cases we can avoid going through the standard
423
    * color mappings to determine linearity. This is true, provided that the
424
    * transfer function is linear.  It is likely that we can improve
425
    * things even in cases where the transfer function is nonlinear, but for
426
    * now, we will punt on those and let them go through the longer processing
427
    * steps */
428
29.4k
    if (pfs->icclink == NULL)
429
2.61k
            cs_lin_test = !(using_alt_color_space((gs_gstate*)pgs));
430
26.8k
    else
431
26.8k
        cs_lin_test = pfs->icclink->is_identity;
432
433
29.4k
    if (cs_lin_test && !gx_has_transfer(pgs, dev->color_info.num_components)) {
434
19.1k
        pfs->cs_always_linear = true;
435
19.1k
    }
436
29.4k
    pfs->ShadingType = psh->head.type;
437
438
#ifdef IGNORE_SPEC_MATCH_ADOBE_SHADINGS
439
    /* Per the spec. If the source space is DeviceN or Separation and the
440
       colorants are not supported (i.e. if we are using the alternate tint
441
       transform) the interpolation should occur in the source space to
442
       accommodate non-linear tint transform functions.
443
       e.g. We had a case where the transform function
444
       was an increasing staircase. Including that function in the
445
       gradient smoothness calculation gave us severe quantization. AR on
446
       the other hand is doing the interpolation in device color space
447
       and has a smooth result for that case. So AR is not following the spec. The
448
       bit below solves the issues for Type 4 and Type 5 shadings as
449
       this will avoid interpolations in source space. Type 6 and Type 7 will still
450
       have interpolations in the source space even if pfs->cs_always_linear == true.
451
       So the approach below does not solve those issues. To do that
452
       without changing the shading code, we could make a linear
453
       approximation to the alternate tint transform, which would
454
       ensure smoothness like what AR provides.
455
    */
456
    if ((gs_color_space_get_index(pcs) == gs_color_space_index_DeviceN ||
457
        gs_color_space_get_index(pcs) == gs_color_space_index_Separation) &&
458
        using_alt_color_space((gs_gstate*)pgs) && (psh->head.type == 4 ||
459
        psh->head.type == 5)) {
460
        pfs->cs_always_linear = true;
461
    }
462
#endif
463
464
29.4k
    return 0;
465
29.4k
}
466
467
/* Fill one piece of a shading. */
468
int
469
shade_fill_path(const shading_fill_state_t * pfs, gx_path * ppath,
470
                gx_device_color * pdevc, const gs_fixed_point *fill_adjust)
471
0
{
472
0
    gx_fill_params params;
473
474
0
    params.rule = -1;   /* irrelevant */
475
0
    params.adjust = *fill_adjust;
476
0
    params.flatness = 0;  /* irrelevant */
477
0
    return (*dev_proc(pfs->dev, fill_path)) (pfs->dev, pfs->pgs, ppath,
478
                                             &params, pdevc, NULL);
479
0
}