1 /*
2 * Copyright 2011 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 "SkAtomics.h"
9 #include "SkCanvas.h"
10 #include "SkClipStack.h"
11 #include "SkPath.h"
12 #include "SkPathOps.h"
13 #include "SkClipOpPriv.h"
14
15 #include <new>
16
17
18 // 0-2 are reserved for invalid, empty & wide-open
19 static const int32_t kFirstUnreservedGenID = 3;
20 int32_t SkClipStack::gGenID = kFirstUnreservedGenID;
21
Element(const Element & that)22 SkClipStack::Element::Element(const Element& that) {
23 switch (that.getType()) {
24 case kEmpty_Type:
25 fRRect.setEmpty();
26 fPath.reset();
27 break;
28 case kRect_Type: // Rect uses rrect
29 case kRRect_Type:
30 fPath.reset();
31 fRRect = that.fRRect;
32 break;
33 case kPath_Type:
34 fPath.set(that.getPath());
35 break;
36 }
37
38 fSaveCount = that.fSaveCount;
39 fOp = that.fOp;
40 fType = that.fType;
41 fDoAA = that.fDoAA;
42 fFiniteBoundType = that.fFiniteBoundType;
43 fFiniteBound = that.fFiniteBound;
44 fIsIntersectionOfRects = that.fIsIntersectionOfRects;
45 fGenID = that.fGenID;
46 }
47
operator ==(const Element & element) const48 bool SkClipStack::Element::operator== (const Element& element) const {
49 if (this == &element) {
50 return true;
51 }
52 if (fOp != element.fOp ||
53 fType != element.fType ||
54 fDoAA != element.fDoAA ||
55 fSaveCount != element.fSaveCount) {
56 return false;
57 }
58 switch (fType) {
59 case kPath_Type:
60 return this->getPath() == element.getPath();
61 case kRRect_Type:
62 return fRRect == element.fRRect;
63 case kRect_Type:
64 return this->getRect() == element.getRect();
65 case kEmpty_Type:
66 return true;
67 default:
68 SkDEBUGFAIL("Unexpected type.");
69 return false;
70 }
71 }
72
replay(SkCanvasClipVisitor * visitor) const73 void SkClipStack::Element::replay(SkCanvasClipVisitor* visitor) const {
74 static const SkRect kEmptyRect = { 0, 0, 0, 0 };
75
76 switch (fType) {
77 case kPath_Type:
78 visitor->clipPath(this->getPath(), this->getOp(), this->isAA());
79 break;
80 case kRRect_Type:
81 visitor->clipRRect(this->getRRect(), this->getOp(), this->isAA());
82 break;
83 case kRect_Type:
84 visitor->clipRect(this->getRect(), this->getOp(), this->isAA());
85 break;
86 case kEmpty_Type:
87 visitor->clipRect(kEmptyRect, kIntersect_SkClipOp, false);
88 break;
89 }
90 }
91
invertShapeFillType()92 void SkClipStack::Element::invertShapeFillType() {
93 switch (fType) {
94 case kRect_Type:
95 fPath.init();
96 fPath.get()->addRect(this->getRect());
97 fPath.get()->setFillType(SkPath::kInverseEvenOdd_FillType);
98 fType = kPath_Type;
99 break;
100 case kRRect_Type:
101 fPath.init();
102 fPath.get()->addRRect(fRRect);
103 fPath.get()->setFillType(SkPath::kInverseEvenOdd_FillType);
104 fType = kPath_Type;
105 break;
106 case kPath_Type:
107 fPath.get()->toggleInverseFillType();
108 break;
109 case kEmpty_Type:
110 // Should this set to an empty, inverse filled path?
111 break;
112 }
113 }
114
initPath(int saveCount,const SkPath & path,SkClipOp op,bool doAA)115 void SkClipStack::Element::initPath(int saveCount, const SkPath& path, SkClipOp op,
116 bool doAA) {
117 if (!path.isInverseFillType()) {
118 SkRect r;
119 if (path.isRect(&r)) {
120 this->initRect(saveCount, r, op, doAA);
121 return;
122 }
123 SkRect ovalRect;
124 if (path.isOval(&ovalRect)) {
125 SkRRect rrect;
126 rrect.setOval(ovalRect);
127 this->initRRect(saveCount, rrect, op, doAA);
128 return;
129 }
130 }
131 fPath.set(path);
132 fPath.get()->setIsVolatile(true);
133 fType = kPath_Type;
134 this->initCommon(saveCount, op, doAA);
135 }
136
asPath(SkPath * path) const137 void SkClipStack::Element::asPath(SkPath* path) const {
138 switch (fType) {
139 case kEmpty_Type:
140 path->reset();
141 path->setIsVolatile(true);
142 break;
143 case kRect_Type:
144 path->reset();
145 path->addRect(this->getRect());
146 path->setIsVolatile(true);
147 break;
148 case kRRect_Type:
149 path->reset();
150 path->addRRect(fRRect);
151 path->setIsVolatile(true);
152 break;
153 case kPath_Type:
154 *path = *fPath.get();
155 break;
156 }
157 path->setIsVolatile(true);
158 }
159
setEmpty()160 void SkClipStack::Element::setEmpty() {
161 fType = kEmpty_Type;
162 fFiniteBound.setEmpty();
163 fFiniteBoundType = kNormal_BoundsType;
164 fIsIntersectionOfRects = false;
165 fRRect.setEmpty();
166 fPath.reset();
167 fGenID = kEmptyGenID;
168 SkDEBUGCODE(this->checkEmpty();)
169 }
170
checkEmpty() const171 void SkClipStack::Element::checkEmpty() const {
172 SkASSERT(fFiniteBound.isEmpty());
173 SkASSERT(kNormal_BoundsType == fFiniteBoundType);
174 SkASSERT(!fIsIntersectionOfRects);
175 SkASSERT(kEmptyGenID == fGenID);
176 SkASSERT(fRRect.isEmpty());
177 SkASSERT(!fPath.isValid());
178 }
179
canBeIntersectedInPlace(int saveCount,SkClipOp op) const180 bool SkClipStack::Element::canBeIntersectedInPlace(int saveCount, SkClipOp op) const {
181 if (kEmpty_Type == fType &&
182 (kDifference_SkClipOp == op || kIntersect_SkClipOp == op)) {
183 return true;
184 }
185 // Only clips within the same save/restore frame (as captured by
186 // the save count) can be merged
187 return fSaveCount == saveCount &&
188 kIntersect_SkClipOp == op &&
189 (kIntersect_SkClipOp == fOp || kReplace_SkClipOp == fOp);
190 }
191
rectRectIntersectAllowed(const SkRect & newR,bool newAA) const192 bool SkClipStack::Element::rectRectIntersectAllowed(const SkRect& newR, bool newAA) const {
193 SkASSERT(kRect_Type == fType);
194
195 if (fDoAA == newAA) {
196 // if the AA setting is the same there is no issue
197 return true;
198 }
199
200 if (!SkRect::Intersects(this->getRect(), newR)) {
201 // The calling code will correctly set the result to the empty clip
202 return true;
203 }
204
205 if (this->getRect().contains(newR)) {
206 // if the new rect carves out a portion of the old one there is no
207 // issue
208 return true;
209 }
210
211 // So either the two overlap in some complex manner or newR contains oldR.
212 // In the first, case the edges will require different AA. In the second,
213 // the AA setting that would be carried forward is incorrect (e.g., oldR
214 // is AA while newR is BW but since newR contains oldR, oldR will be
215 // drawn BW) since the new AA setting will predominate.
216 return false;
217 }
218
219 // a mirror of combineBoundsRevDiff
combineBoundsDiff(FillCombo combination,const SkRect & prevFinite)220 void SkClipStack::Element::combineBoundsDiff(FillCombo combination, const SkRect& prevFinite) {
221 switch (combination) {
222 case kInvPrev_InvCur_FillCombo:
223 // In this case the only pixels that can remain set
224 // are inside the current clip rect since the extensions
225 // to infinity of both clips cancel out and whatever
226 // is outside of the current clip is removed
227 fFiniteBoundType = kNormal_BoundsType;
228 break;
229 case kInvPrev_Cur_FillCombo:
230 // In this case the current op is finite so the only pixels
231 // that aren't set are whatever isn't set in the previous
232 // clip and whatever this clip carves out
233 fFiniteBound.join(prevFinite);
234 fFiniteBoundType = kInsideOut_BoundsType;
235 break;
236 case kPrev_InvCur_FillCombo:
237 // In this case everything outside of this clip's bound
238 // is erased, so the only pixels that can remain set
239 // occur w/in the intersection of the two finite bounds
240 if (!fFiniteBound.intersect(prevFinite)) {
241 fFiniteBound.setEmpty();
242 fGenID = kEmptyGenID;
243 }
244 fFiniteBoundType = kNormal_BoundsType;
245 break;
246 case kPrev_Cur_FillCombo:
247 // The most conservative result bound is that of the
248 // prior clip. This could be wildly incorrect if the
249 // second clip either exactly matches the first clip
250 // (which should yield the empty set) or reduces the
251 // size of the prior bound (e.g., if the second clip
252 // exactly matched the bottom half of the prior clip).
253 // We ignore these two possibilities.
254 fFiniteBound = prevFinite;
255 break;
256 default:
257 SkDEBUGFAIL("SkClipStack::Element::combineBoundsDiff Invalid fill combination");
258 break;
259 }
260 }
261
combineBoundsXOR(int combination,const SkRect & prevFinite)262 void SkClipStack::Element::combineBoundsXOR(int combination, const SkRect& prevFinite) {
263
264 switch (combination) {
265 case kInvPrev_Cur_FillCombo: // fall through
266 case kPrev_InvCur_FillCombo:
267 // With only one of the clips inverted the result will always
268 // extend to infinity. The only pixels that may be un-writeable
269 // lie within the union of the two finite bounds
270 fFiniteBound.join(prevFinite);
271 fFiniteBoundType = kInsideOut_BoundsType;
272 break;
273 case kInvPrev_InvCur_FillCombo:
274 // The only pixels that can survive are within the
275 // union of the two bounding boxes since the extensions
276 // to infinity of both clips cancel out
277 // fall through!
278 case kPrev_Cur_FillCombo:
279 // The most conservative bound for xor is the
280 // union of the two bounds. If the two clips exactly overlapped
281 // the xor could yield the empty set. Similarly the xor
282 // could reduce the size of the original clip's bound (e.g.,
283 // if the second clip exactly matched the bottom half of the
284 // first clip). We ignore these two cases.
285 fFiniteBound.join(prevFinite);
286 fFiniteBoundType = kNormal_BoundsType;
287 break;
288 default:
289 SkDEBUGFAIL("SkClipStack::Element::combineBoundsXOR Invalid fill combination");
290 break;
291 }
292 }
293
294 // a mirror of combineBoundsIntersection
combineBoundsUnion(int combination,const SkRect & prevFinite)295 void SkClipStack::Element::combineBoundsUnion(int combination, const SkRect& prevFinite) {
296
297 switch (combination) {
298 case kInvPrev_InvCur_FillCombo:
299 if (!fFiniteBound.intersect(prevFinite)) {
300 fFiniteBound.setEmpty();
301 fGenID = kWideOpenGenID;
302 }
303 fFiniteBoundType = kInsideOut_BoundsType;
304 break;
305 case kInvPrev_Cur_FillCombo:
306 // The only pixels that won't be drawable are inside
307 // the prior clip's finite bound
308 fFiniteBound = prevFinite;
309 fFiniteBoundType = kInsideOut_BoundsType;
310 break;
311 case kPrev_InvCur_FillCombo:
312 // The only pixels that won't be drawable are inside
313 // this clip's finite bound
314 break;
315 case kPrev_Cur_FillCombo:
316 fFiniteBound.join(prevFinite);
317 break;
318 default:
319 SkDEBUGFAIL("SkClipStack::Element::combineBoundsUnion Invalid fill combination");
320 break;
321 }
322 }
323
324 // a mirror of combineBoundsUnion
combineBoundsIntersection(int combination,const SkRect & prevFinite)325 void SkClipStack::Element::combineBoundsIntersection(int combination, const SkRect& prevFinite) {
326
327 switch (combination) {
328 case kInvPrev_InvCur_FillCombo:
329 // The only pixels that aren't writable in this case
330 // occur in the union of the two finite bounds
331 fFiniteBound.join(prevFinite);
332 fFiniteBoundType = kInsideOut_BoundsType;
333 break;
334 case kInvPrev_Cur_FillCombo:
335 // In this case the only pixels that will remain writeable
336 // are within the current clip
337 break;
338 case kPrev_InvCur_FillCombo:
339 // In this case the only pixels that will remain writeable
340 // are with the previous clip
341 fFiniteBound = prevFinite;
342 fFiniteBoundType = kNormal_BoundsType;
343 break;
344 case kPrev_Cur_FillCombo:
345 if (!fFiniteBound.intersect(prevFinite)) {
346 this->setEmpty();
347 }
348 break;
349 default:
350 SkDEBUGFAIL("SkClipStack::Element::combineBoundsIntersection Invalid fill combination");
351 break;
352 }
353 }
354
355 // a mirror of combineBoundsDiff
combineBoundsRevDiff(int combination,const SkRect & prevFinite)356 void SkClipStack::Element::combineBoundsRevDiff(int combination, const SkRect& prevFinite) {
357
358 switch (combination) {
359 case kInvPrev_InvCur_FillCombo:
360 // The only pixels that can survive are in the
361 // previous bound since the extensions to infinity in
362 // both clips cancel out
363 fFiniteBound = prevFinite;
364 fFiniteBoundType = kNormal_BoundsType;
365 break;
366 case kInvPrev_Cur_FillCombo:
367 if (!fFiniteBound.intersect(prevFinite)) {
368 this->setEmpty();
369 } else {
370 fFiniteBoundType = kNormal_BoundsType;
371 }
372 break;
373 case kPrev_InvCur_FillCombo:
374 fFiniteBound.join(prevFinite);
375 fFiniteBoundType = kInsideOut_BoundsType;
376 break;
377 case kPrev_Cur_FillCombo:
378 // Fall through - as with the kDifference_Op case, the
379 // most conservative result bound is the bound of the
380 // current clip. The prior clip could reduce the size of this
381 // bound (as in the kDifference_Op case) but we are ignoring
382 // those cases.
383 break;
384 default:
385 SkDEBUGFAIL("SkClipStack::Element::combineBoundsRevDiff Invalid fill combination");
386 break;
387 }
388 }
389
updateBoundAndGenID(const Element * prior)390 void SkClipStack::Element::updateBoundAndGenID(const Element* prior) {
391 // We set this first here but we may overwrite it later if we determine that the clip is
392 // either wide-open or empty.
393 fGenID = GetNextGenID();
394
395 // First, optimistically update the current Element's bound information
396 // with the current clip's bound
397 fIsIntersectionOfRects = false;
398 switch (fType) {
399 case kRect_Type:
400 fFiniteBound = this->getRect();
401 fFiniteBoundType = kNormal_BoundsType;
402
403 if (kReplace_SkClipOp == fOp ||
404 (kIntersect_SkClipOp == fOp && nullptr == prior) ||
405 (kIntersect_SkClipOp == fOp && prior->fIsIntersectionOfRects &&
406 prior->rectRectIntersectAllowed(this->getRect(), fDoAA))) {
407 fIsIntersectionOfRects = true;
408 }
409 break;
410 case kRRect_Type:
411 fFiniteBound = fRRect.getBounds();
412 fFiniteBoundType = kNormal_BoundsType;
413 break;
414 case kPath_Type:
415 fFiniteBound = fPath.get()->getBounds();
416
417 if (fPath.get()->isInverseFillType()) {
418 fFiniteBoundType = kInsideOut_BoundsType;
419 } else {
420 fFiniteBoundType = kNormal_BoundsType;
421 }
422 break;
423 case kEmpty_Type:
424 SkDEBUGFAIL("We shouldn't get here with an empty element.");
425 break;
426 }
427
428 if (!fDoAA) {
429 fFiniteBound.set(SkScalarFloorToScalar(fFiniteBound.fLeft+0.45f),
430 SkScalarRoundToScalar(fFiniteBound.fTop),
431 SkScalarRoundToScalar(fFiniteBound.fRight),
432 SkScalarRoundToScalar(fFiniteBound.fBottom));
433 }
434
435 // Now determine the previous Element's bound information taking into
436 // account that there may be no previous clip
437 SkRect prevFinite;
438 SkClipStack::BoundsType prevType;
439
440 if (nullptr == prior) {
441 // no prior clip means the entire plane is writable
442 prevFinite.setEmpty(); // there are no pixels that cannot be drawn to
443 prevType = kInsideOut_BoundsType;
444 } else {
445 prevFinite = prior->fFiniteBound;
446 prevType = prior->fFiniteBoundType;
447 }
448
449 FillCombo combination = kPrev_Cur_FillCombo;
450 if (kInsideOut_BoundsType == fFiniteBoundType) {
451 combination = (FillCombo) (combination | 0x01);
452 }
453 if (kInsideOut_BoundsType == prevType) {
454 combination = (FillCombo) (combination | 0x02);
455 }
456
457 SkASSERT(kInvPrev_InvCur_FillCombo == combination ||
458 kInvPrev_Cur_FillCombo == combination ||
459 kPrev_InvCur_FillCombo == combination ||
460 kPrev_Cur_FillCombo == combination);
461
462 // Now integrate with clip with the prior clips
463 switch (fOp) {
464 case kDifference_SkClipOp:
465 this->combineBoundsDiff(combination, prevFinite);
466 break;
467 case kXOR_SkClipOp:
468 this->combineBoundsXOR(combination, prevFinite);
469 break;
470 case kUnion_SkClipOp:
471 this->combineBoundsUnion(combination, prevFinite);
472 break;
473 case kIntersect_SkClipOp:
474 this->combineBoundsIntersection(combination, prevFinite);
475 break;
476 case kReverseDifference_SkClipOp:
477 this->combineBoundsRevDiff(combination, prevFinite);
478 break;
479 case kReplace_SkClipOp:
480 // Replace just ignores everything prior
481 // The current clip's bound information is already filled in
482 // so nothing to do
483 break;
484 default:
485 SkDebugf("SkClipOp error\n");
486 SkASSERT(0);
487 break;
488 }
489 }
490
491 // This constant determines how many Element's are allocated together as a block in
492 // the deque. As such it needs to balance allocating too much memory vs.
493 // incurring allocation/deallocation thrashing. It should roughly correspond to
494 // the deepest save/restore stack we expect to see.
495 static const int kDefaultElementAllocCnt = 8;
496
SkClipStack()497 SkClipStack::SkClipStack()
498 : fDeque(sizeof(Element), kDefaultElementAllocCnt)
499 , fSaveCount(0) {
500 }
501
SkClipStack(void * storage,size_t size)502 SkClipStack::SkClipStack(void* storage, size_t size)
503 : fDeque(sizeof(Element), storage, size, kDefaultElementAllocCnt)
504 , fSaveCount(0) {
505 }
506
SkClipStack(const SkClipStack & b)507 SkClipStack::SkClipStack(const SkClipStack& b)
508 : fDeque(sizeof(Element), kDefaultElementAllocCnt) {
509 *this = b;
510 }
511
~SkClipStack()512 SkClipStack::~SkClipStack() {
513 reset();
514 }
515
operator =(const SkClipStack & b)516 SkClipStack& SkClipStack::operator=(const SkClipStack& b) {
517 if (this == &b) {
518 return *this;
519 }
520 reset();
521
522 fSaveCount = b.fSaveCount;
523 SkDeque::F2BIter recIter(b.fDeque);
524 for (const Element* element = (const Element*)recIter.next();
525 element != nullptr;
526 element = (const Element*)recIter.next()) {
527 new (fDeque.push_back()) Element(*element);
528 }
529
530 return *this;
531 }
532
operator ==(const SkClipStack & b) const533 bool SkClipStack::operator==(const SkClipStack& b) const {
534 if (this->getTopmostGenID() == b.getTopmostGenID()) {
535 return true;
536 }
537 if (fSaveCount != b.fSaveCount ||
538 fDeque.count() != b.fDeque.count()) {
539 return false;
540 }
541 SkDeque::F2BIter myIter(fDeque);
542 SkDeque::F2BIter bIter(b.fDeque);
543 const Element* myElement = (const Element*)myIter.next();
544 const Element* bElement = (const Element*)bIter.next();
545
546 while (myElement != nullptr && bElement != nullptr) {
547 if (*myElement != *bElement) {
548 return false;
549 }
550 myElement = (const Element*)myIter.next();
551 bElement = (const Element*)bIter.next();
552 }
553 return myElement == nullptr && bElement == nullptr;
554 }
555
reset()556 void SkClipStack::reset() {
557 // We used a placement new for each object in fDeque, so we're responsible
558 // for calling the destructor on each of them as well.
559 while (!fDeque.empty()) {
560 Element* element = (Element*)fDeque.back();
561 element->~Element();
562 fDeque.pop_back();
563 }
564
565 fSaveCount = 0;
566 }
567
save()568 void SkClipStack::save() {
569 fSaveCount += 1;
570 }
571
restore()572 void SkClipStack::restore() {
573 fSaveCount -= 1;
574 restoreTo(fSaveCount);
575 }
576
restoreTo(int saveCount)577 void SkClipStack::restoreTo(int saveCount) {
578 while (!fDeque.empty()) {
579 Element* element = (Element*)fDeque.back();
580 if (element->fSaveCount <= saveCount) {
581 break;
582 }
583 element->~Element();
584 fDeque.pop_back();
585 }
586 }
587
bounds(const SkIRect & deviceBounds) const588 SkRect SkClipStack::bounds(const SkIRect& deviceBounds) const {
589 // TODO: optimize this.
590 SkRect r;
591 SkClipStack::BoundsType bounds;
592 this->getBounds(&r, &bounds);
593 if (bounds == SkClipStack::kInsideOut_BoundsType) {
594 return SkRect::Make(deviceBounds);
595 }
596 return r.intersect(SkRect::Make(deviceBounds)) ? r : SkRect::MakeEmpty();
597 }
598
599 // TODO: optimize this.
isEmpty(const SkIRect & r) const600 bool SkClipStack::isEmpty(const SkIRect& r) const { return this->bounds(r).isEmpty(); }
601
getBounds(SkRect * canvFiniteBound,BoundsType * boundType,bool * isIntersectionOfRects) const602 void SkClipStack::getBounds(SkRect* canvFiniteBound,
603 BoundsType* boundType,
604 bool* isIntersectionOfRects) const {
605 SkASSERT(canvFiniteBound && boundType);
606
607 Element* element = (Element*)fDeque.back();
608
609 if (nullptr == element) {
610 // the clip is wide open - the infinite plane w/ no pixels un-writeable
611 canvFiniteBound->setEmpty();
612 *boundType = kInsideOut_BoundsType;
613 if (isIntersectionOfRects) {
614 *isIntersectionOfRects = false;
615 }
616 return;
617 }
618
619 *canvFiniteBound = element->fFiniteBound;
620 *boundType = element->fFiniteBoundType;
621 if (isIntersectionOfRects) {
622 *isIntersectionOfRects = element->fIsIntersectionOfRects;
623 }
624 }
625
internalQuickContains(const SkRect & rect) const626 bool SkClipStack::internalQuickContains(const SkRect& rect) const {
627
628 Iter iter(*this, Iter::kTop_IterStart);
629 const Element* element = iter.prev();
630 while (element != nullptr) {
631 if (kIntersect_SkClipOp != element->getOp() && kReplace_SkClipOp != element->getOp())
632 return false;
633 if (element->isInverseFilled()) {
634 // Part of 'rect' could be trimmed off by the inverse-filled clip element
635 if (SkRect::Intersects(element->getBounds(), rect)) {
636 return false;
637 }
638 } else {
639 if (!element->contains(rect)) {
640 return false;
641 }
642 }
643 if (kReplace_SkClipOp == element->getOp()) {
644 break;
645 }
646 element = iter.prev();
647 }
648 return true;
649 }
650
internalQuickContains(const SkRRect & rrect) const651 bool SkClipStack::internalQuickContains(const SkRRect& rrect) const {
652
653 Iter iter(*this, Iter::kTop_IterStart);
654 const Element* element = iter.prev();
655 while (element != nullptr) {
656 if (kIntersect_SkClipOp != element->getOp() && kReplace_SkClipOp != element->getOp())
657 return false;
658 if (element->isInverseFilled()) {
659 // Part of 'rrect' could be trimmed off by the inverse-filled clip element
660 if (SkRect::Intersects(element->getBounds(), rrect.getBounds())) {
661 return false;
662 }
663 } else {
664 if (!element->contains(rrect)) {
665 return false;
666 }
667 }
668 if (kReplace_SkClipOp == element->getOp()) {
669 break;
670 }
671 element = iter.prev();
672 }
673 return true;
674 }
675
asPath(SkPath * path) const676 bool SkClipStack::asPath(SkPath *path) const {
677 bool isAA = false;
678
679 path->reset();
680 path->setFillType(SkPath::kInverseEvenOdd_FillType);
681
682 SkClipStack::Iter iter(*this, SkClipStack::Iter::kBottom_IterStart);
683 while (const SkClipStack::Element* element = iter.next()) {
684 SkPath operand;
685 if (element->getType() != SkClipStack::Element::kEmpty_Type) {
686 element->asPath(&operand);
687 }
688
689 SkClipOp elementOp = element->getOp();
690 if (elementOp == kReplace_SkClipOp) {
691 *path = operand;
692 } else {
693 Op(*path, operand, (SkPathOp)elementOp, path);
694 }
695
696 // if the prev and curr clips disagree about aa -vs- not, favor the aa request.
697 // perhaps we need an API change to avoid this sort of mixed-signals about
698 // clipping.
699 isAA = (isAA || element->isAA());
700 }
701
702 return isAA;
703 }
704
pushElement(const Element & element)705 void SkClipStack::pushElement(const Element& element) {
706 // Use reverse iterator instead of back because Rect path may need previous
707 SkDeque::Iter iter(fDeque, SkDeque::Iter::kBack_IterStart);
708 Element* prior = (Element*) iter.prev();
709
710 if (prior) {
711 if (prior->canBeIntersectedInPlace(fSaveCount, element.getOp())) {
712 switch (prior->fType) {
713 case Element::kEmpty_Type:
714 SkDEBUGCODE(prior->checkEmpty();)
715 return;
716 case Element::kRect_Type:
717 if (Element::kRect_Type == element.getType()) {
718 if (prior->rectRectIntersectAllowed(element.getRect(), element.isAA())) {
719 SkRect isectRect;
720 if (!isectRect.intersect(prior->getRect(), element.getRect())) {
721 prior->setEmpty();
722 return;
723 }
724
725 prior->fRRect.setRect(isectRect);
726 prior->fDoAA = element.isAA();
727 Element* priorPrior = (Element*) iter.prev();
728 prior->updateBoundAndGenID(priorPrior);
729 return;
730 }
731 break;
732 }
733 // fallthrough
734 default:
735 if (!SkRect::Intersects(prior->getBounds(), element.getBounds())) {
736 prior->setEmpty();
737 return;
738 }
739 break;
740 }
741 } else if (kReplace_SkClipOp == element.getOp()) {
742 this->restoreTo(fSaveCount - 1);
743 prior = (Element*) fDeque.back();
744 }
745 }
746 Element* newElement = new (fDeque.push_back()) Element(element);
747 newElement->updateBoundAndGenID(prior);
748 }
749
clipRRect(const SkRRect & rrect,const SkMatrix & matrix,SkClipOp op,bool doAA)750 void SkClipStack::clipRRect(const SkRRect& rrect, const SkMatrix& matrix, SkClipOp op,
751 bool doAA) {
752 SkRRect transformedRRect;
753 if (rrect.transform(matrix, &transformedRRect)) {
754 Element element(fSaveCount, transformedRRect, op, doAA);
755 this->pushElement(element);
756 if (this->hasClipRestriction(op)) {
757 Element element(fSaveCount, fClipRestrictionRect, kIntersect_SkClipOp, false);
758 this->pushElement(element);
759 }
760 return;
761 }
762 SkPath path;
763 path.addRRect(rrect);
764 path.setIsVolatile(true);
765 this->clipPath(path, matrix, op, doAA);
766 }
767
clipRect(const SkRect & rect,const SkMatrix & matrix,SkClipOp op,bool doAA)768 void SkClipStack::clipRect(const SkRect& rect, const SkMatrix& matrix, SkClipOp op,
769 bool doAA) {
770 if (matrix.rectStaysRect()) {
771 SkRect devRect;
772 matrix.mapRect(&devRect, rect);
773 if (this->hasClipRestriction(op)) {
774 if (!devRect.intersect(fClipRestrictionRect)) {
775 devRect.setEmpty();
776 }
777 }
778 Element element(fSaveCount, devRect, op, doAA);
779 this->pushElement(element);
780 return;
781 }
782 SkPath path;
783 path.addRect(rect);
784 path.setIsVolatile(true);
785 this->clipPath(path, matrix, op, doAA);
786 }
787
clipPath(const SkPath & path,const SkMatrix & matrix,SkClipOp op,bool doAA)788 void SkClipStack::clipPath(const SkPath& path, const SkMatrix& matrix, SkClipOp op,
789 bool doAA) {
790 SkPath devPath;
791 path.transform(matrix, &devPath);
792 Element element(fSaveCount, devPath, op, doAA);
793 this->pushElement(element);
794 if (this->hasClipRestriction(op)) {
795 Element element(fSaveCount, fClipRestrictionRect, kIntersect_SkClipOp, false);
796 this->pushElement(element);
797 }
798 }
799
clipEmpty()800 void SkClipStack::clipEmpty() {
801 Element* element = (Element*) fDeque.back();
802
803 if (element && element->canBeIntersectedInPlace(fSaveCount, kIntersect_SkClipOp)) {
804 element->setEmpty();
805 }
806 new (fDeque.push_back()) Element(fSaveCount);
807
808 ((Element*)fDeque.back())->fGenID = kEmptyGenID;
809 }
810
811 ///////////////////////////////////////////////////////////////////////////////
812
Iter()813 SkClipStack::Iter::Iter() : fStack(nullptr) {
814 }
815
Iter(const SkClipStack & stack,IterStart startLoc)816 SkClipStack::Iter::Iter(const SkClipStack& stack, IterStart startLoc)
817 : fStack(&stack) {
818 this->reset(stack, startLoc);
819 }
820
next()821 const SkClipStack::Element* SkClipStack::Iter::next() {
822 return (const SkClipStack::Element*)fIter.next();
823 }
824
prev()825 const SkClipStack::Element* SkClipStack::Iter::prev() {
826 return (const SkClipStack::Element*)fIter.prev();
827 }
828
skipToTopmost(SkClipOp op)829 const SkClipStack::Element* SkClipStack::Iter::skipToTopmost(SkClipOp op) {
830
831 if (nullptr == fStack) {
832 return nullptr;
833 }
834
835 fIter.reset(fStack->fDeque, SkDeque::Iter::kBack_IterStart);
836
837 const SkClipStack::Element* element = nullptr;
838
839 for (element = (const SkClipStack::Element*) fIter.prev();
840 element;
841 element = (const SkClipStack::Element*) fIter.prev()) {
842
843 if (op == element->fOp) {
844 // The Deque's iterator is actually one pace ahead of the
845 // returned value. So while "element" is the element we want to
846 // return, the iterator is actually pointing at (and will
847 // return on the next "next" or "prev" call) the element
848 // in front of it in the deque. Bump the iterator forward a
849 // step so we get the expected result.
850 if (nullptr == fIter.next()) {
851 // The reverse iterator has run off the front of the deque
852 // (i.e., the "op" clip is the first clip) and can't
853 // recover. Reset the iterator to start at the front.
854 fIter.reset(fStack->fDeque, SkDeque::Iter::kFront_IterStart);
855 }
856 break;
857 }
858 }
859
860 if (nullptr == element) {
861 // There were no "op" clips
862 fIter.reset(fStack->fDeque, SkDeque::Iter::kFront_IterStart);
863 }
864
865 return this->next();
866 }
867
reset(const SkClipStack & stack,IterStart startLoc)868 void SkClipStack::Iter::reset(const SkClipStack& stack, IterStart startLoc) {
869 fStack = &stack;
870 fIter.reset(stack.fDeque, static_cast<SkDeque::Iter::IterStart>(startLoc));
871 }
872
873 // helper method
getConservativeBounds(int offsetX,int offsetY,int maxWidth,int maxHeight,SkRect * devBounds,bool * isIntersectionOfRects) const874 void SkClipStack::getConservativeBounds(int offsetX,
875 int offsetY,
876 int maxWidth,
877 int maxHeight,
878 SkRect* devBounds,
879 bool* isIntersectionOfRects) const {
880 SkASSERT(devBounds);
881
882 devBounds->setLTRB(0, 0,
883 SkIntToScalar(maxWidth), SkIntToScalar(maxHeight));
884
885 SkRect temp;
886 SkClipStack::BoundsType boundType;
887
888 // temp starts off in canvas space here
889 this->getBounds(&temp, &boundType, isIntersectionOfRects);
890 if (SkClipStack::kInsideOut_BoundsType == boundType) {
891 return;
892 }
893
894 // but is converted to device space here
895 temp.offset(SkIntToScalar(offsetX), SkIntToScalar(offsetY));
896
897 if (!devBounds->intersect(temp)) {
898 devBounds->setEmpty();
899 }
900 }
901
isRRect(const SkRect & bounds,SkRRect * rrect,bool * aa) const902 bool SkClipStack::isRRect(const SkRect& bounds, SkRRect* rrect, bool* aa) const {
903 // We limit to 5 elements. This means the back element will be bounds checked at most 4 times if
904 // it is an rrect.
905 int cnt = fDeque.count();
906 if (!cnt || cnt > 5) {
907 return false;
908 }
909 const Element* back = static_cast<const Element*>(fDeque.back());
910 if (back->getType() != SkClipStack::Element::kRect_Type &&
911 back->getType() != SkClipStack::Element::kRRect_Type) {
912 return false;
913 }
914 if (back->getOp() == kReplace_SkClipOp) {
915 *rrect = back->asRRect();
916 *aa = back->isAA();
917 return true;
918 }
919
920 if (back->getOp() == kIntersect_SkClipOp) {
921 SkRect backBounds;
922 if (!backBounds.intersect(bounds, back->asRRect().rect())) {
923 return false;
924 }
925 if (cnt > 1) {
926 SkDeque::Iter iter(fDeque, SkDeque::Iter::kBack_IterStart);
927 SkAssertResult(static_cast<const Element*>(iter.prev()) == back);
928 while (const Element* prior = (const Element*)iter.prev()) {
929 if ((prior->getOp() != kIntersect_SkClipOp &&
930 prior->getOp() != kReplace_SkClipOp) ||
931 !prior->contains(backBounds)) {
932 return false;
933 }
934 if (prior->getOp() == kReplace_SkClipOp) {
935 break;
936 }
937 }
938 }
939 *rrect = back->asRRect();
940 *aa = back->isAA();
941 return true;
942 }
943 return false;
944 }
945
GetNextGenID()946 int32_t SkClipStack::GetNextGenID() {
947 // TODO: handle overflow.
948 return sk_atomic_inc(&gGenID);
949 }
950
getTopmostGenID() const951 int32_t SkClipStack::getTopmostGenID() const {
952 if (fDeque.empty()) {
953 return kWideOpenGenID;
954 }
955
956 const Element* back = static_cast<const Element*>(fDeque.back());
957 if (kInsideOut_BoundsType == back->fFiniteBoundType && back->fFiniteBound.isEmpty()) {
958 return kWideOpenGenID;
959 }
960
961 return back->getGenID();
962 }
963
964 #ifdef SK_DEBUG
dump() const965 void SkClipStack::Element::dump() const {
966 static const char* kTypeStrings[] = {
967 "empty",
968 "rect",
969 "rrect",
970 "path"
971 };
972 static_assert(0 == kEmpty_Type, "type_str");
973 static_assert(1 == kRect_Type, "type_str");
974 static_assert(2 == kRRect_Type, "type_str");
975 static_assert(3 == kPath_Type, "type_str");
976 static_assert(SK_ARRAY_COUNT(kTypeStrings) == kTypeCnt, "type_str");
977
978 static const char* kOpStrings[] = {
979 "difference",
980 "intersect",
981 "union",
982 "xor",
983 "reverse-difference",
984 "replace",
985 };
986 static_assert(0 == static_cast<int>(kDifference_SkClipOp), "op_str");
987 static_assert(1 == static_cast<int>(kIntersect_SkClipOp), "op_str");
988 static_assert(2 == static_cast<int>(kUnion_SkClipOp), "op_str");
989 static_assert(3 == static_cast<int>(kXOR_SkClipOp), "op_str");
990 static_assert(4 == static_cast<int>(kReverseDifference_SkClipOp), "op_str");
991 static_assert(5 == static_cast<int>(kReplace_SkClipOp), "op_str");
992 static_assert(SK_ARRAY_COUNT(kOpStrings) == SkRegion::kOpCnt, "op_str");
993
994 SkDebugf("Type: %s, Op: %s, AA: %s, Save Count: %d\n", kTypeStrings[fType],
995 kOpStrings[static_cast<int>(fOp)], (fDoAA ? "yes" : "no"), fSaveCount);
996 switch (fType) {
997 case kEmpty_Type:
998 SkDebugf("\n");
999 break;
1000 case kRect_Type:
1001 this->getRect().dump();
1002 SkDebugf("\n");
1003 break;
1004 case kRRect_Type:
1005 this->getRRect().dump();
1006 SkDebugf("\n");
1007 break;
1008 case kPath_Type:
1009 this->getPath().dump(nullptr, true, false);
1010 break;
1011 }
1012 }
1013
dump() const1014 void SkClipStack::dump() const {
1015 B2TIter iter(*this);
1016 const Element* e;
1017 while ((e = iter.next())) {
1018 e->dump();
1019 SkDebugf("\n");
1020 }
1021 }
1022 #endif
1023