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 "include/core/SkPath.h"
9 #include "include/private/SkTo.h"
10 #include "src/core/SkAnalyticEdge.h"
11 #include "src/core/SkEdge.h"
12 #include "src/core/SkEdgeBuilder.h"
13 #include "src/core/SkEdgeClipper.h"
14 #include "src/core/SkGeometry.h"
15 #include "src/core/SkLineClipper.h"
16 #include "src/core/SkPathPriv.h"
17 #include "src/core/SkSafeMath.h"
18 
combineVertical(const SkEdge * edge,SkEdge * last)19 SkEdgeBuilder::Combine SkBasicEdgeBuilder::combineVertical(const SkEdge* edge, SkEdge* last) {
20     if (last->fCurveCount || last->fDX || edge->fX != last->fX) {
21         return kNo_Combine;
22     }
23     if (edge->fWinding == last->fWinding) {
24         if (edge->fLastY + 1 == last->fFirstY) {
25             last->fFirstY = edge->fFirstY;
26             return kPartial_Combine;
27         }
28         if (edge->fFirstY == last->fLastY + 1) {
29             last->fLastY = edge->fLastY;
30             return kPartial_Combine;
31         }
32         return kNo_Combine;
33     }
34     if (edge->fFirstY == last->fFirstY) {
35         if (edge->fLastY == last->fLastY) {
36             return kTotal_Combine;
37         }
38         if (edge->fLastY < last->fLastY) {
39             last->fFirstY = edge->fLastY + 1;
40             return kPartial_Combine;
41         }
42         last->fFirstY = last->fLastY + 1;
43         last->fLastY = edge->fLastY;
44         last->fWinding = edge->fWinding;
45         return kPartial_Combine;
46     }
47     if (edge->fLastY == last->fLastY) {
48         if (edge->fFirstY > last->fFirstY) {
49             last->fLastY = edge->fFirstY - 1;
50             return kPartial_Combine;
51         }
52         last->fLastY = last->fFirstY - 1;
53         last->fFirstY = edge->fFirstY;
54         last->fWinding = edge->fWinding;
55         return kPartial_Combine;
56     }
57     return kNo_Combine;
58 }
59 
combineVertical(const SkAnalyticEdge * edge,SkAnalyticEdge * last)60 SkEdgeBuilder::Combine SkAnalyticEdgeBuilder::combineVertical(const SkAnalyticEdge* edge,
61                                                               SkAnalyticEdge* last) {
62     auto approximately_equal = [](SkFixed a, SkFixed b) {
63         return SkAbs32(a - b) < 0x100;
64     };
65 
66     if (last->fCurveCount || last->fDX || edge->fX != last->fX) {
67         return kNo_Combine;
68     }
69     if (edge->fWinding == last->fWinding) {
70         if (edge->fLowerY == last->fUpperY) {
71             last->fUpperY = edge->fUpperY;
72             last->fY = last->fUpperY;
73             return kPartial_Combine;
74         }
75         if (approximately_equal(edge->fUpperY, last->fLowerY)) {
76             last->fLowerY = edge->fLowerY;
77             return kPartial_Combine;
78         }
79         return kNo_Combine;
80     }
81     if (approximately_equal(edge->fUpperY, last->fUpperY)) {
82         if (approximately_equal(edge->fLowerY, last->fLowerY)) {
83             return kTotal_Combine;
84         }
85         if (edge->fLowerY < last->fLowerY) {
86             last->fUpperY = edge->fLowerY;
87             last->fY = last->fUpperY;
88             return kPartial_Combine;
89         }
90         last->fUpperY = last->fLowerY;
91         last->fY = last->fUpperY;
92         last->fLowerY = edge->fLowerY;
93         last->fWinding = edge->fWinding;
94         return kPartial_Combine;
95     }
96     if (approximately_equal(edge->fLowerY, last->fLowerY)) {
97         if (edge->fUpperY > last->fUpperY) {
98             last->fLowerY = edge->fUpperY;
99             return kPartial_Combine;
100         }
101         last->fLowerY = last->fUpperY;
102         last->fUpperY = edge->fUpperY;
103         last->fY = last->fUpperY;
104         last->fWinding = edge->fWinding;
105         return kPartial_Combine;
106     }
107     return kNo_Combine;
108 }
109 
110 template <typename Edge>
is_vertical(const Edge * edge)111 static bool is_vertical(const Edge* edge) {
112     return edge->fDX         == 0
113         && edge->fCurveCount == 0;
114 }
115 
116 // TODO: we can deallocate the edge if edge->setFoo() fails
117 // or when we don't use it (kPartial_Combine or kTotal_Combine).
118 
addLine(const SkPoint pts[])119 void SkBasicEdgeBuilder::addLine(const SkPoint pts[]) {
120     SkEdge* edge = fAlloc.make<SkEdge>();
121     if (edge->setLine(pts[0], pts[1], fClipShift)) {
122         Combine combine = is_vertical(edge) && !fList.empty()
123             ? this->combineVertical(edge, (SkEdge*)fList.top())
124             : kNo_Combine;
125 
126         switch (combine) {
127             case kTotal_Combine:    fList.pop();           break;
128             case kPartial_Combine:                         break;
129             case kNo_Combine:       fList.push_back(edge); break;
130         }
131     }
132 }
addLine(const SkPoint pts[])133 void SkAnalyticEdgeBuilder::addLine(const SkPoint pts[]) {
134     SkAnalyticEdge* edge = fAlloc.make<SkAnalyticEdge>();
135     if (edge->setLine(pts[0], pts[1])) {
136 
137         Combine combine = is_vertical(edge) && !fList.empty()
138             ? this->combineVertical(edge, (SkAnalyticEdge*)fList.top())
139             : kNo_Combine;
140 
141         switch (combine) {
142             case kTotal_Combine:    fList.pop();           break;
143             case kPartial_Combine:                         break;
144             case kNo_Combine:       fList.push_back(edge); break;
145         }
146     }
147 }
addQuad(const SkPoint pts[])148 void SkBasicEdgeBuilder::addQuad(const SkPoint pts[]) {
149     SkQuadraticEdge* edge = fAlloc.make<SkQuadraticEdge>();
150     if (edge->setQuadratic(pts, fClipShift)) {
151         fList.push_back(edge);
152     }
153 }
addQuad(const SkPoint pts[])154 void SkAnalyticEdgeBuilder::addQuad(const SkPoint pts[]) {
155     SkAnalyticQuadraticEdge* edge = fAlloc.make<SkAnalyticQuadraticEdge>();
156     if (edge->setQuadratic(pts)) {
157         fList.push_back(edge);
158     }
159 }
160 
addCubic(const SkPoint pts[])161 void SkBasicEdgeBuilder::addCubic(const SkPoint pts[]) {
162     SkCubicEdge* edge = fAlloc.make<SkCubicEdge>();
163     if (edge->setCubic(pts, fClipShift)) {
164         fList.push_back(edge);
165     }
166 }
addCubic(const SkPoint pts[])167 void SkAnalyticEdgeBuilder::addCubic(const SkPoint pts[]) {
168     SkAnalyticCubicEdge* edge = fAlloc.make<SkAnalyticCubicEdge>();
169     if (edge->setCubic(pts)) {
170         fList.push_back(edge);
171     }
172 }
173 
174 // TODO: merge addLine() and addPolyLine()?
175 
addPolyLine(const SkPoint pts[],char * arg_edge,char ** arg_edgePtr)176 SkEdgeBuilder::Combine SkBasicEdgeBuilder::addPolyLine(const SkPoint pts[],
177                                                        char* arg_edge, char** arg_edgePtr) {
178     auto edge    = (SkEdge*) arg_edge;
179     auto edgePtr = (SkEdge**)arg_edgePtr;
180 
181     if (edge->setLine(pts[0], pts[1], fClipShift)) {
182         return is_vertical(edge) && edgePtr > (SkEdge**)fEdgeList
183             ? this->combineVertical(edge, edgePtr[-1])
184             : kNo_Combine;
185     }
186     return SkEdgeBuilder::kPartial_Combine;  // A convenient lie.  Same do-nothing behavior.
187 }
addPolyLine(const SkPoint pts[],char * arg_edge,char ** arg_edgePtr)188 SkEdgeBuilder::Combine SkAnalyticEdgeBuilder::addPolyLine(const SkPoint pts[],
189                                                           char* arg_edge, char** arg_edgePtr) {
190     auto edge    = (SkAnalyticEdge*) arg_edge;
191     auto edgePtr = (SkAnalyticEdge**)arg_edgePtr;
192 
193     if (edge->setLine(pts[0], pts[1])) {
194         return is_vertical(edge) && edgePtr > (SkAnalyticEdge**)fEdgeList
195             ? this->combineVertical(edge, edgePtr[-1])
196             : kNo_Combine;
197     }
198     return SkEdgeBuilder::kPartial_Combine;  // As above.
199 }
200 
recoverClip(const SkIRect & src) const201 SkRect SkBasicEdgeBuilder::recoverClip(const SkIRect& src) const {
202     return { SkIntToScalar(src.fLeft   >> fClipShift),
203              SkIntToScalar(src.fTop    >> fClipShift),
204              SkIntToScalar(src.fRight  >> fClipShift),
205              SkIntToScalar(src.fBottom >> fClipShift), };
206 }
recoverClip(const SkIRect & src) const207 SkRect SkAnalyticEdgeBuilder::recoverClip(const SkIRect& src) const {
208     return SkRect::Make(src);
209 }
210 
allocEdges(size_t n,size_t * size)211 char* SkBasicEdgeBuilder::allocEdges(size_t n, size_t* size) {
212     *size = sizeof(SkEdge);
213     return (char*)fAlloc.makeArrayDefault<SkEdge>(n);
214 }
allocEdges(size_t n,size_t * size)215 char* SkAnalyticEdgeBuilder::allocEdges(size_t n, size_t* size) {
216     *size = sizeof(SkAnalyticEdge);
217     return (char*)fAlloc.makeArrayDefault<SkAnalyticEdge>(n);
218 }
219 
220 // TODO: maybe get rid of buildPoly() entirely?
buildPoly(const SkPath & path,const SkIRect * iclip,bool canCullToTheRight)221 int SkEdgeBuilder::buildPoly(const SkPath& path, const SkIRect* iclip, bool canCullToTheRight) {
222     size_t maxEdgeCount = path.countPoints();
223     if (iclip) {
224         // clipping can turn 1 line into (up to) kMaxClippedLineSegments, since
225         // we turn portions that are clipped out on the left/right into vertical
226         // segments.
227         SkSafeMath safe;
228         maxEdgeCount = safe.mul(maxEdgeCount, SkLineClipper::kMaxClippedLineSegments);
229         if (!safe) {
230             return 0;
231         }
232     }
233 
234     size_t edgeSize;
235     char* edge = this->allocEdges(maxEdgeCount, &edgeSize);
236 
237     SkDEBUGCODE(char* edgeStart = edge);
238     char** edgePtr = fAlloc.makeArrayDefault<char*>(maxEdgeCount);
239     fEdgeList = (void**)edgePtr;
240 
241     SkPathEdgeIter iter(path);
242     if (iclip) {
243         SkRect clip = this->recoverClip(*iclip);
244 
245         while (auto e = iter.next()) {
246             switch (e.fEdge) {
247                 case SkPathEdgeIter::Edge::kLine: {
248                     SkPoint lines[SkLineClipper::kMaxPoints];
249                     int lineCount = SkLineClipper::ClipLine(e.fPts, clip, lines, canCullToTheRight);
250                     SkASSERT(lineCount <= SkLineClipper::kMaxClippedLineSegments);
251                     for (int i = 0; i < lineCount; i++) {
252                         switch( this->addPolyLine(lines + i, edge, edgePtr) ) {
253                             case kTotal_Combine:   edgePtr--; break;
254                             case kPartial_Combine:            break;
255                             case kNo_Combine: *edgePtr++ = edge;
256                                                edge += edgeSize;
257                         }
258                     }
259                     break;
260                 }
261                 default:
262                     SkDEBUGFAIL("unexpected verb");
263                     break;
264             }
265         }
266     } else {
267         while (auto e = iter.next()) {
268             switch (e.fEdge) {
269                 case SkPathEdgeIter::Edge::kLine: {
270                     switch( this->addPolyLine(e.fPts, edge, edgePtr) ) {
271                         case kTotal_Combine:   edgePtr--; break;
272                         case kPartial_Combine:            break;
273                         case kNo_Combine: *edgePtr++ = edge;
274                                            edge += edgeSize;
275                     }
276                     break;
277                 }
278                 default:
279                     SkDEBUGFAIL("unexpected verb");
280                     break;
281             }
282         }
283     }
284     SkASSERT((size_t)(edge - edgeStart) <= maxEdgeCount * edgeSize);
285     SkASSERT((size_t)(edgePtr - (char**)fEdgeList) <= maxEdgeCount);
286     return SkToInt(edgePtr - (char**)fEdgeList);
287 }
288 
build(const SkPath & path,const SkIRect * iclip,bool canCullToTheRight)289 int SkEdgeBuilder::build(const SkPath& path, const SkIRect* iclip, bool canCullToTheRight) {
290     SkAutoConicToQuads quadder;
291     const SkScalar conicTol = SK_Scalar1 / 4;
292     bool is_finite = true;
293 
294     SkPathEdgeIter iter(path);
295     if (iclip) {
296         SkRect clip = this->recoverClip(*iclip);
297         SkEdgeClipper clipper(canCullToTheRight);
298 
299         auto apply_clipper = [this, &clipper, &is_finite] {
300             SkPoint      pts[4];
301             SkPath::Verb verb;
302 
303             while ((verb = clipper.next(pts)) != SkPath::kDone_Verb) {
304                 const int count = SkPathPriv::PtsInIter(verb);
305                 if (!SkScalarsAreFinite(&pts[0].fX, count*2)) {
306                     is_finite = false;
307                     return;
308                 }
309                 switch (verb) {
310                     case SkPath::kLine_Verb:  this->addLine (pts); break;
311                     case SkPath::kQuad_Verb:  this->addQuad (pts); break;
312                     case SkPath::kCubic_Verb: this->addCubic(pts); break;
313                     default: break;
314                 }
315             }
316         };
317 
318         while (auto e = iter.next()) {
319             switch (e.fEdge) {
320                 case SkPathEdgeIter::Edge::kLine:
321                     if (clipper.clipLine(e.fPts[0], e.fPts[1], clip)) {
322                         apply_clipper();
323                     }
324                     break;
325                 case SkPathEdgeIter::Edge::kQuad:
326                     if (clipper.clipQuad(e.fPts, clip)) {
327                         apply_clipper();
328                     }
329                     break;
330                 case SkPathEdgeIter::Edge::kConic: {
331                     const SkPoint* quadPts = quadder.computeQuads(
332                                           e.fPts, iter.conicWeight(), conicTol);
333                     for (int i = 0; i < quadder.countQuads(); ++i) {
334                         if (clipper.clipQuad(quadPts, clip)) {
335                             apply_clipper();
336                         }
337                         quadPts += 2;
338                     }
339                 } break;
340                 case SkPathEdgeIter::Edge::kCubic:
341                     if (clipper.clipCubic(e.fPts, clip)) {
342                         apply_clipper();
343                     }
344                     break;
345             }
346         }
347     } else {
348         auto handle_quad = [this](const SkPoint pts[3]) {
349             SkPoint monoX[5];
350             int n = SkChopQuadAtYExtrema(pts, monoX);
351             for (int i = 0; i <= n; i++) {
352                 this->addQuad(&monoX[i * 2]);
353             }
354         };
355         while (auto e = iter.next()) {
356             switch (e.fEdge) {
357                 case SkPathEdgeIter::Edge::kLine:
358                     this->addLine(e.fPts);
359                     break;
360                 case SkPathEdgeIter::Edge::kQuad: {
361                     handle_quad(e.fPts);
362                     break;
363                 }
364                 case SkPathEdgeIter::Edge::kConic: {
365                     const SkPoint* quadPts = quadder.computeQuads(
366                                           e.fPts, iter.conicWeight(), conicTol);
367                     for (int i = 0; i < quadder.countQuads(); ++i) {
368                         handle_quad(quadPts);
369                         quadPts += 2;
370                     }
371                 } break;
372                 case SkPathEdgeIter::Edge::kCubic: {
373                     SkPoint monoY[10];
374                     int n = SkChopCubicAtYExtrema(e.fPts, monoY);
375                     for (int i = 0; i <= n; i++) {
376                         this->addCubic(&monoY[i * 3]);
377                     }
378                     break;
379                 }
380             }
381         }
382     }
383     fEdgeList = fList.begin();
384     return is_finite ? fList.count() : 0;
385 }
386 
buildEdges(const SkPath & path,const SkIRect * shiftedClip)387 int SkEdgeBuilder::buildEdges(const SkPath& path,
388                               const SkIRect* shiftedClip) {
389     // If we're convex, then we need both edges, even if the right edge is past the clip.
390     const bool canCullToTheRight = !path.isConvex();
391 
392     // We can use our buildPoly() optimization if all the segments are lines.
393     // (Edges are homogenous and stored contiguously in memory, no need for indirection.)
394     const int count = SkPath::kLine_SegmentMask == path.getSegmentMasks()
395         ? this->buildPoly(path, shiftedClip, canCullToTheRight)
396         : this->build    (path, shiftedClip, canCullToTheRight);
397 
398     SkASSERT(count >= 0);
399 
400     // If we can't cull to the right, we should have count > 1 (or 0).
401     if (!canCullToTheRight) {
402         SkASSERT(count != 1);
403     }
404     return count;
405 }
406