1 /*
2 * Copyright 2013 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 "SkBuffer.h"
9 #include "SkOnce.h"
10 #include "SkPath.h"
11 #include "SkPathRef.h"
12
13 //////////////////////////////////////////////////////////////////////////////
Editor(SkAutoTUnref<SkPathRef> * pathRef,int incReserveVerbs,int incReservePoints)14 SkPathRef::Editor::Editor(SkAutoTUnref<SkPathRef>* pathRef,
15 int incReserveVerbs,
16 int incReservePoints)
17 {
18 if ((*pathRef)->unique()) {
19 (*pathRef)->incReserve(incReserveVerbs, incReservePoints);
20 } else {
21 SkPathRef* copy = SkNEW(SkPathRef);
22 copy->copy(**pathRef, incReserveVerbs, incReservePoints);
23 pathRef->reset(copy);
24 }
25 fPathRef = *pathRef;
26 fPathRef->fGenerationID = 0;
27 SkDEBUGCODE(sk_atomic_inc(&fPathRef->fEditorsAttached);)
28 }
29
30 //////////////////////////////////////////////////////////////////////////////
CreateEmptyImpl(SkPathRef ** empty)31 void SkPathRef::CreateEmptyImpl(SkPathRef** empty) {
32 *empty = SkNEW(SkPathRef);
33 (*empty)->computeBounds(); // Preemptively avoid a race to clear fBoundsIsDirty.
34 }
35
CreateEmpty()36 SkPathRef* SkPathRef::CreateEmpty() {
37 static SkPathRef* gEmptyPathRef;
38 SK_DECLARE_STATIC_ONCE(once);
39 SkOnce(&once, SkPathRef::CreateEmptyImpl, &gEmptyPathRef);
40 return SkRef(gEmptyPathRef);
41 }
42
CreateTransformedCopy(SkAutoTUnref<SkPathRef> * dst,const SkPathRef & src,const SkMatrix & matrix)43 void SkPathRef::CreateTransformedCopy(SkAutoTUnref<SkPathRef>* dst,
44 const SkPathRef& src,
45 const SkMatrix& matrix) {
46 SkDEBUGCODE(src.validate();)
47 if (matrix.isIdentity()) {
48 if (*dst != &src) {
49 src.ref();
50 dst->reset(const_cast<SkPathRef*>(&src));
51 SkDEBUGCODE((*dst)->validate();)
52 }
53 return;
54 }
55
56 if (!(*dst)->unique()) {
57 dst->reset(SkNEW(SkPathRef));
58 }
59
60 if (*dst != &src) {
61 (*dst)->resetToSize(src.fVerbCnt, src.fPointCnt, src.fConicWeights.count());
62 memcpy((*dst)->verbsMemWritable(), src.verbsMemBegin(), src.fVerbCnt * sizeof(uint8_t));
63 (*dst)->fConicWeights = src.fConicWeights;
64 }
65
66 SkASSERT((*dst)->countPoints() == src.countPoints());
67 SkASSERT((*dst)->countVerbs() == src.countVerbs());
68 SkASSERT((*dst)->fConicWeights.count() == src.fConicWeights.count());
69
70 // Need to check this here in case (&src == dst)
71 bool canXformBounds = !src.fBoundsIsDirty && matrix.rectStaysRect() && src.countPoints() > 1;
72
73 matrix.mapPoints((*dst)->fPoints, src.points(), src.fPointCnt);
74
75 /*
76 * Here we optimize the bounds computation, by noting if the bounds are
77 * already known, and if so, we just transform those as well and mark
78 * them as "known", rather than force the transformed path to have to
79 * recompute them.
80 *
81 * Special gotchas if the path is effectively empty (<= 1 point) or
82 * if it is non-finite. In those cases bounds need to stay empty,
83 * regardless of the matrix.
84 */
85 if (canXformBounds) {
86 (*dst)->fBoundsIsDirty = false;
87 if (src.fIsFinite) {
88 matrix.mapRect(&(*dst)->fBounds, src.fBounds);
89 if (!((*dst)->fIsFinite = (*dst)->fBounds.isFinite())) {
90 (*dst)->fBounds.setEmpty();
91 }
92 } else {
93 (*dst)->fIsFinite = false;
94 (*dst)->fBounds.setEmpty();
95 }
96 } else {
97 (*dst)->fBoundsIsDirty = true;
98 }
99
100 (*dst)->fSegmentMask = src.fSegmentMask;
101
102 // It's an oval only if it stays a rect.
103 (*dst)->fIsOval = src.fIsOval && matrix.rectStaysRect();
104
105 SkDEBUGCODE((*dst)->validate();)
106 }
107
CreateFromBuffer(SkRBuffer * buffer,bool newFormat,int32_t oldPacked)108 SkPathRef* SkPathRef::CreateFromBuffer(SkRBuffer* buffer
109 #ifndef DELETE_THIS_CODE_WHEN_SKPS_ARE_REBUILT_AT_V16_AND_ALL_OTHER_INSTANCES_TOO
110 , bool newFormat, int32_t oldPacked
111 #endif
112 ) {
113 SkPathRef* ref = SkNEW(SkPathRef);
114 bool isOval;
115 uint8_t segmentMask;
116
117 int32_t packed;
118 if (!buffer->readS32(&packed)) {
119 SkDELETE(ref);
120 return NULL;
121 }
122
123 ref->fIsFinite = (packed >> kIsFinite_SerializationShift) & 1;
124
125 #ifndef DELETE_THIS_CODE_WHEN_SKPS_ARE_REBUILT_AT_V16_AND_ALL_OTHER_INSTANCES_TOO
126 if (newFormat) {
127 #endif
128 segmentMask = (packed >> kSegmentMask_SerializationShift) & 0xF;
129 isOval = (packed >> kIsOval_SerializationShift) & 1;
130 #ifndef DELETE_THIS_CODE_WHEN_SKPS_ARE_REBUILT_AT_V16_AND_ALL_OTHER_INSTANCES_TOO
131 } else {
132 segmentMask = (oldPacked >> SkPath::kOldSegmentMask_SerializationShift) & 0xF;
133 isOval = (oldPacked >> SkPath::kOldIsOval_SerializationShift) & 1;
134 }
135 #endif
136
137 int32_t verbCount, pointCount, conicCount;
138 if (!buffer->readU32(&(ref->fGenerationID)) ||
139 !buffer->readS32(&verbCount) ||
140 !buffer->readS32(&pointCount) ||
141 !buffer->readS32(&conicCount)) {
142 SkDELETE(ref);
143 return NULL;
144 }
145
146 ref->resetToSize(verbCount, pointCount, conicCount);
147 SkASSERT(verbCount == ref->countVerbs());
148 SkASSERT(pointCount == ref->countPoints());
149 SkASSERT(conicCount == ref->fConicWeights.count());
150
151 if (!buffer->read(ref->verbsMemWritable(), verbCount * sizeof(uint8_t)) ||
152 !buffer->read(ref->fPoints, pointCount * sizeof(SkPoint)) ||
153 !buffer->read(ref->fConicWeights.begin(), conicCount * sizeof(SkScalar)) ||
154 !buffer->read(&ref->fBounds, sizeof(SkRect))) {
155 SkDELETE(ref);
156 return NULL;
157 }
158 ref->fBoundsIsDirty = false;
159
160 // resetToSize clears fSegmentMask and fIsOval
161 ref->fSegmentMask = segmentMask;
162 ref->fIsOval = isOval;
163 return ref;
164 }
165
Rewind(SkAutoTUnref<SkPathRef> * pathRef)166 void SkPathRef::Rewind(SkAutoTUnref<SkPathRef>* pathRef) {
167 if ((*pathRef)->unique()) {
168 SkDEBUGCODE((*pathRef)->validate();)
169 (*pathRef)->fBoundsIsDirty = true; // this also invalidates fIsFinite
170 (*pathRef)->fVerbCnt = 0;
171 (*pathRef)->fPointCnt = 0;
172 (*pathRef)->fFreeSpace = (*pathRef)->currSize();
173 (*pathRef)->fGenerationID = 0;
174 (*pathRef)->fConicWeights.rewind();
175 (*pathRef)->fSegmentMask = 0;
176 (*pathRef)->fIsOval = false;
177 SkDEBUGCODE((*pathRef)->validate();)
178 } else {
179 int oldVCnt = (*pathRef)->countVerbs();
180 int oldPCnt = (*pathRef)->countPoints();
181 pathRef->reset(SkNEW(SkPathRef));
182 (*pathRef)->resetToSize(0, 0, 0, oldVCnt, oldPCnt);
183 }
184 }
185
operator ==(const SkPathRef & ref) const186 bool SkPathRef::operator== (const SkPathRef& ref) const {
187 SkDEBUGCODE(this->validate();)
188 SkDEBUGCODE(ref.validate();)
189
190 // We explicitly check fSegmentMask as a quick-reject. We could skip it,
191 // since it is only a cache of info in the fVerbs, but its a fast way to
192 // notice a difference
193 if (fSegmentMask != ref.fSegmentMask) {
194 return false;
195 }
196
197 bool genIDMatch = fGenerationID && fGenerationID == ref.fGenerationID;
198 #ifdef SK_RELEASE
199 if (genIDMatch) {
200 return true;
201 }
202 #endif
203 if (fPointCnt != ref.fPointCnt ||
204 fVerbCnt != ref.fVerbCnt) {
205 SkASSERT(!genIDMatch);
206 return false;
207 }
208 if (0 != memcmp(this->verbsMemBegin(),
209 ref.verbsMemBegin(),
210 ref.fVerbCnt * sizeof(uint8_t))) {
211 SkASSERT(!genIDMatch);
212 return false;
213 }
214 if (0 != memcmp(this->points(),
215 ref.points(),
216 ref.fPointCnt * sizeof(SkPoint))) {
217 SkASSERT(!genIDMatch);
218 return false;
219 }
220 if (fConicWeights != ref.fConicWeights) {
221 SkASSERT(!genIDMatch);
222 return false;
223 }
224 // We've done the work to determine that these are equal. If either has a zero genID, copy
225 // the other's. If both are 0 then genID() will compute the next ID.
226 if (0 == fGenerationID) {
227 fGenerationID = ref.genID();
228 } else if (0 == ref.fGenerationID) {
229 ref.fGenerationID = this->genID();
230 }
231 return true;
232 }
233
writeToBuffer(SkWBuffer * buffer) const234 void SkPathRef::writeToBuffer(SkWBuffer* buffer) const {
235 SkDEBUGCODE(this->validate();)
236 SkDEBUGCODE(size_t beforePos = buffer->pos();)
237
238 // Call getBounds() to ensure (as a side-effect) that fBounds
239 // and fIsFinite are computed.
240 const SkRect& bounds = this->getBounds();
241
242 int32_t packed = ((fIsFinite & 1) << kIsFinite_SerializationShift) |
243 ((fIsOval & 1) << kIsOval_SerializationShift) |
244 (fSegmentMask << kSegmentMask_SerializationShift);
245 buffer->write32(packed);
246
247 // TODO: write gen ID here. Problem: We don't know if we're cross process or not from
248 // SkWBuffer. Until this is fixed we write 0.
249 buffer->write32(0);
250 buffer->write32(fVerbCnt);
251 buffer->write32(fPointCnt);
252 buffer->write32(fConicWeights.count());
253 buffer->write(verbsMemBegin(), fVerbCnt * sizeof(uint8_t));
254 buffer->write(fPoints, fPointCnt * sizeof(SkPoint));
255 buffer->write(fConicWeights.begin(), fConicWeights.bytes());
256 buffer->write(&bounds, sizeof(bounds));
257
258 SkASSERT(buffer->pos() - beforePos == (size_t) this->writeSize());
259 }
260
writeSize() const261 uint32_t SkPathRef::writeSize() const {
262 return uint32_t(5 * sizeof(uint32_t) +
263 fVerbCnt * sizeof(uint8_t) +
264 fPointCnt * sizeof(SkPoint) +
265 fConicWeights.bytes() +
266 sizeof(SkRect));
267 }
268
copy(const SkPathRef & ref,int additionalReserveVerbs,int additionalReservePoints)269 void SkPathRef::copy(const SkPathRef& ref,
270 int additionalReserveVerbs,
271 int additionalReservePoints) {
272 SkDEBUGCODE(this->validate();)
273 this->resetToSize(ref.fVerbCnt, ref.fPointCnt, ref.fConicWeights.count(),
274 additionalReserveVerbs, additionalReservePoints);
275 memcpy(this->verbsMemWritable(), ref.verbsMemBegin(), ref.fVerbCnt * sizeof(uint8_t));
276 memcpy(this->fPoints, ref.fPoints, ref.fPointCnt * sizeof(SkPoint));
277 fConicWeights = ref.fConicWeights;
278 // We could call genID() here to force a real ID (instead of 0). However, if we're making
279 // a copy then presumably we intend to make a modification immediately afterwards.
280 fGenerationID = ref.fGenerationID;
281 fBoundsIsDirty = ref.fBoundsIsDirty;
282 if (!fBoundsIsDirty) {
283 fBounds = ref.fBounds;
284 fIsFinite = ref.fIsFinite;
285 }
286 fSegmentMask = ref.fSegmentMask;
287 fIsOval = ref.fIsOval;
288 SkDEBUGCODE(this->validate();)
289 }
290
growForRepeatedVerb(int verb,int numVbs,SkScalar ** weights)291 SkPoint* SkPathRef::growForRepeatedVerb(int /*SkPath::Verb*/ verb,
292 int numVbs,
293 SkScalar** weights) {
294 // This value is just made-up for now. When count is 4, calling memset was much
295 // slower than just writing the loop. This seems odd, and hopefully in the
296 // future this will appear to have been a fluke...
297 static const unsigned int kMIN_COUNT_FOR_MEMSET_TO_BE_FAST = 16;
298
299 SkDEBUGCODE(this->validate();)
300 int pCnt;
301 bool dirtyAfterEdit = true;
302 switch (verb) {
303 case SkPath::kMove_Verb:
304 pCnt = numVbs;
305 dirtyAfterEdit = false;
306 break;
307 case SkPath::kLine_Verb:
308 fSegmentMask |= SkPath::kLine_SegmentMask;
309 pCnt = numVbs;
310 break;
311 case SkPath::kQuad_Verb:
312 fSegmentMask |= SkPath::kQuad_SegmentMask;
313 pCnt = 2 * numVbs;
314 break;
315 case SkPath::kConic_Verb:
316 fSegmentMask |= SkPath::kConic_SegmentMask;
317 pCnt = 2 * numVbs;
318 break;
319 case SkPath::kCubic_Verb:
320 fSegmentMask |= SkPath::kCubic_SegmentMask;
321 pCnt = 3 * numVbs;
322 break;
323 case SkPath::kClose_Verb:
324 SkDEBUGFAIL("growForRepeatedVerb called for kClose_Verb");
325 pCnt = 0;
326 dirtyAfterEdit = false;
327 break;
328 case SkPath::kDone_Verb:
329 SkDEBUGFAIL("growForRepeatedVerb called for kDone");
330 // fall through
331 default:
332 SkDEBUGFAIL("default should not be reached");
333 pCnt = 0;
334 dirtyAfterEdit = false;
335 }
336
337 size_t space = numVbs * sizeof(uint8_t) + pCnt * sizeof (SkPoint);
338 this->makeSpace(space);
339
340 SkPoint* ret = fPoints + fPointCnt;
341 uint8_t* vb = fVerbs - fVerbCnt;
342
343 // cast to unsigned, so if kMIN_COUNT_FOR_MEMSET_TO_BE_FAST is defined to
344 // be 0, the compiler will remove the test/branch entirely.
345 if ((unsigned)numVbs >= kMIN_COUNT_FOR_MEMSET_TO_BE_FAST) {
346 memset(vb - numVbs, verb, numVbs);
347 } else {
348 for (int i = 0; i < numVbs; ++i) {
349 vb[~i] = verb;
350 }
351 }
352
353 fVerbCnt += numVbs;
354 fPointCnt += pCnt;
355 fFreeSpace -= space;
356 fBoundsIsDirty = true; // this also invalidates fIsFinite
357 if (dirtyAfterEdit) {
358 fIsOval = false;
359 }
360
361 if (SkPath::kConic_Verb == verb) {
362 SkASSERT(NULL != weights);
363 *weights = fConicWeights.append(numVbs);
364 }
365
366 SkDEBUGCODE(this->validate();)
367 return ret;
368 }
369
growForVerb(int verb,SkScalar weight)370 SkPoint* SkPathRef::growForVerb(int /* SkPath::Verb*/ verb, SkScalar weight) {
371 SkDEBUGCODE(this->validate();)
372 int pCnt;
373 bool dirtyAfterEdit = true;
374 switch (verb) {
375 case SkPath::kMove_Verb:
376 pCnt = 1;
377 dirtyAfterEdit = false;
378 break;
379 case SkPath::kLine_Verb:
380 fSegmentMask |= SkPath::kLine_SegmentMask;
381 pCnt = 1;
382 break;
383 case SkPath::kQuad_Verb:
384 fSegmentMask |= SkPath::kQuad_SegmentMask;
385 pCnt = 2;
386 break;
387 case SkPath::kConic_Verb:
388 fSegmentMask |= SkPath::kConic_SegmentMask;
389 pCnt = 2;
390 break;
391 case SkPath::kCubic_Verb:
392 fSegmentMask |= SkPath::kCubic_SegmentMask;
393 pCnt = 3;
394 break;
395 case SkPath::kClose_Verb:
396 pCnt = 0;
397 dirtyAfterEdit = false;
398 break;
399 case SkPath::kDone_Verb:
400 SkDEBUGFAIL("growForVerb called for kDone");
401 // fall through
402 default:
403 SkDEBUGFAIL("default is not reached");
404 dirtyAfterEdit = false;
405 pCnt = 0;
406 }
407 size_t space = sizeof(uint8_t) + pCnt * sizeof (SkPoint);
408 this->makeSpace(space);
409 this->fVerbs[~fVerbCnt] = verb;
410 SkPoint* ret = fPoints + fPointCnt;
411 fVerbCnt += 1;
412 fPointCnt += pCnt;
413 fFreeSpace -= space;
414 fBoundsIsDirty = true; // this also invalidates fIsFinite
415 if (dirtyAfterEdit) {
416 fIsOval = false;
417 }
418
419 if (SkPath::kConic_Verb == verb) {
420 *fConicWeights.append() = weight;
421 }
422
423 SkDEBUGCODE(this->validate();)
424 return ret;
425 }
426
genID() const427 uint32_t SkPathRef::genID() const {
428 SkASSERT(!fEditorsAttached);
429 static const uint32_t kMask = (static_cast<int64_t>(1) << SkPath::kPathRefGenIDBitCnt) - 1;
430 if (!fGenerationID) {
431 if (0 == fPointCnt && 0 == fVerbCnt) {
432 fGenerationID = kEmptyGenID;
433 } else {
434 static int32_t gPathRefGenerationID;
435 // do a loop in case our global wraps around, as we never want to return a 0 or the
436 // empty ID
437 do {
438 fGenerationID = (sk_atomic_inc(&gPathRefGenerationID) + 1) & kMask;
439 } while (fGenerationID <= kEmptyGenID);
440 }
441 }
442 return fGenerationID;
443 }
444
445 #ifdef SK_DEBUG
validate() const446 void SkPathRef::validate() const {
447 this->INHERITED::validate();
448 SkASSERT(static_cast<ptrdiff_t>(fFreeSpace) >= 0);
449 SkASSERT(reinterpret_cast<intptr_t>(fVerbs) - reinterpret_cast<intptr_t>(fPoints) >= 0);
450 SkASSERT((NULL == fPoints) == (NULL == fVerbs));
451 SkASSERT(!(NULL == fPoints && 0 != fFreeSpace));
452 SkASSERT(!(NULL == fPoints && 0 != fFreeSpace));
453 SkASSERT(!(NULL == fPoints && fPointCnt));
454 SkASSERT(!(NULL == fVerbs && fVerbCnt));
455 SkASSERT(this->currSize() ==
456 fFreeSpace + sizeof(SkPoint) * fPointCnt + sizeof(uint8_t) * fVerbCnt);
457
458 if (!fBoundsIsDirty && !fBounds.isEmpty()) {
459 bool isFinite = true;
460 for (int i = 0; i < fPointCnt; ++i) {
461 SkASSERT(!fPoints[i].isFinite() || (
462 fBounds.fLeft - fPoints[i].fX < SK_ScalarNearlyZero &&
463 fPoints[i].fX - fBounds.fRight < SK_ScalarNearlyZero &&
464 fBounds.fTop - fPoints[i].fY < SK_ScalarNearlyZero &&
465 fPoints[i].fY - fBounds.fBottom < SK_ScalarNearlyZero));
466 if (!fPoints[i].isFinite()) {
467 isFinite = false;
468 }
469 }
470 SkASSERT(SkToBool(fIsFinite) == isFinite);
471 }
472
473 #ifdef SK_DEBUG_PATH
474 uint32_t mask = 0;
475 for (int i = 0; i < fVerbCnt; ++i) {
476 switch (fVerbs[~i]) {
477 case SkPath::kMove_Verb:
478 break;
479 case SkPath::kLine_Verb:
480 mask |= SkPath::kLine_SegmentMask;
481 break;
482 case SkPath::kQuad_Verb:
483 mask |= SkPath::kQuad_SegmentMask;
484 break;
485 case SkPath::kConic_Verb:
486 mask |= SkPath::kConic_SegmentMask;
487 break;
488 case SkPath::kCubic_Verb:
489 mask |= SkPath::kCubic_SegmentMask;
490 break;
491 case SkPath::kClose_Verb:
492 break;
493 case SkPath::kDone_Verb:
494 SkDEBUGFAIL("Done verb shouldn't be recorded.");
495 break;
496 default:
497 SkDEBUGFAIL("Unknown Verb");
498 break;
499 }
500 }
501 SkASSERT(mask == fSegmentMask);
502 #endif // SK_DEBUG_PATH
503 }
504 #endif
505