affine-test.c revision 1b18d63a
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;
431b18d63aSmrg    int                op;
441b18d63aSmrg    int                repeat = 0;
451b18d63aSmrg    int                src_fmt, dst_fmt;
461b18d63aSmrg    uint32_t *         srcbuf;
471b18d63aSmrg    uint32_t *         dstbuf;
481b18d63aSmrg    uint32_t           crc32;
491b18d63aSmrg    FLOAT_REGS_CORRUPTION_DETECTOR_START ();
501b18d63aSmrg
511b18d63aSmrg    lcg_srand (testnum);
521b18d63aSmrg
531b18d63aSmrg    src_bpp = (lcg_rand_n (2) == 0) ? 2 : 4;
541b18d63aSmrg    dst_bpp = (lcg_rand_n (2) == 0) ? 2 : 4;
551b18d63aSmrg    op = (lcg_rand_n (2) == 0) ? PIXMAN_OP_SRC : PIXMAN_OP_OVER;
561b18d63aSmrg
571b18d63aSmrg    src_width = lcg_rand_n (MAX_SRC_WIDTH) + 1;
581b18d63aSmrg    src_height = lcg_rand_n (MAX_SRC_HEIGHT) + 1;
591b18d63aSmrg    dst_width = lcg_rand_n (MAX_DST_WIDTH) + 1;
601b18d63aSmrg    dst_height = lcg_rand_n (MAX_DST_HEIGHT) + 1;
611b18d63aSmrg    src_stride = src_width * src_bpp + lcg_rand_n (MAX_STRIDE) * src_bpp;
621b18d63aSmrg    dst_stride = dst_width * dst_bpp + lcg_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
701b18d63aSmrg    src_x = -(src_width / 4) + lcg_rand_n (src_width * 3 / 2);
711b18d63aSmrg    src_y = -(src_height / 4) + lcg_rand_n (src_height * 3 / 2);
721b18d63aSmrg    dst_x = -(dst_width / 4) + lcg_rand_n (dst_width * 3 / 2);
731b18d63aSmrg    dst_y = -(dst_height / 4) + lcg_rand_n (dst_height * 3 / 2);
741b18d63aSmrg    w = lcg_rand_n (dst_width * 3 / 2 - dst_x);
751b18d63aSmrg    h = lcg_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
801b18d63aSmrg    for (i = 0; i < src_stride * src_height; i++)
811b18d63aSmrg	*((uint8_t *)srcbuf + i) = lcg_rand_n (256);
821b18d63aSmrg
831b18d63aSmrg    for (i = 0; i < dst_stride * dst_height; i++)
841b18d63aSmrg	*((uint8_t *)dstbuf + i) = lcg_rand_n (256);
851b18d63aSmrg
861b18d63aSmrg    src_fmt = src_bpp == 4 ? (lcg_rand_n (2) == 0 ?
871b18d63aSmrg                              PIXMAN_a8r8g8b8 : PIXMAN_x8r8g8b8) : PIXMAN_r5g6b5;
881b18d63aSmrg
891b18d63aSmrg    dst_fmt = dst_bpp == 4 ? (lcg_rand_n (2) == 0 ?
901b18d63aSmrg                              PIXMAN_a8r8g8b8 : PIXMAN_x8r8g8b8) : PIXMAN_r5g6b5;
911b18d63aSmrg
921b18d63aSmrg    src_img = pixman_image_create_bits (
931b18d63aSmrg        src_fmt, src_width, src_height, srcbuf, src_stride);
941b18d63aSmrg
951b18d63aSmrg    dst_img = pixman_image_create_bits (
961b18d63aSmrg        dst_fmt, dst_width, dst_height, dstbuf, dst_stride);
971b18d63aSmrg
981b18d63aSmrg    image_endian_swap (src_img, src_bpp * 8);
991b18d63aSmrg    image_endian_swap (dst_img, dst_bpp * 8);
1001b18d63aSmrg
1011b18d63aSmrg    pixman_transform_init_identity (&transform);
1021b18d63aSmrg
1031b18d63aSmrg    if (lcg_rand_n (8) > 0)
1041b18d63aSmrg    {
1051b18d63aSmrg	scale_x = -32768 * 3 + lcg_rand_N (65536 * 5);
1061b18d63aSmrg	scale_y = -32768 * 3 + lcg_rand_N (65536 * 5);
1071b18d63aSmrg	translate_x = lcg_rand_N (65536);
1081b18d63aSmrg	translate_y = lcg_rand_N (65536);
1091b18d63aSmrg	pixman_transform_init_scale (&transform, scale_x, scale_y);
1101b18d63aSmrg	pixman_transform_translate (&transform, NULL, translate_x, translate_y);
1111b18d63aSmrg    }
1121b18d63aSmrg
1131b18d63aSmrg    if (lcg_rand_n (4) > 0)
1141b18d63aSmrg    {
1151b18d63aSmrg	int c = lcg_rand_N (2 * 65536) - 65536;
1161b18d63aSmrg	int s = lcg_rand_N (2 * 65536) - 65536;
1171b18d63aSmrg
1181b18d63aSmrg	pixman_transform_rotate (&transform, NULL, c, s);
1191b18d63aSmrg    }
1201b18d63aSmrg
1211b18d63aSmrg    pixman_image_set_transform (src_img, &transform);
1221b18d63aSmrg
1231b18d63aSmrg    switch (lcg_rand_n (4))
1241b18d63aSmrg    {
1251b18d63aSmrg    case 0:
1261b18d63aSmrg	repeat = PIXMAN_REPEAT_NONE;
1271b18d63aSmrg	break;
1281b18d63aSmrg
1291b18d63aSmrg    case 1:
1301b18d63aSmrg	repeat = PIXMAN_REPEAT_NORMAL;
1311b18d63aSmrg	break;
1321b18d63aSmrg
1331b18d63aSmrg    case 2:
1341b18d63aSmrg	repeat = PIXMAN_REPEAT_PAD;
1351b18d63aSmrg	break;
1361b18d63aSmrg
1371b18d63aSmrg    case 3:
1381b18d63aSmrg	repeat = PIXMAN_REPEAT_REFLECT;
1391b18d63aSmrg	break;
1401b18d63aSmrg
1411b18d63aSmrg    default:
1421b18d63aSmrg        break;
1431b18d63aSmrg    }
1441b18d63aSmrg    pixman_image_set_repeat (src_img, repeat);
1451b18d63aSmrg
1461b18d63aSmrg    if (lcg_rand_n (2))
1471b18d63aSmrg	pixman_image_set_filter (src_img, PIXMAN_FILTER_NEAREST, NULL, 0);
1481b18d63aSmrg    else
1491b18d63aSmrg	pixman_image_set_filter (src_img, PIXMAN_FILTER_BILINEAR, NULL, 0);
1501b18d63aSmrg
1511b18d63aSmrg    if (verbose)
1521b18d63aSmrg    {
1531b18d63aSmrg	printf ("src_fmt=%08X, dst_fmt=%08X\n", src_fmt, dst_fmt);
1541b18d63aSmrg	printf ("op=%d, scale_x=%d, scale_y=%d, repeat=%d\n",
1551b18d63aSmrg	        op, scale_x, scale_y, repeat);
1561b18d63aSmrg	printf ("translate_x=%d, translate_y=%d\n",
1571b18d63aSmrg	        translate_x, translate_y);
1581b18d63aSmrg	printf ("src_width=%d, src_height=%d, dst_width=%d, dst_height=%d\n",
1591b18d63aSmrg	        src_width, src_height, dst_width, dst_height);
1601b18d63aSmrg	printf ("src_x=%d, src_y=%d, dst_x=%d, dst_y=%d\n",
1611b18d63aSmrg	        src_x, src_y, dst_x, dst_y);
1621b18d63aSmrg	printf ("w=%d, h=%d\n", w, h);
1631b18d63aSmrg    }
1641b18d63aSmrg
1651b18d63aSmrg    if (lcg_rand_n (8) == 0)
1661b18d63aSmrg    {
1671b18d63aSmrg	pixman_box16_t clip_boxes[2];
1681b18d63aSmrg	int            n = lcg_rand_n (2) + 1;
1691b18d63aSmrg
1701b18d63aSmrg	for (i = 0; i < n; i++)
1711b18d63aSmrg	{
1721b18d63aSmrg	    clip_boxes[i].x1 = lcg_rand_n (src_width);
1731b18d63aSmrg	    clip_boxes[i].y1 = lcg_rand_n (src_height);
1741b18d63aSmrg	    clip_boxes[i].x2 =
1751b18d63aSmrg		clip_boxes[i].x1 + lcg_rand_n (src_width - clip_boxes[i].x1);
1761b18d63aSmrg	    clip_boxes[i].y2 =
1771b18d63aSmrg		clip_boxes[i].y1 + lcg_rand_n (src_height - clip_boxes[i].y1);
1781b18d63aSmrg
1791b18d63aSmrg	    if (verbose)
1801b18d63aSmrg	    {
1811b18d63aSmrg		printf ("source clip box: [%d,%d-%d,%d]\n",
1821b18d63aSmrg		        clip_boxes[i].x1, clip_boxes[i].y1,
1831b18d63aSmrg		        clip_boxes[i].x2, clip_boxes[i].y2);
1841b18d63aSmrg	    }
1851b18d63aSmrg	}
1861b18d63aSmrg
1871b18d63aSmrg	pixman_region_init_rects (&clip, clip_boxes, n);
1881b18d63aSmrg	pixman_image_set_clip_region (src_img, &clip);
1891b18d63aSmrg	pixman_image_set_source_clipping (src_img, 1);
1901b18d63aSmrg	pixman_region_fini (&clip);
1911b18d63aSmrg    }
1921b18d63aSmrg
1931b18d63aSmrg    if (lcg_rand_n (8) == 0)
1941b18d63aSmrg    {
1951b18d63aSmrg	pixman_box16_t clip_boxes[2];
1961b18d63aSmrg	int            n = lcg_rand_n (2) + 1;
1971b18d63aSmrg	for (i = 0; i < n; i++)
1981b18d63aSmrg	{
1991b18d63aSmrg	    clip_boxes[i].x1 = lcg_rand_n (dst_width);
2001b18d63aSmrg	    clip_boxes[i].y1 = lcg_rand_n (dst_height);
2011b18d63aSmrg	    clip_boxes[i].x2 =
2021b18d63aSmrg		clip_boxes[i].x1 + lcg_rand_n (dst_width - clip_boxes[i].x1);
2031b18d63aSmrg	    clip_boxes[i].y2 =
2041b18d63aSmrg		clip_boxes[i].y1 + lcg_rand_n (dst_height - clip_boxes[i].y1);
2051b18d63aSmrg
2061b18d63aSmrg	    if (verbose)
2071b18d63aSmrg	    {
2081b18d63aSmrg		printf ("destination clip box: [%d,%d-%d,%d]\n",
2091b18d63aSmrg		        clip_boxes[i].x1, clip_boxes[i].y1,
2101b18d63aSmrg		        clip_boxes[i].x2, clip_boxes[i].y2);
2111b18d63aSmrg	    }
2121b18d63aSmrg	}
2131b18d63aSmrg	pixman_region_init_rects (&clip, clip_boxes, n);
2141b18d63aSmrg	pixman_image_set_clip_region (dst_img, &clip);
2151b18d63aSmrg	pixman_region_fini (&clip);
2161b18d63aSmrg    }
2171b18d63aSmrg
2181b18d63aSmrg    pixman_image_composite (op, src_img, NULL, dst_img,
2191b18d63aSmrg                            src_x, src_y, 0, 0, dst_x, dst_y, w, h);
2201b18d63aSmrg
2211b18d63aSmrg    if (dst_fmt == PIXMAN_x8r8g8b8)
2221b18d63aSmrg    {
2231b18d63aSmrg	/* ignore unused part */
2241b18d63aSmrg	for (i = 0; i < dst_stride * dst_height / 4; i++)
2251b18d63aSmrg	    dstbuf[i] &= 0xFFFFFF;
2261b18d63aSmrg    }
2271b18d63aSmrg
2281b18d63aSmrg    image_endian_swap (dst_img, dst_bpp * 8);
2291b18d63aSmrg
2301b18d63aSmrg    if (verbose)
2311b18d63aSmrg    {
2321b18d63aSmrg	int j;
2331b18d63aSmrg
2341b18d63aSmrg	for (i = 0; i < dst_height; i++)
2351b18d63aSmrg	{
2361b18d63aSmrg	    for (j = 0; j < dst_stride; j++)
2371b18d63aSmrg		printf ("%02X ", *((uint8_t *)dstbuf + i * dst_stride + j));
2381b18d63aSmrg
2391b18d63aSmrg	    printf ("\n");
2401b18d63aSmrg	}
2411b18d63aSmrg    }
2421b18d63aSmrg
2431b18d63aSmrg    pixman_image_unref (src_img);
2441b18d63aSmrg    pixman_image_unref (dst_img);
2451b18d63aSmrg
2461b18d63aSmrg    crc32 = compute_crc32 (0, dstbuf, dst_stride * dst_height);
2471b18d63aSmrg    free (srcbuf);
2481b18d63aSmrg    free (dstbuf);
2491b18d63aSmrg
2501b18d63aSmrg    FLOAT_REGS_CORRUPTION_DETECTOR_FINISH ();
2511b18d63aSmrg    return crc32;
2521b18d63aSmrg}
2531b18d63aSmrg
2541b18d63aSmrgint
2551b18d63aSmrgmain (int argc, const char *argv[])
2561b18d63aSmrg{
2571b18d63aSmrg    pixman_disable_out_of_bounds_workaround ();
2581b18d63aSmrg
2591b18d63aSmrg    return fuzzer_test_main ("affine", 8000000, 0x46EC3C6A,
2601b18d63aSmrg			     test_composite, argc, argv);
2611b18d63aSmrg}
262