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