affine-test.c revision de17ff4a
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); 1749ad247e8Sjmcneill transform.matrix[i][j] ^= 1 << 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