GrShape.cpp revision 0ae36a2cebf35c68c3013383d3b640f70034be55
1/* 2 * Copyright 2016 Google Inc. 3 * 4 * Use of this source code is governed by a BSD-style license that can be 5 * found in the LICENSE file. 6 */ 7 8#include "GrShape.h" 9 10GrShape& GrShape::operator=(const GrShape& that) { 11 fStyle = that.fStyle; 12 this->changeType(that.fType, Type::kPath == that.fType ? &that.path() : nullptr); 13 switch (fType) { 14 case Type::kEmpty: 15 break; 16 case Type::kRRect: 17 fRRectData = that.fRRectData; 18 break; 19 case Type::kLine: 20 fLineData = that.fLineData; 21 break; 22 case Type::kPath: 23 fPathData.fGenID = that.fPathData.fGenID; 24 break; 25 } 26 fInheritedKey.reset(that.fInheritedKey.count()); 27 sk_careful_memcpy(fInheritedKey.get(), that.fInheritedKey.get(), 28 sizeof(uint32_t) * fInheritedKey.count()); 29 return *this; 30} 31 32SkRect GrShape::bounds() const { 33 // Bounds where left == bottom or top == right can indicate a line or point shape. We return 34 // inverted bounds for a truly empty shape. 35 static constexpr SkRect kInverted = SkRect::MakeLTRB(1, 1, -1, -1); 36 switch (fType) { 37 case Type::kEmpty: 38 return kInverted; 39 case Type::kLine: { 40 SkRect bounds; 41 if (fLineData.fPts[0].fX < fLineData.fPts[1].fX) { 42 bounds.fLeft = fLineData.fPts[0].fX; 43 bounds.fRight = fLineData.fPts[1].fX; 44 } else { 45 bounds.fLeft = fLineData.fPts[1].fX; 46 bounds.fRight = fLineData.fPts[0].fX; 47 } 48 if (fLineData.fPts[0].fY < fLineData.fPts[1].fY) { 49 bounds.fTop = fLineData.fPts[0].fY; 50 bounds.fBottom = fLineData.fPts[1].fY; 51 } else { 52 bounds.fTop = fLineData.fPts[1].fY; 53 bounds.fBottom = fLineData.fPts[0].fY; 54 } 55 return bounds; 56 } 57 case Type::kRRect: 58 return fRRectData.fRRect.getBounds(); 59 case Type::kPath: 60 return this->path().getBounds(); 61 } 62 SkFAIL("Unknown shape type"); 63 return kInverted; 64} 65 66SkRect GrShape::styledBounds() const { 67 if (Type::kEmpty == fType && !fStyle.hasNonDashPathEffect()) { 68 return SkRect::MakeEmpty(); 69 } 70 SkRect bounds; 71 fStyle.adjustBounds(&bounds, this->bounds()); 72 return bounds; 73} 74 75int GrShape::unstyledKeySize() const { 76 if (fInheritedKey.count()) { 77 return fInheritedKey.count(); 78 } 79 switch (fType) { 80 case Type::kEmpty: 81 return 1; 82 case Type::kRRect: 83 SkASSERT(!fInheritedKey.count()); 84 SkASSERT(0 == SkRRect::kSizeInMemory % sizeof(uint32_t)); 85 // + 1 for the direction, start index, and inverseness. 86 return SkRRect::kSizeInMemory / sizeof(uint32_t) + 1; 87 case Type::kLine: 88 GR_STATIC_ASSERT(2 * sizeof(uint32_t) == sizeof(SkPoint)); 89 // 4 for the end points and 1 for the inverseness 90 return 5; 91 case Type::kPath: 92 if (0 == fPathData.fGenID) { 93 return -1; 94 } else { 95 // The key is the path ID and fill type. 96 return 2; 97 } 98 } 99 SkFAIL("Should never get here."); 100 return 0; 101} 102 103void GrShape::writeUnstyledKey(uint32_t* key) const { 104 SkASSERT(this->unstyledKeySize()); 105 SkDEBUGCODE(uint32_t* origKey = key;) 106 if (fInheritedKey.count()) { 107 memcpy(key, fInheritedKey.get(), sizeof(uint32_t) * fInheritedKey.count()); 108 SkDEBUGCODE(key += fInheritedKey.count();) 109 } else { 110 switch (fType) { 111 case Type::kEmpty: 112 *key++ = 1; 113 break; 114 case Type::kRRect: 115 fRRectData.fRRect.writeToMemory(key); 116 key += SkRRect::kSizeInMemory / sizeof(uint32_t); 117 *key = (fRRectData.fDir == SkPath::kCCW_Direction) ? (1 << 31) : 0; 118 *key |= fRRectData.fInverted ? (1 << 30) : 0; 119 *key++ |= fRRectData.fStart; 120 SkASSERT(fRRectData.fStart < 8); 121 break; 122 case Type::kLine: 123 memcpy(key, fLineData.fPts, 2 * sizeof(SkPoint)); 124 key += 4; 125 *key++ = fLineData.fInverted ? 1 : 0; 126 break; 127 case Type::kPath: 128 SkASSERT(fPathData.fGenID); 129 *key++ = fPathData.fGenID; 130 // We could canonicalize the fill rule for paths that don't differentiate between 131 // even/odd or winding fill (e.g. convex). 132 *key++ = this->path().getFillType(); 133 break; 134 } 135 } 136 SkASSERT(key - origKey == this->unstyledKeySize()); 137} 138 139void GrShape::setInheritedKey(const GrShape &parent, GrStyle::Apply apply, SkScalar scale) { 140 SkASSERT(!fInheritedKey.count()); 141 // If the output shape turns out to be simple, then we will just use its geometric key 142 if (Type::kPath == fType) { 143 // We want ApplyFullStyle(ApplyPathEffect(shape)) to have the same key as 144 // ApplyFullStyle(shape). 145 // The full key is structured as (geo,path_effect,stroke). 146 // If we do ApplyPathEffect we get get,path_effect as the inherited key. If we then 147 // do ApplyFullStyle we'll memcpy geo,path_effect into the new inherited key 148 // and then append the style key (which should now be stroke only) at the end. 149 int parentCnt = parent.fInheritedKey.count(); 150 bool useParentGeoKey = !parentCnt; 151 if (useParentGeoKey) { 152 parentCnt = parent.unstyledKeySize(); 153 if (parentCnt < 0) { 154 // The parent's geometry has no key so we will have no key. 155 fPathData.fGenID = 0; 156 return; 157 } 158 } 159 uint32_t styleKeyFlags = 0; 160 if (parent.knownToBeClosed()) { 161 styleKeyFlags |= GrStyle::kClosed_KeyFlag; 162 } 163 if (parent.asLine(nullptr, nullptr)) { 164 styleKeyFlags |= GrStyle::kNoJoins_KeyFlag; 165 } 166 int styleCnt = GrStyle::KeySize(parent.fStyle, apply, styleKeyFlags); 167 if (styleCnt < 0) { 168 // The style doesn't allow a key, set the path gen ID to 0 so that we fail when 169 // we try to get a key for the shape. 170 fPathData.fGenID = 0; 171 return; 172 } 173 fInheritedKey.reset(parentCnt + styleCnt); 174 if (useParentGeoKey) { 175 // This will be the geo key. 176 parent.writeUnstyledKey(fInheritedKey.get()); 177 } else { 178 // This should be (geo,path_effect). 179 memcpy(fInheritedKey.get(), parent.fInheritedKey.get(), 180 parentCnt * sizeof(uint32_t)); 181 } 182 // Now turn (geo,path_effect) or (geo) into (geo,path_effect,stroke) 183 GrStyle::WriteKey(fInheritedKey.get() + parentCnt, parent.fStyle, apply, scale, 184 styleKeyFlags); 185 } 186} 187 188GrShape::GrShape(const GrShape& that) : fStyle(that.fStyle) { 189 const SkPath* thatPath = Type::kPath == that.fType ? &that.fPathData.fPath : nullptr; 190 this->initType(that.fType, thatPath); 191 switch (fType) { 192 case Type::kEmpty: 193 break; 194 case Type::kRRect: 195 fRRectData = that.fRRectData; 196 break; 197 case Type::kLine: 198 fLineData = that.fLineData; 199 break; 200 case Type::kPath: 201 fPathData.fGenID = that.fPathData.fGenID; 202 break; 203 } 204 fInheritedKey.reset(that.fInheritedKey.count()); 205 sk_careful_memcpy(fInheritedKey.get(), that.fInheritedKey.get(), 206 sizeof(uint32_t) * fInheritedKey.count()); 207} 208 209GrShape::GrShape(const GrShape& parent, GrStyle::Apply apply, SkScalar scale) { 210 // TODO: Add some quantization of scale for better cache performance here or leave that up 211 // to caller? 212 // TODO: For certain shapes and stroke params we could ignore the scale. (e.g. miter or bevel 213 // stroke of a rect). 214 if (!parent.style().applies() || 215 (GrStyle::Apply::kPathEffectOnly == apply && !parent.style().pathEffect())) { 216 this->initType(Type::kEmpty); 217 *this = parent; 218 return; 219 } 220 221 SkPathEffect* pe = parent.fStyle.pathEffect(); 222 SkTLazy<SkPath> tmpPath; 223 const GrShape* parentForKey = &parent; 224 SkTLazy<GrShape> tmpParent; 225 this->initType(Type::kPath); 226 fPathData.fGenID = 0; 227 if (pe) { 228 const SkPath* srcForPathEffect; 229 if (parent.fType == Type::kPath) { 230 srcForPathEffect = &parent.path(); 231 } else { 232 srcForPathEffect = tmpPath.init(); 233 parent.asPath(tmpPath.get()); 234 } 235 // Should we consider bounds? Would have to include in key, but it'd be nice to know 236 // if the bounds actually modified anything before including in key. 237 SkStrokeRec strokeRec = parent.fStyle.strokeRec(); 238 if (!parent.fStyle.applyPathEffectToPath(&this->path(), &strokeRec, *srcForPathEffect, 239 scale)) { 240 tmpParent.init(*srcForPathEffect, GrStyle(strokeRec, nullptr)); 241 *this = tmpParent.get()->applyStyle(apply, scale); 242 return; 243 } 244 // A path effect has access to change the res scale but we aren't expecting it to and it 245 // would mess up our key computation. 246 SkASSERT(scale == strokeRec.getResScale()); 247 if (GrStyle::Apply::kPathEffectAndStrokeRec == apply && strokeRec.needToApply()) { 248 // The intermediate shape may not be a general path. If we we're just applying 249 // the path effect then attemptToReduceFromPath would catch it. This means that 250 // when we subsequently applied the remaining strokeRec we would have a non-path 251 // parent shape that would be used to determine the the stroked path's key. 252 // We detect that case here and change parentForKey to a temporary that represents 253 // the simpler shape so that applying both path effect and the strokerec all at 254 // once produces the same key. 255 tmpParent.init(this->path(), GrStyle(strokeRec, nullptr)); 256 tmpParent.get()->setInheritedKey(parent, GrStyle::Apply::kPathEffectOnly, scale); 257 if (!tmpPath.isValid()) { 258 tmpPath.init(); 259 } 260 tmpParent.get()->asPath(tmpPath.get()); 261 SkStrokeRec::InitStyle fillOrHairline; 262 // The parent shape may have simplified away the strokeRec, check for that here. 263 if (tmpParent.get()->style().applies()) { 264 SkAssertResult(tmpParent.get()->style().applyToPath(&this->path(), &fillOrHairline, 265 *tmpPath.get(), scale)); 266 } else if (tmpParent.get()->style().isSimpleFill()) { 267 fillOrHairline = SkStrokeRec::kFill_InitStyle; 268 } else { 269 SkASSERT(tmpParent.get()->style().isSimpleHairline()); 270 fillOrHairline = SkStrokeRec::kHairline_InitStyle; 271 } 272 fStyle.resetToInitStyle(fillOrHairline); 273 parentForKey = tmpParent.get(); 274 } else { 275 fStyle = GrStyle(strokeRec, nullptr); 276 } 277 } else { 278 const SkPath* srcForParentStyle; 279 if (parent.fType == Type::kPath) { 280 srcForParentStyle = &parent.path(); 281 } else { 282 srcForParentStyle = tmpPath.init(); 283 parent.asPath(tmpPath.get()); 284 } 285 SkStrokeRec::InitStyle fillOrHairline; 286 SkASSERT(parent.fStyle.applies()); 287 SkASSERT(!parent.fStyle.pathEffect()); 288 SkAssertResult(parent.fStyle.applyToPath(&this->path(), &fillOrHairline, *srcForParentStyle, 289 scale)); 290 fStyle.resetToInitStyle(fillOrHairline); 291 } 292 this->attemptToSimplifyPath(); 293 this->setInheritedKey(*parentForKey, apply, scale); 294} 295 296void GrShape::attemptToSimplifyPath() { 297 SkRect rect; 298 SkRRect rrect; 299 SkPath::Direction rrectDir; 300 unsigned rrectStart; 301 bool inverted = this->path().isInverseFillType(); 302 SkPoint pts[2]; 303 if (this->path().isEmpty()) { 304 this->changeType(Type::kEmpty); 305 } else if (this->path().isLine(pts)) { 306 this->changeType(Type::kLine); 307 fLineData.fPts[0] = pts[0]; 308 fLineData.fPts[1] = pts[1]; 309 fLineData.fInverted = inverted; 310 } else if (this->path().isRRect(&rrect, &rrectDir, &rrectStart)) { 311 this->changeType(Type::kRRect); 312 fRRectData.fRRect = rrect; 313 fRRectData.fDir = rrectDir; 314 fRRectData.fStart = rrectStart; 315 fRRectData.fInverted = inverted; 316 // Currently SkPath does not acknowledge that empty, rect, or oval subtypes as rrects. 317 SkASSERT(!fRRectData.fRRect.isEmpty()); 318 SkASSERT(fRRectData.fRRect.getType() != SkRRect::kRect_Type); 319 SkASSERT(fRRectData.fRRect.getType() != SkRRect::kOval_Type); 320 } else if (this->path().isOval(&rect, &rrectDir, &rrectStart)) { 321 this->changeType(Type::kRRect); 322 fRRectData.fRRect.setOval(rect); 323 fRRectData.fDir = rrectDir; 324 fRRectData.fInverted = inverted; 325 // convert from oval indexing to rrect indexiing. 326 fRRectData.fStart = 2 * rrectStart; 327 } else if (SkPathPriv::IsSimpleClosedRect(this->path(), &rect, &rrectDir, &rrectStart)) { 328 this->changeType(Type::kRRect); 329 // When there is a path effect we restrict rect detection to the narrower API that 330 // gives us the starting position. Otherwise, we will retry with the more aggressive 331 // isRect(). 332 fRRectData.fRRect.setRect(rect); 333 fRRectData.fInverted = inverted; 334 fRRectData.fDir = rrectDir; 335 // convert from rect indexing to rrect indexiing. 336 fRRectData.fStart = 2 * rrectStart; 337 } else if (!this->style().hasPathEffect()) { 338 bool closed; 339 if (this->path().isRect(&rect, &closed, nullptr)) { 340 if (closed || this->style().isSimpleFill()) { 341 this->changeType(Type::kRRect); 342 fRRectData.fRRect.setRect(rect); 343 // Since there is no path effect the dir and start index is immaterial. 344 fRRectData.fDir = kDefaultRRectDir; 345 fRRectData.fStart = kDefaultRRectStart; 346 // There isn't dashing so we will have to preserver inverseness. 347 fRRectData.fInverted = inverted; 348 } 349 } 350 } 351 if (Type::kPath != fType) { 352 fInheritedKey.reset(0); 353 if (Type::kRRect == fType) { 354 this->attemptToSimplifyRRect(); 355 } else if (Type::kLine == fType) { 356 this->attemptToSimplifyLine(); 357 } 358 } else { 359 if (fInheritedKey.count() || this->path().isVolatile()) { 360 fPathData.fGenID = 0; 361 } else { 362 fPathData.fGenID = this->path().getGenerationID(); 363 } 364 if (this->style().isSimpleFill()) { 365 this->path().close(); 366 this->path().setIsVolatile(true); 367 } 368 if (!this->style().hasNonDashPathEffect()) { 369 if (this->style().strokeRec().getStyle() == SkStrokeRec::kStroke_Style || 370 this->style().strokeRec().getStyle() == SkStrokeRec::kHairline_Style) { 371 // Stroke styles don't differentiate between winding and even/odd. 372 // Moreover, dashing ignores inverseness (skbug.com/5421) 373 bool inverse = !this->style().isDashed() && this->path().isInverseFillType(); 374 if (inverse) { 375 this->path().setFillType(kDefaultPathInverseFillType); 376 } else { 377 this->path().setFillType(kDefaultPathFillType); 378 } 379 } else if (this->path().isConvex()) { 380 // There is no distinction between even/odd and non-zero winding count for convex 381 // paths. 382 if (this->path().isInverseFillType()) { 383 this->path().setFillType(kDefaultPathInverseFillType); 384 } else { 385 this->path().setFillType(kDefaultPathFillType); 386 } 387 } 388 } 389 } 390} 391 392void GrShape::attemptToSimplifyRRect() { 393 SkASSERT(Type::kRRect == fType); 394 SkASSERT(!fInheritedKey.count()); 395 if (fRRectData.fRRect.isEmpty()) { 396 fType = Type::kEmpty; 397 return; 398 } 399 if (!this->style().hasPathEffect()) { 400 fRRectData.fDir = kDefaultRRectDir; 401 fRRectData.fStart = kDefaultRRectStart; 402 } else if (fStyle.isDashed()) { 403 // Dashing ignores the inverseness (currently). skbug.com/5421 404 fRRectData.fInverted = false; 405 } 406} 407 408void GrShape::attemptToSimplifyLine() { 409 SkASSERT(Type::kLine == fType); 410 SkASSERT(!fInheritedKey.count()); 411 if (fStyle.isDashed()) { 412 // Dashing ignores inverseness. 413 fLineData.fInverted = false; 414 return; 415 } else if (fStyle.hasPathEffect()) { 416 return; 417 } 418 if (fStyle.strokeRec().getStyle() == SkStrokeRec::kStrokeAndFill_Style) { 419 // Make stroke + fill be stroke since the fill is empty. 420 SkStrokeRec rec = fStyle.strokeRec(); 421 rec.setStrokeStyle(fStyle.strokeRec().getWidth(), false); 422 fStyle = GrStyle(rec, nullptr); 423 } 424 if (fStyle.isSimpleFill() && !fLineData.fInverted) { 425 this->changeType(Type::kEmpty); 426 return; 427 } 428 SkPoint* pts = fLineData.fPts; 429 if (fStyle.strokeRec().getStyle() == SkStrokeRec::kStroke_Style) { 430 // If it is horizontal or vertical we will turn it into a filled rrect. 431 SkRect rect; 432 rect.fLeft = SkTMin(pts[0].fX, pts[1].fX); 433 rect.fRight = SkTMax(pts[0].fX, pts[1].fX); 434 rect.fTop = SkTMin(pts[0].fY, pts[1].fY); 435 rect.fBottom = SkTMax(pts[0].fY, pts[1].fY); 436 bool eqX = rect.fLeft == rect.fRight; 437 bool eqY = rect.fTop == rect.fBottom; 438 if (eqX || eqY) { 439 SkScalar r = fStyle.strokeRec().getWidth() / 2; 440 bool inverted = fLineData.fInverted; 441 this->changeType(Type::kRRect); 442 switch (fStyle.strokeRec().getCap()) { 443 case SkPaint::kButt_Cap: 444 if (eqX && eqY) { 445 this->changeType(Type::kEmpty); 446 return; 447 } 448 if (eqX) { 449 rect.outset(r, 0); 450 } else { 451 rect.outset(0, r); 452 } 453 fRRectData.fRRect = SkRRect::MakeRect(rect); 454 break; 455 case SkPaint::kSquare_Cap: 456 rect.outset(r, r); 457 fRRectData.fRRect = SkRRect::MakeRect(rect); 458 break; 459 case SkPaint::kRound_Cap: 460 rect.outset(r, r); 461 fRRectData.fRRect = SkRRect::MakeRectXY(rect, r, r); 462 break; 463 } 464 fRRectData.fInverted = inverted; 465 fRRectData.fDir = kDefaultRRectDir; 466 fRRectData.fStart = kDefaultRRectStart; 467 if (fRRectData.fRRect.isEmpty()) { 468 // This can happen when r is very small relative to the rect edges. 469 this->changeType(Type::kEmpty); 470 return; 471 } 472 fStyle = GrStyle::SimpleFill(); 473 return; 474 } 475 } 476 // Only path effects could care about the order of the points. Otherwise canonicalize 477 // the point order. 478 if (pts[1].fY < pts[0].fY || (pts[1].fY == pts[0].fY && pts[1].fX < pts[0].fX)) { 479 SkTSwap(pts[0], pts[1]); 480 } 481} 482