1 2/* 3 * Copyright 2006 The Android Open Source Project 4 * 5 * Use of this source code is governed by a BSD-style license that can be 6 * found in the LICENSE file. 7 */ 8 9 10#include "SkEdge.h" 11#include "SkFDot6.h" 12#include "SkMath.h" 13 14/* 15 In setLine, setQuadratic, setCubic, the first thing we do is to convert 16 the points into FDot6. This is modulated by the shift parameter, which 17 will either be 0, or something like 2 for antialiasing. 18 19 In the float case, we want to turn the float into .6 by saying pt * 64, 20 or pt * 256 for antialiasing. This is implemented as 1 << (shift + 6). 21 22 In the fixed case, we want to turn the fixed into .6 by saying pt >> 10, 23 or pt >> 8 for antialiasing. This is implemented as pt >> (10 - shift). 24*/ 25 26static inline SkFixed SkFDot6ToFixedDiv2(SkFDot6 value) { 27 // we want to return SkFDot6ToFixed(value >> 1), but we don't want to throw 28 // away data in value, so just perform a modify up-shift 29 return value << (16 - 6 - 1); 30} 31 32///////////////////////////////////////////////////////////////////////// 33 34int SkEdge::setLine(const SkPoint& p0, const SkPoint& p1, const SkIRect* clip, 35 int shift) { 36 SkFDot6 x0, y0, x1, y1; 37 38 { 39 float scale = float(1 << (shift + 6)); 40 x0 = int(p0.fX * scale); 41 y0 = int(p0.fY * scale); 42 x1 = int(p1.fX * scale); 43 y1 = int(p1.fY * scale); 44 } 45 46 int winding = 1; 47 48 if (y0 > y1) { 49 SkTSwap(x0, x1); 50 SkTSwap(y0, y1); 51 winding = -1; 52 } 53 54 int top = SkFDot6Round(y0); 55 int bot = SkFDot6Round(y1); 56 57 // are we a zero-height line? 58 if (top == bot) { 59 return 0; 60 } 61 // are we completely above or below the clip? 62 if (NULL != clip && (top >= clip->fBottom || bot <= clip->fTop)) { 63 return 0; 64 } 65 66 SkFixed slope = SkFDot6Div(x1 - x0, y1 - y0); 67 const int dy = SkEdge_Compute_DY(top, y0); 68 69 fX = SkFDot6ToFixed(x0 + SkFixedMul(slope, dy)); // + SK_Fixed1/2 70 fDX = slope; 71 fFirstY = top; 72 fLastY = bot - 1; 73 fCurveCount = 0; 74 fWinding = SkToS8(winding); 75 fCurveShift = 0; 76 77 if (clip) { 78 this->chopLineWithClip(*clip); 79 } 80 return 1; 81} 82 83// called from a curve subclass 84int SkEdge::updateLine(SkFixed x0, SkFixed y0, SkFixed x1, SkFixed y1) 85{ 86 SkASSERT(fWinding == 1 || fWinding == -1); 87 SkASSERT(fCurveCount != 0); 88// SkASSERT(fCurveShift != 0); 89 90 y0 >>= 10; 91 y1 >>= 10; 92 93 SkASSERT(y0 <= y1); 94 95 int top = SkFDot6Round(y0); 96 int bot = SkFDot6Round(y1); 97 98// SkASSERT(top >= fFirstY); 99 100 // are we a zero-height line? 101 if (top == bot) 102 return 0; 103 104 x0 >>= 10; 105 x1 >>= 10; 106 107 SkFixed slope = SkFDot6Div(x1 - x0, y1 - y0); 108 const int dy = SkEdge_Compute_DY(top, y0); 109 110 fX = SkFDot6ToFixed(x0 + SkFixedMul(slope, dy)); // + SK_Fixed1/2 111 fDX = slope; 112 fFirstY = top; 113 fLastY = bot - 1; 114 115 return 1; 116} 117 118void SkEdge::chopLineWithClip(const SkIRect& clip) 119{ 120 int top = fFirstY; 121 122 SkASSERT(top < clip.fBottom); 123 124 // clip the line to the top 125 if (top < clip.fTop) 126 { 127 SkASSERT(fLastY >= clip.fTop); 128 fX += fDX * (clip.fTop - top); 129 fFirstY = clip.fTop; 130 } 131} 132 133/////////////////////////////////////////////////////////////////////////////// 134 135/* We store 1<<shift in a (signed) byte, so its maximum value is 1<<6 == 64. 136 Note that this limits the number of lines we use to approximate a curve. 137 If we need to increase this, we need to store fCurveCount in something 138 larger than int8_t. 139*/ 140#define MAX_COEFF_SHIFT 6 141 142static inline SkFDot6 cheap_distance(SkFDot6 dx, SkFDot6 dy) 143{ 144 dx = SkAbs32(dx); 145 dy = SkAbs32(dy); 146 // return max + min/2 147 if (dx > dy) 148 dx += dy >> 1; 149 else 150 dx = dy + (dx >> 1); 151 return dx; 152} 153 154static inline int diff_to_shift(SkFDot6 dx, SkFDot6 dy) 155{ 156 // cheap calc of distance from center of p0-p2 to the center of the curve 157 SkFDot6 dist = cheap_distance(dx, dy); 158 159 // shift down dist (it is currently in dot6) 160 // down by 5 should give us 1/2 pixel accuracy (assuming our dist is accurate...) 161 // this is chosen by heuristic: make it as big as possible (to minimize segments) 162 // ... but small enough so that our curves still look smooth 163 dist = (dist + (1 << 4)) >> 5; 164 165 // each subdivision (shift value) cuts this dist (error) by 1/4 166 return (32 - SkCLZ(dist)) >> 1; 167} 168 169int SkQuadraticEdge::setQuadratic(const SkPoint pts[3], int shift) 170{ 171 SkFDot6 x0, y0, x1, y1, x2, y2; 172 173 { 174 float scale = float(1 << (shift + 6)); 175 x0 = int(pts[0].fX * scale); 176 y0 = int(pts[0].fY * scale); 177 x1 = int(pts[1].fX * scale); 178 y1 = int(pts[1].fY * scale); 179 x2 = int(pts[2].fX * scale); 180 y2 = int(pts[2].fY * scale); 181 } 182 183 int winding = 1; 184 if (y0 > y2) 185 { 186 SkTSwap(x0, x2); 187 SkTSwap(y0, y2); 188 winding = -1; 189 } 190 SkASSERT(y0 <= y1 && y1 <= y2); 191 192 int top = SkFDot6Round(y0); 193 int bot = SkFDot6Round(y2); 194 195 // are we a zero-height quad (line)? 196 if (top == bot) 197 return 0; 198 199 // compute number of steps needed (1 << shift) 200 { 201 SkFDot6 dx = ((x1 << 1) - x0 - x2) >> 2; 202 SkFDot6 dy = ((y1 << 1) - y0 - y2) >> 2; 203 shift = diff_to_shift(dx, dy); 204 SkASSERT(shift >= 0); 205 } 206 // need at least 1 subdivision for our bias trick 207 if (shift == 0) { 208 shift = 1; 209 } else if (shift > MAX_COEFF_SHIFT) { 210 shift = MAX_COEFF_SHIFT; 211 } 212 213 fWinding = SkToS8(winding); 214 //fCubicDShift only set for cubics 215 fCurveCount = SkToS8(1 << shift); 216 217 /* 218 * We want to reformulate into polynomial form, to make it clear how we 219 * should forward-difference. 220 * 221 * p0 (1 - t)^2 + p1 t(1 - t) + p2 t^2 ==> At^2 + Bt + C 222 * 223 * A = p0 - 2p1 + p2 224 * B = 2(p1 - p0) 225 * C = p0 226 * 227 * Our caller must have constrained our inputs (p0..p2) to all fit into 228 * 16.16. However, as seen above, we sometimes compute values that can be 229 * larger (e.g. B = 2*(p1 - p0)). To guard against overflow, we will store 230 * A and B at 1/2 of their actual value, and just apply a 2x scale during 231 * application in updateQuadratic(). Hence we store (shift - 1) in 232 * fCurveShift. 233 */ 234 235 fCurveShift = SkToU8(shift - 1); 236 237 SkFixed A = SkFDot6ToFixedDiv2(x0 - x1 - x1 + x2); // 1/2 the real value 238 SkFixed B = SkFDot6ToFixed(x1 - x0); // 1/2 the real value 239 240 fQx = SkFDot6ToFixed(x0); 241 fQDx = B + (A >> shift); // biased by shift 242 fQDDx = A >> (shift - 1); // biased by shift 243 244 A = SkFDot6ToFixedDiv2(y0 - y1 - y1 + y2); // 1/2 the real value 245 B = SkFDot6ToFixed(y1 - y0); // 1/2 the real value 246 247 fQy = SkFDot6ToFixed(y0); 248 fQDy = B + (A >> shift); // biased by shift 249 fQDDy = A >> (shift - 1); // biased by shift 250 251 fQLastX = SkFDot6ToFixed(x2); 252 fQLastY = SkFDot6ToFixed(y2); 253 254 return this->updateQuadratic(); 255} 256 257int SkQuadraticEdge::updateQuadratic() 258{ 259 int success; 260 int count = fCurveCount; 261 SkFixed oldx = fQx; 262 SkFixed oldy = fQy; 263 SkFixed dx = fQDx; 264 SkFixed dy = fQDy; 265 SkFixed newx, newy; 266 int shift = fCurveShift; 267 268 SkASSERT(count > 0); 269 270 do { 271 if (--count > 0) 272 { 273 newx = oldx + (dx >> shift); 274 dx += fQDDx; 275 newy = oldy + (dy >> shift); 276 dy += fQDDy; 277 } 278 else // last segment 279 { 280 newx = fQLastX; 281 newy = fQLastY; 282 } 283 success = this->updateLine(oldx, oldy, newx, newy); 284 oldx = newx; 285 oldy = newy; 286 } while (count > 0 && !success); 287 288 fQx = newx; 289 fQy = newy; 290 fQDx = dx; 291 fQDy = dy; 292 fCurveCount = SkToS8(count); 293 return success; 294} 295 296///////////////////////////////////////////////////////////////////////// 297 298static inline int SkFDot6UpShift(SkFDot6 x, int upShift) { 299 SkASSERT((x << upShift >> upShift) == x); 300 return x << upShift; 301} 302 303/* f(1/3) = (8a + 12b + 6c + d) / 27 304 f(2/3) = (a + 6b + 12c + 8d) / 27 305 306 f(1/3)-b = (8a - 15b + 6c + d) / 27 307 f(2/3)-c = (a + 6b - 15c + 8d) / 27 308 309 use 16/512 to approximate 1/27 310*/ 311static SkFDot6 cubic_delta_from_line(SkFDot6 a, SkFDot6 b, SkFDot6 c, SkFDot6 d) 312{ 313 SkFDot6 oneThird = ((a << 3) - ((b << 4) - b) + 6*c + d) * 19 >> 9; 314 SkFDot6 twoThird = (a + 6*b - ((c << 4) - c) + (d << 3)) * 19 >> 9; 315 316 return SkMax32(SkAbs32(oneThird), SkAbs32(twoThird)); 317} 318 319int SkCubicEdge::setCubic(const SkPoint pts[4], const SkIRect* clip, int shift) 320{ 321 SkFDot6 x0, y0, x1, y1, x2, y2, x3, y3; 322 323 { 324 float scale = float(1 << (shift + 6)); 325 x0 = int(pts[0].fX * scale); 326 y0 = int(pts[0].fY * scale); 327 x1 = int(pts[1].fX * scale); 328 y1 = int(pts[1].fY * scale); 329 x2 = int(pts[2].fX * scale); 330 y2 = int(pts[2].fY * scale); 331 x3 = int(pts[3].fX * scale); 332 y3 = int(pts[3].fY * scale); 333 } 334 335 int winding = 1; 336 if (y0 > y3) 337 { 338 SkTSwap(x0, x3); 339 SkTSwap(x1, x2); 340 SkTSwap(y0, y3); 341 SkTSwap(y1, y2); 342 winding = -1; 343 } 344 345 int top = SkFDot6Round(y0); 346 int bot = SkFDot6Round(y3); 347 348 // are we a zero-height cubic (line)? 349 if (top == bot) 350 return 0; 351 352 // are we completely above or below the clip? 353 if (clip && (top >= clip->fBottom || bot <= clip->fTop)) 354 return 0; 355 356 // compute number of steps needed (1 << shift) 357 { 358 // Can't use (center of curve - center of baseline), since center-of-curve 359 // need not be the max delta from the baseline (it could even be coincident) 360 // so we try just looking at the two off-curve points 361 SkFDot6 dx = cubic_delta_from_line(x0, x1, x2, x3); 362 SkFDot6 dy = cubic_delta_from_line(y0, y1, y2, y3); 363 // add 1 (by observation) 364 shift = diff_to_shift(dx, dy) + 1; 365 } 366 // need at least 1 subdivision for our bias trick 367 SkASSERT(shift > 0); 368 if (shift > MAX_COEFF_SHIFT) { 369 shift = MAX_COEFF_SHIFT; 370 } 371 372 /* Since our in coming data is initially shifted down by 10 (or 8 in 373 antialias). That means the most we can shift up is 8. However, we 374 compute coefficients with a 3*, so the safest upshift is really 6 375 */ 376 int upShift = 6; // largest safe value 377 int downShift = shift + upShift - 10; 378 if (downShift < 0) { 379 downShift = 0; 380 upShift = 10 - shift; 381 } 382 383 fWinding = SkToS8(winding); 384 fCurveCount = SkToS8(-1 << shift); 385 fCurveShift = SkToU8(shift); 386 fCubicDShift = SkToU8(downShift); 387 388 SkFixed B = SkFDot6UpShift(3 * (x1 - x0), upShift); 389 SkFixed C = SkFDot6UpShift(3 * (x0 - x1 - x1 + x2), upShift); 390 SkFixed D = SkFDot6UpShift(x3 + 3 * (x1 - x2) - x0, upShift); 391 392 fCx = SkFDot6ToFixed(x0); 393 fCDx = B + (C >> shift) + (D >> 2*shift); // biased by shift 394 fCDDx = 2*C + (3*D >> (shift - 1)); // biased by 2*shift 395 fCDDDx = 3*D >> (shift - 1); // biased by 2*shift 396 397 B = SkFDot6UpShift(3 * (y1 - y0), upShift); 398 C = SkFDot6UpShift(3 * (y0 - y1 - y1 + y2), upShift); 399 D = SkFDot6UpShift(y3 + 3 * (y1 - y2) - y0, upShift); 400 401 fCy = SkFDot6ToFixed(y0); 402 fCDy = B + (C >> shift) + (D >> 2*shift); // biased by shift 403 fCDDy = 2*C + (3*D >> (shift - 1)); // biased by 2*shift 404 fCDDDy = 3*D >> (shift - 1); // biased by 2*shift 405 406 fCLastX = SkFDot6ToFixed(x3); 407 fCLastY = SkFDot6ToFixed(y3); 408 409 if (clip) 410 { 411 do { 412 if (!this->updateCubic()) { 413 return 0; 414 } 415 } while (!this->intersectsClip(*clip)); 416 this->chopLineWithClip(*clip); 417 return 1; 418 } 419 return this->updateCubic(); 420} 421 422int SkCubicEdge::updateCubic() 423{ 424 int success; 425 int count = fCurveCount; 426 SkFixed oldx = fCx; 427 SkFixed oldy = fCy; 428 SkFixed newx, newy; 429 const int ddshift = fCurveShift; 430 const int dshift = fCubicDShift; 431 432 SkASSERT(count < 0); 433 434 do { 435 if (++count < 0) 436 { 437 newx = oldx + (fCDx >> dshift); 438 fCDx += fCDDx >> ddshift; 439 fCDDx += fCDDDx; 440 441 newy = oldy + (fCDy >> dshift); 442 fCDy += fCDDy >> ddshift; 443 fCDDy += fCDDDy; 444 } 445 else // last segment 446 { 447 // SkDebugf("LastX err=%d, LastY err=%d\n", (oldx + (fCDx >> shift) - fLastX), (oldy + (fCDy >> shift) - fLastY)); 448 newx = fCLastX; 449 newy = fCLastY; 450 } 451 452 // we want to say SkASSERT(oldy <= newy), but our finite fixedpoint 453 // doesn't always achieve that, so we have to explicitly pin it here. 454 if (newy < oldy) { 455 newy = oldy; 456 } 457 458 success = this->updateLine(oldx, oldy, newx, newy); 459 oldx = newx; 460 oldy = newy; 461 } while (count < 0 && !success); 462 463 fCx = newx; 464 fCy = newy; 465 fCurveCount = SkToS8(count); 466 return success; 467} 468