affine-test.c revision 1b18d63a
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 int op; 44 int repeat = 0; 45 int 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, src_bpp * 8); 99 image_endian_swap (dst_img, dst_bpp * 8); 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 = lcg_rand_N (2 * 65536) - 65536; 116 int s = lcg_rand_N (2 * 65536) - 65536; 117 118 pixman_transform_rotate (&transform, NULL, c, s); 119 } 120 121 pixman_image_set_transform (src_img, &transform); 122 123 switch (lcg_rand_n (4)) 124 { 125 case 0: 126 repeat = PIXMAN_REPEAT_NONE; 127 break; 128 129 case 1: 130 repeat = PIXMAN_REPEAT_NORMAL; 131 break; 132 133 case 2: 134 repeat = PIXMAN_REPEAT_PAD; 135 break; 136 137 case 3: 138 repeat = PIXMAN_REPEAT_REFLECT; 139 break; 140 141 default: 142 break; 143 } 144 pixman_image_set_repeat (src_img, repeat); 145 146 if (lcg_rand_n (2)) 147 pixman_image_set_filter (src_img, PIXMAN_FILTER_NEAREST, NULL, 0); 148 else 149 pixman_image_set_filter (src_img, PIXMAN_FILTER_BILINEAR, NULL, 0); 150 151 if (verbose) 152 { 153 printf ("src_fmt=%08X, dst_fmt=%08X\n", src_fmt, dst_fmt); 154 printf ("op=%d, scale_x=%d, scale_y=%d, repeat=%d\n", 155 op, scale_x, scale_y, repeat); 156 printf ("translate_x=%d, translate_y=%d\n", 157 translate_x, translate_y); 158 printf ("src_width=%d, src_height=%d, dst_width=%d, dst_height=%d\n", 159 src_width, src_height, dst_width, dst_height); 160 printf ("src_x=%d, src_y=%d, dst_x=%d, dst_y=%d\n", 161 src_x, src_y, dst_x, dst_y); 162 printf ("w=%d, h=%d\n", w, h); 163 } 164 165 if (lcg_rand_n (8) == 0) 166 { 167 pixman_box16_t clip_boxes[2]; 168 int n = lcg_rand_n (2) + 1; 169 170 for (i = 0; i < n; i++) 171 { 172 clip_boxes[i].x1 = lcg_rand_n (src_width); 173 clip_boxes[i].y1 = lcg_rand_n (src_height); 174 clip_boxes[i].x2 = 175 clip_boxes[i].x1 + lcg_rand_n (src_width - clip_boxes[i].x1); 176 clip_boxes[i].y2 = 177 clip_boxes[i].y1 + lcg_rand_n (src_height - clip_boxes[i].y1); 178 179 if (verbose) 180 { 181 printf ("source clip box: [%d,%d-%d,%d]\n", 182 clip_boxes[i].x1, clip_boxes[i].y1, 183 clip_boxes[i].x2, clip_boxes[i].y2); 184 } 185 } 186 187 pixman_region_init_rects (&clip, clip_boxes, n); 188 pixman_image_set_clip_region (src_img, &clip); 189 pixman_image_set_source_clipping (src_img, 1); 190 pixman_region_fini (&clip); 191 } 192 193 if (lcg_rand_n (8) == 0) 194 { 195 pixman_box16_t clip_boxes[2]; 196 int n = lcg_rand_n (2) + 1; 197 for (i = 0; i < n; i++) 198 { 199 clip_boxes[i].x1 = lcg_rand_n (dst_width); 200 clip_boxes[i].y1 = lcg_rand_n (dst_height); 201 clip_boxes[i].x2 = 202 clip_boxes[i].x1 + lcg_rand_n (dst_width - clip_boxes[i].x1); 203 clip_boxes[i].y2 = 204 clip_boxes[i].y1 + lcg_rand_n (dst_height - clip_boxes[i].y1); 205 206 if (verbose) 207 { 208 printf ("destination clip box: [%d,%d-%d,%d]\n", 209 clip_boxes[i].x1, clip_boxes[i].y1, 210 clip_boxes[i].x2, clip_boxes[i].y2); 211 } 212 } 213 pixman_region_init_rects (&clip, clip_boxes, n); 214 pixman_image_set_clip_region (dst_img, &clip); 215 pixman_region_fini (&clip); 216 } 217 218 pixman_image_composite (op, src_img, NULL, dst_img, 219 src_x, src_y, 0, 0, dst_x, dst_y, w, h); 220 221 if (dst_fmt == PIXMAN_x8r8g8b8) 222 { 223 /* ignore unused part */ 224 for (i = 0; i < dst_stride * dst_height / 4; i++) 225 dstbuf[i] &= 0xFFFFFF; 226 } 227 228 image_endian_swap (dst_img, dst_bpp * 8); 229 230 if (verbose) 231 { 232 int j; 233 234 for (i = 0; i < dst_height; i++) 235 { 236 for (j = 0; j < dst_stride; j++) 237 printf ("%02X ", *((uint8_t *)dstbuf + i * dst_stride + j)); 238 239 printf ("\n"); 240 } 241 } 242 243 pixman_image_unref (src_img); 244 pixman_image_unref (dst_img); 245 246 crc32 = compute_crc32 (0, dstbuf, dst_stride * dst_height); 247 free (srcbuf); 248 free (dstbuf); 249 250 FLOAT_REGS_CORRUPTION_DETECTOR_FINISH (); 251 return crc32; 252} 253 254int 255main (int argc, const char *argv[]) 256{ 257 pixman_disable_out_of_bounds_workaround (); 258 259 return fuzzer_test_main ("affine", 8000000, 0x46EC3C6A, 260 test_composite, argc, argv); 261} 262