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