11b18d63aSmrg/*
21b18d63aSmrg * Test program, which can detect some problems with affine transformations
31b18d63aSmrg * in pixman. Testing is done by running lots of random SRC and OVER
41b18d63aSmrg * compositing operations a8r8g8b8, x8a8r8g8b8, r5g6b5 and a8 color formats
51b18d63aSmrg * with random scaled, rotated and translated transforms.
61b18d63aSmrg *
71b18d63aSmrg * Script 'fuzzer-find-diff.pl' can be used to narrow down the problem in
81b18d63aSmrg * the case of test failure.
91b18d63aSmrg */
101b18d63aSmrg#include <assert.h>
111b18d63aSmrg#include <stdlib.h>
121b18d63aSmrg#include <stdio.h>
131b18d63aSmrg#include "utils.h"
141b18d63aSmrg
151b18d63aSmrg#define MAX_SRC_WIDTH  16
161b18d63aSmrg#define MAX_SRC_HEIGHT 16
171b18d63aSmrg#define MAX_DST_WIDTH  16
181b18d63aSmrg#define MAX_DST_HEIGHT 16
191b18d63aSmrg#define MAX_STRIDE     4
201b18d63aSmrg
211b18d63aSmrg/*
221b18d63aSmrg * Composite operation with pseudorandom images
231b18d63aSmrg */
241b18d63aSmrguint32_t
251b18d63aSmrgtest_composite (int      testnum,
261b18d63aSmrg		int      verbose)
271b18d63aSmrg{
281b18d63aSmrg    int                i;
291b18d63aSmrg    pixman_image_t *   src_img;
301b18d63aSmrg    pixman_image_t *   dst_img;
311b18d63aSmrg    pixman_transform_t transform;
321b18d63aSmrg    pixman_region16_t  clip;
331b18d63aSmrg    int                src_width, src_height;
341b18d63aSmrg    int                dst_width, dst_height;
351b18d63aSmrg    int                src_stride, dst_stride;
361b18d63aSmrg    int                src_x, src_y;
371b18d63aSmrg    int                dst_x, dst_y;
381b18d63aSmrg    int                src_bpp;
391b18d63aSmrg    int                dst_bpp;
401b18d63aSmrg    int                w, h;
411b18d63aSmrg    pixman_fixed_t     scale_x = 65536, scale_y = 65536;
421b18d63aSmrg    pixman_fixed_t     translate_x = 0, translate_y = 0;
436ba797d6Smrg    pixman_op_t        op;
446ba797d6Smrg    pixman_repeat_t    repeat = PIXMAN_REPEAT_NONE;
456ba797d6Smrg    pixman_format_code_t src_fmt, dst_fmt;
461b18d63aSmrg    uint32_t *         srcbuf;
471b18d63aSmrg    uint32_t *         dstbuf;
481b18d63aSmrg    uint32_t           crc32;
491b18d63aSmrg    FLOAT_REGS_CORRUPTION_DETECTOR_START ();
501b18d63aSmrg
51f4f78bb6Smrg    prng_srand (testnum);
521b18d63aSmrg
53f4f78bb6Smrg    src_bpp = (prng_rand_n (2) == 0) ? 2 : 4;
54f4f78bb6Smrg    dst_bpp = (prng_rand_n (2) == 0) ? 2 : 4;
55f4f78bb6Smrg    op = (prng_rand_n (2) == 0) ? PIXMAN_OP_SRC : PIXMAN_OP_OVER;
561b18d63aSmrg
57f4f78bb6Smrg    src_width = prng_rand_n (MAX_SRC_WIDTH) + 1;
58f4f78bb6Smrg    src_height = prng_rand_n (MAX_SRC_HEIGHT) + 1;
59f4f78bb6Smrg    dst_width = prng_rand_n (MAX_DST_WIDTH) + 1;
60f4f78bb6Smrg    dst_height = prng_rand_n (MAX_DST_HEIGHT) + 1;
61f4f78bb6Smrg    src_stride = src_width * src_bpp + prng_rand_n (MAX_STRIDE) * src_bpp;
62f4f78bb6Smrg    dst_stride = dst_width * dst_bpp + prng_rand_n (MAX_STRIDE) * dst_bpp;
631b18d63aSmrg
641b18d63aSmrg    if (src_stride & 3)
651b18d63aSmrg	src_stride += 2;
661b18d63aSmrg
671b18d63aSmrg    if (dst_stride & 3)
681b18d63aSmrg	dst_stride += 2;
691b18d63aSmrg
70f4f78bb6Smrg    src_x = -(src_width / 4) + prng_rand_n (src_width * 3 / 2);
71f4f78bb6Smrg    src_y = -(src_height / 4) + prng_rand_n (src_height * 3 / 2);
72f4f78bb6Smrg    dst_x = -(dst_width / 4) + prng_rand_n (dst_width * 3 / 2);
73f4f78bb6Smrg    dst_y = -(dst_height / 4) + prng_rand_n (dst_height * 3 / 2);
74f4f78bb6Smrg    w = prng_rand_n (dst_width * 3 / 2 - dst_x);
75f4f78bb6Smrg    h = prng_rand_n (dst_height * 3 / 2 - dst_y);
761b18d63aSmrg
771b18d63aSmrg    srcbuf = (uint32_t *)malloc (src_stride * src_height);
781b18d63aSmrg    dstbuf = (uint32_t *)malloc (dst_stride * dst_height);
791b18d63aSmrg
80f4f78bb6Smrg    prng_randmemset (srcbuf, src_stride * src_height, 0);
81f4f78bb6Smrg    prng_randmemset (dstbuf, dst_stride * dst_height, 0);
821b18d63aSmrg
83de17ff4aSmrg    if (prng_rand_n (2) == 0)
84de17ff4aSmrg    {
85de17ff4aSmrg	srcbuf += (src_stride / 4) * (src_height - 1);
86de17ff4aSmrg	src_stride = - src_stride;
87de17ff4aSmrg    }
88de17ff4aSmrg
89de17ff4aSmrg    if (prng_rand_n (2) == 0)
90de17ff4aSmrg    {
91de17ff4aSmrg	dstbuf += (dst_stride / 4) * (dst_height - 1);
92de17ff4aSmrg	dst_stride = - dst_stride;
93de17ff4aSmrg    }
94de17ff4aSmrg
95f4f78bb6Smrg    src_fmt = src_bpp == 4 ? (prng_rand_n (2) == 0 ?
961b18d63aSmrg                              PIXMAN_a8r8g8b8 : PIXMAN_x8r8g8b8) : PIXMAN_r5g6b5;
971b18d63aSmrg
98f4f78bb6Smrg    dst_fmt = dst_bpp == 4 ? (prng_rand_n (2) == 0 ?
991b18d63aSmrg                              PIXMAN_a8r8g8b8 : PIXMAN_x8r8g8b8) : PIXMAN_r5g6b5;
1001b18d63aSmrg
1011b18d63aSmrg    src_img = pixman_image_create_bits (
1021b18d63aSmrg        src_fmt, src_width, src_height, srcbuf, src_stride);
1031b18d63aSmrg
1041b18d63aSmrg    dst_img = pixman_image_create_bits (
1051b18d63aSmrg        dst_fmt, dst_width, dst_height, dstbuf, dst_stride);
1061b18d63aSmrg
1076ba797d6Smrg    image_endian_swap (src_img);
1086ba797d6Smrg    image_endian_swap (dst_img);
1091b18d63aSmrg
1101b18d63aSmrg    pixman_transform_init_identity (&transform);
1119ad247e8Sjmcneill
112f4f78bb6Smrg    if (prng_rand_n (3) > 0)
1131b18d63aSmrg    {
114f4f78bb6Smrg	scale_x = -65536 * 3 + prng_rand_n (65536 * 6);
115f4f78bb6Smrg	if (prng_rand_n (2))
116f4f78bb6Smrg	    scale_y = -65536 * 3 + prng_rand_n (65536 * 6);
1179ad247e8Sjmcneill	else
1189ad247e8Sjmcneill	    scale_y = scale_x;
1191b18d63aSmrg	pixman_transform_init_scale (&transform, scale_x, scale_y);
1209ad247e8Sjmcneill    }
121f4f78bb6Smrg    if (prng_rand_n (3) > 0)
1229ad247e8Sjmcneill    {
123f4f78bb6Smrg	translate_x = -65536 * 3 + prng_rand_n (6 * 65536);
124f4f78bb6Smrg	if (prng_rand_n (2))
125f4f78bb6Smrg	    translate_y = -65536 * 3 + prng_rand_n (6 * 65536);
1269ad247e8Sjmcneill	else
1279ad247e8Sjmcneill	    translate_y = translate_x;
1281b18d63aSmrg	pixman_transform_translate (&transform, NULL, translate_x, translate_y);
1291b18d63aSmrg    }
1301b18d63aSmrg
131f4f78bb6Smrg    if (prng_rand_n (4) > 0)
1321b18d63aSmrg    {
1336ba797d6Smrg	int c, s, tx = 0, ty = 0;
134f4f78bb6Smrg	switch (prng_rand_n (4))
1356ba797d6Smrg	{
1366ba797d6Smrg	case 0:
1376ba797d6Smrg	    /* 90 degrees */
1386ba797d6Smrg	    c = 0;
1396ba797d6Smrg	    s = pixman_fixed_1;
1406ba797d6Smrg	    tx = pixman_int_to_fixed (MAX_SRC_HEIGHT);
1416ba797d6Smrg	    break;
1426ba797d6Smrg	case 1:
1436ba797d6Smrg	    /* 180 degrees */
1446ba797d6Smrg	    c = -pixman_fixed_1;
1456ba797d6Smrg	    s = 0;
1466ba797d6Smrg	    tx = pixman_int_to_fixed (MAX_SRC_WIDTH);
1476ba797d6Smrg	    ty = pixman_int_to_fixed (MAX_SRC_HEIGHT);
1486ba797d6Smrg	    break;
1496ba797d6Smrg	case 2:
1506ba797d6Smrg	    /* 270 degrees */
1516ba797d6Smrg	    c = 0;
1526ba797d6Smrg	    s = -pixman_fixed_1;
1536ba797d6Smrg	    ty = pixman_int_to_fixed (MAX_SRC_WIDTH);
1546ba797d6Smrg	    break;
1556ba797d6Smrg	default:
1566ba797d6Smrg	    /* arbitrary rotation */
157f4f78bb6Smrg	    c = prng_rand_n (2 * 65536) - 65536;
158f4f78bb6Smrg	    s = prng_rand_n (2 * 65536) - 65536;
1596ba797d6Smrg	    break;
1606ba797d6Smrg	}
1611b18d63aSmrg	pixman_transform_rotate (&transform, NULL, c, s);
1626ba797d6Smrg	pixman_transform_translate (&transform, NULL, tx, ty);
1631b18d63aSmrg    }
1641b18d63aSmrg
165f4f78bb6Smrg    if (prng_rand_n (8) == 0)
1669ad247e8Sjmcneill    {
1679ad247e8Sjmcneill	/* Flip random bits */
1689ad247e8Sjmcneill	int maxflipcount = 8;
1699ad247e8Sjmcneill	while (maxflipcount--)
1709ad247e8Sjmcneill	{
171f4f78bb6Smrg	    int i = prng_rand_n (2);
172f4f78bb6Smrg	    int j = prng_rand_n (3);
173f4f78bb6Smrg	    int bitnum = prng_rand_n (32);
17414b11b2bSmrg	    transform.matrix[i][j] ^= 1U << bitnum;
175f4f78bb6Smrg	    if (prng_rand_n (2))
1769ad247e8Sjmcneill		break;
1779ad247e8Sjmcneill	}
1789ad247e8Sjmcneill    }
1799ad247e8Sjmcneill
1801b18d63aSmrg    pixman_image_set_transform (src_img, &transform);
1819ad247e8Sjmcneill
182f4f78bb6Smrg    switch (prng_rand_n (4))
1831b18d63aSmrg    {
1841b18d63aSmrg    case 0:
1851b18d63aSmrg	repeat = PIXMAN_REPEAT_NONE;
1861b18d63aSmrg	break;
1871b18d63aSmrg
1881b18d63aSmrg    case 1:
1891b18d63aSmrg	repeat = PIXMAN_REPEAT_NORMAL;
1901b18d63aSmrg	break;
1911b18d63aSmrg
1921b18d63aSmrg    case 2:
1931b18d63aSmrg	repeat = PIXMAN_REPEAT_PAD;
1941b18d63aSmrg	break;
1951b18d63aSmrg
1961b18d63aSmrg    case 3:
1971b18d63aSmrg	repeat = PIXMAN_REPEAT_REFLECT;
1981b18d63aSmrg	break;
1991b18d63aSmrg
2001b18d63aSmrg    default:
2011b18d63aSmrg        break;
2021b18d63aSmrg    }
2031b18d63aSmrg    pixman_image_set_repeat (src_img, repeat);
2041b18d63aSmrg
205f4f78bb6Smrg    if (prng_rand_n (2))
2061b18d63aSmrg	pixman_image_set_filter (src_img, PIXMAN_FILTER_NEAREST, NULL, 0);
2071b18d63aSmrg    else
2081b18d63aSmrg	pixman_image_set_filter (src_img, PIXMAN_FILTER_BILINEAR, NULL, 0);
2091b18d63aSmrg
2101b18d63aSmrg    if (verbose)
2111b18d63aSmrg    {
2129ad247e8Sjmcneill#define M(r,c)								\
2139ad247e8Sjmcneill	transform.matrix[r][c]
2149ad247e8Sjmcneill
215f4f78bb6Smrg	printf ("src_fmt=%s, dst_fmt=%s\n", format_name (src_fmt), format_name (dst_fmt));
216f4f78bb6Smrg	printf ("op=%s, repeat=%d, transform=\n",
217f4f78bb6Smrg	        operator_name (op), repeat);
2189ad247e8Sjmcneill	printf (" { { { 0x%08x, 0x%08x, 0x%08x },\n"
2199ad247e8Sjmcneill		"     { 0x%08x, 0x%08x, 0x%08x },\n"
2209ad247e8Sjmcneill		"     { 0x%08x, 0x%08x, 0x%08x },\n"
2219ad247e8Sjmcneill		" } };\n",
2229ad247e8Sjmcneill		M(0,0), M(0,1), M(0,2),
2239ad247e8Sjmcneill		M(1,0), M(1,1), M(1,2),
2249ad247e8Sjmcneill		M(2,0), M(2,1), M(2,2));
2251b18d63aSmrg	printf ("src_width=%d, src_height=%d, dst_width=%d, dst_height=%d\n",
2261b18d63aSmrg	        src_width, src_height, dst_width, dst_height);
2271b18d63aSmrg	printf ("src_x=%d, src_y=%d, dst_x=%d, dst_y=%d\n",
2281b18d63aSmrg	        src_x, src_y, dst_x, dst_y);
2291b18d63aSmrg	printf ("w=%d, h=%d\n", w, h);
2301b18d63aSmrg    }
2311b18d63aSmrg
232f4f78bb6Smrg    if (prng_rand_n (8) == 0)
2331b18d63aSmrg    {
2341b18d63aSmrg	pixman_box16_t clip_boxes[2];
235f4f78bb6Smrg	int            n = prng_rand_n (2) + 1;
2361b18d63aSmrg
2371b18d63aSmrg	for (i = 0; i < n; i++)
2381b18d63aSmrg	{
239f4f78bb6Smrg	    clip_boxes[i].x1 = prng_rand_n (src_width);
240f4f78bb6Smrg	    clip_boxes[i].y1 = prng_rand_n (src_height);
2411b18d63aSmrg	    clip_boxes[i].x2 =
242f4f78bb6Smrg		clip_boxes[i].x1 + prng_rand_n (src_width - clip_boxes[i].x1);
2431b18d63aSmrg	    clip_boxes[i].y2 =
244f4f78bb6Smrg		clip_boxes[i].y1 + prng_rand_n (src_height - clip_boxes[i].y1);
2451b18d63aSmrg
2461b18d63aSmrg	    if (verbose)
2471b18d63aSmrg	    {
2481b18d63aSmrg		printf ("source clip box: [%d,%d-%d,%d]\n",
2491b18d63aSmrg		        clip_boxes[i].x1, clip_boxes[i].y1,
2501b18d63aSmrg		        clip_boxes[i].x2, clip_boxes[i].y2);
2511b18d63aSmrg	    }
2521b18d63aSmrg	}
2531b18d63aSmrg
2541b18d63aSmrg	pixman_region_init_rects (&clip, clip_boxes, n);
2551b18d63aSmrg	pixman_image_set_clip_region (src_img, &clip);
2561b18d63aSmrg	pixman_image_set_source_clipping (src_img, 1);
2571b18d63aSmrg	pixman_region_fini (&clip);
2581b18d63aSmrg    }
2591b18d63aSmrg
260f4f78bb6Smrg    if (prng_rand_n (8) == 0)
2611b18d63aSmrg    {
2621b18d63aSmrg	pixman_box16_t clip_boxes[2];
263f4f78bb6Smrg	int            n = prng_rand_n (2) + 1;
2641b18d63aSmrg	for (i = 0; i < n; i++)
2651b18d63aSmrg	{
266f4f78bb6Smrg	    clip_boxes[i].x1 = prng_rand_n (dst_width);
267f4f78bb6Smrg	    clip_boxes[i].y1 = prng_rand_n (dst_height);
2681b18d63aSmrg	    clip_boxes[i].x2 =
269f4f78bb6Smrg		clip_boxes[i].x1 + prng_rand_n (dst_width - clip_boxes[i].x1);
2701b18d63aSmrg	    clip_boxes[i].y2 =
271f4f78bb6Smrg		clip_boxes[i].y1 + prng_rand_n (dst_height - clip_boxes[i].y1);
2721b18d63aSmrg
2731b18d63aSmrg	    if (verbose)
2741b18d63aSmrg	    {
2751b18d63aSmrg		printf ("destination clip box: [%d,%d-%d,%d]\n",
2761b18d63aSmrg		        clip_boxes[i].x1, clip_boxes[i].y1,
2771b18d63aSmrg		        clip_boxes[i].x2, clip_boxes[i].y2);
2781b18d63aSmrg	    }
2791b18d63aSmrg	}
2801b18d63aSmrg	pixman_region_init_rects (&clip, clip_boxes, n);
2811b18d63aSmrg	pixman_image_set_clip_region (dst_img, &clip);
2821b18d63aSmrg	pixman_region_fini (&clip);
2831b18d63aSmrg    }
2841b18d63aSmrg
2851b18d63aSmrg    pixman_image_composite (op, src_img, NULL, dst_img,
2861b18d63aSmrg                            src_x, src_y, 0, 0, dst_x, dst_y, w, h);
2871b18d63aSmrg
288de17ff4aSmrg    crc32 = compute_crc32_for_image (0, dst_img);
289de17ff4aSmrg
2901b18d63aSmrg    if (verbose)
291de17ff4aSmrg	print_image (dst_img);
2921b18d63aSmrg
2931b18d63aSmrg    pixman_image_unref (src_img);
2941b18d63aSmrg    pixman_image_unref (dst_img);
2951b18d63aSmrg
296de17ff4aSmrg    if (src_stride < 0)
297de17ff4aSmrg	srcbuf += (src_stride / 4) * (src_height - 1);
298de17ff4aSmrg
299de17ff4aSmrg    if (dst_stride < 0)
300de17ff4aSmrg	dstbuf += (dst_stride / 4) * (dst_height - 1);
301de17ff4aSmrg
3021b18d63aSmrg    free (srcbuf);
3031b18d63aSmrg    free (dstbuf);
3041b18d63aSmrg
3051b18d63aSmrg    FLOAT_REGS_CORRUPTION_DETECTOR_FINISH ();
3061b18d63aSmrg    return crc32;
3071b18d63aSmrg}
3081b18d63aSmrg
309de17ff4aSmrg#if BILINEAR_INTERPOLATION_BITS == 7
310de17ff4aSmrg#define CHECKSUM 0xBE724CFE
3119ad247e8Sjmcneill#elif BILINEAR_INTERPOLATION_BITS == 4
312de17ff4aSmrg#define CHECKSUM 0x79BBE501
3139ad247e8Sjmcneill#else
3149ad247e8Sjmcneill#define CHECKSUM 0x00000000
3159ad247e8Sjmcneill#endif
3169ad247e8Sjmcneill
3171b18d63aSmrgint
3181b18d63aSmrgmain (int argc, const char *argv[])
3191b18d63aSmrg{
3201b18d63aSmrg    pixman_disable_out_of_bounds_workaround ();
3211b18d63aSmrg
3229ad247e8Sjmcneill    return fuzzer_test_main ("affine", 8000000, CHECKSUM,
3231b18d63aSmrg			     test_composite, argc, argv);
3241b18d63aSmrg}
325