affine-test.c revision 6ba797d6 
1/*
2 * Test program, which can detect some problems with affine transformations
3 * in pixman. Testing is done by running lots of random SRC and OVER
4 * compositing operations a8r8g8b8, x8a8r8g8b8, r5g6b5 and a8 color formats
5 * with random scaled, rotated and translated transforms.
6 *
7 * Script 'fuzzer-find-diff.pl' can be used to narrow down the problem in
8 * the case of test failure.
9 */
10#include <assert.h>
11#include <stdlib.h>
12#include <stdio.h>
13#include "utils.h"
14
15#define MAX_SRC_WIDTH  16
16#define MAX_SRC_HEIGHT 16
17#define MAX_DST_WIDTH  16
18#define MAX_DST_HEIGHT 16
19#define MAX_STRIDE     4
20
21/*
22 * Composite operation with pseudorandom images
23 */
24uint32_t
25test_composite (int      testnum,
26		int      verbose)
27{
28    int                i;
29    pixman_image_t *   src_img;
30    pixman_image_t *   dst_img;
31    pixman_transform_t transform;
32    pixman_region16_t  clip;
33    int                src_width, src_height;
34    int                dst_width, dst_height;
35    int                src_stride, dst_stride;
36    int                src_x, src_y;
37    int                dst_x, dst_y;
38    int                src_bpp;
39    int                dst_bpp;
40    int                w, h;
41    pixman_fixed_t     scale_x = 65536, scale_y = 65536;
42    pixman_fixed_t     translate_x = 0, translate_y = 0;
43    pixman_op_t        op;
44    pixman_repeat_t    repeat = PIXMAN_REPEAT_NONE;
45    pixman_format_code_t src_fmt, dst_fmt;
46    uint32_t *         srcbuf;
47    uint32_t *         dstbuf;
48    uint32_t           crc32;
49    FLOAT_REGS_CORRUPTION_DETECTOR_START ();
50
51    lcg_srand (testnum);
52
53    src_bpp = (lcg_rand_n (2) == 0) ? 2 : 4;
54    dst_bpp = (lcg_rand_n (2) == 0) ? 2 : 4;
55    op = (lcg_rand_n (2) == 0) ? PIXMAN_OP_SRC : PIXMAN_OP_OVER;
56
57    src_width = lcg_rand_n (MAX_SRC_WIDTH) + 1;
58    src_height = lcg_rand_n (MAX_SRC_HEIGHT) + 1;
59    dst_width = lcg_rand_n (MAX_DST_WIDTH) + 1;
60    dst_height = lcg_rand_n (MAX_DST_HEIGHT) + 1;
61    src_stride = src_width * src_bpp + lcg_rand_n (MAX_STRIDE) * src_bpp;
62    dst_stride = dst_width * dst_bpp + lcg_rand_n (MAX_STRIDE) * dst_bpp;
63
64    if (src_stride & 3)
65	src_stride += 2;
66
67    if (dst_stride & 3)
68	dst_stride += 2;
69
70    src_x = -(src_width / 4) + lcg_rand_n (src_width * 3 / 2);
71    src_y = -(src_height / 4) + lcg_rand_n (src_height * 3 / 2);
72    dst_x = -(dst_width / 4) + lcg_rand_n (dst_width * 3 / 2);
73    dst_y = -(dst_height / 4) + lcg_rand_n (dst_height * 3 / 2);
74    w = lcg_rand_n (dst_width * 3 / 2 - dst_x);
75    h = lcg_rand_n (dst_height * 3 / 2 - dst_y);
76
77    srcbuf = (uint32_t *)malloc (src_stride * src_height);
78    dstbuf = (uint32_t *)malloc (dst_stride * dst_height);
79
80    for (i = 0; i < src_stride * src_height; i++)
81	*((uint8_t *)srcbuf + i) = lcg_rand_n (256);
82
83    for (i = 0; i < dst_stride * dst_height; i++)
84	*((uint8_t *)dstbuf + i) = lcg_rand_n (256);
85
86    src_fmt = src_bpp == 4 ? (lcg_rand_n (2) == 0 ?
87                              PIXMAN_a8r8g8b8 : PIXMAN_x8r8g8b8) : PIXMAN_r5g6b5;
88
89    dst_fmt = dst_bpp == 4 ? (lcg_rand_n (2) == 0 ?
90                              PIXMAN_a8r8g8b8 : PIXMAN_x8r8g8b8) : PIXMAN_r5g6b5;
91
92    src_img = pixman_image_create_bits (
93        src_fmt, src_width, src_height, srcbuf, src_stride);
94
95    dst_img = pixman_image_create_bits (
96        dst_fmt, dst_width, dst_height, dstbuf, dst_stride);
97
98    image_endian_swap (src_img);
99    image_endian_swap (dst_img);
100
101    pixman_transform_init_identity (&transform);
102
103    if (lcg_rand_n (8) > 0)
104    {
105	scale_x = -32768 * 3 + lcg_rand_N (65536 * 5);
106	scale_y = -32768 * 3 + lcg_rand_N (65536 * 5);
107	translate_x = lcg_rand_N (65536);
108	translate_y = lcg_rand_N (65536);
109	pixman_transform_init_scale (&transform, scale_x, scale_y);
110	pixman_transform_translate (&transform, NULL, translate_x, translate_y);
111    }
112
113    if (lcg_rand_n (4) > 0)
114    {
115	int c, s, tx = 0, ty = 0;
116	switch (lcg_rand_n (4))
117	{
118	case 0:
119	    /* 90 degrees */
120	    c = 0;
121	    s = pixman_fixed_1;
122	    tx = pixman_int_to_fixed (MAX_SRC_HEIGHT);
123	    break;
124	case 1:
125	    /* 180 degrees */
126	    c = -pixman_fixed_1;
127	    s = 0;
128	    tx = pixman_int_to_fixed (MAX_SRC_WIDTH);
129	    ty = pixman_int_to_fixed (MAX_SRC_HEIGHT);
130	    break;
131	case 2:
132	    /* 270 degrees */
133	    c = 0;
134	    s = -pixman_fixed_1;
135	    ty = pixman_int_to_fixed (MAX_SRC_WIDTH);
136	    break;
137	default:
138	    /* arbitrary rotation */
139	    c = lcg_rand_N (2 * 65536) - 65536;
140	    s = lcg_rand_N (2 * 65536) - 65536;
141	    break;
142	}
143	pixman_transform_rotate (&transform, NULL, c, s);
144	pixman_transform_translate (&transform, NULL, tx, ty);
145    }
146
147    pixman_image_set_transform (src_img, &transform);
148
149    switch (lcg_rand_n (4))
150    {
151    case 0:
152	repeat = PIXMAN_REPEAT_NONE;
153	break;
154
155    case 1:
156	repeat = PIXMAN_REPEAT_NORMAL;
157	break;
158
159    case 2:
160	repeat = PIXMAN_REPEAT_PAD;
161	break;
162
163    case 3:
164	repeat = PIXMAN_REPEAT_REFLECT;
165	break;
166
167    default:
168        break;
169    }
170    pixman_image_set_repeat (src_img, repeat);
171
172    if (lcg_rand_n (2))
173	pixman_image_set_filter (src_img, PIXMAN_FILTER_NEAREST, NULL, 0);
174    else
175	pixman_image_set_filter (src_img, PIXMAN_FILTER_BILINEAR, NULL, 0);
176
177    if (verbose)
178    {
179	printf ("src_fmt=%08X, dst_fmt=%08X\n", src_fmt, dst_fmt);
180	printf ("op=%d, scale_x=%d, scale_y=%d, repeat=%d\n",
181	        op, scale_x, scale_y, repeat);
182	printf ("translate_x=%d, translate_y=%d\n",
183	        translate_x, translate_y);
184	printf ("src_width=%d, src_height=%d, dst_width=%d, dst_height=%d\n",
185	        src_width, src_height, dst_width, dst_height);
186	printf ("src_x=%d, src_y=%d, dst_x=%d, dst_y=%d\n",
187	        src_x, src_y, dst_x, dst_y);
188	printf ("w=%d, h=%d\n", w, h);
189    }
190
191    if (lcg_rand_n (8) == 0)
192    {
193	pixman_box16_t clip_boxes[2];
194	int            n = lcg_rand_n (2) + 1;
195
196	for (i = 0; i < n; i++)
197	{
198	    clip_boxes[i].x1 = lcg_rand_n (src_width);
199	    clip_boxes[i].y1 = lcg_rand_n (src_height);
200	    clip_boxes[i].x2 =
201		clip_boxes[i].x1 + lcg_rand_n (src_width - clip_boxes[i].x1);
202	    clip_boxes[i].y2 =
203		clip_boxes[i].y1 + lcg_rand_n (src_height - clip_boxes[i].y1);
204
205	    if (verbose)
206	    {
207		printf ("source clip box: [%d,%d-%d,%d]\n",
208		        clip_boxes[i].x1, clip_boxes[i].y1,
209		        clip_boxes[i].x2, clip_boxes[i].y2);
210	    }
211	}
212
213	pixman_region_init_rects (&clip, clip_boxes, n);
214	pixman_image_set_clip_region (src_img, &clip);
215	pixman_image_set_source_clipping (src_img, 1);
216	pixman_region_fini (&clip);
217    }
218
219    if (lcg_rand_n (8) == 0)
220    {
221	pixman_box16_t clip_boxes[2];
222	int            n = lcg_rand_n (2) + 1;
223	for (i = 0; i < n; i++)
224	{
225	    clip_boxes[i].x1 = lcg_rand_n (dst_width);
226	    clip_boxes[i].y1 = lcg_rand_n (dst_height);
227	    clip_boxes[i].x2 =
228		clip_boxes[i].x1 + lcg_rand_n (dst_width - clip_boxes[i].x1);
229	    clip_boxes[i].y2 =
230		clip_boxes[i].y1 + lcg_rand_n (dst_height - clip_boxes[i].y1);
231
232	    if (verbose)
233	    {
234		printf ("destination clip box: [%d,%d-%d,%d]\n",
235		        clip_boxes[i].x1, clip_boxes[i].y1,
236		        clip_boxes[i].x2, clip_boxes[i].y2);
237	    }
238	}
239	pixman_region_init_rects (&clip, clip_boxes, n);
240	pixman_image_set_clip_region (dst_img, &clip);
241	pixman_region_fini (&clip);
242    }
243
244    pixman_image_composite (op, src_img, NULL, dst_img,
245                            src_x, src_y, 0, 0, dst_x, dst_y, w, h);
246
247    if (dst_fmt == PIXMAN_x8r8g8b8)
248    {
249	/* ignore unused part */
250	for (i = 0; i < dst_stride * dst_height / 4; i++)
251	    dstbuf[i] &= 0xFFFFFF;
252    }
253
254    image_endian_swap (dst_img);
255
256    if (verbose)
257    {
258	int j;
259
260	for (i = 0; i < dst_height; i++)
261	{
262	    for (j = 0; j < dst_stride; j++)
263		printf ("%02X ", *((uint8_t *)dstbuf + i * dst_stride + j));
264
265	    printf ("\n");
266	}
267    }
268
269    pixman_image_unref (src_img);
270    pixman_image_unref (dst_img);
271
272    crc32 = compute_crc32 (0, dstbuf, dst_stride * dst_height);
273    free (srcbuf);
274    free (dstbuf);
275
276    FLOAT_REGS_CORRUPTION_DETECTOR_FINISH ();
277    return crc32;
278}
279
280int
281main (int argc, const char *argv[])
282{
283    pixman_disable_out_of_bounds_workaround ();
284
285    return fuzzer_test_main ("affine", 8000000, 0x4B5D1852,
286			     test_composite, argc, argv);
287}
288