blob: 3b497e50aa15d287f8d97be7ff086118e612fddf [file] [log] [blame]
Yuqian Li3154a532017-09-06 13:33:30 -04001/*
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 "SkAutoMalloc.h"
9#include "SkCanvas.h"
10#include "SkGeometry.h"
11#include "SkNullCanvas.h"
12#include "SkPaint.h"
13#include "SkParse.h"
14#include "SkParsePath.h"
15#include "SkPathEffect.h"
16#include "SkPathPriv.h"
17#include "SkRRect.h"
18#include "SkRandom.h"
19#include "SkReader32.h"
20#include "SkSize.h"
21#include "SkStream.h"
22#include "SkStrokeRec.h"
23#include "SkSurface.h"
24#include "SkWriter32.h"
25#include "Test.h"
26#include <cmath>
27
28
29static void set_radii(SkVector radii[4], int index, float rad) {
30 sk_bzero(radii, sizeof(SkVector) * 4);
31 radii[index].set(rad, rad);
32}
33
34static void test_add_rrect(skiatest::Reporter* reporter, const SkRect& bounds,
35 const SkVector radii[4]) {
36 SkRRect rrect;
37 rrect.setRectRadii(bounds, radii);
38 REPORTER_ASSERT(reporter, bounds == rrect.rect());
39
40 SkPath path;
41 // this line should not assert in the debug build (from validate)
42 path.addRRect(rrect);
43 REPORTER_ASSERT(reporter, bounds == path.getBounds());
44}
45
46static void test_skbug_3469(skiatest::Reporter* reporter) {
47 SkPath path;
48 path.moveTo(20, 20);
49 path.quadTo(20, 50, 80, 50);
50 path.quadTo(20, 50, 20, 80);
51 REPORTER_ASSERT(reporter, !path.isConvex());
52}
53
54static void test_skbug_3239(skiatest::Reporter* reporter) {
55 const float min = SkBits2Float(0xcb7f16c8); /* -16717512.000000 */
56 const float max = SkBits2Float(0x4b7f1c1d); /* 16718877.000000 */
57 const float big = SkBits2Float(0x4b7f1bd7); /* 16718807.000000 */
58
59 const float rad = 33436320;
60
61 const SkRect rectx = SkRect::MakeLTRB(min, min, max, big);
62 const SkRect recty = SkRect::MakeLTRB(min, min, big, max);
63
64 SkVector radii[4];
65 for (int i = 0; i < 4; ++i) {
66 set_radii(radii, i, rad);
67 test_add_rrect(reporter, rectx, radii);
68 test_add_rrect(reporter, recty, radii);
69 }
70}
71
72static void make_path_crbug364224(SkPath* path) {
73 path->reset();
74 path->moveTo(3.747501373f, 2.724499941f);
75 path->lineTo(3.747501373f, 3.75f);
76 path->cubicTo(3.747501373f, 3.88774991f, 3.635501385f, 4.0f, 3.497501373f, 4.0f);
77 path->lineTo(0.7475013733f, 4.0f);
78 path->cubicTo(0.6095013618f, 4.0f, 0.4975013733f, 3.88774991f, 0.4975013733f, 3.75f);
79 path->lineTo(0.4975013733f, 1.0f);
80 path->cubicTo(0.4975013733f, 0.8622499704f, 0.6095013618f, 0.75f, 0.7475013733f,0.75f);
81 path->lineTo(3.497501373f, 0.75f);
82 path->cubicTo(3.50275135f, 0.75f, 3.5070014f, 0.7527500391f, 3.513001442f, 0.753000021f);
83 path->lineTo(3.715001345f, 0.5512499809f);
84 path->cubicTo(3.648251295f, 0.5194999576f, 3.575501442f, 0.4999999702f, 3.497501373f, 0.4999999702f);
85 path->lineTo(0.7475013733f, 0.4999999702f);
86 path->cubicTo(0.4715013802f, 0.4999999702f, 0.2475013733f, 0.7239999771f, 0.2475013733f, 1.0f);
87 path->lineTo(0.2475013733f, 3.75f);
88 path->cubicTo(0.2475013733f, 4.026000023f, 0.4715013504f, 4.25f, 0.7475013733f, 4.25f);
89 path->lineTo(3.497501373f, 4.25f);
90 path->cubicTo(3.773501396f, 4.25f, 3.997501373f, 4.026000023f, 3.997501373f, 3.75f);
91 path->lineTo(3.997501373f, 2.474750042f);
92 path->lineTo(3.747501373f, 2.724499941f);
93 path->close();
94}
95
96static void make_path_crbug364224_simplified(SkPath* path) {
97 path->moveTo(3.747501373f, 2.724499941f);
98 path->cubicTo(3.648251295f, 0.5194999576f, 3.575501442f, 0.4999999702f, 3.497501373f, 0.4999999702f);
99 path->close();
100}
101
102static void test_sect_with_horizontal_needs_pinning() {
103 // Test that sect_with_horizontal in SkLineClipper.cpp needs to pin after computing the
104 // intersection.
105 SkPath path;
106 path.reset();
107 path.moveTo(-540000, -720000);
108 path.lineTo(-9.10000017e-05f, 9.99999996e-13f);
109 path.lineTo(1, 1);
110
111 // Without the pinning code in sect_with_horizontal(), this would assert in the lineclipper
112 SkPaint paint;
113 SkSurface::MakeRasterN32Premul(10, 10)->getCanvas()->drawPath(path, paint);
114}
115
116static void test_path_crbug364224() {
117 SkPath path;
118 SkPaint paint;
119 auto surface(SkSurface::MakeRasterN32Premul(84, 88));
120 SkCanvas* canvas = surface->getCanvas();
121
122 make_path_crbug364224_simplified(&path);
123 canvas->drawPath(path, paint);
124
125 make_path_crbug364224(&path);
126 canvas->drawPath(path, paint);
127}
128
Yuqian Lif13beef2017-09-14 17:15:04 -0400129static void test_draw_AA_path(int width, int height, const SkPath& path) {
130 auto surface(SkSurface::MakeRasterN32Premul(width, height));
131 SkCanvas* canvas = surface->getCanvas();
132 SkPaint paint;
133 paint.setAntiAlias(true);
134 canvas->drawPath(path, paint);
135}
136
Yuqian Li3154a532017-09-06 13:33:30 -0400137// this is a unit test instead of a GM because it doesn't draw anything
138static void test_fuzz_crbug_638223() {
Yuqian Li3154a532017-09-06 13:33:30 -0400139 SkPath path;
140 path.moveTo(SkBits2Float(0x47452a00), SkBits2Float(0x43211d01)); // 50474, 161.113f
141 path.conicTo(SkBits2Float(0x401c0000), SkBits2Float(0x40680000),
142 SkBits2Float(0x02c25a81), SkBits2Float(0x981a1fa0),
143 SkBits2Float(0x6bf9abea)); // 2.4375f, 3.625f, 2.85577e-37f, -1.992e-24f, 6.03669e+26f
Yuqian Lif13beef2017-09-14 17:15:04 -0400144 test_draw_AA_path(250, 250, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400145}
146
147static void test_fuzz_crbug_643933() {
Yuqian Li3154a532017-09-06 13:33:30 -0400148 SkPath path;
149 path.moveTo(0, 0);
150 path.conicTo(SkBits2Float(0x002001f2), SkBits2Float(0x4161ffff), // 2.93943e-39f, 14.125f
151 SkBits2Float(0x49f7224d), SkBits2Float(0x45eec8df), // 2.02452e+06f, 7641.11f
152 SkBits2Float(0x721aee0c)); // 3.0687e+30f
Yuqian Lif13beef2017-09-14 17:15:04 -0400153 test_draw_AA_path(250, 250, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400154 path.reset();
155 path.moveTo(0, 0);
156 path.conicTo(SkBits2Float(0x00007ff2), SkBits2Float(0x4169ffff), // 4.58981e-41f, 14.625f
157 SkBits2Float(0x43ff2261), SkBits2Float(0x41eeea04), // 510.269f, 29.8643f
158 SkBits2Float(0x5d06eff8)); // 6.07704e+17f
Yuqian Lif13beef2017-09-14 17:15:04 -0400159 test_draw_AA_path(250, 250, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400160}
161
162static void test_fuzz_crbug_647922() {
Yuqian Li3154a532017-09-06 13:33:30 -0400163 SkPath path;
164 path.moveTo(0, 0);
165 path.conicTo(SkBits2Float(0x00003939), SkBits2Float(0x42487fff), // 2.05276e-41f, 50.125f
166 SkBits2Float(0x48082361), SkBits2Float(0x4408e8e9), // 139406, 547.639f
167 SkBits2Float(0x4d1ade0f)); // 1.6239e+08f
Yuqian Lif13beef2017-09-14 17:15:04 -0400168 test_draw_AA_path(250, 250, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400169}
170
171static void test_fuzz_crbug_662780() {
172 auto surface(SkSurface::MakeRasterN32Premul(250, 250));
173 SkCanvas* canvas = surface->getCanvas();
174 SkPaint paint;
175 paint.setAntiAlias(true);
176 SkPath path;
177 path.moveTo(SkBits2Float(0x41000000), SkBits2Float(0x431e0000)); // 8, 158
178 path.lineTo(SkBits2Float(0x41000000), SkBits2Float(0x42f00000)); // 8, 120
179 // 8, 8, 8.00002f, 8, 0.707107f
180 path.conicTo(SkBits2Float(0x41000000), SkBits2Float(0x41000000),
181 SkBits2Float(0x41000010), SkBits2Float(0x41000000), SkBits2Float(0x3f3504f3));
182 path.lineTo(SkBits2Float(0x439a0000), SkBits2Float(0x41000000)); // 308, 8
183 // 308, 8, 308, 8, 0.707107f
184 path.conicTo(SkBits2Float(0x439a0000), SkBits2Float(0x41000000),
185 SkBits2Float(0x439a0000), SkBits2Float(0x41000000), SkBits2Float(0x3f3504f3));
186 path.lineTo(SkBits2Float(0x439a0000), SkBits2Float(0x431e0000)); // 308, 158
187 // 308, 158, 308, 158, 0.707107f
188 path.conicTo(SkBits2Float(0x439a0000), SkBits2Float(0x431e0000),
189 SkBits2Float(0x439a0000), SkBits2Float(0x431e0000), SkBits2Float(0x3f3504f3));
190 path.lineTo(SkBits2Float(0x41000000), SkBits2Float(0x431e0000)); // 8, 158
191 // 8, 158, 8, 158, 0.707107f
192 path.conicTo(SkBits2Float(0x41000000), SkBits2Float(0x431e0000),
193 SkBits2Float(0x41000000), SkBits2Float(0x431e0000), SkBits2Float(0x3f3504f3));
194 path.close();
195 canvas->clipPath(path, true);
196 canvas->drawRect(SkRect::MakeWH(250, 250), paint);
197}
198
199static void test_mask_overflow() {
Yuqian Li3154a532017-09-06 13:33:30 -0400200 SkPath path;
201 path.moveTo(SkBits2Float(0x43e28000), SkBits2Float(0x43aa8000)); // 453, 341
202 path.lineTo(SkBits2Float(0x43de6000), SkBits2Float(0x43aa8000)); // 444.75f, 341
203 // 440.47f, 341, 437, 344.47f, 437, 348.75f
204 path.cubicTo(SkBits2Float(0x43dc3c29), SkBits2Float(0x43aa8000),
205 SkBits2Float(0x43da8000), SkBits2Float(0x43ac3c29),
206 SkBits2Float(0x43da8000), SkBits2Float(0x43ae6000));
207 path.lineTo(SkBits2Float(0x43da8000), SkBits2Float(0x43b18000)); // 437, 355
208 path.lineTo(SkBits2Float(0x43e28000), SkBits2Float(0x43b18000)); // 453, 355
209 path.lineTo(SkBits2Float(0x43e28000), SkBits2Float(0x43aa8000)); // 453, 341
Yuqian Lif13beef2017-09-14 17:15:04 -0400210 test_draw_AA_path(500, 500, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400211}
212
213static void test_fuzz_crbug_668907() {
Yuqian Li3154a532017-09-06 13:33:30 -0400214 SkPath path;
215 path.moveTo(SkBits2Float(0x46313741), SkBits2Float(0x3b00e540)); // 11341.8f, 0.00196679f
216 path.quadTo(SkBits2Float(0x41410041), SkBits2Float(0xc1414141), SkBits2Float(0x41414141),
217 SkBits2Float(0x414100ff)); // 12.0626f, -12.0784f, 12.0784f, 12.0627f
218 path.lineTo(SkBits2Float(0x46313741), SkBits2Float(0x3b00e540)); // 11341.8f, 0.00196679f
219 path.close();
Yuqian Lif13beef2017-09-14 17:15:04 -0400220 test_draw_AA_path(400, 500, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400221}
222
223/**
224 * In debug mode, this path was causing an assertion to fail in
225 * SkPathStroker::preJoinTo() and, in Release, the use of an unitialized value.
226 */
227static void make_path_crbugskia2820(SkPath* path, skiatest::Reporter* reporter) {
228 SkPoint orig, p1, p2, p3;
229 orig = SkPoint::Make(1.f, 1.f);
230 p1 = SkPoint::Make(1.f - SK_ScalarNearlyZero, 1.f);
231 p2 = SkPoint::Make(1.f, 1.f + SK_ScalarNearlyZero);
232 p3 = SkPoint::Make(2.f, 2.f);
233
234 path->reset();
235 path->moveTo(orig);
236 path->cubicTo(p1, p2, p3);
237 path->close();
238}
239
240static void test_path_crbugskia2820(skiatest::Reporter* reporter) {//GrContext* context) {
241 SkPath path;
242 make_path_crbugskia2820(&path, reporter);
243
244 SkStrokeRec stroke(SkStrokeRec::kFill_InitStyle);
245 stroke.setStrokeStyle(2 * SK_Scalar1);
246 stroke.applyToPath(&path, path);
247}
248
249static void test_path_crbugskia5995() {
Yuqian Li3154a532017-09-06 13:33:30 -0400250 SkPath path;
251 path.moveTo(SkBits2Float(0x40303030), SkBits2Float(0x3e303030)); // 2.75294f, 0.172059f
252 path.quadTo(SkBits2Float(0x41d63030), SkBits2Float(0x30303030), SkBits2Float(0x41013030),
253 SkBits2Float(0x00000000)); // 26.7735f, 6.40969e-10f, 8.07426f, 0
254 path.moveTo(SkBits2Float(0x00000000), SkBits2Float(0x00000000)); // 0, 0
Yuqian Lif13beef2017-09-14 17:15:04 -0400255 test_draw_AA_path(500, 500, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400256}
257
258static void make_path0(SkPath* path) {
259 // from * https://code.google.com/p/skia/issues/detail?id=1706
260
261 path->moveTo(146.939f, 1012.84f);
262 path->lineTo(181.747f, 1009.18f);
263 path->lineTo(182.165f, 1013.16f);
264 path->lineTo(147.357f, 1016.82f);
265 path->lineTo(146.939f, 1012.84f);
266 path->close();
267}
268
269static void make_path1(SkPath* path) {
270 path->addRect(SkRect::MakeXYWH(10, 10, 10, 1));
271}
272
273typedef void (*PathProc)(SkPath*);
274
275/*
276 * Regression test: we used to crash (overwrite internal storage) during
277 * construction of the region when the path was INVERSE. That is now fixed,
278 * so test these regions (which used to assert/crash).
279 *
280 * https://code.google.com/p/skia/issues/detail?id=1706
281 */
282static void test_path_to_region(skiatest::Reporter* reporter) {
283 PathProc procs[] = {
284 make_path0,
285 make_path1,
286 };
287
288 SkRegion clip;
289 clip.setRect(0, 0, 1255, 1925);
290
291 for (size_t i = 0; i < SK_ARRAY_COUNT(procs); ++i) {
292 SkPath path;
293 procs[i](&path);
294
295 SkRegion rgn;
296 rgn.setPath(path, clip);
297 path.toggleInverseFillType();
298 rgn.setPath(path, clip);
299 }
300}
301
302#ifdef SK_BUILD_FOR_WIN
303 #define SUPPRESS_VISIBILITY_WARNING
304#else
305 #define SUPPRESS_VISIBILITY_WARNING __attribute__((visibility("hidden")))
306#endif
307
308static void test_path_close_issue1474(skiatest::Reporter* reporter) {
309 // This test checks that r{Line,Quad,Conic,Cubic}To following a close()
310 // are relative to the point we close to, not relative to the point we close from.
311 SkPath path;
312 SkPoint last;
313
314 // Test rLineTo().
315 path.rLineTo(0, 100);
316 path.rLineTo(100, 0);
317 path.close(); // Returns us back to 0,0.
318 path.rLineTo(50, 50); // This should go to 50,50.
319
320 path.getLastPt(&last);
321 REPORTER_ASSERT(reporter, 50 == last.fX);
322 REPORTER_ASSERT(reporter, 50 == last.fY);
323
324 // Test rQuadTo().
325 path.rewind();
326 path.rLineTo(0, 100);
327 path.rLineTo(100, 0);
328 path.close();
329 path.rQuadTo(50, 50, 75, 75);
330
331 path.getLastPt(&last);
332 REPORTER_ASSERT(reporter, 75 == last.fX);
333 REPORTER_ASSERT(reporter, 75 == last.fY);
334
335 // Test rConicTo().
336 path.rewind();
337 path.rLineTo(0, 100);
338 path.rLineTo(100, 0);
339 path.close();
340 path.rConicTo(50, 50, 85, 85, 2);
341
342 path.getLastPt(&last);
343 REPORTER_ASSERT(reporter, 85 == last.fX);
344 REPORTER_ASSERT(reporter, 85 == last.fY);
345
346 // Test rCubicTo().
347 path.rewind();
348 path.rLineTo(0, 100);
349 path.rLineTo(100, 0);
350 path.close();
351 path.rCubicTo(50, 50, 85, 85, 95, 95);
352
353 path.getLastPt(&last);
354 REPORTER_ASSERT(reporter, 95 == last.fX);
355 REPORTER_ASSERT(reporter, 95 == last.fY);
356}
357
358static void test_gen_id(skiatest::Reporter* reporter) {
359 SkPath a, b;
360 REPORTER_ASSERT(reporter, a.getGenerationID() == b.getGenerationID());
361
362 a.moveTo(0, 0);
363 const uint32_t z = a.getGenerationID();
364 REPORTER_ASSERT(reporter, z != b.getGenerationID());
365
366 a.reset();
367 REPORTER_ASSERT(reporter, a.getGenerationID() == b.getGenerationID());
368
369 a.moveTo(1, 1);
370 const uint32_t y = a.getGenerationID();
371 REPORTER_ASSERT(reporter, z != y);
372
373 b.moveTo(2, 2);
374 const uint32_t x = b.getGenerationID();
375 REPORTER_ASSERT(reporter, x != y && x != z);
376
377 a.swap(b);
378 REPORTER_ASSERT(reporter, b.getGenerationID() == y && a.getGenerationID() == x);
379
380 b = a;
381 REPORTER_ASSERT(reporter, b.getGenerationID() == x);
382
383 SkPath c(a);
384 REPORTER_ASSERT(reporter, c.getGenerationID() == x);
385
386 c.lineTo(3, 3);
387 const uint32_t w = c.getGenerationID();
388 REPORTER_ASSERT(reporter, b.getGenerationID() == x);
389 REPORTER_ASSERT(reporter, a.getGenerationID() == x);
390 REPORTER_ASSERT(reporter, w != x);
391
392#ifdef SK_BUILD_FOR_ANDROID_FRAMEWORK
393 static bool kExpectGenIDToIgnoreFill = false;
394#else
395 static bool kExpectGenIDToIgnoreFill = true;
396#endif
397
398 c.toggleInverseFillType();
399 const uint32_t v = c.getGenerationID();
400 REPORTER_ASSERT(reporter, (v == w) == kExpectGenIDToIgnoreFill);
401
402 c.rewind();
403 REPORTER_ASSERT(reporter, v != c.getGenerationID());
404}
405
406// This used to assert in the debug build, as the edges did not all line-up.
407static void test_bad_cubic_crbug234190() {
408 SkPath path;
409 path.moveTo(13.8509f, 3.16858f);
410 path.cubicTo(-2.35893e+08f, -4.21044e+08f,
411 -2.38991e+08f, -4.26573e+08f,
412 -2.41016e+08f, -4.30188e+08f);
Yuqian Lif13beef2017-09-14 17:15:04 -0400413 test_draw_AA_path(84, 88, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400414}
415
416static void test_bad_cubic_crbug229478() {
417 const SkPoint pts[] = {
418 { 4595.91064f, -11596.9873f },
419 { 4597.2168f, -11595.9414f },
420 { 4598.52344f, -11594.8955f },
421 { 4599.83008f, -11593.8496f },
422 };
423
424 SkPath path;
425 path.moveTo(pts[0]);
426 path.cubicTo(pts[1], pts[2], pts[3]);
427
428 SkPaint paint;
429 paint.setStyle(SkPaint::kStroke_Style);
430 paint.setStrokeWidth(20);
431
432 SkPath dst;
433 // Before the fix, this would infinite-recurse, and run out of stack
434 // because we would keep trying to subdivide a degenerate cubic segment.
435 paint.getFillPath(path, &dst, nullptr);
436}
437
438static void build_path_170666(SkPath& path) {
439 path.moveTo(17.9459f, 21.6344f);
440 path.lineTo(139.545f, -47.8105f);
441 path.lineTo(139.545f, -47.8105f);
442 path.lineTo(131.07f, -47.3888f);
443 path.lineTo(131.07f, -47.3888f);
444 path.lineTo(122.586f, -46.9532f);
445 path.lineTo(122.586f, -46.9532f);
446 path.lineTo(18076.6f, 31390.9f);
447 path.lineTo(18076.6f, 31390.9f);
448 path.lineTo(18085.1f, 31390.5f);
449 path.lineTo(18085.1f, 31390.5f);
450 path.lineTo(18076.6f, 31390.9f);
451 path.lineTo(18076.6f, 31390.9f);
452 path.lineTo(17955, 31460.3f);
453 path.lineTo(17955, 31460.3f);
454 path.lineTo(17963.5f, 31459.9f);
455 path.lineTo(17963.5f, 31459.9f);
456 path.lineTo(17971.9f, 31459.5f);
457 path.lineTo(17971.9f, 31459.5f);
458 path.lineTo(17.9551f, 21.6205f);
459 path.lineTo(17.9551f, 21.6205f);
460 path.lineTo(9.47091f, 22.0561f);
461 path.lineTo(9.47091f, 22.0561f);
462 path.lineTo(17.9459f, 21.6344f);
463 path.lineTo(17.9459f, 21.6344f);
464 path.close();path.moveTo(0.995934f, 22.4779f);
465 path.lineTo(0.986725f, 22.4918f);
466 path.lineTo(0.986725f, 22.4918f);
467 path.lineTo(17955, 31460.4f);
468 path.lineTo(17955, 31460.4f);
469 path.lineTo(17971.9f, 31459.5f);
470 path.lineTo(17971.9f, 31459.5f);
471 path.lineTo(18093.6f, 31390.1f);
472 path.lineTo(18093.6f, 31390.1f);
473 path.lineTo(18093.6f, 31390);
474 path.lineTo(18093.6f, 31390);
475 path.lineTo(139.555f, -47.8244f);
476 path.lineTo(139.555f, -47.8244f);
477 path.lineTo(122.595f, -46.9671f);
478 path.lineTo(122.595f, -46.9671f);
479 path.lineTo(0.995934f, 22.4779f);
480 path.lineTo(0.995934f, 22.4779f);
481 path.close();
482 path.moveTo(5.43941f, 25.5223f);
483 path.lineTo(798267, -28871.1f);
484 path.lineTo(798267, -28871.1f);
485 path.lineTo(3.12512e+06f, -113102);
486 path.lineTo(3.12512e+06f, -113102);
487 path.cubicTo(5.16324e+06f, -186882, 8.15247e+06f, -295092, 1.1957e+07f, -432813);
488 path.cubicTo(1.95659e+07f, -708257, 3.04359e+07f, -1.10175e+06f, 4.34798e+07f, -1.57394e+06f);
489 path.cubicTo(6.95677e+07f, -2.51831e+06f, 1.04352e+08f, -3.77748e+06f, 1.39135e+08f, -5.03666e+06f);
490 path.cubicTo(1.73919e+08f, -6.29583e+06f, 2.08703e+08f, -7.555e+06f, 2.34791e+08f, -8.49938e+06f);
491 path.cubicTo(2.47835e+08f, -8.97157e+06f, 2.58705e+08f, -9.36506e+06f, 2.66314e+08f, -9.6405e+06f);
492 path.cubicTo(2.70118e+08f, -9.77823e+06f, 2.73108e+08f, -9.88644e+06f, 2.75146e+08f, -9.96022e+06f);
493 path.cubicTo(2.76165e+08f, -9.99711e+06f, 2.76946e+08f, -1.00254e+07f, 2.77473e+08f, -1.00444e+07f);
494 path.lineTo(2.78271e+08f, -1.00733e+07f);
495 path.lineTo(2.78271e+08f, -1.00733e+07f);
496 path.cubicTo(2.78271e+08f, -1.00733e+07f, 2.08703e+08f, -7.555e+06f, 135.238f, 23.3517f);
497 path.cubicTo(131.191f, 23.4981f, 125.995f, 23.7976f, 123.631f, 24.0206f);
498 path.cubicTo(121.267f, 24.2436f, 122.631f, 24.3056f, 126.677f, 24.1591f);
499 path.cubicTo(2.08703e+08f, -7.555e+06f, 2.78271e+08f, -1.00733e+07f, 2.78271e+08f, -1.00733e+07f);
500 path.lineTo(2.77473e+08f, -1.00444e+07f);
501 path.lineTo(2.77473e+08f, -1.00444e+07f);
502 path.cubicTo(2.76946e+08f, -1.00254e+07f, 2.76165e+08f, -9.99711e+06f, 2.75146e+08f, -9.96022e+06f);
503 path.cubicTo(2.73108e+08f, -9.88644e+06f, 2.70118e+08f, -9.77823e+06f, 2.66314e+08f, -9.6405e+06f);
504 path.cubicTo(2.58705e+08f, -9.36506e+06f, 2.47835e+08f, -8.97157e+06f, 2.34791e+08f, -8.49938e+06f);
505 path.cubicTo(2.08703e+08f, -7.555e+06f, 1.73919e+08f, -6.29583e+06f, 1.39135e+08f, -5.03666e+06f);
506 path.cubicTo(1.04352e+08f, -3.77749e+06f, 6.95677e+07f, -2.51831e+06f, 4.34798e+07f, -1.57394e+06f);
507 path.cubicTo(3.04359e+07f, -1.10175e+06f, 1.95659e+07f, -708258, 1.1957e+07f, -432814);
508 path.cubicTo(8.15248e+06f, -295092, 5.16324e+06f, -186883, 3.12513e+06f, -113103);
509 path.lineTo(798284, -28872);
510 path.lineTo(798284, -28872);
511 path.lineTo(22.4044f, 24.6677f);
512 path.lineTo(22.4044f, 24.6677f);
513 path.cubicTo(22.5186f, 24.5432f, 18.8134f, 24.6337f, 14.1287f, 24.8697f);
514 path.cubicTo(9.4439f, 25.1057f, 5.55359f, 25.3978f, 5.43941f, 25.5223f);
515 path.close();
516}
517
518static void build_path_simple_170666(SkPath& path) {
519 path.moveTo(126.677f, 24.1591f);
520 path.cubicTo(2.08703e+08f, -7.555e+06f, 2.78271e+08f, -1.00733e+07f, 2.78271e+08f, -1.00733e+07f);
521}
522
523// This used to assert in the SK_DEBUG build, as the clip step would fail with
524// too-few interations in our cubic-line intersection code. That code now runs
525// 24 interations (instead of 16).
526static void test_crbug_170666() {
527 SkPath path;
Yuqian Li3154a532017-09-06 13:33:30 -0400528 build_path_simple_170666(path);
Yuqian Lif13beef2017-09-14 17:15:04 -0400529 test_draw_AA_path(1000, 1000, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400530
531 build_path_170666(path);
Yuqian Lif13beef2017-09-14 17:15:04 -0400532 test_draw_AA_path(1000, 1000, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400533}
534
535
536static void test_tiny_path_convexity(skiatest::Reporter* reporter, const char* pathBug,
537 SkScalar tx, SkScalar ty, SkScalar scale) {
538 SkPath smallPath;
539 SkAssertResult(SkParsePath::FromSVGString(pathBug, &smallPath));
540 bool smallConvex = smallPath.isConvex();
541 SkPath largePath;
542 SkAssertResult(SkParsePath::FromSVGString(pathBug, &largePath));
543 SkMatrix matrix;
544 matrix.reset();
545 matrix.preTranslate(100, 100);
546 matrix.preScale(scale, scale);
547 largePath.transform(matrix);
548 bool largeConvex = largePath.isConvex();
549 REPORTER_ASSERT(reporter, smallConvex == largeConvex);
550}
551
552static void test_crbug_493450(skiatest::Reporter* reporter) {
553 const char reducedCase[] =
554 "M0,0"
555 "L0.0002, 0"
556 "L0.0002, 0.0002"
557 "L0.0001, 0.0001"
558 "L0,0.0002"
559 "Z";
560 test_tiny_path_convexity(reporter, reducedCase, 100, 100, 100000);
561 const char originalFiddleData[] =
562 "M-0.3383152268862998,-0.11217565719203619L-0.33846085183212765,-0.11212264406895281"
563 "L-0.338509393480737,-0.11210607966681395L-0.33857792286700894,-0.1121889121487573"
564 "L-0.3383866116636664,-0.11228834570924921L-0.33842087635680235,-0.11246078673250548"
565 "L-0.33809536177201055,-0.11245415228342878L-0.33797257995493996,-0.11216571641452182"
566 "L-0.33802112160354925,-0.11201996164188659L-0.33819815585141844,-0.11218559834671019Z";
567 test_tiny_path_convexity(reporter, originalFiddleData, 280081.4116670522f, 93268.04618493588f,
568 826357.3384828606f);
569}
570
571static void test_crbug_495894(skiatest::Reporter* reporter) {
572 const char originalFiddleData[] =
573 "M-0.34004273849857214,-0.11332803232216355L-0.34008271397389744,-0.11324483772714951"
574 "L-0.3401940742265893,-0.11324483772714951L-0.34017694188002134,-0.11329807920275889"
575 "L-0.3402026403998733,-0.11333468903941245L-0.34029972369709194,-0.11334134592705701"
576 "L-0.3403054344792813,-0.11344121970007795L-0.3403140006525653,-0.11351115418399343"
577 "L-0.34024261587519866,-0.11353446986281181L-0.3402197727464413,-0.11360442946144192"
578 "L-0.34013696640469604,-0.11359110237029302L-0.34009128014718143,-0.1135877707043939"
579 "L-0.3400598708451401,-0.11360776134112742L-0.34004273849857214,-0.11355112520064405"
580 "L-0.3400113291965308,-0.11355112520064405L-0.3399970522410575,-0.11359110237029302"
581 "L-0.33997135372120546,-0.11355112520064405L-0.3399627875479215,-0.11353780084493197"
582 "L-0.3399485105924481,-0.11350782354357004L-0.3400027630232468,-0.11346452910331437"
583 "L-0.3399485105924481,-0.11340126558629839L-0.33993994441916414,-0.11340126558629839"
584 "L-0.33988283659727087,-0.11331804756574679L-0.33989140277055485,-0.11324483772714951"
585 "L-0.33997991989448945,-0.11324483772714951L-0.3399856306766788,-0.11324483772714951"
586 "L-0.34002560615200417,-0.11334467443478255ZM-0.3400684370184241,-0.11338461985124307"
587 "L-0.340154098751264,-0.11341791238732665L-0.340162664924548,-0.1134378899559977"
588 "L-0.34017979727111597,-0.11340126558629839L-0.3401655203156427,-0.11338129083212668"
589 "L-0.34012268944922275,-0.11332137577529414L-0.34007414780061346,-0.11334467443478255Z"
590 "M-0.3400027630232468,-0.11290567901106024L-0.3400113291965308,-0.11298876531245433"
591 "L-0.33997991989448945,-0.11301535852306784L-0.33990282433493346,-0.11296217481488612"
592 "L-0.33993994441916414,-0.11288906492739594Z";
593 test_tiny_path_convexity(reporter, originalFiddleData, 22682.240000000005f,7819.72220766405f,
594 65536);
595}
596
597static void test_crbug_613918() {
598 SkPath path;
599 path.conicTo(-6.62478e-08f, 4.13885e-08f, -6.36935e-08f, 3.97927e-08f, 0.729058f);
600 path.quadTo(2.28206e-09f, -1.42572e-09f, 3.91919e-09f, -2.44852e-09f);
601 path.cubicTo(-16752.2f, -26792.9f, -21.4673f, 10.9347f, -8.57322f, -7.22739f);
602
603 // This call could lead to an assert or uninitialized read due to a failure
604 // to check the return value from SkCubicClipper::ChopMonoAtY.
605 path.contains(-1.84817e-08f, 1.15465e-08f);
606}
607
608static void test_addrect(skiatest::Reporter* reporter) {
609 SkPath path;
610 path.lineTo(0, 0);
611 path.addRect(SkRect::MakeWH(50, 100));
612 REPORTER_ASSERT(reporter, path.isRect(nullptr));
613
614 path.reset();
615 path.lineTo(FLT_EPSILON, FLT_EPSILON);
616 path.addRect(SkRect::MakeWH(50, 100));
617 REPORTER_ASSERT(reporter, !path.isRect(nullptr));
618
619 path.reset();
620 path.quadTo(0, 0, 0, 0);
621 path.addRect(SkRect::MakeWH(50, 100));
622 REPORTER_ASSERT(reporter, !path.isRect(nullptr));
623
624 path.reset();
625 path.conicTo(0, 0, 0, 0, 0.5f);
626 path.addRect(SkRect::MakeWH(50, 100));
627 REPORTER_ASSERT(reporter, !path.isRect(nullptr));
628
629 path.reset();
630 path.cubicTo(0, 0, 0, 0, 0, 0);
631 path.addRect(SkRect::MakeWH(50, 100));
632 REPORTER_ASSERT(reporter, !path.isRect(nullptr));
633}
634
635// Make sure we stay non-finite once we get there (unless we reset or rewind).
636static void test_addrect_isfinite(skiatest::Reporter* reporter) {
637 SkPath path;
638
639 path.addRect(SkRect::MakeWH(50, 100));
640 REPORTER_ASSERT(reporter, path.isFinite());
641
642 path.moveTo(0, 0);
643 path.lineTo(SK_ScalarInfinity, 42);
644 REPORTER_ASSERT(reporter, !path.isFinite());
645
646 path.addRect(SkRect::MakeWH(50, 100));
647 REPORTER_ASSERT(reporter, !path.isFinite());
648
649 path.reset();
650 REPORTER_ASSERT(reporter, path.isFinite());
651
652 path.addRect(SkRect::MakeWH(50, 100));
653 REPORTER_ASSERT(reporter, path.isFinite());
654}
655
656static void build_big_path(SkPath* path, bool reducedCase) {
657 if (reducedCase) {
658 path->moveTo(577330, 1971.72f);
659 path->cubicTo(10.7082f, -116.596f, 262.057f, 45.6468f, 294.694f, 1.96237f);
660 } else {
661 path->moveTo(60.1631f, 7.70567f);
662 path->quadTo(60.1631f, 7.70567f, 0.99474f, 0.901199f);
663 path->lineTo(577379, 1977.77f);
664 path->quadTo(577364, 1979.57f, 577325, 1980.26f);
665 path->quadTo(577286, 1980.95f, 577245, 1980.13f);
666 path->quadTo(577205, 1979.3f, 577187, 1977.45f);
667 path->quadTo(577168, 1975.6f, 577183, 1973.8f);
668 path->quadTo(577198, 1972, 577238, 1971.31f);
669 path->quadTo(577277, 1970.62f, 577317, 1971.45f);
670 path->quadTo(577330, 1971.72f, 577341, 1972.11f);
671 path->cubicTo(10.7082f, -116.596f, 262.057f, 45.6468f, 294.694f, 1.96237f);
672 path->moveTo(306.718f, -32.912f);
673 path->cubicTo(30.531f, 10.0005f, 1502.47f, 13.2804f, 84.3088f, 9.99601f);
674 }
675}
676
677static void test_clipped_cubic() {
678 auto surface(SkSurface::MakeRasterN32Premul(640, 480));
679
680 // This path used to assert, because our cubic-chopping code incorrectly
681 // moved control points after the chop. This test should be run in SK_DEBUG
682 // mode to ensure that we no long assert.
683 SkPath path;
684 for (int doReducedCase = 0; doReducedCase <= 1; ++doReducedCase) {
685 build_big_path(&path, SkToBool(doReducedCase));
686
687 SkPaint paint;
688 for (int doAA = 0; doAA <= 1; ++doAA) {
689 paint.setAntiAlias(SkToBool(doAA));
690 surface->getCanvas()->drawPath(path, paint);
691 }
692 }
693}
694
695static void dump_if_ne(skiatest::Reporter* reporter, const SkRect& expected, const SkRect& bounds) {
696 if (expected != bounds) {
697 ERRORF(reporter, "path.getBounds() returned [%g %g %g %g], but expected [%g %g %g %g]",
698 bounds.left(), bounds.top(), bounds.right(), bounds.bottom(),
699 expected.left(), expected.top(), expected.right(), expected.bottom());
700 }
701}
702
703static void test_bounds_crbug_513799(skiatest::Reporter* reporter) {
704 SkPath path;
705#if 0
706 // As written these tests were failing on LLVM 4.2 MacMini Release mysteriously, so we've
707 // rewritten them to avoid this (compiler-bug?).
708 REPORTER_ASSERT(reporter, SkRect::MakeLTRB(0, 0, 0, 0) == path.getBounds());
709
710 path.moveTo(-5, -8);
711 REPORTER_ASSERT(reporter, SkRect::MakeLTRB(-5, -8, -5, -8) == path.getBounds());
712
713 path.addRect(SkRect::MakeLTRB(1, 2, 3, 4));
714 REPORTER_ASSERT(reporter, SkRect::MakeLTRB(-5, -8, 3, 4) == path.getBounds());
715
716 path.moveTo(1, 2);
717 REPORTER_ASSERT(reporter, SkRect::MakeLTRB(-5, -8, 3, 4) == path.getBounds());
718#else
719 dump_if_ne(reporter, SkRect::MakeLTRB(0, 0, 0, 0), path.getBounds());
720
721 path.moveTo(-5, -8); // should set the bounds
722 dump_if_ne(reporter, SkRect::MakeLTRB(-5, -8, -5, -8), path.getBounds());
723
724 path.addRect(SkRect::MakeLTRB(1, 2, 3, 4)); // should extend the bounds
725 dump_if_ne(reporter, SkRect::MakeLTRB(-5, -8, 3, 4), path.getBounds());
726
727 path.moveTo(1, 2); // don't expect this to have changed the bounds
728 dump_if_ne(reporter, SkRect::MakeLTRB(-5, -8, 3, 4), path.getBounds());
729#endif
730}
731
732#include "SkSurface.h"
733static void test_fuzz_crbug_627414(skiatest::Reporter* reporter) {
734 SkPath path;
735 path.moveTo(0, 0);
736 path.conicTo(3.58732e-43f, 2.72084f, 3.00392f, 3.00392f, 8.46e+37f);
Yuqian Lif13beef2017-09-14 17:15:04 -0400737 test_draw_AA_path(100, 100, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400738}
739
740// Inspired by http://ie.microsoft.com/testdrive/Performance/Chalkboard/
741// which triggered an assert, from a tricky cubic. This test replicates that
742// example, so we can ensure that we handle it (in SkEdge.cpp), and don't
743// assert in the SK_DEBUG build.
744static void test_tricky_cubic() {
745 const SkPoint pts[] = {
746 { SkDoubleToScalar(18.8943768), SkDoubleToScalar(129.121277) },
747 { SkDoubleToScalar(18.8937435), SkDoubleToScalar(129.121689) },
748 { SkDoubleToScalar(18.8950119), SkDoubleToScalar(129.120422) },
749 { SkDoubleToScalar(18.5030727), SkDoubleToScalar(129.13121) },
750 };
751
752 SkPath path;
753 path.moveTo(pts[0]);
754 path.cubicTo(pts[1], pts[2], pts[3]);
Yuqian Lif13beef2017-09-14 17:15:04 -0400755 test_draw_AA_path(19, 130, path);
Yuqian Li3154a532017-09-06 13:33:30 -0400756}
757
758// Inspired by http://code.google.com/p/chromium/issues/detail?id=141651
759//
760static void test_isfinite_after_transform(skiatest::Reporter* reporter) {
761 SkPath path;
762 path.quadTo(157, 366, 286, 208);
763 path.arcTo(37, 442, 315, 163, 957494590897113.0f);
764
765 SkMatrix matrix;
766 matrix.setScale(1000*1000, 1000*1000);
767
768 // Be sure that path::transform correctly updates isFinite and the bounds
769 // if the transformation overflows. The previous bug was that isFinite was
770 // set to true in this case, but the bounds were not set to empty (which
771 // they should be).
772 while (path.isFinite()) {
773 REPORTER_ASSERT(reporter, path.getBounds().isFinite());
774 REPORTER_ASSERT(reporter, !path.getBounds().isEmpty());
775 path.transform(matrix);
776 }
777 REPORTER_ASSERT(reporter, path.getBounds().isEmpty());
778
779 matrix.setTranslate(SK_Scalar1, SK_Scalar1);
780 path.transform(matrix);
781 // we need to still be non-finite
782 REPORTER_ASSERT(reporter, !path.isFinite());
783 REPORTER_ASSERT(reporter, path.getBounds().isEmpty());
784}
785
786static void add_corner_arc(SkPath* path, const SkRect& rect,
787 SkScalar xIn, SkScalar yIn,
788 int startAngle)
789{
790
791 SkScalar rx = SkMinScalar(rect.width(), xIn);
792 SkScalar ry = SkMinScalar(rect.height(), yIn);
793
794 SkRect arcRect;
795 arcRect.set(-rx, -ry, rx, ry);
796 switch (startAngle) {
797 case 0:
798 arcRect.offset(rect.fRight - arcRect.fRight, rect.fBottom - arcRect.fBottom);
799 break;
800 case 90:
801 arcRect.offset(rect.fLeft - arcRect.fLeft, rect.fBottom - arcRect.fBottom);
802 break;
803 case 180:
804 arcRect.offset(rect.fLeft - arcRect.fLeft, rect.fTop - arcRect.fTop);
805 break;
806 case 270:
807 arcRect.offset(rect.fRight - arcRect.fRight, rect.fTop - arcRect.fTop);
808 break;
809 default:
810 break;
811 }
812
813 path->arcTo(arcRect, SkIntToScalar(startAngle), SkIntToScalar(90), false);
814}
815
816static void make_arb_round_rect(SkPath* path, const SkRect& r,
817 SkScalar xCorner, SkScalar yCorner) {
818 // we are lazy here and use the same x & y for each corner
819 add_corner_arc(path, r, xCorner, yCorner, 270);
820 add_corner_arc(path, r, xCorner, yCorner, 0);
821 add_corner_arc(path, r, xCorner, yCorner, 90);
822 add_corner_arc(path, r, xCorner, yCorner, 180);
823 path->close();
824}
825
826// Chrome creates its own round rects with each corner possibly being different.
827// Performance will suffer if they are not convex.
828// Note: PathBench::ArbRoundRectBench performs almost exactly
829// the same test (but with drawing)
830static void test_arb_round_rect_is_convex(skiatest::Reporter* reporter) {
831 SkRandom rand;
832 SkRect r;
833
834 for (int i = 0; i < 5000; ++i) {
835
836 SkScalar size = rand.nextUScalar1() * 30;
837 if (size < SK_Scalar1) {
838 continue;
839 }
840 r.fLeft = rand.nextUScalar1() * 300;
841 r.fTop = rand.nextUScalar1() * 300;
842 r.fRight = r.fLeft + 2 * size;
843 r.fBottom = r.fTop + 2 * size;
844
845 SkPath temp;
846
847 make_arb_round_rect(&temp, r, r.width() / 10, r.height() / 15);
848
849 REPORTER_ASSERT(reporter, temp.isConvex());
850 }
851}
852
853// Chrome will sometimes create a 0 radius round rect. The degenerate
854// quads prevent the path from being converted to a rect
855// Note: PathBench::ArbRoundRectBench performs almost exactly
856// the same test (but with drawing)
857static void test_arb_zero_rad_round_rect_is_rect(skiatest::Reporter* reporter) {
858 SkRandom rand;
859 SkRect r;
860
861 for (int i = 0; i < 5000; ++i) {
862
863 SkScalar size = rand.nextUScalar1() * 30;
864 if (size < SK_Scalar1) {
865 continue;
866 }
867 r.fLeft = rand.nextUScalar1() * 300;
868 r.fTop = rand.nextUScalar1() * 300;
869 r.fRight = r.fLeft + 2 * size;
870 r.fBottom = r.fTop + 2 * size;
871
872 SkPath temp;
873
874 make_arb_round_rect(&temp, r, 0, 0);
875
876 SkRect result;
877 REPORTER_ASSERT(reporter, temp.isRect(&result));
878 REPORTER_ASSERT(reporter, r == result);
879 }
880}
881
882static void test_rect_isfinite(skiatest::Reporter* reporter) {
883 const SkScalar inf = SK_ScalarInfinity;
884 const SkScalar negInf = SK_ScalarNegativeInfinity;
885 const SkScalar nan = SK_ScalarNaN;
886
887 SkRect r;
888 r.setEmpty();
889 REPORTER_ASSERT(reporter, r.isFinite());
890 r.set(0, 0, inf, negInf);
891 REPORTER_ASSERT(reporter, !r.isFinite());
892 r.set(0, 0, nan, 0);
893 REPORTER_ASSERT(reporter, !r.isFinite());
894
895 SkPoint pts[] = {
896 { 0, 0 },
897 { SK_Scalar1, 0 },
898 { 0, SK_Scalar1 },
899 };
900
901 bool isFine = r.setBoundsCheck(pts, 3);
902 REPORTER_ASSERT(reporter, isFine);
903 REPORTER_ASSERT(reporter, !r.isEmpty());
904
905 pts[1].set(inf, 0);
906 isFine = r.setBoundsCheck(pts, 3);
907 REPORTER_ASSERT(reporter, !isFine);
908 REPORTER_ASSERT(reporter, r.isEmpty());
909
910 pts[1].set(nan, 0);
911 isFine = r.setBoundsCheck(pts, 3);
912 REPORTER_ASSERT(reporter, !isFine);
913 REPORTER_ASSERT(reporter, r.isEmpty());
914}
915
916static void test_path_isfinite(skiatest::Reporter* reporter) {
917 const SkScalar inf = SK_ScalarInfinity;
918 const SkScalar negInf = SK_ScalarNegativeInfinity;
919 const SkScalar nan = SK_ScalarNaN;
920
921 SkPath path;
922 REPORTER_ASSERT(reporter, path.isFinite());
923
924 path.reset();
925 REPORTER_ASSERT(reporter, path.isFinite());
926
927 path.reset();
928 path.moveTo(SK_Scalar1, 0);
929 REPORTER_ASSERT(reporter, path.isFinite());
930
931 path.reset();
932 path.moveTo(inf, negInf);
933 REPORTER_ASSERT(reporter, !path.isFinite());
934
935 path.reset();
936 path.moveTo(nan, 0);
937 REPORTER_ASSERT(reporter, !path.isFinite());
938}
939
940static void test_isfinite(skiatest::Reporter* reporter) {
941 test_rect_isfinite(reporter);
942 test_path_isfinite(reporter);
943}
944
945static void test_islastcontourclosed(skiatest::Reporter* reporter) {
946 SkPath path;
947 REPORTER_ASSERT(reporter, !path.isLastContourClosed());
948 path.moveTo(0, 0);
949 REPORTER_ASSERT(reporter, !path.isLastContourClosed());
950 path.close();
951 REPORTER_ASSERT(reporter, path.isLastContourClosed());
952 path.lineTo(100, 100);
953 REPORTER_ASSERT(reporter, !path.isLastContourClosed());
954 path.moveTo(200, 200);
955 REPORTER_ASSERT(reporter, !path.isLastContourClosed());
956 path.close();
957 REPORTER_ASSERT(reporter, path.isLastContourClosed());
958 path.moveTo(0, 0);
959 REPORTER_ASSERT(reporter, !path.isLastContourClosed());
960}
961
962// assert that we always
963// start with a moveTo
964// only have 1 moveTo
965// only have Lines after that
966// end with a single close
967// only have (at most) 1 close
968//
969static void test_poly(skiatest::Reporter* reporter, const SkPath& path,
970 const SkPoint srcPts[], bool expectClose) {
971 SkPath::RawIter iter(path);
972 SkPoint pts[4];
973
974 bool firstTime = true;
975 bool foundClose = false;
976 for (;;) {
977 switch (iter.next(pts)) {
978 case SkPath::kMove_Verb:
979 REPORTER_ASSERT(reporter, firstTime);
980 REPORTER_ASSERT(reporter, pts[0] == srcPts[0]);
981 srcPts++;
982 firstTime = false;
983 break;
984 case SkPath::kLine_Verb:
985 REPORTER_ASSERT(reporter, !firstTime);
986 REPORTER_ASSERT(reporter, pts[1] == srcPts[0]);
987 srcPts++;
988 break;
989 case SkPath::kQuad_Verb:
Brian Salomon1c80e992018-01-29 09:50:47 -0500990 REPORTER_ASSERT(reporter, false, "unexpected quad verb");
Yuqian Li3154a532017-09-06 13:33:30 -0400991 break;
992 case SkPath::kConic_Verb:
Brian Salomon1c80e992018-01-29 09:50:47 -0500993 REPORTER_ASSERT(reporter, false, "unexpected conic verb");
Yuqian Li3154a532017-09-06 13:33:30 -0400994 break;
995 case SkPath::kCubic_Verb:
Brian Salomon1c80e992018-01-29 09:50:47 -0500996 REPORTER_ASSERT(reporter, false, "unexpected cubic verb");
Yuqian Li3154a532017-09-06 13:33:30 -0400997 break;
998 case SkPath::kClose_Verb:
999 REPORTER_ASSERT(reporter, !firstTime);
1000 REPORTER_ASSERT(reporter, !foundClose);
1001 REPORTER_ASSERT(reporter, expectClose);
1002 foundClose = true;
1003 break;
1004 case SkPath::kDone_Verb:
1005 goto DONE;
1006 }
1007 }
1008DONE:
1009 REPORTER_ASSERT(reporter, foundClose == expectClose);
1010}
1011
1012static void test_addPoly(skiatest::Reporter* reporter) {
1013 SkPoint pts[32];
1014 SkRandom rand;
1015
1016 for (size_t i = 0; i < SK_ARRAY_COUNT(pts); ++i) {
1017 pts[i].fX = rand.nextSScalar1();
1018 pts[i].fY = rand.nextSScalar1();
1019 }
1020
1021 for (int doClose = 0; doClose <= 1; ++doClose) {
1022 for (size_t count = 1; count <= SK_ARRAY_COUNT(pts); ++count) {
1023 SkPath path;
1024 path.addPoly(pts, SkToInt(count), SkToBool(doClose));
1025 test_poly(reporter, path, pts, SkToBool(doClose));
1026 }
1027 }
1028}
1029
1030static void test_strokerec(skiatest::Reporter* reporter) {
1031 SkStrokeRec rec(SkStrokeRec::kFill_InitStyle);
1032 REPORTER_ASSERT(reporter, rec.isFillStyle());
1033
1034 rec.setHairlineStyle();
1035 REPORTER_ASSERT(reporter, rec.isHairlineStyle());
1036
1037 rec.setStrokeStyle(SK_Scalar1, false);
1038 REPORTER_ASSERT(reporter, SkStrokeRec::kStroke_Style == rec.getStyle());
1039
1040 rec.setStrokeStyle(SK_Scalar1, true);
1041 REPORTER_ASSERT(reporter, SkStrokeRec::kStrokeAndFill_Style == rec.getStyle());
1042
1043 rec.setStrokeStyle(0, false);
1044 REPORTER_ASSERT(reporter, SkStrokeRec::kHairline_Style == rec.getStyle());
1045
1046 rec.setStrokeStyle(0, true);
1047 REPORTER_ASSERT(reporter, SkStrokeRec::kFill_Style == rec.getStyle());
1048}
1049
1050// Set this for paths that don't have a consistent direction such as a bowtie.
1051// (cheapComputeDirection is not expected to catch these.)
1052const SkPathPriv::FirstDirection kDontCheckDir = static_cast<SkPathPriv::FirstDirection>(-1);
1053
1054static void check_direction(skiatest::Reporter* reporter, const SkPath& path,
1055 SkPathPriv::FirstDirection expected) {
1056 if (expected == kDontCheckDir) {
1057 return;
1058 }
1059 SkPath copy(path); // we make a copy so that we don't cache the result on the passed in path.
1060
1061 SkPathPriv::FirstDirection dir;
1062 if (SkPathPriv::CheapComputeFirstDirection(copy, &dir)) {
1063 REPORTER_ASSERT(reporter, dir == expected);
1064 } else {
1065 REPORTER_ASSERT(reporter, SkPathPriv::kUnknown_FirstDirection == expected);
1066 }
1067}
1068
1069static void test_direction(skiatest::Reporter* reporter) {
1070 size_t i;
1071 SkPath path;
1072 REPORTER_ASSERT(reporter, !SkPathPriv::CheapComputeFirstDirection(path, nullptr));
1073 REPORTER_ASSERT(reporter, !SkPathPriv::CheapIsFirstDirection(path, SkPathPriv::kCW_FirstDirection));
1074 REPORTER_ASSERT(reporter, !SkPathPriv::CheapIsFirstDirection(path, SkPathPriv::kCCW_FirstDirection));
1075 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(path, SkPathPriv::kUnknown_FirstDirection));
1076
1077 static const char* gDegen[] = {
1078 "M 10 10",
1079 "M 10 10 M 20 20",
1080 "M 10 10 L 20 20",
1081 "M 10 10 L 10 10 L 10 10",
1082 "M 10 10 Q 10 10 10 10",
1083 "M 10 10 C 10 10 10 10 10 10",
1084 };
1085 for (i = 0; i < SK_ARRAY_COUNT(gDegen); ++i) {
1086 path.reset();
1087 bool valid = SkParsePath::FromSVGString(gDegen[i], &path);
1088 REPORTER_ASSERT(reporter, valid);
1089 REPORTER_ASSERT(reporter, !SkPathPriv::CheapComputeFirstDirection(path, nullptr));
1090 }
1091
1092 static const char* gCW[] = {
1093 "M 10 10 L 10 10 Q 20 10 20 20",
1094 "M 10 10 C 20 10 20 20 20 20",
1095 "M 20 10 Q 20 20 30 20 L 10 20", // test double-back at y-max
1096 // rect with top two corners replaced by cubics with identical middle
1097 // control points
1098 "M 10 10 C 10 0 10 0 20 0 L 40 0 C 50 0 50 0 50 10",
1099 "M 20 10 L 0 10 Q 10 10 20 0", // left, degenerate serif
1100 };
1101 for (i = 0; i < SK_ARRAY_COUNT(gCW); ++i) {
1102 path.reset();
1103 bool valid = SkParsePath::FromSVGString(gCW[i], &path);
1104 REPORTER_ASSERT(reporter, valid);
1105 check_direction(reporter, path, SkPathPriv::kCW_FirstDirection);
1106 }
1107
1108 static const char* gCCW[] = {
1109 "M 10 10 L 10 10 Q 20 10 20 -20",
1110 "M 10 10 C 20 10 20 -20 20 -20",
1111 "M 20 10 Q 20 20 10 20 L 30 20", // test double-back at y-max
1112 // rect with top two corners replaced by cubics with identical middle
1113 // control points
1114 "M 50 10 C 50 0 50 0 40 0 L 20 0 C 10 0 10 0 10 10",
1115 "M 10 10 L 30 10 Q 20 10 10 0", // right, degenerate serif
1116 };
1117 for (i = 0; i < SK_ARRAY_COUNT(gCCW); ++i) {
1118 path.reset();
1119 bool valid = SkParsePath::FromSVGString(gCCW[i], &path);
1120 REPORTER_ASSERT(reporter, valid);
1121 check_direction(reporter, path, SkPathPriv::kCCW_FirstDirection);
1122 }
1123
1124 // Test two donuts, each wound a different direction. Only the outer contour
1125 // determines the cheap direction
1126 path.reset();
1127 path.addCircle(0, 0, SkIntToScalar(2), SkPath::kCW_Direction);
1128 path.addCircle(0, 0, SkIntToScalar(1), SkPath::kCCW_Direction);
1129 check_direction(reporter, path, SkPathPriv::kCW_FirstDirection);
1130
1131 path.reset();
1132 path.addCircle(0, 0, SkIntToScalar(1), SkPath::kCW_Direction);
1133 path.addCircle(0, 0, SkIntToScalar(2), SkPath::kCCW_Direction);
1134 check_direction(reporter, path, SkPathPriv::kCCW_FirstDirection);
1135
1136 // triangle with one point really far from the origin.
1137 path.reset();
1138 // the first point is roughly 1.05e10, 1.05e10
1139 path.moveTo(SkBits2Float(0x501c7652), SkBits2Float(0x501c7652));
1140 path.lineTo(110 * SK_Scalar1, -10 * SK_Scalar1);
1141 path.lineTo(-10 * SK_Scalar1, 60 * SK_Scalar1);
1142 check_direction(reporter, path, SkPathPriv::kCCW_FirstDirection);
1143
1144 path.reset();
1145 path.conicTo(20, 0, 20, 20, 0.5f);
1146 path.close();
1147 check_direction(reporter, path, SkPathPriv::kCW_FirstDirection);
1148
1149 path.reset();
1150 path.lineTo(1, 1e7f);
1151 path.lineTo(1e7f, 2e7f);
1152 path.close();
1153 REPORTER_ASSERT(reporter, SkPath::kConvex_Convexity == path.getConvexity());
1154 check_direction(reporter, path, SkPathPriv::kCCW_FirstDirection);
1155}
1156
1157static void add_rect(SkPath* path, const SkRect& r) {
1158 path->moveTo(r.fLeft, r.fTop);
1159 path->lineTo(r.fRight, r.fTop);
1160 path->lineTo(r.fRight, r.fBottom);
1161 path->lineTo(r.fLeft, r.fBottom);
1162 path->close();
1163}
1164
1165static void test_bounds(skiatest::Reporter* reporter) {
1166 static const SkRect rects[] = {
1167 { SkIntToScalar(10), SkIntToScalar(160), SkIntToScalar(610), SkIntToScalar(160) },
1168 { SkIntToScalar(610), SkIntToScalar(160), SkIntToScalar(610), SkIntToScalar(199) },
1169 { SkIntToScalar(10), SkIntToScalar(198), SkIntToScalar(610), SkIntToScalar(199) },
1170 { SkIntToScalar(10), SkIntToScalar(160), SkIntToScalar(10), SkIntToScalar(199) },
1171 };
1172
1173 SkPath path0, path1;
1174 for (size_t i = 0; i < SK_ARRAY_COUNT(rects); ++i) {
1175 path0.addRect(rects[i]);
1176 add_rect(&path1, rects[i]);
1177 }
1178
1179 REPORTER_ASSERT(reporter, path0.getBounds() == path1.getBounds());
1180}
1181
1182static void stroke_cubic(const SkPoint pts[4]) {
1183 SkPath path;
1184 path.moveTo(pts[0]);
1185 path.cubicTo(pts[1], pts[2], pts[3]);
1186
1187 SkPaint paint;
1188 paint.setStyle(SkPaint::kStroke_Style);
1189 paint.setStrokeWidth(SK_Scalar1 * 2);
1190
1191 SkPath fill;
1192 paint.getFillPath(path, &fill);
1193}
1194
1195// just ensure this can run w/o any SkASSERTS firing in the debug build
1196// we used to assert due to differences in how we determine a degenerate vector
1197// but that was fixed with the introduction of SkPoint::CanNormalize
1198static void stroke_tiny_cubic() {
1199 SkPoint p0[] = {
1200 { 372.0f, 92.0f },
1201 { 372.0f, 92.0f },
1202 { 372.0f, 92.0f },
1203 { 372.0f, 92.0f },
1204 };
1205
1206 stroke_cubic(p0);
1207
1208 SkPoint p1[] = {
1209 { 372.0f, 92.0f },
1210 { 372.0007f, 92.000755f },
1211 { 371.99927f, 92.003922f },
1212 { 371.99826f, 92.003899f },
1213 };
1214
1215 stroke_cubic(p1);
1216}
1217
1218static void check_close(skiatest::Reporter* reporter, const SkPath& path) {
1219 for (int i = 0; i < 2; ++i) {
1220 SkPath::Iter iter(path, SkToBool(i));
1221 SkPoint mv;
1222 SkPoint pts[4];
1223 SkPath::Verb v;
1224 int nMT = 0;
1225 int nCL = 0;
1226 mv.set(0, 0);
1227 while (SkPath::kDone_Verb != (v = iter.next(pts))) {
1228 switch (v) {
1229 case SkPath::kMove_Verb:
1230 mv = pts[0];
1231 ++nMT;
1232 break;
1233 case SkPath::kClose_Verb:
1234 REPORTER_ASSERT(reporter, mv == pts[0]);
1235 ++nCL;
1236 break;
1237 default:
1238 break;
1239 }
1240 }
1241 // if we force a close on the interator we should have a close
1242 // for every moveTo
1243 REPORTER_ASSERT(reporter, !i || nMT == nCL);
1244 }
1245}
1246
1247static void test_close(skiatest::Reporter* reporter) {
1248 SkPath closePt;
1249 closePt.moveTo(0, 0);
1250 closePt.close();
1251 check_close(reporter, closePt);
1252
1253 SkPath openPt;
1254 openPt.moveTo(0, 0);
1255 check_close(reporter, openPt);
1256
1257 SkPath empty;
1258 check_close(reporter, empty);
1259 empty.close();
1260 check_close(reporter, empty);
1261
1262 SkPath rect;
1263 rect.addRect(SK_Scalar1, SK_Scalar1, 10 * SK_Scalar1, 10*SK_Scalar1);
1264 check_close(reporter, rect);
1265 rect.close();
1266 check_close(reporter, rect);
1267
1268 SkPath quad;
1269 quad.quadTo(SK_Scalar1, SK_Scalar1, 10 * SK_Scalar1, 10*SK_Scalar1);
1270 check_close(reporter, quad);
1271 quad.close();
1272 check_close(reporter, quad);
1273
1274 SkPath cubic;
1275 quad.cubicTo(SK_Scalar1, SK_Scalar1, 10 * SK_Scalar1,
1276 10*SK_Scalar1, 20 * SK_Scalar1, 20*SK_Scalar1);
1277 check_close(reporter, cubic);
1278 cubic.close();
1279 check_close(reporter, cubic);
1280
1281 SkPath line;
1282 line.moveTo(SK_Scalar1, SK_Scalar1);
1283 line.lineTo(10 * SK_Scalar1, 10*SK_Scalar1);
1284 check_close(reporter, line);
1285 line.close();
1286 check_close(reporter, line);
1287
1288 SkPath rect2;
1289 rect2.addRect(SK_Scalar1, SK_Scalar1, 10 * SK_Scalar1, 10*SK_Scalar1);
1290 rect2.close();
1291 rect2.addRect(SK_Scalar1, SK_Scalar1, 10 * SK_Scalar1, 10*SK_Scalar1);
1292 check_close(reporter, rect2);
1293 rect2.close();
1294 check_close(reporter, rect2);
1295
1296 SkPath oval3;
1297 oval3.addOval(SkRect::MakeWH(SK_Scalar1*100,SK_Scalar1*100));
1298 oval3.close();
1299 oval3.addOval(SkRect::MakeWH(SK_Scalar1*200,SK_Scalar1*200));
1300 check_close(reporter, oval3);
1301 oval3.close();
1302 check_close(reporter, oval3);
1303
1304 SkPath moves;
1305 moves.moveTo(SK_Scalar1, SK_Scalar1);
1306 moves.moveTo(5 * SK_Scalar1, SK_Scalar1);
1307 moves.moveTo(SK_Scalar1, 10 * SK_Scalar1);
1308 moves.moveTo(10 *SK_Scalar1, SK_Scalar1);
1309 check_close(reporter, moves);
1310
1311 stroke_tiny_cubic();
1312}
1313
1314static void check_convexity(skiatest::Reporter* reporter, const SkPath& path,
1315 SkPath::Convexity expected) {
1316 SkPath copy(path); // we make a copy so that we don't cache the result on the passed in path.
1317 SkPath::Convexity c = copy.getConvexity();
1318 REPORTER_ASSERT(reporter, c == expected);
1319}
1320
1321static void test_path_crbug389050(skiatest::Reporter* reporter) {
1322 SkPath tinyConvexPolygon;
1323 tinyConvexPolygon.moveTo(600.131559f, 800.112512f);
1324 tinyConvexPolygon.lineTo(600.161735f, 800.118627f);
1325 tinyConvexPolygon.lineTo(600.148962f, 800.142338f);
1326 tinyConvexPolygon.lineTo(600.134891f, 800.137724f);
1327 tinyConvexPolygon.close();
1328 tinyConvexPolygon.getConvexity();
1329 check_convexity(reporter, tinyConvexPolygon, SkPath::kConvex_Convexity);
1330 check_direction(reporter, tinyConvexPolygon, SkPathPriv::kCW_FirstDirection);
1331
1332 SkPath platTriangle;
1333 platTriangle.moveTo(0, 0);
1334 platTriangle.lineTo(200, 0);
1335 platTriangle.lineTo(100, 0.04f);
1336 platTriangle.close();
1337 platTriangle.getConvexity();
1338 check_direction(reporter, platTriangle, SkPathPriv::kCW_FirstDirection);
1339
1340 platTriangle.reset();
1341 platTriangle.moveTo(0, 0);
1342 platTriangle.lineTo(200, 0);
1343 platTriangle.lineTo(100, 0.03f);
1344 platTriangle.close();
1345 platTriangle.getConvexity();
1346 check_direction(reporter, platTriangle, SkPathPriv::kCW_FirstDirection);
1347}
1348
1349static void test_convexity2(skiatest::Reporter* reporter) {
1350 SkPath pt;
1351 pt.moveTo(0, 0);
1352 pt.close();
1353 check_convexity(reporter, pt, SkPath::kConvex_Convexity);
1354 check_direction(reporter, pt, SkPathPriv::kUnknown_FirstDirection);
1355
1356 SkPath line;
1357 line.moveTo(12*SK_Scalar1, 20*SK_Scalar1);
1358 line.lineTo(-12*SK_Scalar1, -20*SK_Scalar1);
1359 line.close();
1360 check_convexity(reporter, line, SkPath::kConvex_Convexity);
1361 check_direction(reporter, line, SkPathPriv::kUnknown_FirstDirection);
1362
1363 SkPath triLeft;
1364 triLeft.moveTo(0, 0);
1365 triLeft.lineTo(SK_Scalar1, 0);
1366 triLeft.lineTo(SK_Scalar1, SK_Scalar1);
1367 triLeft.close();
1368 check_convexity(reporter, triLeft, SkPath::kConvex_Convexity);
1369 check_direction(reporter, triLeft, SkPathPriv::kCW_FirstDirection);
1370
1371 SkPath triRight;
1372 triRight.moveTo(0, 0);
1373 triRight.lineTo(-SK_Scalar1, 0);
1374 triRight.lineTo(SK_Scalar1, SK_Scalar1);
1375 triRight.close();
1376 check_convexity(reporter, triRight, SkPath::kConvex_Convexity);
1377 check_direction(reporter, triRight, SkPathPriv::kCCW_FirstDirection);
1378
1379 SkPath square;
1380 square.moveTo(0, 0);
1381 square.lineTo(SK_Scalar1, 0);
1382 square.lineTo(SK_Scalar1, SK_Scalar1);
1383 square.lineTo(0, SK_Scalar1);
1384 square.close();
1385 check_convexity(reporter, square, SkPath::kConvex_Convexity);
1386 check_direction(reporter, square, SkPathPriv::kCW_FirstDirection);
1387
1388 SkPath redundantSquare;
1389 redundantSquare.moveTo(0, 0);
1390 redundantSquare.lineTo(0, 0);
1391 redundantSquare.lineTo(0, 0);
1392 redundantSquare.lineTo(SK_Scalar1, 0);
1393 redundantSquare.lineTo(SK_Scalar1, 0);
1394 redundantSquare.lineTo(SK_Scalar1, 0);
1395 redundantSquare.lineTo(SK_Scalar1, SK_Scalar1);
1396 redundantSquare.lineTo(SK_Scalar1, SK_Scalar1);
1397 redundantSquare.lineTo(SK_Scalar1, SK_Scalar1);
1398 redundantSquare.lineTo(0, SK_Scalar1);
1399 redundantSquare.lineTo(0, SK_Scalar1);
1400 redundantSquare.lineTo(0, SK_Scalar1);
1401 redundantSquare.close();
1402 check_convexity(reporter, redundantSquare, SkPath::kConvex_Convexity);
1403 check_direction(reporter, redundantSquare, SkPathPriv::kCW_FirstDirection);
1404
1405 SkPath bowTie;
1406 bowTie.moveTo(0, 0);
1407 bowTie.lineTo(0, 0);
1408 bowTie.lineTo(0, 0);
1409 bowTie.lineTo(SK_Scalar1, SK_Scalar1);
1410 bowTie.lineTo(SK_Scalar1, SK_Scalar1);
1411 bowTie.lineTo(SK_Scalar1, SK_Scalar1);
1412 bowTie.lineTo(SK_Scalar1, 0);
1413 bowTie.lineTo(SK_Scalar1, 0);
1414 bowTie.lineTo(SK_Scalar1, 0);
1415 bowTie.lineTo(0, SK_Scalar1);
1416 bowTie.lineTo(0, SK_Scalar1);
1417 bowTie.lineTo(0, SK_Scalar1);
1418 bowTie.close();
1419 check_convexity(reporter, bowTie, SkPath::kConcave_Convexity);
1420 check_direction(reporter, bowTie, kDontCheckDir);
1421
1422 SkPath spiral;
1423 spiral.moveTo(0, 0);
1424 spiral.lineTo(100*SK_Scalar1, 0);
1425 spiral.lineTo(100*SK_Scalar1, 100*SK_Scalar1);
1426 spiral.lineTo(0, 100*SK_Scalar1);
1427 spiral.lineTo(0, 50*SK_Scalar1);
1428 spiral.lineTo(50*SK_Scalar1, 50*SK_Scalar1);
1429 spiral.lineTo(50*SK_Scalar1, 75*SK_Scalar1);
1430 spiral.close();
1431 check_convexity(reporter, spiral, SkPath::kConcave_Convexity);
1432 check_direction(reporter, spiral, kDontCheckDir);
1433
1434 SkPath dent;
1435 dent.moveTo(0, 0);
1436 dent.lineTo(100*SK_Scalar1, 100*SK_Scalar1);
1437 dent.lineTo(0, 100*SK_Scalar1);
1438 dent.lineTo(-50*SK_Scalar1, 200*SK_Scalar1);
1439 dent.lineTo(-200*SK_Scalar1, 100*SK_Scalar1);
1440 dent.close();
1441 check_convexity(reporter, dent, SkPath::kConcave_Convexity);
1442 check_direction(reporter, dent, SkPathPriv::kCW_FirstDirection);
1443
1444 // https://bug.skia.org/2235
1445 SkPath strokedSin;
1446 for (int i = 0; i < 2000; i++) {
1447 SkScalar x = SkIntToScalar(i) / 2;
1448 SkScalar y = 500 - (x + SkScalarSin(x / 100) * 40) / 3;
1449 if (0 == i) {
1450 strokedSin.moveTo(x, y);
1451 } else {
1452 strokedSin.lineTo(x, y);
1453 }
1454 }
1455 SkStrokeRec stroke(SkStrokeRec::kFill_InitStyle);
1456 stroke.setStrokeStyle(2 * SK_Scalar1);
1457 stroke.applyToPath(&strokedSin, strokedSin);
1458 check_convexity(reporter, strokedSin, SkPath::kConcave_Convexity);
1459 check_direction(reporter, strokedSin, kDontCheckDir);
1460
1461 // http://crbug.com/412640
1462 SkPath degenerateConcave;
1463 degenerateConcave.moveTo(148.67912f, 191.875f);
1464 degenerateConcave.lineTo(470.37695f, 7.5f);
1465 degenerateConcave.lineTo(148.67912f, 191.875f);
1466 degenerateConcave.lineTo(41.446522f, 376.25f);
1467 degenerateConcave.lineTo(-55.971577f, 460.0f);
1468 degenerateConcave.lineTo(41.446522f, 376.25f);
1469 check_convexity(reporter, degenerateConcave, SkPath::kConcave_Convexity);
1470 check_direction(reporter, degenerateConcave, SkPathPriv::kUnknown_FirstDirection);
1471
1472 // http://crbug.com/433683
1473 SkPath badFirstVector;
1474 badFirstVector.moveTo(501.087708f, 319.610352f);
1475 badFirstVector.lineTo(501.087708f, 319.610352f);
1476 badFirstVector.cubicTo(501.087677f, 319.610321f, 449.271606f, 258.078674f, 395.084564f, 198.711182f);
1477 badFirstVector.cubicTo(358.967072f, 159.140717f, 321.910553f, 120.650436f, 298.442322f, 101.955399f);
1478 badFirstVector.lineTo(301.557678f, 98.044601f);
1479 badFirstVector.cubicTo(325.283844f, 116.945084f, 362.615204f, 155.720825f, 398.777557f, 195.340454f);
1480 badFirstVector.cubicTo(453.031860f, 254.781662f, 504.912262f, 316.389618f, 504.912292f, 316.389648f);
1481 badFirstVector.lineTo(504.912292f, 316.389648f);
1482 badFirstVector.lineTo(501.087708f, 319.610352f);
1483 badFirstVector.close();
1484 check_convexity(reporter, badFirstVector, SkPath::kConcave_Convexity);
1485}
1486
1487static void check_convex_bounds(skiatest::Reporter* reporter, const SkPath& p,
1488 const SkRect& bounds) {
1489 REPORTER_ASSERT(reporter, p.isConvex());
1490 REPORTER_ASSERT(reporter, p.getBounds() == bounds);
1491
1492 SkPath p2(p);
1493 REPORTER_ASSERT(reporter, p2.isConvex());
1494 REPORTER_ASSERT(reporter, p2.getBounds() == bounds);
1495
1496 SkPath other;
1497 other.swap(p2);
1498 REPORTER_ASSERT(reporter, other.isConvex());
1499 REPORTER_ASSERT(reporter, other.getBounds() == bounds);
1500}
1501
1502static void setFromString(SkPath* path, const char str[]) {
1503 bool first = true;
1504 while (str) {
1505 SkScalar x, y;
1506 str = SkParse::FindScalar(str, &x);
1507 if (nullptr == str) {
1508 break;
1509 }
1510 str = SkParse::FindScalar(str, &y);
1511 SkASSERT(str);
1512 if (first) {
1513 path->moveTo(x, y);
1514 first = false;
1515 } else {
1516 path->lineTo(x, y);
1517 }
1518 }
1519}
1520
1521static void test_convexity(skiatest::Reporter* reporter) {
1522 SkPath path;
1523
1524 check_convexity(reporter, path, SkPath::kConvex_Convexity);
1525 path.addCircle(0, 0, SkIntToScalar(10));
1526 check_convexity(reporter, path, SkPath::kConvex_Convexity);
1527 path.addCircle(0, 0, SkIntToScalar(10)); // 2nd circle
1528 check_convexity(reporter, path, SkPath::kConcave_Convexity);
1529
1530 path.reset();
1531 path.addRect(0, 0, SkIntToScalar(10), SkIntToScalar(10), SkPath::kCCW_Direction);
1532 check_convexity(reporter, path, SkPath::kConvex_Convexity);
1533 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(path, SkPathPriv::kCCW_FirstDirection));
1534
1535 path.reset();
1536 path.addRect(0, 0, SkIntToScalar(10), SkIntToScalar(10), SkPath::kCW_Direction);
1537 check_convexity(reporter, path, SkPath::kConvex_Convexity);
1538 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(path, SkPathPriv::kCW_FirstDirection));
1539
1540 path.reset();
1541 path.quadTo(100, 100, 50, 50); // This is a convex path from GM:convexpaths
1542 check_convexity(reporter, path, SkPath::kConvex_Convexity);
1543
1544 static const struct {
1545 const char* fPathStr;
1546 SkPath::Convexity fExpectedConvexity;
1547 SkPathPriv::FirstDirection fExpectedDirection;
1548 } gRec[] = {
1549 { "", SkPath::kConvex_Convexity, SkPathPriv::kUnknown_FirstDirection },
1550 { "0 0", SkPath::kConvex_Convexity, SkPathPriv::kUnknown_FirstDirection },
1551 { "0 0 10 10", SkPath::kConvex_Convexity, SkPathPriv::kUnknown_FirstDirection },
1552 { "0 0 10 10 20 20 0 0 10 10", SkPath::kConcave_Convexity, SkPathPriv::kUnknown_FirstDirection },
1553 { "0 0 10 10 10 20", SkPath::kConvex_Convexity, SkPathPriv::kCW_FirstDirection },
1554 { "0 0 10 10 10 0", SkPath::kConvex_Convexity, SkPathPriv::kCCW_FirstDirection },
1555 { "0 0 10 10 10 0 0 10", SkPath::kConcave_Convexity, kDontCheckDir },
1556 { "0 0 10 0 0 10 -10 -10", SkPath::kConcave_Convexity, SkPathPriv::kCW_FirstDirection },
1557 };
1558
1559 for (size_t i = 0; i < SK_ARRAY_COUNT(gRec); ++i) {
1560 SkPath path;
1561 setFromString(&path, gRec[i].fPathStr);
1562 check_convexity(reporter, path, gRec[i].fExpectedConvexity);
1563 check_direction(reporter, path, gRec[i].fExpectedDirection);
1564 // check after setting the initial convex and direction
1565 if (kDontCheckDir != gRec[i].fExpectedDirection) {
1566 SkPath copy(path);
1567 SkPathPriv::FirstDirection dir;
1568 bool foundDir = SkPathPriv::CheapComputeFirstDirection(copy, &dir);
1569 REPORTER_ASSERT(reporter, (gRec[i].fExpectedDirection == SkPathPriv::kUnknown_FirstDirection)
1570 ^ foundDir);
1571 REPORTER_ASSERT(reporter, !foundDir || gRec[i].fExpectedDirection == dir);
1572 check_convexity(reporter, copy, gRec[i].fExpectedConvexity);
1573 }
1574 REPORTER_ASSERT(reporter, gRec[i].fExpectedConvexity == path.getConvexity());
1575 check_direction(reporter, path, gRec[i].fExpectedDirection);
1576 }
1577
1578 static const SkPoint nonFinitePts[] = {
1579 { SK_ScalarInfinity, 0 },
1580 { 0, SK_ScalarInfinity },
1581 { SK_ScalarInfinity, SK_ScalarInfinity },
1582 { SK_ScalarNegativeInfinity, 0},
1583 { 0, SK_ScalarNegativeInfinity },
1584 { SK_ScalarNegativeInfinity, SK_ScalarNegativeInfinity },
1585 { SK_ScalarNegativeInfinity, SK_ScalarInfinity },
1586 { SK_ScalarInfinity, SK_ScalarNegativeInfinity },
1587 { SK_ScalarNaN, 0 },
1588 { 0, SK_ScalarNaN },
1589 { SK_ScalarNaN, SK_ScalarNaN },
1590 };
1591
1592 const size_t nonFinitePtsCount = sizeof(nonFinitePts) / sizeof(nonFinitePts[0]);
1593
1594 static const SkPoint finitePts[] = {
1595 { SK_ScalarMax, 0 },
1596 { 0, SK_ScalarMax },
1597 { SK_ScalarMax, SK_ScalarMax },
1598 { SK_ScalarMin, 0 },
1599 { 0, SK_ScalarMin },
1600 { SK_ScalarMin, SK_ScalarMin },
1601 };
1602
1603 const size_t finitePtsCount = sizeof(finitePts) / sizeof(finitePts[0]);
1604
1605 for (int index = 0; index < (int) (13 * nonFinitePtsCount * finitePtsCount); ++index) {
1606 int i = (int) (index % nonFinitePtsCount);
1607 int f = (int) (index % finitePtsCount);
1608 int g = (int) ((f + 1) % finitePtsCount);
1609 path.reset();
1610 switch (index % 13) {
1611 case 0: path.lineTo(nonFinitePts[i]); break;
1612 case 1: path.quadTo(nonFinitePts[i], nonFinitePts[i]); break;
1613 case 2: path.quadTo(nonFinitePts[i], finitePts[f]); break;
1614 case 3: path.quadTo(finitePts[f], nonFinitePts[i]); break;
1615 case 4: path.cubicTo(nonFinitePts[i], finitePts[f], finitePts[f]); break;
1616 case 5: path.cubicTo(finitePts[f], nonFinitePts[i], finitePts[f]); break;
1617 case 6: path.cubicTo(finitePts[f], finitePts[f], nonFinitePts[i]); break;
1618 case 7: path.cubicTo(nonFinitePts[i], nonFinitePts[i], finitePts[f]); break;
1619 case 8: path.cubicTo(nonFinitePts[i], finitePts[f], nonFinitePts[i]); break;
1620 case 9: path.cubicTo(finitePts[f], nonFinitePts[i], nonFinitePts[i]); break;
1621 case 10: path.cubicTo(nonFinitePts[i], nonFinitePts[i], nonFinitePts[i]); break;
1622 case 11: path.cubicTo(nonFinitePts[i], finitePts[f], finitePts[g]); break;
1623 case 12: path.moveTo(nonFinitePts[i]); break;
1624 }
1625 check_convexity(reporter, path, SkPath::kUnknown_Convexity);
1626 }
1627
1628 for (int index = 0; index < (int) (11 * finitePtsCount); ++index) {
1629 int f = (int) (index % finitePtsCount);
1630 int g = (int) ((f + 1) % finitePtsCount);
1631 path.reset();
1632 int curveSelect = index % 11;
1633 switch (curveSelect) {
1634 case 0: path.moveTo(finitePts[f]); break;
1635 case 1: path.lineTo(finitePts[f]); break;
1636 case 2: path.quadTo(finitePts[f], finitePts[f]); break;
1637 case 3: path.quadTo(finitePts[f], finitePts[g]); break;
1638 case 4: path.quadTo(finitePts[g], finitePts[f]); break;
1639 case 5: path.cubicTo(finitePts[f], finitePts[f], finitePts[f]); break;
1640 case 6: path.cubicTo(finitePts[f], finitePts[f], finitePts[g]); break;
1641 case 7: path.cubicTo(finitePts[f], finitePts[g], finitePts[f]); break;
1642 case 8: path.cubicTo(finitePts[f], finitePts[g], finitePts[g]); break;
1643 case 9: path.cubicTo(finitePts[g], finitePts[f], finitePts[f]); break;
1644 case 10: path.cubicTo(finitePts[g], finitePts[f], finitePts[g]); break;
1645 }
1646 check_convexity(reporter, path, curveSelect == 0 ? SkPath::kConvex_Convexity
1647 : SkPath::kUnknown_Convexity);
1648 }
1649
1650 path.reset();
1651 path.moveTo(SkBits2Float(0xbe9171db), SkBits2Float(0xbd7eeb5d)); // -0.284072f, -0.0622362f
1652 path.lineTo(SkBits2Float(0xbe9171db), SkBits2Float(0xbd7eea38)); // -0.284072f, -0.0622351f
1653 path.lineTo(SkBits2Float(0xbe9171a0), SkBits2Float(0xbd7ee5a7)); // -0.28407f, -0.0622307f
1654 path.lineTo(SkBits2Float(0xbe917147), SkBits2Float(0xbd7ed886)); // -0.284067f, -0.0622182f
1655 path.lineTo(SkBits2Float(0xbe917378), SkBits2Float(0xbd7ee1a9)); // -0.284084f, -0.0622269f
1656 path.lineTo(SkBits2Float(0xbe9171db), SkBits2Float(0xbd7eeb5d)); // -0.284072f, -0.0622362f
1657 path.close();
1658 check_convexity(reporter, path, SkPath::kConcave_Convexity);
1659
1660}
1661
1662static void test_isLine(skiatest::Reporter* reporter) {
1663 SkPath path;
1664 SkPoint pts[2];
1665 const SkScalar value = SkIntToScalar(5);
1666
1667 REPORTER_ASSERT(reporter, !path.isLine(nullptr));
1668
1669 // set some non-zero values
1670 pts[0].set(value, value);
1671 pts[1].set(value, value);
1672 REPORTER_ASSERT(reporter, !path.isLine(pts));
1673 // check that pts was untouched
1674 REPORTER_ASSERT(reporter, pts[0].equals(value, value));
1675 REPORTER_ASSERT(reporter, pts[1].equals(value, value));
1676
1677 const SkScalar moveX = SkIntToScalar(1);
1678 const SkScalar moveY = SkIntToScalar(2);
1679 REPORTER_ASSERT(reporter, value != moveX && value != moveY);
1680
1681 path.moveTo(moveX, moveY);
1682 REPORTER_ASSERT(reporter, !path.isLine(nullptr));
1683 REPORTER_ASSERT(reporter, !path.isLine(pts));
1684 // check that pts was untouched
1685 REPORTER_ASSERT(reporter, pts[0].equals(value, value));
1686 REPORTER_ASSERT(reporter, pts[1].equals(value, value));
1687
1688 const SkScalar lineX = SkIntToScalar(2);
1689 const SkScalar lineY = SkIntToScalar(2);
1690 REPORTER_ASSERT(reporter, value != lineX && value != lineY);
1691
1692 path.lineTo(lineX, lineY);
1693 REPORTER_ASSERT(reporter, path.isLine(nullptr));
1694
1695 REPORTER_ASSERT(reporter, !pts[0].equals(moveX, moveY));
1696 REPORTER_ASSERT(reporter, !pts[1].equals(lineX, lineY));
1697 REPORTER_ASSERT(reporter, path.isLine(pts));
1698 REPORTER_ASSERT(reporter, pts[0].equals(moveX, moveY));
1699 REPORTER_ASSERT(reporter, pts[1].equals(lineX, lineY));
1700
1701 path.lineTo(0, 0); // too many points/verbs
1702 REPORTER_ASSERT(reporter, !path.isLine(nullptr));
1703 REPORTER_ASSERT(reporter, !path.isLine(pts));
1704 REPORTER_ASSERT(reporter, pts[0].equals(moveX, moveY));
1705 REPORTER_ASSERT(reporter, pts[1].equals(lineX, lineY));
1706
1707 path.reset();
1708 path.quadTo(1, 1, 2, 2);
1709 REPORTER_ASSERT(reporter, !path.isLine(nullptr));
1710}
1711
1712static void test_conservativelyContains(skiatest::Reporter* reporter) {
1713 SkPath path;
1714
1715 // kBaseRect is used to construct most our test paths: a rect, a circle, and a round-rect.
1716 static const SkRect kBaseRect = SkRect::MakeWH(SkIntToScalar(100), SkIntToScalar(100));
1717
1718 // A circle that bounds kBaseRect (with a significant amount of slop)
1719 SkScalar circleR = SkMaxScalar(kBaseRect.width(), kBaseRect.height());
1720 circleR *= 1.75f / 2;
1721 static const SkPoint kCircleC = {kBaseRect.centerX(), kBaseRect.centerY()};
1722
1723 // round-rect radii
1724 static const SkScalar kRRRadii[] = {SkIntToScalar(5), SkIntToScalar(3)};
1725
1726 static const struct SUPPRESS_VISIBILITY_WARNING {
1727 SkRect fQueryRect;
1728 bool fInRect;
1729 bool fInCircle;
1730 bool fInRR;
1731 bool fInCubicRR;
1732 } kQueries[] = {
1733 {kBaseRect, true, true, false, false},
1734
1735 // rect well inside of kBaseRect
1736 {SkRect::MakeLTRB(kBaseRect.fLeft + 0.25f*kBaseRect.width(),
1737 kBaseRect.fTop + 0.25f*kBaseRect.height(),
1738 kBaseRect.fRight - 0.25f*kBaseRect.width(),
1739 kBaseRect.fBottom - 0.25f*kBaseRect.height()),
1740 true, true, true, true},
1741
1742 // rects with edges off by one from kBaseRect's edges
1743 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fTop,
1744 kBaseRect.width(), kBaseRect.height() + 1),
1745 false, true, false, false},
1746 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fTop,
1747 kBaseRect.width() + 1, kBaseRect.height()),
1748 false, true, false, false},
1749 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fTop,
1750 kBaseRect.width() + 1, kBaseRect.height() + 1),
1751 false, true, false, false},
1752 {SkRect::MakeXYWH(kBaseRect.fLeft - 1, kBaseRect.fTop,
1753 kBaseRect.width(), kBaseRect.height()),
1754 false, true, false, false},
1755 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fTop - 1,
1756 kBaseRect.width(), kBaseRect.height()),
1757 false, true, false, false},
1758 {SkRect::MakeXYWH(kBaseRect.fLeft - 1, kBaseRect.fTop,
1759 kBaseRect.width() + 2, kBaseRect.height()),
1760 false, true, false, false},
1761 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fTop - 1,
1762 kBaseRect.width() + 2, kBaseRect.height()),
1763 false, true, false, false},
1764
1765 // zero-w/h rects at each corner of kBaseRect
1766 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fTop, 0, 0), true, true, false, false},
1767 {SkRect::MakeXYWH(kBaseRect.fRight, kBaseRect.fTop, 0, 0), true, true, false, true},
1768 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.fBottom, 0, 0), true, true, false, true},
1769 {SkRect::MakeXYWH(kBaseRect.fRight, kBaseRect.fBottom, 0, 0), true, true, false, true},
1770
1771 // far away rect
1772 {SkRect::MakeXYWH(10 * kBaseRect.fRight, 10 * kBaseRect.fBottom,
1773 SkIntToScalar(10), SkIntToScalar(10)),
1774 false, false, false, false},
1775
1776 // very large rect containing kBaseRect
1777 {SkRect::MakeXYWH(kBaseRect.fLeft - 5 * kBaseRect.width(),
1778 kBaseRect.fTop - 5 * kBaseRect.height(),
1779 11 * kBaseRect.width(), 11 * kBaseRect.height()),
1780 false, false, false, false},
1781
1782 // skinny rect that spans same y-range as kBaseRect
1783 {SkRect::MakeXYWH(kBaseRect.centerX(), kBaseRect.fTop,
1784 SkIntToScalar(1), kBaseRect.height()),
1785 true, true, true, true},
1786
1787 // short rect that spans same x-range as kBaseRect
1788 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.centerY(), kBaseRect.width(), SkScalar(1)),
1789 true, true, true, true},
1790
1791 // skinny rect that spans slightly larger y-range than kBaseRect
1792 {SkRect::MakeXYWH(kBaseRect.centerX(), kBaseRect.fTop,
1793 SkIntToScalar(1), kBaseRect.height() + 1),
1794 false, true, false, false},
1795
1796 // short rect that spans slightly larger x-range than kBaseRect
1797 {SkRect::MakeXYWH(kBaseRect.fLeft, kBaseRect.centerY(),
1798 kBaseRect.width() + 1, SkScalar(1)),
1799 false, true, false, false},
1800 };
1801
1802 for (int inv = 0; inv < 4; ++inv) {
1803 for (size_t q = 0; q < SK_ARRAY_COUNT(kQueries); ++q) {
1804 SkRect qRect = kQueries[q].fQueryRect;
1805 if (inv & 0x1) {
1806 SkTSwap(qRect.fLeft, qRect.fRight);
1807 }
1808 if (inv & 0x2) {
1809 SkTSwap(qRect.fTop, qRect.fBottom);
1810 }
1811 for (int d = 0; d < 2; ++d) {
1812 SkPath::Direction dir = d ? SkPath::kCCW_Direction : SkPath::kCW_Direction;
1813 path.reset();
1814 path.addRect(kBaseRect, dir);
1815 REPORTER_ASSERT(reporter, kQueries[q].fInRect ==
1816 path.conservativelyContainsRect(qRect));
1817
1818 path.reset();
1819 path.addCircle(kCircleC.fX, kCircleC.fY, circleR, dir);
1820 REPORTER_ASSERT(reporter, kQueries[q].fInCircle ==
1821 path.conservativelyContainsRect(qRect));
1822
1823 path.reset();
1824 path.addRoundRect(kBaseRect, kRRRadii[0], kRRRadii[1], dir);
1825 REPORTER_ASSERT(reporter, kQueries[q].fInRR ==
1826 path.conservativelyContainsRect(qRect));
1827
1828 path.reset();
1829 path.moveTo(kBaseRect.fLeft + kRRRadii[0], kBaseRect.fTop);
1830 path.cubicTo(kBaseRect.fLeft + kRRRadii[0] / 2, kBaseRect.fTop,
1831 kBaseRect.fLeft, kBaseRect.fTop + kRRRadii[1] / 2,
1832 kBaseRect.fLeft, kBaseRect.fTop + kRRRadii[1]);
1833 path.lineTo(kBaseRect.fLeft, kBaseRect.fBottom);
1834 path.lineTo(kBaseRect.fRight, kBaseRect.fBottom);
1835 path.lineTo(kBaseRect.fRight, kBaseRect.fTop);
1836 path.close();
1837 REPORTER_ASSERT(reporter, kQueries[q].fInCubicRR ==
1838 path.conservativelyContainsRect(qRect));
1839
1840 }
1841 // Slightly non-convex shape, shouldn't contain any rects.
1842 path.reset();
1843 path.moveTo(0, 0);
1844 path.lineTo(SkIntToScalar(50), 0.05f);
1845 path.lineTo(SkIntToScalar(100), 0);
1846 path.lineTo(SkIntToScalar(100), SkIntToScalar(100));
1847 path.lineTo(0, SkIntToScalar(100));
1848 path.close();
1849 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(qRect));
1850 }
1851 }
1852
1853 // make sure a minimal convex shape works, a right tri with edges along pos x and y axes.
1854 path.reset();
1855 path.moveTo(0, 0);
1856 path.lineTo(SkIntToScalar(100), 0);
1857 path.lineTo(0, SkIntToScalar(100));
1858
1859 // inside, on along top edge
1860 REPORTER_ASSERT(reporter, path.conservativelyContainsRect(SkRect::MakeXYWH(SkIntToScalar(50), 0,
1861 SkIntToScalar(10),
1862 SkIntToScalar(10))));
1863 // above
1864 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(
1865 SkRect::MakeXYWH(SkIntToScalar(50),
1866 SkIntToScalar(-10),
1867 SkIntToScalar(10),
1868 SkIntToScalar(10))));
1869 // to the left
1870 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(SkRect::MakeXYWH(SkIntToScalar(-10),
1871 SkIntToScalar(5),
1872 SkIntToScalar(5),
1873 SkIntToScalar(5))));
1874
1875 // outside the diagonal edge
1876 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(SkRect::MakeXYWH(SkIntToScalar(10),
1877 SkIntToScalar(200),
1878 SkIntToScalar(20),
1879 SkIntToScalar(5))));
1880
1881
1882 // Test that multiple move commands do not cause asserts.
Yuqian Li3154a532017-09-06 13:33:30 -04001883 path.moveTo(SkIntToScalar(100), SkIntToScalar(100));
Yuqian Li3154a532017-09-06 13:33:30 -04001884 REPORTER_ASSERT(reporter, path.conservativelyContainsRect(SkRect::MakeXYWH(SkIntToScalar(50), 0,
1885 SkIntToScalar(10),
1886 SkIntToScalar(10))));
Yuqian Li3154a532017-09-06 13:33:30 -04001887
1888 // Same as above path and first test but with an extra moveTo.
1889 path.reset();
1890 path.moveTo(100, 100);
1891 path.moveTo(0, 0);
1892 path.lineTo(SkIntToScalar(100), 0);
1893 path.lineTo(0, SkIntToScalar(100));
Brian Osman205a1262017-09-18 13:13:48 +00001894 // Convexity logic is now more conservative, so that multiple (non-trailing) moveTos make a
1895 // path non-convex.
1896 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(
1897 SkRect::MakeXYWH(SkIntToScalar(50), 0,
1898 SkIntToScalar(10),
1899 SkIntToScalar(10))));
Yuqian Li3154a532017-09-06 13:33:30 -04001900
1901 // Same as above path and first test but with the extra moveTo making a degenerate sub-path
1902 // following the non-empty sub-path. Verifies that this does not trigger assertions.
1903 path.reset();
1904 path.moveTo(0, 0);
1905 path.lineTo(SkIntToScalar(100), 0);
1906 path.lineTo(0, SkIntToScalar(100));
1907 path.moveTo(100, 100);
1908
1909 REPORTER_ASSERT(reporter, path.conservativelyContainsRect(SkRect::MakeXYWH(SkIntToScalar(50), 0,
1910 SkIntToScalar(10),
1911 SkIntToScalar(10))));
1912
1913 // Test that multiple move commands do not cause asserts and that the function
1914 // is not confused by the multiple moves.
1915 path.reset();
1916 path.moveTo(0, 0);
1917 path.lineTo(SkIntToScalar(100), 0);
1918 path.lineTo(0, SkIntToScalar(100));
1919 path.moveTo(0, SkIntToScalar(200));
1920 path.lineTo(SkIntToScalar(100), SkIntToScalar(200));
1921 path.lineTo(0, SkIntToScalar(300));
1922
1923 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(
1924 SkRect::MakeXYWH(SkIntToScalar(50), 0,
1925 SkIntToScalar(10),
1926 SkIntToScalar(10))));
1927
1928 path.reset();
1929 path.lineTo(100, 100);
1930 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(SkRect::MakeXYWH(0, 0, 1, 1)));
1931
1932 // An empty path should not contain any rectangle. It's questionable whether an empty path
1933 // contains an empty rectangle. However, since it is a conservative test it is ok to
1934 // return false.
1935 path.reset();
1936 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(SkRect::MakeWH(1,1)));
1937 REPORTER_ASSERT(reporter, !path.conservativelyContainsRect(SkRect::MakeWH(0,0)));
1938}
1939
1940static void test_isRect_open_close(skiatest::Reporter* reporter) {
1941 SkPath path;
1942 bool isClosed;
1943
1944 path.moveTo(0, 0); path.lineTo(1, 0); path.lineTo(1, 1); path.lineTo(0, 1);
1945 path.close();
1946
1947 REPORTER_ASSERT(reporter, path.isRect(nullptr, &isClosed, nullptr));
1948 REPORTER_ASSERT(reporter, isClosed);
1949}
1950
1951// Simple isRect test is inline TestPath, below.
1952// test_isRect provides more extensive testing.
1953static void test_isRect(skiatest::Reporter* reporter) {
1954 test_isRect_open_close(reporter);
1955
1956 // passing tests (all moveTo / lineTo...
1957 SkPoint r1[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}};
1958 SkPoint r2[] = {{1, 0}, {1, 1}, {0, 1}, {0, 0}};
1959 SkPoint r3[] = {{1, 1}, {0, 1}, {0, 0}, {1, 0}};
1960 SkPoint r4[] = {{0, 1}, {0, 0}, {1, 0}, {1, 1}};
1961 SkPoint r5[] = {{0, 0}, {0, 1}, {1, 1}, {1, 0}};
1962 SkPoint r6[] = {{0, 1}, {1, 1}, {1, 0}, {0, 0}};
1963 SkPoint r7[] = {{1, 1}, {1, 0}, {0, 0}, {0, 1}};
1964 SkPoint r8[] = {{1, 0}, {0, 0}, {0, 1}, {1, 1}};
1965 SkPoint r9[] = {{0, 1}, {1, 1}, {1, 0}, {0, 0}};
1966 SkPoint ra[] = {{0, 0}, {0, .5f}, {0, 1}, {.5f, 1}, {1, 1}, {1, .5f}, {1, 0}, {.5f, 0}};
1967 SkPoint rb[] = {{0, 0}, {.5f, 0}, {1, 0}, {1, .5f}, {1, 1}, {.5f, 1}, {0, 1}, {0, .5f}};
1968 SkPoint rc[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {0, 0}};
1969 SkPoint rd[] = {{0, 0}, {0, 1}, {1, 1}, {1, 0}, {0, 0}};
1970 SkPoint re[] = {{0, 0}, {1, 0}, {1, 0}, {1, 1}, {0, 1}};
1971 SkPoint rf[] = {{1, 0}, {8, 0}, {8, 8}, {0, 8}, {0, 0}};
1972
1973 // failing tests
1974 SkPoint f1[] = {{0, 0}, {1, 0}, {1, 1}}; // too few points
1975 SkPoint f2[] = {{0, 0}, {1, 1}, {0, 1}, {1, 0}}; // diagonal
1976 SkPoint f3[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {0, 0}, {1, 0}}; // wraps
1977 SkPoint f4[] = {{0, 0}, {1, 0}, {0, 0}, {1, 0}, {1, 1}, {0, 1}}; // backs up
1978 SkPoint f5[] = {{0, 0}, {1, 0}, {1, 1}, {2, 0}}; // end overshoots
1979 SkPoint f6[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {0, 2}}; // end overshoots
1980 SkPoint f7[] = {{0, 0}, {1, 0}, {1, 1}, {0, 2}}; // end overshoots
1981 SkPoint f8[] = {{0, 0}, {1, 0}, {1, 1}, {1, 0}}; // 'L'
1982 SkPoint f9[] = {{1, 0}, {8, 0}, {8, 8}, {0, 8}, {0, 0}, {2, 0}}; // overlaps
1983 SkPoint fa[] = {{1, 0}, {8, 0}, {8, 8}, {0, 8}, {0, -1}, {1, -1}}; // non colinear gap
1984 SkPoint fb[] = {{1, 0}, {8, 0}, {8, 8}, {0, 8}, {0, 1}}; // falls short
1985
1986 // no close, but we should detect them as fillably the same as a rect
1987 SkPoint c1[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}};
1988 SkPoint c2[] = {{0, 0}, {1, 0}, {1, 2}, {0, 2}, {0, 1}};
1989 SkPoint c3[] = {{0, 0}, {1, 0}, {1, 2}, {0, 2}, {0, 1}, {0, 0}}; // hit the start
1990
1991 // like c2, but we double-back on ourselves
1992 SkPoint d1[] = {{0, 0}, {1, 0}, {1, 2}, {0, 2}, {0, 1}, {0, 2}};
1993 // like c2, but we overshoot the start point
1994 SkPoint d2[] = {{0, 0}, {1, 0}, {1, 2}, {0, 2}, {0, -1}};
1995 SkPoint d3[] = {{0, 0}, {1, 0}, {1, 2}, {0, 2}, {0, -1}, {0, 0}};
1996
1997 struct IsRectTest {
1998 SkPoint *fPoints;
1999 int fPointCount;
2000 bool fClose;
2001 bool fIsRect;
2002 } tests[] = {
2003 { r1, SK_ARRAY_COUNT(r1), true, true },
2004 { r2, SK_ARRAY_COUNT(r2), true, true },
2005 { r3, SK_ARRAY_COUNT(r3), true, true },
2006 { r4, SK_ARRAY_COUNT(r4), true, true },
2007 { r5, SK_ARRAY_COUNT(r5), true, true },
2008 { r6, SK_ARRAY_COUNT(r6), true, true },
2009 { r7, SK_ARRAY_COUNT(r7), true, true },
2010 { r8, SK_ARRAY_COUNT(r8), true, true },
2011 { r9, SK_ARRAY_COUNT(r9), true, true },
2012 { ra, SK_ARRAY_COUNT(ra), true, true },
2013 { rb, SK_ARRAY_COUNT(rb), true, true },
2014 { rc, SK_ARRAY_COUNT(rc), true, true },
2015 { rd, SK_ARRAY_COUNT(rd), true, true },
2016 { re, SK_ARRAY_COUNT(re), true, true },
2017 { rf, SK_ARRAY_COUNT(rf), true, true },
2018
2019 { f1, SK_ARRAY_COUNT(f1), true, false },
2020 { f2, SK_ARRAY_COUNT(f2), true, false },
2021 { f3, SK_ARRAY_COUNT(f3), true, false },
2022 { f4, SK_ARRAY_COUNT(f4), true, false },
2023 { f5, SK_ARRAY_COUNT(f5), true, false },
2024 { f6, SK_ARRAY_COUNT(f6), true, false },
2025 { f7, SK_ARRAY_COUNT(f7), true, false },
2026 { f8, SK_ARRAY_COUNT(f8), true, false },
2027 { f9, SK_ARRAY_COUNT(f9), true, false },
2028 { fa, SK_ARRAY_COUNT(fa), true, false },
2029 { fb, SK_ARRAY_COUNT(fb), true, false },
2030
2031 { c1, SK_ARRAY_COUNT(c1), false, true },
2032 { c2, SK_ARRAY_COUNT(c2), false, true },
2033 { c3, SK_ARRAY_COUNT(c3), false, true },
2034
2035 { d1, SK_ARRAY_COUNT(d1), false, false },
2036 { d2, SK_ARRAY_COUNT(d2), false, false },
2037 { d3, SK_ARRAY_COUNT(d3), false, false },
2038 };
2039
2040 const size_t testCount = SK_ARRAY_COUNT(tests);
2041 int index;
2042 for (size_t testIndex = 0; testIndex < testCount; ++testIndex) {
2043 SkPath path;
2044 path.moveTo(tests[testIndex].fPoints[0].fX, tests[testIndex].fPoints[0].fY);
2045 for (index = 1; index < tests[testIndex].fPointCount; ++index) {
2046 path.lineTo(tests[testIndex].fPoints[index].fX, tests[testIndex].fPoints[index].fY);
2047 }
2048 if (tests[testIndex].fClose) {
2049 path.close();
2050 }
2051 REPORTER_ASSERT(reporter, tests[testIndex].fIsRect == path.isRect(nullptr));
2052
2053 if (tests[testIndex].fIsRect) {
2054 SkRect computed, expected;
2055 bool isClosed;
2056 SkPath::Direction direction;
2057 SkPathPriv::FirstDirection cheapDirection;
2058 expected.set(tests[testIndex].fPoints, tests[testIndex].fPointCount);
2059 REPORTER_ASSERT(reporter, SkPathPriv::CheapComputeFirstDirection(path, &cheapDirection));
2060 REPORTER_ASSERT(reporter, path.isRect(&computed, &isClosed, &direction));
2061 REPORTER_ASSERT(reporter, expected == computed);
2062 REPORTER_ASSERT(reporter, isClosed == tests[testIndex].fClose);
2063 REPORTER_ASSERT(reporter, SkPathPriv::AsFirstDirection(direction) == cheapDirection);
2064 } else {
2065 SkRect computed;
2066 computed.set(123, 456, 789, 1011);
2067 bool isClosed = (bool)-1;
2068 SkPath::Direction direction = (SkPath::Direction) - 1;
2069 REPORTER_ASSERT(reporter, !path.isRect(&computed, &isClosed, &direction));
2070 REPORTER_ASSERT(reporter, computed.fLeft == 123 && computed.fTop == 456);
2071 REPORTER_ASSERT(reporter, computed.fRight == 789 && computed.fBottom == 1011);
2072 REPORTER_ASSERT(reporter, isClosed == (bool) -1);
2073 REPORTER_ASSERT(reporter, direction == (SkPath::Direction) -1);
2074 }
2075 }
2076
2077 // fail, close then line
2078 SkPath path1;
2079 path1.moveTo(r1[0].fX, r1[0].fY);
2080 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2081 path1.lineTo(r1[index].fX, r1[index].fY);
2082 }
2083 path1.close();
2084 path1.lineTo(1, 0);
2085 REPORTER_ASSERT(reporter, !path1.isRect(nullptr));
2086
2087 // fail, move in the middle
2088 path1.reset();
2089 path1.moveTo(r1[0].fX, r1[0].fY);
2090 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2091 if (index == 2) {
2092 path1.moveTo(1, .5f);
2093 }
2094 path1.lineTo(r1[index].fX, r1[index].fY);
2095 }
2096 path1.close();
2097 REPORTER_ASSERT(reporter, !path1.isRect(nullptr));
2098
2099 // fail, move on the edge
2100 path1.reset();
2101 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2102 path1.moveTo(r1[index - 1].fX, r1[index - 1].fY);
2103 path1.lineTo(r1[index].fX, r1[index].fY);
2104 }
2105 path1.close();
2106 REPORTER_ASSERT(reporter, !path1.isRect(nullptr));
2107
2108 // fail, quad
2109 path1.reset();
2110 path1.moveTo(r1[0].fX, r1[0].fY);
2111 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2112 if (index == 2) {
2113 path1.quadTo(1, .5f, 1, .5f);
2114 }
2115 path1.lineTo(r1[index].fX, r1[index].fY);
2116 }
2117 path1.close();
2118 REPORTER_ASSERT(reporter, !path1.isRect(nullptr));
2119
2120 // fail, cubic
2121 path1.reset();
2122 path1.moveTo(r1[0].fX, r1[0].fY);
2123 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2124 if (index == 2) {
2125 path1.cubicTo(1, .5f, 1, .5f, 1, .5f);
2126 }
2127 path1.lineTo(r1[index].fX, r1[index].fY);
2128 }
2129 path1.close();
2130 REPORTER_ASSERT(reporter, !path1.isRect(nullptr));
2131}
2132
2133static void check_simple_closed_rect(skiatest::Reporter* reporter, const SkPath& path,
2134 const SkRect& rect, SkPath::Direction dir, unsigned start) {
2135 SkRect r = SkRect::MakeEmpty();
2136 SkPath::Direction d = SkPath::kCCW_Direction;
2137 unsigned s = ~0U;
2138
2139 REPORTER_ASSERT(reporter, SkPathPriv::IsSimpleClosedRect(path, &r, &d, &s));
2140 REPORTER_ASSERT(reporter, r == rect);
2141 REPORTER_ASSERT(reporter, d == dir);
2142 REPORTER_ASSERT(reporter, s == start);
2143}
2144
2145static void test_is_simple_closed_rect(skiatest::Reporter* reporter) {
2146 SkRect r = SkRect::MakeEmpty();
2147 SkPath::Direction d = SkPath::kCCW_Direction;
2148 unsigned s = ~0U;
2149
2150 const SkRect testRect = SkRect::MakeXYWH(10, 10, 50, 70);
2151 const SkRect emptyRect = SkRect::MakeEmpty();
2152 SkPath path;
2153 for (int start = 0; start < 4; ++start) {
2154 for (auto dir : {SkPath::kCCW_Direction, SkPath::kCW_Direction}) {
2155 SkPath path;
2156 path.addRect(testRect, dir, start);
2157 check_simple_closed_rect(reporter, path, testRect, dir, start);
2158 path.close();
2159 check_simple_closed_rect(reporter, path, testRect, dir, start);
2160 SkPath path2 = path;
2161 path2.lineTo(10, 10);
2162 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2163 path2 = path;
2164 path2.moveTo(10, 10);
2165 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2166 path2 = path;
2167 path2.addRect(testRect, dir, start);
2168 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2169 // Make the path by hand, manually closing it.
2170 path2.reset();
2171 SkPath::RawIter iter(path);
2172 SkPath::Verb v;
2173 SkPoint verbPts[4];
2174 SkPoint firstPt = {0.f, 0.f};
2175 while ((v = iter.next(verbPts)) != SkPath::kDone_Verb) {
2176 switch(v) {
2177 case SkPath::kMove_Verb:
2178 firstPt = verbPts[0];
2179 path2.moveTo(verbPts[0]);
2180 break;
2181 case SkPath::kLine_Verb:
2182 path2.lineTo(verbPts[1]);
2183 break;
2184 default:
2185 break;
2186 }
2187 }
2188 // We haven't closed it yet...
2189 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2190 // ... now we do and test again.
2191 path2.lineTo(firstPt);
2192 check_simple_closed_rect(reporter, path2, testRect, dir, start);
2193 // A redundant close shouldn't cause a failure.
2194 path2.close();
2195 check_simple_closed_rect(reporter, path2, testRect, dir, start);
2196 // Degenerate point and line rects are not allowed
2197 path2.reset();
2198 path2.addRect(emptyRect, dir, start);
2199 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2200 SkRect degenRect = testRect;
2201 degenRect.fLeft = degenRect.fRight;
2202 path2.reset();
2203 path2.addRect(degenRect, dir, start);
2204 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2205 degenRect = testRect;
2206 degenRect.fTop = degenRect.fBottom;
2207 path2.reset();
2208 path2.addRect(degenRect, dir, start);
2209 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path2, &r, &d, &s));
2210 // An inverted rect makes a rect path, but changes the winding dir and start point.
2211 SkPath::Direction swapDir = (dir == SkPath::kCW_Direction)
2212 ? SkPath::kCCW_Direction
2213 : SkPath::kCW_Direction;
2214 static constexpr unsigned kXSwapStarts[] = { 1, 0, 3, 2 };
2215 static constexpr unsigned kYSwapStarts[] = { 3, 2, 1, 0 };
2216 SkRect swapRect = testRect;
2217 SkTSwap(swapRect.fLeft, swapRect.fRight);
2218 path2.reset();
2219 path2.addRect(swapRect, dir, start);
2220 check_simple_closed_rect(reporter, path2, testRect, swapDir, kXSwapStarts[start]);
2221 swapRect = testRect;
2222 SkTSwap(swapRect.fTop, swapRect.fBottom);
2223 path2.reset();
2224 path2.addRect(swapRect, dir, start);
2225 check_simple_closed_rect(reporter, path2, testRect, swapDir, kYSwapStarts[start]);
2226 }
2227 }
2228 // down, up, left, close
2229 path.reset();
2230 path.moveTo(1, 1);
2231 path.lineTo(1, 2);
2232 path.lineTo(1, 1);
2233 path.lineTo(0, 1);
2234 SkRect rect;
2235 SkPath::Direction dir;
2236 unsigned start;
2237 path.close();
2238 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path, &rect, &dir, &start));
2239 // right, left, up, close
2240 path.reset();
2241 path.moveTo(1, 1);
2242 path.lineTo(2, 1);
2243 path.lineTo(1, 1);
2244 path.lineTo(1, 0);
2245 path.close();
2246 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path, &rect, &dir, &start));
2247 // parallelogram with horizontal edges
2248 path.reset();
2249 path.moveTo(1, 0);
2250 path.lineTo(3, 0);
2251 path.lineTo(2, 1);
2252 path.lineTo(0, 1);
2253 path.close();
2254 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path, &rect, &dir, &start));
2255 // parallelogram with vertical edges
2256 path.reset();
2257 path.moveTo(0, 1);
2258 path.lineTo(0, 3);
2259 path.lineTo(1, 2);
2260 path.lineTo(1, 0);
2261 path.close();
2262 REPORTER_ASSERT(reporter, !SkPathPriv::IsSimpleClosedRect(path, &rect, &dir, &start));
2263
2264}
2265
2266static void test_isNestedFillRects(skiatest::Reporter* reporter) {
2267 // passing tests (all moveTo / lineTo...
2268 SkPoint r1[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}}; // CW
2269 SkPoint r2[] = {{1, 0}, {1, 1}, {0, 1}, {0, 0}};
2270 SkPoint r3[] = {{1, 1}, {0, 1}, {0, 0}, {1, 0}};
2271 SkPoint r4[] = {{0, 1}, {0, 0}, {1, 0}, {1, 1}};
2272 SkPoint r5[] = {{0, 0}, {0, 1}, {1, 1}, {1, 0}}; // CCW
2273 SkPoint r6[] = {{0, 1}, {1, 1}, {1, 0}, {0, 0}};
2274 SkPoint r7[] = {{1, 1}, {1, 0}, {0, 0}, {0, 1}};
2275 SkPoint r8[] = {{1, 0}, {0, 0}, {0, 1}, {1, 1}};
2276 SkPoint r9[] = {{0, 1}, {1, 1}, {1, 0}, {0, 0}};
2277 SkPoint ra[] = {{0, 0}, {0, .5f}, {0, 1}, {.5f, 1}, {1, 1}, {1, .5f}, {1, 0}, {.5f, 0}}; // CCW
2278 SkPoint rb[] = {{0, 0}, {.5f, 0}, {1, 0}, {1, .5f}, {1, 1}, {.5f, 1}, {0, 1}, {0, .5f}}; // CW
2279 SkPoint rc[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {0, 0}}; // CW
2280 SkPoint rd[] = {{0, 0}, {0, 1}, {1, 1}, {1, 0}, {0, 0}}; // CCW
2281 SkPoint re[] = {{0, 0}, {1, 0}, {1, 0}, {1, 1}, {0, 1}}; // CW
2282
2283 // failing tests
2284 SkPoint f1[] = {{0, 0}, {1, 0}, {1, 1}}; // too few points
2285 SkPoint f2[] = {{0, 0}, {1, 1}, {0, 1}, {1, 0}}; // diagonal
2286 SkPoint f3[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {0, 0}, {1, 0}}; // wraps
2287 SkPoint f4[] = {{0, 0}, {1, 0}, {0, 0}, {1, 0}, {1, 1}, {0, 1}}; // backs up
2288 SkPoint f5[] = {{0, 0}, {1, 0}, {1, 1}, {2, 0}}; // end overshoots
2289 SkPoint f6[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}, {0, 2}}; // end overshoots
2290 SkPoint f7[] = {{0, 0}, {1, 0}, {1, 1}, {0, 2}}; // end overshoots
2291 SkPoint f8[] = {{0, 0}, {1, 0}, {1, 1}, {1, 0}}; // 'L'
2292
2293 // success, no close is OK
2294 SkPoint c1[] = {{0, 0}, {1, 0}, {1, 1}, {0, 1}}; // close doesn't match
2295 SkPoint c2[] = {{0, 0}, {1, 0}, {1, 2}, {0, 2}, {0, 1}}; // ditto
2296
2297 struct IsNestedRectTest {
2298 SkPoint *fPoints;
2299 int fPointCount;
2300 SkPathPriv::FirstDirection fDirection;
2301 bool fClose;
2302 bool fIsNestedRect; // nests with path.addRect(-1, -1, 2, 2);
2303 } tests[] = {
2304 { r1, SK_ARRAY_COUNT(r1), SkPathPriv::kCW_FirstDirection , true, true },
2305 { r2, SK_ARRAY_COUNT(r2), SkPathPriv::kCW_FirstDirection , true, true },
2306 { r3, SK_ARRAY_COUNT(r3), SkPathPriv::kCW_FirstDirection , true, true },
2307 { r4, SK_ARRAY_COUNT(r4), SkPathPriv::kCW_FirstDirection , true, true },
2308 { r5, SK_ARRAY_COUNT(r5), SkPathPriv::kCCW_FirstDirection, true, true },
2309 { r6, SK_ARRAY_COUNT(r6), SkPathPriv::kCCW_FirstDirection, true, true },
2310 { r7, SK_ARRAY_COUNT(r7), SkPathPriv::kCCW_FirstDirection, true, true },
2311 { r8, SK_ARRAY_COUNT(r8), SkPathPriv::kCCW_FirstDirection, true, true },
2312 { r9, SK_ARRAY_COUNT(r9), SkPathPriv::kCCW_FirstDirection, true, true },
2313 { ra, SK_ARRAY_COUNT(ra), SkPathPriv::kCCW_FirstDirection, true, true },
2314 { rb, SK_ARRAY_COUNT(rb), SkPathPriv::kCW_FirstDirection, true, true },
2315 { rc, SK_ARRAY_COUNT(rc), SkPathPriv::kCW_FirstDirection, true, true },
2316 { rd, SK_ARRAY_COUNT(rd), SkPathPriv::kCCW_FirstDirection, true, true },
2317 { re, SK_ARRAY_COUNT(re), SkPathPriv::kCW_FirstDirection, true, true },
2318
2319 { f1, SK_ARRAY_COUNT(f1), SkPathPriv::kUnknown_FirstDirection, true, false },
2320 { f2, SK_ARRAY_COUNT(f2), SkPathPriv::kUnknown_FirstDirection, true, false },
2321 { f3, SK_ARRAY_COUNT(f3), SkPathPriv::kUnknown_FirstDirection, true, false },
2322 { f4, SK_ARRAY_COUNT(f4), SkPathPriv::kUnknown_FirstDirection, true, false },
2323 { f5, SK_ARRAY_COUNT(f5), SkPathPriv::kUnknown_FirstDirection, true, false },
2324 { f6, SK_ARRAY_COUNT(f6), SkPathPriv::kUnknown_FirstDirection, true, false },
2325 { f7, SK_ARRAY_COUNT(f7), SkPathPriv::kUnknown_FirstDirection, true, false },
2326 { f8, SK_ARRAY_COUNT(f8), SkPathPriv::kUnknown_FirstDirection, true, false },
2327
2328 { c1, SK_ARRAY_COUNT(c1), SkPathPriv::kCW_FirstDirection, false, true },
2329 { c2, SK_ARRAY_COUNT(c2), SkPathPriv::kCW_FirstDirection, false, true },
2330 };
2331
2332 const size_t testCount = SK_ARRAY_COUNT(tests);
2333 int index;
2334 for (int rectFirst = 0; rectFirst <= 1; ++rectFirst) {
2335 for (size_t testIndex = 0; testIndex < testCount; ++testIndex) {
2336 SkPath path;
2337 if (rectFirst) {
2338 path.addRect(-1, -1, 2, 2, SkPath::kCW_Direction);
2339 }
2340 path.moveTo(tests[testIndex].fPoints[0].fX, tests[testIndex].fPoints[0].fY);
2341 for (index = 1; index < tests[testIndex].fPointCount; ++index) {
2342 path.lineTo(tests[testIndex].fPoints[index].fX, tests[testIndex].fPoints[index].fY);
2343 }
2344 if (tests[testIndex].fClose) {
2345 path.close();
2346 }
2347 if (!rectFirst) {
2348 path.addRect(-1, -1, 2, 2, SkPath::kCCW_Direction);
2349 }
2350 REPORTER_ASSERT(reporter,
2351 tests[testIndex].fIsNestedRect == path.isNestedFillRects(nullptr));
2352 if (tests[testIndex].fIsNestedRect) {
2353 SkRect expected[2], computed[2];
2354 SkPathPriv::FirstDirection expectedDirs[2];
2355 SkPath::Direction computedDirs[2];
2356 SkRect testBounds;
2357 testBounds.set(tests[testIndex].fPoints, tests[testIndex].fPointCount);
2358 expected[0] = SkRect::MakeLTRB(-1, -1, 2, 2);
2359 expected[1] = testBounds;
2360 if (rectFirst) {
2361 expectedDirs[0] = SkPathPriv::kCW_FirstDirection;
2362 } else {
2363 expectedDirs[0] = SkPathPriv::kCCW_FirstDirection;
2364 }
2365 expectedDirs[1] = tests[testIndex].fDirection;
2366 REPORTER_ASSERT(reporter, path.isNestedFillRects(computed, computedDirs));
2367 REPORTER_ASSERT(reporter, expected[0] == computed[0]);
2368 REPORTER_ASSERT(reporter, expected[1] == computed[1]);
2369 REPORTER_ASSERT(reporter, expectedDirs[0] == SkPathPriv::AsFirstDirection(computedDirs[0]));
2370 REPORTER_ASSERT(reporter, expectedDirs[1] == SkPathPriv::AsFirstDirection(computedDirs[1]));
2371 }
2372 }
2373
2374 // fail, close then line
2375 SkPath path1;
2376 if (rectFirst) {
2377 path1.addRect(-1, -1, 2, 2, SkPath::kCW_Direction);
2378 }
2379 path1.moveTo(r1[0].fX, r1[0].fY);
2380 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2381 path1.lineTo(r1[index].fX, r1[index].fY);
2382 }
2383 path1.close();
2384 path1.lineTo(1, 0);
2385 if (!rectFirst) {
2386 path1.addRect(-1, -1, 2, 2, SkPath::kCCW_Direction);
2387 }
2388 REPORTER_ASSERT(reporter, !path1.isNestedFillRects(nullptr));
2389
2390 // fail, move in the middle
2391 path1.reset();
2392 if (rectFirst) {
2393 path1.addRect(-1, -1, 2, 2, SkPath::kCW_Direction);
2394 }
2395 path1.moveTo(r1[0].fX, r1[0].fY);
2396 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2397 if (index == 2) {
2398 path1.moveTo(1, .5f);
2399 }
2400 path1.lineTo(r1[index].fX, r1[index].fY);
2401 }
2402 path1.close();
2403 if (!rectFirst) {
2404 path1.addRect(-1, -1, 2, 2, SkPath::kCCW_Direction);
2405 }
2406 REPORTER_ASSERT(reporter, !path1.isNestedFillRects(nullptr));
2407
2408 // fail, move on the edge
2409 path1.reset();
2410 if (rectFirst) {
2411 path1.addRect(-1, -1, 2, 2, SkPath::kCW_Direction);
2412 }
2413 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2414 path1.moveTo(r1[index - 1].fX, r1[index - 1].fY);
2415 path1.lineTo(r1[index].fX, r1[index].fY);
2416 }
2417 path1.close();
2418 if (!rectFirst) {
2419 path1.addRect(-1, -1, 2, 2, SkPath::kCCW_Direction);
2420 }
2421 REPORTER_ASSERT(reporter, !path1.isNestedFillRects(nullptr));
2422
2423 // fail, quad
2424 path1.reset();
2425 if (rectFirst) {
2426 path1.addRect(-1, -1, 2, 2, SkPath::kCW_Direction);
2427 }
2428 path1.moveTo(r1[0].fX, r1[0].fY);
2429 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2430 if (index == 2) {
2431 path1.quadTo(1, .5f, 1, .5f);
2432 }
2433 path1.lineTo(r1[index].fX, r1[index].fY);
2434 }
2435 path1.close();
2436 if (!rectFirst) {
2437 path1.addRect(-1, -1, 2, 2, SkPath::kCCW_Direction);
2438 }
2439 REPORTER_ASSERT(reporter, !path1.isNestedFillRects(nullptr));
2440
2441 // fail, cubic
2442 path1.reset();
2443 if (rectFirst) {
2444 path1.addRect(-1, -1, 2, 2, SkPath::kCW_Direction);
2445 }
2446 path1.moveTo(r1[0].fX, r1[0].fY);
2447 for (index = 1; index < SkToInt(SK_ARRAY_COUNT(r1)); ++index) {
2448 if (index == 2) {
2449 path1.cubicTo(1, .5f, 1, .5f, 1, .5f);
2450 }
2451 path1.lineTo(r1[index].fX, r1[index].fY);
2452 }
2453 path1.close();
2454 if (!rectFirst) {
2455 path1.addRect(-1, -1, 2, 2, SkPath::kCCW_Direction);
2456 }
2457 REPORTER_ASSERT(reporter, !path1.isNestedFillRects(nullptr));
2458
2459 // fail, not nested
2460 path1.reset();
2461 path1.addRect(1, 1, 3, 3, SkPath::kCW_Direction);
2462 path1.addRect(2, 2, 4, 4, SkPath::kCW_Direction);
2463 REPORTER_ASSERT(reporter, !path1.isNestedFillRects(nullptr));
2464 }
2465
2466 // pass, constructed explicitly from manually closed rects specified as moves/lines.
2467 SkPath path;
2468 path.moveTo(0, 0);
2469 path.lineTo(10, 0);
2470 path.lineTo(10, 10);
2471 path.lineTo(0, 10);
2472 path.lineTo(0, 0);
2473 path.moveTo(1, 1);
2474 path.lineTo(9, 1);
2475 path.lineTo(9, 9);
2476 path.lineTo(1, 9);
2477 path.lineTo(1, 1);
2478 REPORTER_ASSERT(reporter, path.isNestedFillRects(nullptr));
2479
2480 // pass, stroke rect
2481 SkPath src, dst;
2482 src.addRect(1, 1, 7, 7, SkPath::kCW_Direction);
2483 SkPaint strokePaint;
2484 strokePaint.setStyle(SkPaint::kStroke_Style);
2485 strokePaint.setStrokeWidth(2);
2486 strokePaint.getFillPath(src, &dst);
2487 REPORTER_ASSERT(reporter, dst.isNestedFillRects(nullptr));
2488}
2489
2490static void write_and_read_back(skiatest::Reporter* reporter,
2491 const SkPath& p) {
2492 SkWriter32 writer;
2493 writer.writePath(p);
2494 size_t size = writer.bytesWritten();
2495 SkAutoMalloc storage(size);
2496 writer.flatten(storage.get());
2497 SkReader32 reader(storage.get(), size);
2498
2499 SkPath readBack;
2500 REPORTER_ASSERT(reporter, readBack != p);
2501 reader.readPath(&readBack);
2502 REPORTER_ASSERT(reporter, readBack == p);
2503
2504 REPORTER_ASSERT(reporter, readBack.getConvexityOrUnknown() ==
2505 p.getConvexityOrUnknown());
2506
2507 SkRect oval0, oval1;
2508 SkPath::Direction dir0, dir1;
2509 unsigned start0, start1;
2510 REPORTER_ASSERT(reporter, readBack.isOval(nullptr) == p.isOval(nullptr));
Mike Reed0c3137c2018-02-20 13:57:05 -05002511 if (SkPathPriv::IsOval(p, &oval0, &dir0, &start0) &&
2512 SkPathPriv::IsOval(readBack, &oval1, &dir1, &start1)) {
Yuqian Li3154a532017-09-06 13:33:30 -04002513 REPORTER_ASSERT(reporter, oval0 == oval1);
2514 REPORTER_ASSERT(reporter, dir0 == dir1);
2515 REPORTER_ASSERT(reporter, start0 == start1);
2516 }
2517 REPORTER_ASSERT(reporter, readBack.isRRect(nullptr) == p.isRRect(nullptr));
2518 SkRRect rrect0, rrect1;
Mike Reed0c3137c2018-02-20 13:57:05 -05002519 if (SkPathPriv::IsRRect(p, &rrect0, &dir0, &start0) &&
2520 SkPathPriv::IsRRect(readBack, &rrect1, &dir1, &start1)) {
Yuqian Li3154a532017-09-06 13:33:30 -04002521 REPORTER_ASSERT(reporter, rrect0 == rrect1);
2522 REPORTER_ASSERT(reporter, dir0 == dir1);
2523 REPORTER_ASSERT(reporter, start0 == start1);
2524 }
2525 const SkRect& origBounds = p.getBounds();
2526 const SkRect& readBackBounds = readBack.getBounds();
2527
2528 REPORTER_ASSERT(reporter, origBounds == readBackBounds);
2529}
2530
2531static void test_corrupt_flattening(skiatest::Reporter* reporter) {
2532 SkPath path;
2533 path.moveTo(1, 2);
Brian Salomon7072e222017-11-29 15:12:45 -05002534 path.lineTo(3, 2);
2535 path.quadTo(4, 2, 5, 4);
2536 path.conicTo(5, 6, 3, 7, 0.5f);
2537 path.cubicTo(2, 6, 2, 4, 4, 1);
Yuqian Li3154a532017-09-06 13:33:30 -04002538 uint8_t buffer[1024];
Brian Salomon7072e222017-11-29 15:12:45 -05002539
2540 // Make sure these properties are computed prior to serialization.
2541 SkPathPriv::FirstDirection dir;
2542 SkAssertResult(SkPathPriv::CheapComputeFirstDirection(path, &dir));
2543 bool isConvex = path.isConvex();
2544
Yuqian Li3154a532017-09-06 13:33:30 -04002545 SkDEBUGCODE(size_t size =) path.writeToMemory(buffer);
2546 SkASSERT(size <= sizeof(buffer));
2547
2548 // find where the counts and verbs are stored : from the impl in SkPathRef.cpp
2549 int32_t* vCount = (int32_t*)&buffer[16];
2550 SkASSERT(*vCount == 5);
2551 int32_t* pCount = (int32_t*)&buffer[20];
2552 SkASSERT(*pCount == 9);
2553 int32_t* cCount = (int32_t*)&buffer[24];
2554 SkASSERT(*cCount == 1);
2555 uint8_t* verbs = &buffer[28];
2556
2557 REPORTER_ASSERT(reporter, path.readFromMemory(buffer, sizeof(buffer)));
2558
2559 // check that we detect under/over-flow of counts
2560
2561 *vCount += 1;
2562 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2563 *vCount -= 1; // restore
2564
2565 *pCount += 1;
2566 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2567 *pCount -= 2;
2568 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2569 *pCount += 1; // restore
2570
2571 *cCount += 1;
2572 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2573 *cCount -= 2;
2574 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2575 *cCount += 1; // restore
2576
2577 // Check that we detect when the verbs indicate more or fewer pts/conics
2578
2579 uint8_t save = verbs[0];
2580 SkASSERT(save == SkPath::kCubic_Verb);
2581 verbs[0] = SkPath::kQuad_Verb;
2582 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2583 verbs[0] = save;
2584
2585 save = verbs[1];
2586 SkASSERT(save == SkPath::kConic_Verb);
2587 verbs[1] = SkPath::kQuad_Verb;
2588 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2589 verbs[1] = SkPath::kCubic_Verb;
2590 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2591 verbs[1] = save;
2592
2593 // Check that we detect invalid verbs
2594 save = verbs[1];
2595 verbs[1] = 17;
2596 REPORTER_ASSERT(reporter, !path.readFromMemory(buffer, sizeof(buffer)));
2597 verbs[1] = save;
Brian Salomon7072e222017-11-29 15:12:45 -05002598
2599 // kConvexity_SerializationShift defined privately in SkPath.h
2600 static constexpr int32_t kConvexityMask = 0x7 << 16;
2601 int32_t* packed = (int32_t*)buffer;
2602 int32_t savedPacked = *packed;
2603 SkPath::Convexity wrongConvexity =
2604 isConvex ? SkPath::kConcave_Convexity : SkPath::kConvex_Convexity;
2605 *packed = (savedPacked & ~kConvexityMask) | (wrongConvexity << 16);
2606 REPORTER_ASSERT(reporter, path.readFromMemory(buffer, sizeof(buffer)));
2607 // We should ignore the stored convexity and recompute from the deserialized data.
2608 REPORTER_ASSERT(reporter, path.isConvex() == isConvex);
2609 *packed = savedPacked;
2610
2611 // kDirection_SerializationShift defined privately in SkPath.h
2612 static constexpr int32_t kDirectionMask = 0x3 << 26;
2613 SkPathPriv::FirstDirection wrongDir = (dir == SkPathPriv::kCW_FirstDirection)
2614 ? SkPathPriv::kCCW_FirstDirection
2615 : SkPathPriv::kCW_FirstDirection;
2616 *packed = (savedPacked & ~kDirectionMask) | (wrongDir << 26);
2617 REPORTER_ASSERT(reporter, path.readFromMemory(buffer, sizeof(buffer)));
2618 // We should ignore the stored direction and recompute from the deserialized data.
2619 SkPathPriv::FirstDirection newDir;
2620 SkAssertResult(SkPathPriv::CheapComputeFirstDirection(path, &newDir));
2621 REPORTER_ASSERT(reporter, newDir == dir);
2622 *packed = savedPacked;
Yuqian Li3154a532017-09-06 13:33:30 -04002623}
2624
2625static void test_flattening(skiatest::Reporter* reporter) {
2626 SkPath p;
2627
2628 static const SkPoint pts[] = {
2629 { 0, 0 },
2630 { SkIntToScalar(10), SkIntToScalar(10) },
2631 { SkIntToScalar(20), SkIntToScalar(10) }, { SkIntToScalar(20), 0 },
2632 { 0, 0 }, { 0, SkIntToScalar(10) }, { SkIntToScalar(1), SkIntToScalar(10) }
2633 };
2634 p.moveTo(pts[0]);
2635 p.lineTo(pts[1]);
2636 p.quadTo(pts[2], pts[3]);
2637 p.cubicTo(pts[4], pts[5], pts[6]);
2638
2639 write_and_read_back(reporter, p);
2640
2641 // create a buffer that should be much larger than the path so we don't
2642 // kill our stack if writer goes too far.
2643 char buffer[1024];
2644 size_t size1 = p.writeToMemory(nullptr);
2645 size_t size2 = p.writeToMemory(buffer);
2646 REPORTER_ASSERT(reporter, size1 == size2);
2647
2648 SkPath p2;
2649 size_t size3 = p2.readFromMemory(buffer, 1024);
2650 REPORTER_ASSERT(reporter, size1 == size3);
2651 REPORTER_ASSERT(reporter, p == p2);
2652
2653 size3 = p2.readFromMemory(buffer, 0);
2654 REPORTER_ASSERT(reporter, !size3);
2655
2656 SkPath tooShort;
2657 size3 = tooShort.readFromMemory(buffer, size1 - 1);
2658 REPORTER_ASSERT(reporter, tooShort.isEmpty());
2659
2660 char buffer2[1024];
2661 size3 = p2.writeToMemory(buffer2);
2662 REPORTER_ASSERT(reporter, size1 == size3);
2663 REPORTER_ASSERT(reporter, memcmp(buffer, buffer2, size1) == 0);
2664
2665 // test persistence of the oval flag & convexity
2666 {
2667 SkPath oval;
2668 SkRect rect = SkRect::MakeWH(10, 10);
2669 oval.addOval(rect);
2670
2671 write_and_read_back(reporter, oval);
2672 }
2673
2674 test_corrupt_flattening(reporter);
2675}
2676
2677static void test_transform(skiatest::Reporter* reporter) {
2678 SkPath p;
2679
2680#define CONIC_PERSPECTIVE_BUG_FIXED 0
2681 static const SkPoint pts[] = {
2682 { 0, 0 }, // move
2683 { SkIntToScalar(10), SkIntToScalar(10) }, // line
2684 { SkIntToScalar(20), SkIntToScalar(10) }, { SkIntToScalar(20), 0 }, // quad
2685 { 0, 0 }, { 0, SkIntToScalar(10) }, { SkIntToScalar(1), SkIntToScalar(10) }, // cubic
2686#if CONIC_PERSPECTIVE_BUG_FIXED
2687 { 0, 0 }, { SkIntToScalar(20), SkIntToScalar(10) }, // conic
2688#endif
2689 };
2690 const int kPtCount = SK_ARRAY_COUNT(pts);
2691
2692 p.moveTo(pts[0]);
2693 p.lineTo(pts[1]);
2694 p.quadTo(pts[2], pts[3]);
2695 p.cubicTo(pts[4], pts[5], pts[6]);
2696#if CONIC_PERSPECTIVE_BUG_FIXED
2697 p.conicTo(pts[4], pts[5], 0.5f);
2698#endif
2699 p.close();
2700
2701 {
2702 SkMatrix matrix;
2703 matrix.reset();
2704 SkPath p1;
2705 p.transform(matrix, &p1);
2706 REPORTER_ASSERT(reporter, p == p1);
2707 }
2708
2709
2710 {
2711 SkMatrix matrix;
2712 matrix.setScale(SK_Scalar1 * 2, SK_Scalar1 * 3);
2713
2714 SkPath p1; // Leave p1 non-unique (i.e., the empty path)
2715
2716 p.transform(matrix, &p1);
2717 SkPoint pts1[kPtCount];
2718 int count = p1.getPoints(pts1, kPtCount);
2719 REPORTER_ASSERT(reporter, kPtCount == count);
2720 for (int i = 0; i < count; ++i) {
2721 SkPoint newPt = SkPoint::Make(pts[i].fX * 2, pts[i].fY * 3);
2722 REPORTER_ASSERT(reporter, newPt == pts1[i]);
2723 }
2724 }
2725
2726 {
2727 SkMatrix matrix;
2728 matrix.reset();
2729 matrix.setPerspX(4);
2730
2731 SkPath p1;
2732 p1.moveTo(SkPoint::Make(0, 0));
2733
2734 p.transform(matrix, &p1);
2735 REPORTER_ASSERT(reporter, matrix.invert(&matrix));
2736 p1.transform(matrix, nullptr);
2737 SkRect pBounds = p.getBounds();
2738 SkRect p1Bounds = p1.getBounds();
2739 REPORTER_ASSERT(reporter, SkScalarNearlyEqual(pBounds.fLeft, p1Bounds.fLeft));
2740 REPORTER_ASSERT(reporter, SkScalarNearlyEqual(pBounds.fTop, p1Bounds.fTop));
2741 REPORTER_ASSERT(reporter, SkScalarNearlyEqual(pBounds.fRight, p1Bounds.fRight));
2742 REPORTER_ASSERT(reporter, SkScalarNearlyEqual(pBounds.fBottom, p1Bounds.fBottom));
2743 }
2744
2745 p.reset();
2746 p.addCircle(0, 0, 1, SkPath::kCW_Direction);
2747
2748 {
2749 SkMatrix matrix;
2750 matrix.reset();
2751 SkPath p1;
2752 p1.moveTo(SkPoint::Make(0, 0));
2753
2754 p.transform(matrix, &p1);
2755 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(p1, SkPathPriv::kCW_FirstDirection));
2756 }
2757
2758
2759 {
2760 SkMatrix matrix;
2761 matrix.reset();
2762 matrix.setScaleX(-1);
2763 SkPath p1;
2764 p1.moveTo(SkPoint::Make(0, 0)); // Make p1 unique (i.e., not empty path)
2765
2766 p.transform(matrix, &p1);
2767 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(p1, SkPathPriv::kCCW_FirstDirection));
2768 }
2769
2770 {
2771 SkMatrix matrix;
2772 matrix.setAll(1, 1, 0, 1, 1, 0, 0, 0, 1);
2773 SkPath p1;
2774 p1.moveTo(SkPoint::Make(0, 0)); // Make p1 unique (i.e., not empty path)
2775
2776 p.transform(matrix, &p1);
2777 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(p1, SkPathPriv::kUnknown_FirstDirection));
2778 }
2779}
2780
2781static void test_zero_length_paths(skiatest::Reporter* reporter) {
2782 SkPath p;
2783 uint8_t verbs[32];
2784
2785 struct SUPPRESS_VISIBILITY_WARNING zeroPathTestData {
2786 const char* testPath;
2787 const size_t numResultPts;
2788 const SkRect resultBound;
2789 const SkPath::Verb* resultVerbs;
2790 const size_t numResultVerbs;
2791 };
2792
2793 static const SkPath::Verb resultVerbs1[] = { SkPath::kMove_Verb };
2794 static const SkPath::Verb resultVerbs2[] = { SkPath::kMove_Verb, SkPath::kMove_Verb };
2795 static const SkPath::Verb resultVerbs3[] = { SkPath::kMove_Verb, SkPath::kClose_Verb };
2796 static const SkPath::Verb resultVerbs4[] = { SkPath::kMove_Verb, SkPath::kClose_Verb, SkPath::kMove_Verb, SkPath::kClose_Verb };
2797 static const SkPath::Verb resultVerbs5[] = { SkPath::kMove_Verb, SkPath::kLine_Verb };
2798 static const SkPath::Verb resultVerbs6[] = { SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kMove_Verb, SkPath::kLine_Verb };
2799 static const SkPath::Verb resultVerbs7[] = { SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kClose_Verb };
2800 static const SkPath::Verb resultVerbs8[] = {
2801 SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kClose_Verb, SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kClose_Verb
2802 };
2803 static const SkPath::Verb resultVerbs9[] = { SkPath::kMove_Verb, SkPath::kQuad_Verb };
2804 static const SkPath::Verb resultVerbs10[] = { SkPath::kMove_Verb, SkPath::kQuad_Verb, SkPath::kMove_Verb, SkPath::kQuad_Verb };
2805 static const SkPath::Verb resultVerbs11[] = { SkPath::kMove_Verb, SkPath::kQuad_Verb, SkPath::kClose_Verb };
2806 static const SkPath::Verb resultVerbs12[] = {
2807 SkPath::kMove_Verb, SkPath::kQuad_Verb, SkPath::kClose_Verb, SkPath::kMove_Verb, SkPath::kQuad_Verb, SkPath::kClose_Verb
2808 };
2809 static const SkPath::Verb resultVerbs13[] = { SkPath::kMove_Verb, SkPath::kCubic_Verb };
2810 static const SkPath::Verb resultVerbs14[] = { SkPath::kMove_Verb, SkPath::kCubic_Verb, SkPath::kMove_Verb, SkPath::kCubic_Verb };
2811 static const SkPath::Verb resultVerbs15[] = { SkPath::kMove_Verb, SkPath::kCubic_Verb, SkPath::kClose_Verb };
2812 static const SkPath::Verb resultVerbs16[] = {
2813 SkPath::kMove_Verb, SkPath::kCubic_Verb, SkPath::kClose_Verb, SkPath::kMove_Verb, SkPath::kCubic_Verb, SkPath::kClose_Verb
2814 };
2815 static const struct zeroPathTestData gZeroLengthTests[] = {
2816 { "M 1 1", 1, {1, 1, 1, 1}, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2817 { "M 1 1 M 2 1", 2, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs2, SK_ARRAY_COUNT(resultVerbs2) },
2818 { "M 1 1 z", 1, {1, 1, 1, 1}, resultVerbs3, SK_ARRAY_COUNT(resultVerbs3) },
2819 { "M 1 1 z M 2 1 z", 2, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs4, SK_ARRAY_COUNT(resultVerbs4) },
2820 { "M 1 1 L 1 1", 2, {SK_Scalar1, SK_Scalar1, SK_Scalar1, SK_Scalar1}, resultVerbs5, SK_ARRAY_COUNT(resultVerbs5) },
2821 { "M 1 1 L 1 1 M 2 1 L 2 1", 4, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs6, SK_ARRAY_COUNT(resultVerbs6) },
2822 { "M 1 1 L 1 1 z", 2, {SK_Scalar1, SK_Scalar1, SK_Scalar1, SK_Scalar1}, resultVerbs7, SK_ARRAY_COUNT(resultVerbs7) },
2823 { "M 1 1 L 1 1 z M 2 1 L 2 1 z", 4, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs8, SK_ARRAY_COUNT(resultVerbs8) },
2824 { "M 1 1 Q 1 1 1 1", 3, {SK_Scalar1, SK_Scalar1, SK_Scalar1, SK_Scalar1}, resultVerbs9, SK_ARRAY_COUNT(resultVerbs9) },
2825 { "M 1 1 Q 1 1 1 1 M 2 1 Q 2 1 2 1", 6, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs10, SK_ARRAY_COUNT(resultVerbs10) },
2826 { "M 1 1 Q 1 1 1 1 z", 3, {SK_Scalar1, SK_Scalar1, SK_Scalar1, SK_Scalar1}, resultVerbs11, SK_ARRAY_COUNT(resultVerbs11) },
2827 { "M 1 1 Q 1 1 1 1 z M 2 1 Q 2 1 2 1 z", 6, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs12, SK_ARRAY_COUNT(resultVerbs12) },
2828 { "M 1 1 C 1 1 1 1 1 1", 4, {SK_Scalar1, SK_Scalar1, SK_Scalar1, SK_Scalar1}, resultVerbs13, SK_ARRAY_COUNT(resultVerbs13) },
2829 { "M 1 1 C 1 1 1 1 1 1 M 2 1 C 2 1 2 1 2 1", 8, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs14,
2830 SK_ARRAY_COUNT(resultVerbs14)
2831 },
2832 { "M 1 1 C 1 1 1 1 1 1 z", 4, {SK_Scalar1, SK_Scalar1, SK_Scalar1, SK_Scalar1}, resultVerbs15, SK_ARRAY_COUNT(resultVerbs15) },
2833 { "M 1 1 C 1 1 1 1 1 1 z M 2 1 C 2 1 2 1 2 1 z", 8, {SK_Scalar1, SK_Scalar1, 2*SK_Scalar1, SK_Scalar1}, resultVerbs16,
2834 SK_ARRAY_COUNT(resultVerbs16)
2835 }
2836 };
2837
2838 for (size_t i = 0; i < SK_ARRAY_COUNT(gZeroLengthTests); ++i) {
2839 p.reset();
2840 bool valid = SkParsePath::FromSVGString(gZeroLengthTests[i].testPath, &p);
2841 REPORTER_ASSERT(reporter, valid);
2842 REPORTER_ASSERT(reporter, !p.isEmpty());
2843 REPORTER_ASSERT(reporter, gZeroLengthTests[i].numResultPts == (size_t)p.countPoints());
2844 REPORTER_ASSERT(reporter, gZeroLengthTests[i].resultBound == p.getBounds());
2845 REPORTER_ASSERT(reporter, gZeroLengthTests[i].numResultVerbs == (size_t)p.getVerbs(verbs, SK_ARRAY_COUNT(verbs)));
2846 for (size_t j = 0; j < gZeroLengthTests[i].numResultVerbs; ++j) {
2847 REPORTER_ASSERT(reporter, gZeroLengthTests[i].resultVerbs[j] == verbs[j]);
2848 }
2849 }
2850}
2851
2852struct SegmentInfo {
2853 SkPath fPath;
2854 int fPointCount;
2855};
2856
2857#define kCurveSegmentMask (SkPath::kQuad_SegmentMask | SkPath::kCubic_SegmentMask)
2858
2859static void test_segment_masks(skiatest::Reporter* reporter) {
2860 SkPath p, p2;
2861
2862 p.moveTo(0, 0);
2863 p.quadTo(100, 100, 200, 200);
2864 REPORTER_ASSERT(reporter, SkPath::kQuad_SegmentMask == p.getSegmentMasks());
2865 REPORTER_ASSERT(reporter, !p.isEmpty());
2866 p2 = p;
2867 REPORTER_ASSERT(reporter, p2.getSegmentMasks() == p.getSegmentMasks());
2868 p.cubicTo(100, 100, 200, 200, 300, 300);
2869 REPORTER_ASSERT(reporter, kCurveSegmentMask == p.getSegmentMasks());
2870 REPORTER_ASSERT(reporter, !p.isEmpty());
2871 p2 = p;
2872 REPORTER_ASSERT(reporter, p2.getSegmentMasks() == p.getSegmentMasks());
2873
2874 p.reset();
2875 p.moveTo(0, 0);
2876 p.cubicTo(100, 100, 200, 200, 300, 300);
2877 REPORTER_ASSERT(reporter, SkPath::kCubic_SegmentMask == p.getSegmentMasks());
2878 p2 = p;
2879 REPORTER_ASSERT(reporter, p2.getSegmentMasks() == p.getSegmentMasks());
2880
2881 REPORTER_ASSERT(reporter, !p.isEmpty());
2882}
2883
2884static void test_iter(skiatest::Reporter* reporter) {
2885 SkPath p;
2886 SkPoint pts[4];
2887
2888 // Test an iterator with no path
2889 SkPath::Iter noPathIter;
2890 REPORTER_ASSERT(reporter, noPathIter.next(pts) == SkPath::kDone_Verb);
2891
2892 // Test that setting an empty path works
2893 noPathIter.setPath(p, false);
2894 REPORTER_ASSERT(reporter, noPathIter.next(pts) == SkPath::kDone_Verb);
2895
2896 // Test that close path makes no difference for an empty path
2897 noPathIter.setPath(p, true);
2898 REPORTER_ASSERT(reporter, noPathIter.next(pts) == SkPath::kDone_Verb);
2899
2900 // Test an iterator with an initial empty path
2901 SkPath::Iter iter(p, false);
2902 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
2903
2904 // Test that close path makes no difference
2905 iter.setPath(p, true);
2906 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
2907
2908
2909 struct iterTestData {
2910 const char* testPath;
2911 const bool forceClose;
2912 const bool consumeDegenerates;
2913 const size_t* numResultPtsPerVerb;
2914 const SkPoint* resultPts;
2915 const SkPath::Verb* resultVerbs;
2916 const size_t numResultVerbs;
2917 };
2918
2919 static const SkPath::Verb resultVerbs1[] = { SkPath::kDone_Verb };
2920 static const SkPath::Verb resultVerbs2[] = {
2921 SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kLine_Verb, SkPath::kDone_Verb
2922 };
2923 static const SkPath::Verb resultVerbs3[] = {
2924 SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kLine_Verb, SkPath::kLine_Verb, SkPath::kClose_Verb, SkPath::kDone_Verb
2925 };
2926 static const SkPath::Verb resultVerbs4[] = {
2927 SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kMove_Verb, SkPath::kClose_Verb, SkPath::kDone_Verb
2928 };
2929 static const SkPath::Verb resultVerbs5[] = {
2930 SkPath::kMove_Verb, SkPath::kLine_Verb, SkPath::kClose_Verb, SkPath::kMove_Verb, SkPath::kClose_Verb, SkPath::kDone_Verb
2931 };
2932 static const size_t resultPtsSizes1[] = { 0 };
2933 static const size_t resultPtsSizes2[] = { 1, 2, 2, 0 };
2934 static const size_t resultPtsSizes3[] = { 1, 2, 2, 2, 1, 0 };
2935 static const size_t resultPtsSizes4[] = { 1, 2, 1, 1, 0 };
2936 static const size_t resultPtsSizes5[] = { 1, 2, 1, 1, 1, 0 };
2937 static const SkPoint* resultPts1 = nullptr;
2938 static const SkPoint resultPts2[] = {
2939 { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { SK_Scalar1, SK_Scalar1 }, { SK_Scalar1, SK_Scalar1 }, { 0, SK_Scalar1 }
2940 };
2941 static const SkPoint resultPts3[] = {
2942 { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { SK_Scalar1, SK_Scalar1 }, { SK_Scalar1, SK_Scalar1 }, { 0, SK_Scalar1 },
2943 { 0, SK_Scalar1 }, { SK_Scalar1, 0 }, { SK_Scalar1, 0 }
2944 };
2945 static const SkPoint resultPts4[] = {
2946 { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { 0, 0 }, { 0, 0 }
2947 };
2948 static const SkPoint resultPts5[] = {
2949 { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { SK_Scalar1, 0 }, { 0, 0 }, { 0, 0 }
2950 };
2951 static const struct iterTestData gIterTests[] = {
2952 { "M 1 0", false, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2953 { "M 1 0 M 2 0 M 3 0 M 4 0 M 5 0", false, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2954 { "M 1 0 M 1 0 M 3 0 M 4 0 M 5 0", true, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2955 { "z", false, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2956 { "z", true, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2957 { "z M 1 0 z z M 2 0 z M 3 0 M 4 0 z", false, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2958 { "z M 1 0 z z M 2 0 z M 3 0 M 4 0 z", true, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2959 { "M 1 0 L 1 1 L 0 1 M 0 0 z", false, true, resultPtsSizes2, resultPts2, resultVerbs2, SK_ARRAY_COUNT(resultVerbs2) },
2960 { "M 1 0 L 1 1 L 0 1 M 0 0 z", true, true, resultPtsSizes3, resultPts3, resultVerbs3, SK_ARRAY_COUNT(resultVerbs3) },
2961 { "M 1 0 L 1 0 M 0 0 z", false, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2962 { "M 1 0 L 1 0 M 0 0 z", true, true, resultPtsSizes1, resultPts1, resultVerbs1, SK_ARRAY_COUNT(resultVerbs1) },
2963 { "M 1 0 L 1 0 M 0 0 z", false, false, resultPtsSizes4, resultPts4, resultVerbs4, SK_ARRAY_COUNT(resultVerbs4) },
2964 { "M 1 0 L 1 0 M 0 0 z", true, false, resultPtsSizes5, resultPts5, resultVerbs5, SK_ARRAY_COUNT(resultVerbs5) }
2965 };
2966
2967 for (size_t i = 0; i < SK_ARRAY_COUNT(gIterTests); ++i) {
2968 p.reset();
2969 bool valid = SkParsePath::FromSVGString(gIterTests[i].testPath, &p);
2970 REPORTER_ASSERT(reporter, valid);
2971 iter.setPath(p, gIterTests[i].forceClose);
2972 int j = 0, l = 0;
2973 do {
2974 REPORTER_ASSERT(reporter, iter.next(pts, gIterTests[i].consumeDegenerates) == gIterTests[i].resultVerbs[j]);
2975 for (int k = 0; k < (int)gIterTests[i].numResultPtsPerVerb[j]; ++k) {
2976 REPORTER_ASSERT(reporter, pts[k] == gIterTests[i].resultPts[l++]);
2977 }
2978 } while (gIterTests[i].resultVerbs[j++] != SkPath::kDone_Verb);
2979 REPORTER_ASSERT(reporter, j == (int)gIterTests[i].numResultVerbs);
2980 }
2981
2982 p.reset();
2983 iter.setPath(p, false);
2984 REPORTER_ASSERT(reporter, !iter.isClosedContour());
2985 p.lineTo(1, 1);
2986 p.close();
2987 iter.setPath(p, false);
2988 REPORTER_ASSERT(reporter, iter.isClosedContour());
2989 p.reset();
2990 iter.setPath(p, true);
2991 REPORTER_ASSERT(reporter, !iter.isClosedContour());
2992 p.lineTo(1, 1);
2993 iter.setPath(p, true);
2994 REPORTER_ASSERT(reporter, iter.isClosedContour());
2995 p.moveTo(0, 0);
2996 p.lineTo(2, 2);
2997 iter.setPath(p, false);
2998 REPORTER_ASSERT(reporter, !iter.isClosedContour());
2999
3000 // this checks to see if the NaN logic is executed in SkPath::autoClose(), but does not
3001 // check to see if the result is correct.
3002 for (int setNaN = 0; setNaN < 4; ++setNaN) {
3003 p.reset();
3004 p.moveTo(setNaN == 0 ? SK_ScalarNaN : 0, setNaN == 1 ? SK_ScalarNaN : 0);
3005 p.lineTo(setNaN == 2 ? SK_ScalarNaN : 1, setNaN == 3 ? SK_ScalarNaN : 1);
3006 iter.setPath(p, true);
3007 iter.next(pts, false);
3008 iter.next(pts, false);
3009 REPORTER_ASSERT(reporter, SkPath::kClose_Verb == iter.next(pts, false));
3010 }
3011
3012 p.reset();
3013 p.quadTo(0, 0, 0, 0);
3014 iter.setPath(p, false);
3015 iter.next(pts, false);
3016 REPORTER_ASSERT(reporter, SkPath::kQuad_Verb == iter.next(pts, false));
3017 iter.setPath(p, false);
3018 iter.next(pts, false);
3019 REPORTER_ASSERT(reporter, SkPath::kDone_Verb == iter.next(pts, true));
3020
3021 p.reset();
3022 p.conicTo(0, 0, 0, 0, 0.5f);
3023 iter.setPath(p, false);
3024 iter.next(pts, false);
3025 REPORTER_ASSERT(reporter, SkPath::kConic_Verb == iter.next(pts, false));
3026 iter.setPath(p, false);
3027 iter.next(pts, false);
3028 REPORTER_ASSERT(reporter, SkPath::kDone_Verb == iter.next(pts, true));
3029
3030 p.reset();
3031 p.cubicTo(0, 0, 0, 0, 0, 0);
3032 iter.setPath(p, false);
3033 iter.next(pts, false);
3034 REPORTER_ASSERT(reporter, SkPath::kCubic_Verb == iter.next(pts, false));
3035 iter.setPath(p, false);
3036 iter.next(pts, false);
3037 REPORTER_ASSERT(reporter, SkPath::kDone_Verb == iter.next(pts, true));
3038
3039 p.moveTo(1, 1); // add a trailing moveto
3040 iter.setPath(p, false);
3041 iter.next(pts, false);
3042 REPORTER_ASSERT(reporter, SkPath::kCubic_Verb == iter.next(pts, false));
3043 iter.setPath(p, false);
3044 iter.next(pts, false);
3045 REPORTER_ASSERT(reporter, SkPath::kDone_Verb == iter.next(pts, true));
3046
3047 // The GM degeneratesegments.cpp test is more extensive
3048
3049 // Test out mixed degenerate and non-degenerate geometry with Conics
3050 const SkVector radii[4] = { { 0, 0 }, { 0, 0 }, { 0, 0 }, { 100, 100 } };
3051 SkRect r = SkRect::MakeWH(100, 100);
3052 SkRRect rr;
3053 rr.setRectRadii(r, radii);
3054 p.reset();
3055 p.addRRect(rr);
3056 iter.setPath(p, false);
3057 REPORTER_ASSERT(reporter, SkPath::kMove_Verb == iter.next(pts));
3058 REPORTER_ASSERT(reporter, SkPath::kLine_Verb == iter.next(pts));
3059 REPORTER_ASSERT(reporter, SkPath::kLine_Verb == iter.next(pts));
3060 REPORTER_ASSERT(reporter, SkPath::kConic_Verb == iter.next(pts));
3061 REPORTER_ASSERT(reporter, SK_ScalarRoot2Over2 == iter.conicWeight());
3062}
3063
3064static void test_raw_iter(skiatest::Reporter* reporter) {
3065 SkPath p;
3066 SkPoint pts[4];
3067
3068 // Test an iterator with no path
3069 SkPath::RawIter noPathIter;
3070 REPORTER_ASSERT(reporter, noPathIter.next(pts) == SkPath::kDone_Verb);
3071 // Test that setting an empty path works
3072 noPathIter.setPath(p);
3073 REPORTER_ASSERT(reporter, noPathIter.next(pts) == SkPath::kDone_Verb);
3074
3075 // Test an iterator with an initial empty path
3076 SkPath::RawIter iter(p);
3077 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
3078
3079 // Test that a move-only path returns the move.
3080 p.moveTo(SK_Scalar1, 0);
3081 iter.setPath(p);
3082 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3083 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1);
3084 REPORTER_ASSERT(reporter, pts[0].fY == 0);
3085 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
3086
3087 // No matter how many moves we add, we should get them all back
3088 p.moveTo(SK_Scalar1*2, SK_Scalar1);
3089 p.moveTo(SK_Scalar1*3, SK_Scalar1*2);
3090 iter.setPath(p);
3091 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3092 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1);
3093 REPORTER_ASSERT(reporter, pts[0].fY == 0);
3094 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3095 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1*2);
3096 REPORTER_ASSERT(reporter, pts[0].fY == SK_Scalar1);
3097 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3098 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1*3);
3099 REPORTER_ASSERT(reporter, pts[0].fY == SK_Scalar1*2);
3100 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
3101
3102 // Initial close is never ever stored
3103 p.reset();
3104 p.close();
3105 iter.setPath(p);
3106 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
3107
3108 // Move/close sequences
3109 p.reset();
3110 p.close(); // Not stored, no purpose
3111 p.moveTo(SK_Scalar1, 0);
3112 p.close();
3113 p.close(); // Not stored, no purpose
3114 p.moveTo(SK_Scalar1*2, SK_Scalar1);
3115 p.close();
3116 p.moveTo(SK_Scalar1*3, SK_Scalar1*2);
3117 p.moveTo(SK_Scalar1*4, SK_Scalar1*3);
3118 p.close();
3119 iter.setPath(p);
3120 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3121 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1);
3122 REPORTER_ASSERT(reporter, pts[0].fY == 0);
3123 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kClose_Verb);
3124 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3125 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1*2);
3126 REPORTER_ASSERT(reporter, pts[0].fY == SK_Scalar1);
3127 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kClose_Verb);
3128 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3129 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1*3);
3130 REPORTER_ASSERT(reporter, pts[0].fY == SK_Scalar1*2);
3131 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kMove_Verb);
3132 REPORTER_ASSERT(reporter, pts[0].fX == SK_Scalar1*4);
3133 REPORTER_ASSERT(reporter, pts[0].fY == SK_Scalar1*3);
3134 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kClose_Verb);
3135 REPORTER_ASSERT(reporter, iter.next(pts) == SkPath::kDone_Verb);
3136
3137 // Generate random paths and verify
3138 SkPoint randomPts[25];
3139 for (int i = 0; i < 5; ++i) {
3140 for (int j = 0; j < 5; ++j) {
3141 randomPts[i*5+j].set(SK_Scalar1*i, SK_Scalar1*j);
3142 }
3143 }
3144
3145 // Max of 10 segments, max 3 points per segment
3146 SkRandom rand(9876543);
3147 SkPoint expectedPts[31]; // May have leading moveTo
3148 SkPath::Verb expectedVerbs[22]; // May have leading moveTo
3149 SkPath::Verb nextVerb;
3150
3151 for (int i = 0; i < 500; ++i) {
3152 p.reset();
3153 bool lastWasClose = true;
3154 bool haveMoveTo = false;
3155 SkPoint lastMoveToPt = { 0, 0 };
3156 int numPoints = 0;
3157 int numVerbs = (rand.nextU() >> 16) % 10;
3158 int numIterVerbs = 0;
3159 for (int j = 0; j < numVerbs; ++j) {
3160 do {
3161 nextVerb = static_cast<SkPath::Verb>((rand.nextU() >> 16) % SkPath::kDone_Verb);
3162 } while (lastWasClose && nextVerb == SkPath::kClose_Verb);
3163 switch (nextVerb) {
3164 case SkPath::kMove_Verb:
3165 expectedPts[numPoints] = randomPts[(rand.nextU() >> 16) % 25];
3166 p.moveTo(expectedPts[numPoints]);
3167 lastMoveToPt = expectedPts[numPoints];
3168 numPoints += 1;
3169 lastWasClose = false;
3170 haveMoveTo = true;
3171 break;
3172 case SkPath::kLine_Verb:
3173 if (!haveMoveTo) {
3174 expectedPts[numPoints++] = lastMoveToPt;
3175 expectedVerbs[numIterVerbs++] = SkPath::kMove_Verb;
3176 haveMoveTo = true;
3177 }
3178 expectedPts[numPoints] = randomPts[(rand.nextU() >> 16) % 25];
3179 p.lineTo(expectedPts[numPoints]);
3180 numPoints += 1;
3181 lastWasClose = false;
3182 break;
3183 case SkPath::kQuad_Verb:
3184 if (!haveMoveTo) {
3185 expectedPts[numPoints++] = lastMoveToPt;
3186 expectedVerbs[numIterVerbs++] = SkPath::kMove_Verb;
3187 haveMoveTo = true;
3188 }
3189 expectedPts[numPoints] = randomPts[(rand.nextU() >> 16) % 25];
3190 expectedPts[numPoints + 1] = randomPts[(rand.nextU() >> 16) % 25];
3191 p.quadTo(expectedPts[numPoints], expectedPts[numPoints + 1]);
3192 numPoints += 2;
3193 lastWasClose = false;
3194 break;
3195 case SkPath::kConic_Verb:
3196 if (!haveMoveTo) {
3197 expectedPts[numPoints++] = lastMoveToPt;
3198 expectedVerbs[numIterVerbs++] = SkPath::kMove_Verb;
3199 haveMoveTo = true;
3200 }
3201 expectedPts[numPoints] = randomPts[(rand.nextU() >> 16) % 25];
3202 expectedPts[numPoints + 1] = randomPts[(rand.nextU() >> 16) % 25];
3203 p.conicTo(expectedPts[numPoints], expectedPts[numPoints + 1],
3204 rand.nextUScalar1() * 4);
3205 numPoints += 2;
3206 lastWasClose = false;
3207 break;
3208 case SkPath::kCubic_Verb:
3209 if (!haveMoveTo) {
3210 expectedPts[numPoints++] = lastMoveToPt;
3211 expectedVerbs[numIterVerbs++] = SkPath::kMove_Verb;
3212 haveMoveTo = true;
3213 }
3214 expectedPts[numPoints] = randomPts[(rand.nextU() >> 16) % 25];
3215 expectedPts[numPoints + 1] = randomPts[(rand.nextU() >> 16) % 25];
3216 expectedPts[numPoints + 2] = randomPts[(rand.nextU() >> 16) % 25];
3217 p.cubicTo(expectedPts[numPoints], expectedPts[numPoints + 1],
3218 expectedPts[numPoints + 2]);
3219 numPoints += 3;
3220 lastWasClose = false;
3221 break;
3222 case SkPath::kClose_Verb:
3223 p.close();
3224 haveMoveTo = false;
3225 lastWasClose = true;
3226 break;
3227 default:
3228 SkDEBUGFAIL("unexpected verb");
3229 }
3230 expectedVerbs[numIterVerbs++] = nextVerb;
3231 }
3232
3233 iter.setPath(p);
3234 numVerbs = numIterVerbs;
3235 numIterVerbs = 0;
3236 int numIterPts = 0;
3237 SkPoint lastMoveTo;
3238 SkPoint lastPt;
3239 lastMoveTo.set(0, 0);
3240 lastPt.set(0, 0);
3241 while ((nextVerb = iter.next(pts)) != SkPath::kDone_Verb) {
3242 REPORTER_ASSERT(reporter, nextVerb == expectedVerbs[numIterVerbs]);
3243 numIterVerbs++;
3244 switch (nextVerb) {
3245 case SkPath::kMove_Verb:
3246 REPORTER_ASSERT(reporter, numIterPts < numPoints);
3247 REPORTER_ASSERT(reporter, pts[0] == expectedPts[numIterPts]);
3248 lastPt = lastMoveTo = pts[0];
3249 numIterPts += 1;
3250 break;
3251 case SkPath::kLine_Verb:
3252 REPORTER_ASSERT(reporter, numIterPts < numPoints + 1);
3253 REPORTER_ASSERT(reporter, pts[0] == lastPt);
3254 REPORTER_ASSERT(reporter, pts[1] == expectedPts[numIterPts]);
3255 lastPt = pts[1];
3256 numIterPts += 1;
3257 break;
3258 case SkPath::kQuad_Verb:
3259 case SkPath::kConic_Verb:
3260 REPORTER_ASSERT(reporter, numIterPts < numPoints + 2);
3261 REPORTER_ASSERT(reporter, pts[0] == lastPt);
3262 REPORTER_ASSERT(reporter, pts[1] == expectedPts[numIterPts]);
3263 REPORTER_ASSERT(reporter, pts[2] == expectedPts[numIterPts + 1]);
3264 lastPt = pts[2];
3265 numIterPts += 2;
3266 break;
3267 case SkPath::kCubic_Verb:
3268 REPORTER_ASSERT(reporter, numIterPts < numPoints + 3);
3269 REPORTER_ASSERT(reporter, pts[0] == lastPt);
3270 REPORTER_ASSERT(reporter, pts[1] == expectedPts[numIterPts]);
3271 REPORTER_ASSERT(reporter, pts[2] == expectedPts[numIterPts + 1]);
3272 REPORTER_ASSERT(reporter, pts[3] == expectedPts[numIterPts + 2]);
3273 lastPt = pts[3];
3274 numIterPts += 3;
3275 break;
3276 case SkPath::kClose_Verb:
3277 lastPt = lastMoveTo;
3278 break;
3279 default:
3280 SkDEBUGFAIL("unexpected verb");
3281 }
3282 }
3283 REPORTER_ASSERT(reporter, numIterPts == numPoints);
3284 REPORTER_ASSERT(reporter, numIterVerbs == numVerbs);
3285 }
3286}
3287
3288static void check_for_circle(skiatest::Reporter* reporter,
3289 const SkPath& path,
3290 bool expectedCircle,
3291 SkPathPriv::FirstDirection expectedDir) {
3292 SkRect rect = SkRect::MakeEmpty();
3293 REPORTER_ASSERT(reporter, path.isOval(&rect) == expectedCircle);
3294 SkPath::Direction isOvalDir;
3295 unsigned isOvalStart;
Mike Reed0c3137c2018-02-20 13:57:05 -05003296 if (SkPathPriv::IsOval(path, &rect, &isOvalDir, &isOvalStart)) {
Yuqian Li3154a532017-09-06 13:33:30 -04003297 REPORTER_ASSERT(reporter, rect.height() == rect.width());
3298 REPORTER_ASSERT(reporter, SkPathPriv::AsFirstDirection(isOvalDir) == expectedDir);
3299 SkPath tmpPath;
3300 tmpPath.addOval(rect, isOvalDir, isOvalStart);
3301 REPORTER_ASSERT(reporter, path == tmpPath);
3302 }
3303 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(path, expectedDir));
3304}
3305
3306static void test_circle_skew(skiatest::Reporter* reporter,
3307 const SkPath& path,
3308 SkPathPriv::FirstDirection dir) {
3309 SkPath tmp;
3310
3311 SkMatrix m;
3312 m.setSkew(SkIntToScalar(3), SkIntToScalar(5));
3313 path.transform(m, &tmp);
3314 // this matrix reverses the direction.
3315 if (SkPathPriv::kCCW_FirstDirection == dir) {
3316 dir = SkPathPriv::kCW_FirstDirection;
3317 } else {
3318 REPORTER_ASSERT(reporter, SkPathPriv::kCW_FirstDirection == dir);
3319 dir = SkPathPriv::kCCW_FirstDirection;
3320 }
3321 check_for_circle(reporter, tmp, false, dir);
3322}
3323
3324static void test_circle_translate(skiatest::Reporter* reporter,
3325 const SkPath& path,
3326 SkPathPriv::FirstDirection dir) {
3327 SkPath tmp;
3328
3329 // translate at small offset
3330 SkMatrix m;
3331 m.setTranslate(SkIntToScalar(15), SkIntToScalar(15));
3332 path.transform(m, &tmp);
3333 check_for_circle(reporter, tmp, true, dir);
3334
3335 tmp.reset();
3336 m.reset();
3337
3338 // translate at a relatively big offset
3339 m.setTranslate(SkIntToScalar(1000), SkIntToScalar(1000));
3340 path.transform(m, &tmp);
3341 check_for_circle(reporter, tmp, true, dir);
3342}
3343
3344static void test_circle_rotate(skiatest::Reporter* reporter,
3345 const SkPath& path,
3346 SkPathPriv::FirstDirection dir) {
3347 for (int angle = 0; angle < 360; ++angle) {
3348 SkPath tmp;
3349 SkMatrix m;
3350 m.setRotate(SkIntToScalar(angle));
3351 path.transform(m, &tmp);
3352
3353 // TODO: a rotated circle whose rotated angle is not a multiple of 90
3354 // degrees is not an oval anymore, this can be improved. we made this
3355 // for the simplicity of our implementation.
3356 if (angle % 90 == 0) {
3357 check_for_circle(reporter, tmp, true, dir);
3358 } else {
3359 check_for_circle(reporter, tmp, false, dir);
3360 }
3361 }
3362}
3363
3364static void test_circle_mirror_x(skiatest::Reporter* reporter,
3365 const SkPath& path,
3366 SkPathPriv::FirstDirection dir) {
3367 SkPath tmp;
3368 SkMatrix m;
3369 m.reset();
3370 m.setScaleX(-SK_Scalar1);
3371 path.transform(m, &tmp);
3372 if (SkPathPriv::kCW_FirstDirection == dir) {
3373 dir = SkPathPriv::kCCW_FirstDirection;
3374 } else {
3375 REPORTER_ASSERT(reporter, SkPathPriv::kCCW_FirstDirection == dir);
3376 dir = SkPathPriv::kCW_FirstDirection;
3377 }
3378 check_for_circle(reporter, tmp, true, dir);
3379}
3380
3381static void test_circle_mirror_y(skiatest::Reporter* reporter,
3382 const SkPath& path,
3383 SkPathPriv::FirstDirection dir) {
3384 SkPath tmp;
3385 SkMatrix m;
3386 m.reset();
3387 m.setScaleY(-SK_Scalar1);
3388 path.transform(m, &tmp);
3389
3390 if (SkPathPriv::kCW_FirstDirection == dir) {
3391 dir = SkPathPriv::kCCW_FirstDirection;
3392 } else {
3393 REPORTER_ASSERT(reporter, SkPathPriv::kCCW_FirstDirection == dir);
3394 dir = SkPathPriv::kCW_FirstDirection;
3395 }
3396
3397 check_for_circle(reporter, tmp, true, dir);
3398}
3399
3400static void test_circle_mirror_xy(skiatest::Reporter* reporter,
3401 const SkPath& path,
3402 SkPathPriv::FirstDirection dir) {
3403 SkPath tmp;
3404 SkMatrix m;
3405 m.reset();
3406 m.setScaleX(-SK_Scalar1);
3407 m.setScaleY(-SK_Scalar1);
3408 path.transform(m, &tmp);
3409
3410 check_for_circle(reporter, tmp, true, dir);
3411}
3412
3413static void test_circle_with_direction(skiatest::Reporter* reporter,
3414 SkPath::Direction inDir) {
3415 const SkPathPriv::FirstDirection dir = SkPathPriv::AsFirstDirection(inDir);
3416 SkPath path;
3417
3418 // circle at origin
3419 path.addCircle(0, 0, SkIntToScalar(20), inDir);
3420
3421 check_for_circle(reporter, path, true, dir);
3422 test_circle_rotate(reporter, path, dir);
3423 test_circle_translate(reporter, path, dir);
3424 test_circle_skew(reporter, path, dir);
3425 test_circle_mirror_x(reporter, path, dir);
3426 test_circle_mirror_y(reporter, path, dir);
3427 test_circle_mirror_xy(reporter, path, dir);
3428
3429 // circle at an offset at (10, 10)
3430 path.reset();
3431 path.addCircle(SkIntToScalar(10), SkIntToScalar(10),
3432 SkIntToScalar(20), inDir);
3433
3434 check_for_circle(reporter, path, true, dir);
3435 test_circle_rotate(reporter, path, dir);
3436 test_circle_translate(reporter, path, dir);
3437 test_circle_skew(reporter, path, dir);
3438 test_circle_mirror_x(reporter, path, dir);
3439 test_circle_mirror_y(reporter, path, dir);
3440 test_circle_mirror_xy(reporter, path, dir);
3441
3442 // Try different starting points for the contour.
3443 for (unsigned start = 0; start < 4; ++start) {
3444 path.reset();
3445 path.addOval(SkRect::MakeXYWH(20, 10, 5, 5), inDir, start);
3446 test_circle_rotate(reporter, path, dir);
3447 test_circle_translate(reporter, path, dir);
3448 test_circle_skew(reporter, path, dir);
3449 test_circle_mirror_x(reporter, path, dir);
3450 test_circle_mirror_y(reporter, path, dir);
3451 test_circle_mirror_xy(reporter, path, dir);
3452 }
3453}
3454
3455static void test_circle_with_add_paths(skiatest::Reporter* reporter) {
3456 SkPath path;
3457 SkPath circle;
3458 SkPath rect;
3459 SkPath empty;
3460
3461 const SkPath::Direction kCircleDir = SkPath::kCW_Direction;
3462 const SkPath::Direction kCircleDirOpposite = SkPath::kCCW_Direction;
3463
3464 circle.addCircle(0, 0, SkIntToScalar(10), kCircleDir);
3465 rect.addRect(SkIntToScalar(5), SkIntToScalar(5),
3466 SkIntToScalar(20), SkIntToScalar(20), SkPath::kCW_Direction);
3467
3468 SkMatrix translate;
3469 translate.setTranslate(SkIntToScalar(12), SkIntToScalar(12));
3470
3471 // Although all the path concatenation related operations leave
3472 // the path a circle, most mark it as a non-circle for simplicity
3473
3474 // empty + circle (translate)
3475 path = empty;
3476 path.addPath(circle, translate);
3477 check_for_circle(reporter, path, false, SkPathPriv::AsFirstDirection(kCircleDir));
3478
3479 // circle + empty (translate)
3480 path = circle;
3481 path.addPath(empty, translate);
3482
3483 check_for_circle(reporter, path, true, SkPathPriv::AsFirstDirection(kCircleDir));
3484
3485 // test reverseAddPath
3486 path = circle;
3487 path.reverseAddPath(rect);
3488 check_for_circle(reporter, path, false, SkPathPriv::AsFirstDirection(kCircleDirOpposite));
3489}
3490
3491static void test_circle(skiatest::Reporter* reporter) {
3492 test_circle_with_direction(reporter, SkPath::kCW_Direction);
3493 test_circle_with_direction(reporter, SkPath::kCCW_Direction);
3494
3495 // multiple addCircle()
3496 SkPath path;
3497 path.addCircle(0, 0, SkIntToScalar(10), SkPath::kCW_Direction);
3498 path.addCircle(0, 0, SkIntToScalar(20), SkPath::kCW_Direction);
3499 check_for_circle(reporter, path, false, SkPathPriv::kCW_FirstDirection);
3500
3501 // some extra lineTo() would make isOval() fail
3502 path.reset();
3503 path.addCircle(0, 0, SkIntToScalar(10), SkPath::kCW_Direction);
3504 path.lineTo(0, 0);
3505 check_for_circle(reporter, path, false, SkPathPriv::kCW_FirstDirection);
3506
3507 // not back to the original point
3508 path.reset();
3509 path.addCircle(0, 0, SkIntToScalar(10), SkPath::kCW_Direction);
3510 path.setLastPt(SkIntToScalar(5), SkIntToScalar(5));
3511 check_for_circle(reporter, path, false, SkPathPriv::kCW_FirstDirection);
3512
3513 test_circle_with_add_paths(reporter);
3514
3515 // test negative radius
3516 path.reset();
3517 path.addCircle(0, 0, -1, SkPath::kCW_Direction);
3518 REPORTER_ASSERT(reporter, path.isEmpty());
3519}
3520
3521static void test_oval(skiatest::Reporter* reporter) {
3522 SkRect rect;
3523 SkMatrix m;
3524 SkPath path;
3525 unsigned start = 0;
3526 SkPath::Direction dir = SkPath::kCCW_Direction;
3527
3528 rect = SkRect::MakeWH(SkIntToScalar(30), SkIntToScalar(50));
3529 path.addOval(rect);
3530
3531 // Defaults to dir = CW and start = 1
3532 REPORTER_ASSERT(reporter, path.isOval(nullptr));
3533
3534 m.setRotate(SkIntToScalar(90));
3535 SkPath tmp;
3536 path.transform(m, &tmp);
3537 // an oval rotated 90 degrees is still an oval. The start index changes from 1 to 2. Direction
3538 // is unchanged.
Mike Reed0c3137c2018-02-20 13:57:05 -05003539 REPORTER_ASSERT(reporter, SkPathPriv::IsOval(tmp, nullptr, &dir, &start));
Yuqian Li3154a532017-09-06 13:33:30 -04003540 REPORTER_ASSERT(reporter, 2 == start);
3541 REPORTER_ASSERT(reporter, SkPath::kCW_Direction == dir);
3542
3543 m.reset();
3544 m.setRotate(SkIntToScalar(30));
3545 tmp.reset();
3546 path.transform(m, &tmp);
3547 // an oval rotated 30 degrees is not an oval anymore.
3548 REPORTER_ASSERT(reporter, !tmp.isOval(nullptr));
3549
3550 // since empty path being transformed.
3551 path.reset();
3552 tmp.reset();
3553 m.reset();
3554 path.transform(m, &tmp);
3555 REPORTER_ASSERT(reporter, !tmp.isOval(nullptr));
3556
3557 // empty path is not an oval
3558 tmp.reset();
3559 REPORTER_ASSERT(reporter, !tmp.isOval(nullptr));
3560
3561 // only has moveTo()s
3562 tmp.reset();
3563 tmp.moveTo(0, 0);
3564 tmp.moveTo(SkIntToScalar(10), SkIntToScalar(10));
3565 REPORTER_ASSERT(reporter, !tmp.isOval(nullptr));
3566
3567 // mimic WebKit's calling convention,
3568 // call moveTo() first and then call addOval()
3569 path.reset();
3570 path.moveTo(0, 0);
3571 path.addOval(rect);
3572 REPORTER_ASSERT(reporter, path.isOval(nullptr));
3573
3574 // copy path
3575 path.reset();
3576 tmp.reset();
3577 tmp.addOval(rect);
3578 path = tmp;
Mike Reed0c3137c2018-02-20 13:57:05 -05003579 REPORTER_ASSERT(reporter, SkPathPriv::IsOval(path, nullptr, &dir, &start));
Yuqian Li3154a532017-09-06 13:33:30 -04003580 REPORTER_ASSERT(reporter, SkPath::kCW_Direction == dir);
3581 REPORTER_ASSERT(reporter, 1 == start);
3582}
3583
3584static void test_empty(skiatest::Reporter* reporter, const SkPath& p) {
3585 SkPath empty;
3586
3587 REPORTER_ASSERT(reporter, p.isEmpty());
3588 REPORTER_ASSERT(reporter, 0 == p.countPoints());
3589 REPORTER_ASSERT(reporter, 0 == p.countVerbs());
3590 REPORTER_ASSERT(reporter, 0 == p.getSegmentMasks());
3591 REPORTER_ASSERT(reporter, p.isConvex());
3592 REPORTER_ASSERT(reporter, p.getFillType() == SkPath::kWinding_FillType);
3593 REPORTER_ASSERT(reporter, !p.isInverseFillType());
3594 REPORTER_ASSERT(reporter, p == empty);
3595 REPORTER_ASSERT(reporter, !(p != empty));
3596}
3597
3598static void test_rrect_is_convex(skiatest::Reporter* reporter, SkPath* path,
3599 SkPath::Direction dir) {
3600 REPORTER_ASSERT(reporter, path->isConvex());
3601 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(*path, SkPathPriv::AsFirstDirection(dir)));
3602 path->setConvexity(SkPath::kUnknown_Convexity);
3603 REPORTER_ASSERT(reporter, path->isConvex());
3604 path->reset();
3605}
3606
3607static void test_rrect_convexity_is_unknown(skiatest::Reporter* reporter, SkPath* path,
3608 SkPath::Direction dir) {
3609 REPORTER_ASSERT(reporter, path->isConvex());
3610 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(*path, SkPathPriv::AsFirstDirection(dir)));
3611 path->setConvexity(SkPath::kUnknown_Convexity);
3612 REPORTER_ASSERT(reporter, path->getConvexity() == SkPath::kUnknown_Convexity);
3613 path->reset();
3614}
3615
3616static void test_rrect(skiatest::Reporter* reporter) {
3617 SkPath p;
3618 SkRRect rr;
3619 SkVector radii[] = {{1, 2}, {3, 4}, {5, 6}, {7, 8}};
3620 SkRect r = {10, 20, 30, 40};
3621 rr.setRectRadii(r, radii);
3622 p.addRRect(rr);
3623 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3624 p.addRRect(rr, SkPath::kCCW_Direction);
3625 test_rrect_is_convex(reporter, &p, SkPath::kCCW_Direction);
3626 p.addRoundRect(r, &radii[0].fX);
3627 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3628 p.addRoundRect(r, &radii[0].fX, SkPath::kCCW_Direction);
3629 test_rrect_is_convex(reporter, &p, SkPath::kCCW_Direction);
3630 p.addRoundRect(r, radii[1].fX, radii[1].fY);
3631 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3632 p.addRoundRect(r, radii[1].fX, radii[1].fY, SkPath::kCCW_Direction);
3633 test_rrect_is_convex(reporter, &p, SkPath::kCCW_Direction);
3634 for (size_t i = 0; i < SK_ARRAY_COUNT(radii); ++i) {
3635 SkVector save = radii[i];
3636 radii[i].set(0, 0);
3637 rr.setRectRadii(r, radii);
3638 p.addRRect(rr);
3639 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3640 radii[i] = save;
3641 }
3642 p.addRoundRect(r, 0, 0);
3643 SkRect returnedRect;
3644 REPORTER_ASSERT(reporter, p.isRect(&returnedRect));
3645 REPORTER_ASSERT(reporter, returnedRect == r);
3646 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3647 SkVector zeroRadii[] = {{0, 0}, {0, 0}, {0, 0}, {0, 0}};
3648 rr.setRectRadii(r, zeroRadii);
3649 p.addRRect(rr);
3650 bool closed;
3651 SkPath::Direction dir;
3652 REPORTER_ASSERT(reporter, p.isRect(nullptr, &closed, &dir));
3653 REPORTER_ASSERT(reporter, closed);
3654 REPORTER_ASSERT(reporter, SkPath::kCW_Direction == dir);
3655 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3656 p.addRRect(rr, SkPath::kCW_Direction);
3657 p.addRRect(rr, SkPath::kCW_Direction);
3658 REPORTER_ASSERT(reporter, !p.isConvex());
3659 p.reset();
3660 p.addRRect(rr, SkPath::kCCW_Direction);
3661 p.addRRect(rr, SkPath::kCCW_Direction);
3662 REPORTER_ASSERT(reporter, !p.isConvex());
3663 p.reset();
3664 SkRect emptyR = {10, 20, 10, 30};
3665 rr.setRectRadii(emptyR, radii);
3666 p.addRRect(rr);
Brian Salomon0a241ce2017-12-15 11:31:05 -05003667 // The round rect is "empty" in that it has no fill area. However,
3668 // the path isn't "empty" in that it should have verbs and points.
3669 REPORTER_ASSERT(reporter, !p.isEmpty());
3670 p.reset();
Yuqian Li3154a532017-09-06 13:33:30 -04003671 SkRect largeR = {0, 0, SK_ScalarMax, SK_ScalarMax};
3672 rr.setRectRadii(largeR, radii);
3673 p.addRRect(rr);
3674 test_rrect_convexity_is_unknown(reporter, &p, SkPath::kCW_Direction);
3675
3676 // we check for non-finites
3677 SkRect infR = {0, 0, SK_ScalarMax, SK_ScalarInfinity};
3678 rr.setRectRadii(infR, radii);
3679 REPORTER_ASSERT(reporter, rr.isEmpty());
3680
3681 SkRect tinyR = {0, 0, 1e-9f, 1e-9f};
3682 p.addRoundRect(tinyR, 5e-11f, 5e-11f);
3683 test_rrect_is_convex(reporter, &p, SkPath::kCW_Direction);
3684}
3685
3686static void test_arc(skiatest::Reporter* reporter) {
3687 SkPath p;
3688 SkRect emptyOval = {10, 20, 30, 20};
3689 REPORTER_ASSERT(reporter, emptyOval.isEmpty());
3690 p.addArc(emptyOval, 1, 2);
3691 REPORTER_ASSERT(reporter, p.isEmpty());
3692 p.reset();
3693 SkRect oval = {10, 20, 30, 40};
3694 p.addArc(oval, 1, 0);
3695 REPORTER_ASSERT(reporter, p.isEmpty());
3696 p.reset();
3697 SkPath cwOval;
3698 cwOval.addOval(oval);
3699 p.addArc(oval, 0, 360);
3700 REPORTER_ASSERT(reporter, p == cwOval);
3701 p.reset();
3702 SkPath ccwOval;
3703 ccwOval.addOval(oval, SkPath::kCCW_Direction);
3704 p.addArc(oval, 0, -360);
3705 REPORTER_ASSERT(reporter, p == ccwOval);
3706 p.reset();
3707 p.addArc(oval, 1, 180);
3708 REPORTER_ASSERT(reporter, p.isConvex());
3709 REPORTER_ASSERT(reporter, SkPathPriv::CheapIsFirstDirection(p, SkPathPriv::kCW_FirstDirection));
3710 p.setConvexity(SkPath::kUnknown_Convexity);
3711 REPORTER_ASSERT(reporter, p.isConvex());
3712}
3713
3714static inline SkScalar oval_start_index_to_angle(unsigned start) {
3715 switch (start) {
3716 case 0:
3717 return 270.f;
3718 case 1:
3719 return 0.f;
3720 case 2:
3721 return 90.f;
3722 case 3:
3723 return 180.f;
3724 default:
3725 return -1.f;
3726 }
3727}
3728
3729static inline SkScalar canonical_start_angle(float angle) {
3730 while (angle < 0.f) {
3731 angle += 360.f;
3732 }
3733 while (angle >= 360.f) {
3734 angle -= 360.f;
3735 }
3736 return angle;
3737}
3738
3739static void check_oval_arc(skiatest::Reporter* reporter, SkScalar start, SkScalar sweep,
3740 const SkPath& path) {
3741 SkRect r = SkRect::MakeEmpty();
3742 SkPath::Direction d = SkPath::kCCW_Direction;
3743 unsigned s = ~0U;
Mike Reed0c3137c2018-02-20 13:57:05 -05003744 bool isOval = SkPathPriv::IsOval(path, &r, &d, &s);
Yuqian Li3154a532017-09-06 13:33:30 -04003745 REPORTER_ASSERT(reporter, isOval);
3746 SkPath recreatedPath;
3747 recreatedPath.addOval(r, d, s);
3748 REPORTER_ASSERT(reporter, path == recreatedPath);
3749 REPORTER_ASSERT(reporter, oval_start_index_to_angle(s) == canonical_start_angle(start));
3750 REPORTER_ASSERT(reporter, (SkPath::kCW_Direction == d) == (sweep > 0.f));
3751}
3752
3753static void test_arc_ovals(skiatest::Reporter* reporter) {
3754 SkRect oval = SkRect::MakeWH(10, 20);
3755 for (SkScalar sweep : {-720.f, -540.f, -360.f, 360.f, 432.f, 720.f}) {
3756 for (SkScalar start = -360.f; start <= 360.f; start += 1.f) {
3757 SkPath path;
3758 path.addArc(oval, start, sweep);
3759 // SkPath's interfaces for inserting and extracting ovals only allow contours
3760 // to start at multiples of 90 degrees.
3761 if (std::fmod(start, 90.f) == 0) {
3762 check_oval_arc(reporter, start, sweep, path);
3763 } else {
3764 REPORTER_ASSERT(reporter, !path.isOval(nullptr));
3765 }
3766 }
3767 // Test start angles that are nearly at valid oval start angles.
3768 for (float start : {-180.f, -90.f, 90.f, 180.f}) {
3769 for (float delta : {-SK_ScalarNearlyZero, SK_ScalarNearlyZero}) {
3770 SkPath path;
3771 path.addArc(oval, start + delta, sweep);
3772 check_oval_arc(reporter, start, sweep, path);
3773 }
3774 }
3775 }
3776}
3777
3778static void check_move(skiatest::Reporter* reporter, SkPath::RawIter* iter,
3779 SkScalar x0, SkScalar y0) {
3780 SkPoint pts[4];
3781 SkPath::Verb v = iter->next(pts);
3782 REPORTER_ASSERT(reporter, v == SkPath::kMove_Verb);
3783 REPORTER_ASSERT(reporter, pts[0].fX == x0);
3784 REPORTER_ASSERT(reporter, pts[0].fY == y0);
3785}
3786
3787static void check_line(skiatest::Reporter* reporter, SkPath::RawIter* iter,
3788 SkScalar x1, SkScalar y1) {
3789 SkPoint pts[4];
3790 SkPath::Verb v = iter->next(pts);
3791 REPORTER_ASSERT(reporter, v == SkPath::kLine_Verb);
3792 REPORTER_ASSERT(reporter, pts[1].fX == x1);
3793 REPORTER_ASSERT(reporter, pts[1].fY == y1);
3794}
3795
3796static void check_quad(skiatest::Reporter* reporter, SkPath::RawIter* iter,
3797 SkScalar x1, SkScalar y1, SkScalar x2, SkScalar y2) {
3798 SkPoint pts[4];
3799 SkPath::Verb v = iter->next(pts);
3800 REPORTER_ASSERT(reporter, v == SkPath::kQuad_Verb);
3801 REPORTER_ASSERT(reporter, pts[1].fX == x1);
3802 REPORTER_ASSERT(reporter, pts[1].fY == y1);
3803 REPORTER_ASSERT(reporter, pts[2].fX == x2);
3804 REPORTER_ASSERT(reporter, pts[2].fY == y2);
3805}
3806
3807static void check_done(skiatest::Reporter* reporter, SkPath* p, SkPath::RawIter* iter) {
3808 SkPoint pts[4];
3809 SkPath::Verb v = iter->next(pts);
3810 REPORTER_ASSERT(reporter, v == SkPath::kDone_Verb);
3811}
3812
3813static void check_done_and_reset(skiatest::Reporter* reporter, SkPath* p, SkPath::RawIter* iter) {
3814 check_done(reporter, p, iter);
3815 p->reset();
3816}
3817
3818static void check_path_is_move_and_reset(skiatest::Reporter* reporter, SkPath* p,
3819 SkScalar x0, SkScalar y0) {
3820 SkPath::RawIter iter(*p);
3821 check_move(reporter, &iter, x0, y0);
3822 check_done_and_reset(reporter, p, &iter);
3823}
3824
3825static void check_path_is_line_and_reset(skiatest::Reporter* reporter, SkPath* p,
3826 SkScalar x1, SkScalar y1) {
3827 SkPath::RawIter iter(*p);
3828 check_move(reporter, &iter, 0, 0);
3829 check_line(reporter, &iter, x1, y1);
3830 check_done_and_reset(reporter, p, &iter);
3831}
3832
3833static void check_path_is_line(skiatest::Reporter* reporter, SkPath* p,
3834 SkScalar x1, SkScalar y1) {
3835 SkPath::RawIter iter(*p);
3836 check_move(reporter, &iter, 0, 0);
3837 check_line(reporter, &iter, x1, y1);
3838 check_done(reporter, p, &iter);
3839}
3840
3841static void check_path_is_line_pair_and_reset(skiatest::Reporter* reporter, SkPath* p,
3842 SkScalar x1, SkScalar y1, SkScalar x2, SkScalar y2) {
3843 SkPath::RawIter iter(*p);
3844 check_move(reporter, &iter, 0, 0);
3845 check_line(reporter, &iter, x1, y1);
3846 check_line(reporter, &iter, x2, y2);
3847 check_done_and_reset(reporter, p, &iter);
3848}
3849
3850static void check_path_is_quad_and_reset(skiatest::Reporter* reporter, SkPath* p,
3851 SkScalar x1, SkScalar y1, SkScalar x2, SkScalar y2) {
3852 SkPath::RawIter iter(*p);
3853 check_move(reporter, &iter, 0, 0);
3854 check_quad(reporter, &iter, x1, y1, x2, y2);
3855 check_done_and_reset(reporter, p, &iter);
3856}
3857
3858static bool nearly_equal(const SkRect& a, const SkRect& b) {
3859 return SkScalarNearlyEqual(a.fLeft, b.fLeft) &&
3860 SkScalarNearlyEqual(a.fTop, b.fTop) &&
3861 SkScalarNearlyEqual(a.fRight, b.fRight) &&
3862 SkScalarNearlyEqual(a.fBottom, b.fBottom);
3863}
3864
3865static void test_arcTo(skiatest::Reporter* reporter) {
3866 SkPath p;
3867 p.arcTo(0, 0, 1, 2, 1);
3868 check_path_is_line_and_reset(reporter, &p, 0, 0);
3869 p.arcTo(1, 2, 1, 2, 1);
3870 check_path_is_line_and_reset(reporter, &p, 1, 2);
3871 p.arcTo(1, 2, 3, 4, 0);
3872 check_path_is_line_and_reset(reporter, &p, 1, 2);
3873 p.arcTo(1, 2, 0, 0, 1);
3874 check_path_is_line_and_reset(reporter, &p, 1, 2);
3875 p.arcTo(1, 0, 1, 1, 1);
3876 SkPoint pt;
3877 REPORTER_ASSERT(reporter, p.getLastPt(&pt) && pt.fX == 1 && pt.fY == 1);
3878 p.reset();
3879 p.arcTo(1, 0, 1, -1, 1);
3880 REPORTER_ASSERT(reporter, p.getLastPt(&pt) && pt.fX == 1 && pt.fY == -1);
3881 p.reset();
3882 SkRect oval = {1, 2, 3, 4};
3883 p.arcTo(oval, 0, 0, true);
3884 check_path_is_move_and_reset(reporter, &p, oval.fRight, oval.centerY());
3885 p.arcTo(oval, 0, 0, false);
3886 check_path_is_move_and_reset(reporter, &p, oval.fRight, oval.centerY());
3887 p.arcTo(oval, 360, 0, true);
3888 check_path_is_move_and_reset(reporter, &p, oval.fRight, oval.centerY());
3889 p.arcTo(oval, 360, 0, false);
3890 check_path_is_move_and_reset(reporter, &p, oval.fRight, oval.centerY());
3891
3892 for (float sweep = 359, delta = 0.5f; sweep != (float) (sweep + delta); ) {
3893 p.arcTo(oval, 0, sweep, false);
3894 REPORTER_ASSERT(reporter, nearly_equal(p.getBounds(), oval));
3895 sweep += delta;
3896 delta /= 2;
3897 }
3898 for (float sweep = 361, delta = 0.5f; sweep != (float) (sweep - delta);) {
3899 p.arcTo(oval, 0, sweep, false);
3900 REPORTER_ASSERT(reporter, nearly_equal(p.getBounds(), oval));
3901 sweep -= delta;
3902 delta /= 2;
3903 }
3904 SkRect noOvalWidth = {1, 2, 0, 3};
3905 p.reset();
3906 p.arcTo(noOvalWidth, 0, 360, false);
3907 REPORTER_ASSERT(reporter, p.isEmpty());
3908
3909 SkRect noOvalHeight = {1, 2, 3, 1};
3910 p.reset();
3911 p.arcTo(noOvalHeight, 0, 360, false);
3912 REPORTER_ASSERT(reporter, p.isEmpty());
3913}
3914
3915static void test_addPath(skiatest::Reporter* reporter) {
3916 SkPath p, q;
3917 p.lineTo(1, 2);
3918 q.moveTo(4, 4);
3919 q.lineTo(7, 8);
3920 q.conicTo(8, 7, 6, 5, 0.5f);
3921 q.quadTo(6, 7, 8, 6);
3922 q.cubicTo(5, 6, 7, 8, 7, 5);
3923 q.close();
3924 p.addPath(q, -4, -4);
3925 SkRect expected = {0, 0, 4, 4};
3926 REPORTER_ASSERT(reporter, p.getBounds() == expected);
3927 p.reset();
3928 p.reverseAddPath(q);
3929 SkRect reverseExpected = {4, 4, 8, 8};
3930 REPORTER_ASSERT(reporter, p.getBounds() == reverseExpected);
3931}
3932
3933static void test_addPathMode(skiatest::Reporter* reporter, bool explicitMoveTo, bool extend) {
3934 SkPath p, q;
3935 if (explicitMoveTo) {
3936 p.moveTo(1, 1);
3937 }
3938 p.lineTo(1, 2);
3939 if (explicitMoveTo) {
3940 q.moveTo(2, 1);
3941 }
3942 q.lineTo(2, 2);
3943 p.addPath(q, extend ? SkPath::kExtend_AddPathMode : SkPath::kAppend_AddPathMode);
3944 uint8_t verbs[4];
3945 int verbcount = p.getVerbs(verbs, 4);
3946 REPORTER_ASSERT(reporter, verbcount == 4);
3947 REPORTER_ASSERT(reporter, verbs[0] == SkPath::kMove_Verb);
3948 REPORTER_ASSERT(reporter, verbs[1] == SkPath::kLine_Verb);
3949 REPORTER_ASSERT(reporter, verbs[2] == (extend ? SkPath::kLine_Verb : SkPath::kMove_Verb));
3950 REPORTER_ASSERT(reporter, verbs[3] == SkPath::kLine_Verb);
3951}
3952
3953static void test_extendClosedPath(skiatest::Reporter* reporter) {
3954 SkPath p, q;
3955 p.moveTo(1, 1);
3956 p.lineTo(1, 2);
3957 p.lineTo(2, 2);
3958 p.close();
3959 q.moveTo(2, 1);
3960 q.lineTo(2, 3);
3961 p.addPath(q, SkPath::kExtend_AddPathMode);
3962 uint8_t verbs[7];
3963 int verbcount = p.getVerbs(verbs, 7);
3964 REPORTER_ASSERT(reporter, verbcount == 7);
3965 REPORTER_ASSERT(reporter, verbs[0] == SkPath::kMove_Verb);
3966 REPORTER_ASSERT(reporter, verbs[1] == SkPath::kLine_Verb);
3967 REPORTER_ASSERT(reporter, verbs[2] == SkPath::kLine_Verb);
3968 REPORTER_ASSERT(reporter, verbs[3] == SkPath::kClose_Verb);
3969 REPORTER_ASSERT(reporter, verbs[4] == SkPath::kMove_Verb);
3970 REPORTER_ASSERT(reporter, verbs[5] == SkPath::kLine_Verb);
3971 REPORTER_ASSERT(reporter, verbs[6] == SkPath::kLine_Verb);
3972
3973 SkPoint pt;
3974 REPORTER_ASSERT(reporter, p.getLastPt(&pt));
3975 REPORTER_ASSERT(reporter, pt == SkPoint::Make(2, 3));
3976 REPORTER_ASSERT(reporter, p.getPoint(3) == SkPoint::Make(1, 1));
3977}
3978
3979static void test_addEmptyPath(skiatest::Reporter* reporter, SkPath::AddPathMode mode) {
3980 SkPath p, q, r;
3981 // case 1: dst is empty
3982 p.moveTo(2, 1);
3983 p.lineTo(2, 3);
3984 q.addPath(p, mode);
3985 REPORTER_ASSERT(reporter, q == p);
3986 // case 2: src is empty
3987 p.addPath(r, mode);
3988 REPORTER_ASSERT(reporter, q == p);
3989 // case 3: src and dst are empty
3990 q.reset();
3991 q.addPath(r, mode);
3992 REPORTER_ASSERT(reporter, q.isEmpty());
3993}
3994
3995static void test_conicTo_special_case(skiatest::Reporter* reporter) {
3996 SkPath p;
3997 p.conicTo(1, 2, 3, 4, -1);
3998 check_path_is_line_and_reset(reporter, &p, 3, 4);
3999 p.conicTo(1, 2, 3, 4, SK_ScalarInfinity);
4000 check_path_is_line_pair_and_reset(reporter, &p, 1, 2, 3, 4);
4001 p.conicTo(1, 2, 3, 4, 1);
4002 check_path_is_quad_and_reset(reporter, &p, 1, 2, 3, 4);
4003}
4004
4005static void test_get_point(skiatest::Reporter* reporter) {
4006 SkPath p;
4007 SkPoint pt = p.getPoint(0);
4008 REPORTER_ASSERT(reporter, pt == SkPoint::Make(0, 0));
4009 REPORTER_ASSERT(reporter, !p.getLastPt(nullptr));
4010 REPORTER_ASSERT(reporter, !p.getLastPt(&pt) && pt == SkPoint::Make(0, 0));
4011 p.setLastPt(10, 10);
4012 pt = p.getPoint(0);
4013 REPORTER_ASSERT(reporter, pt == SkPoint::Make(10, 10));
4014 REPORTER_ASSERT(reporter, p.getLastPt(nullptr));
4015 p.rMoveTo(10, 10);
4016 REPORTER_ASSERT(reporter, p.getLastPt(&pt) && pt == SkPoint::Make(20, 20));
4017}
4018
4019static void test_contains(skiatest::Reporter* reporter) {
4020 SkPath p;
4021 p.moveTo(SkBits2Float(0xe085e7b1), SkBits2Float(0x5f512c00)); // -7.7191e+19f, 1.50724e+19f
4022 p.conicTo(SkBits2Float(0xdfdaa221), SkBits2Float(0x5eaac338), SkBits2Float(0x60342f13), SkBits2Float(0xdf0cbb58), SkBits2Float(0x3f3504f3)); // -3.15084e+19f, 6.15237e+18f, 5.19345e+19f, -1.01408e+19f, 0.707107f
4023 p.conicTo(SkBits2Float(0x60ead799), SkBits2Float(0xdfb76c24), SkBits2Float(0x609b9872), SkBits2Float(0xdf730de8), SkBits2Float(0x3f3504f4)); // 1.35377e+20f, -2.6434e+19f, 8.96947e+19f, -1.75139e+19f, 0.707107f
4024 p.lineTo(SkBits2Float(0x609b9872), SkBits2Float(0xdf730de8)); // 8.96947e+19f, -1.75139e+19f
4025 p.conicTo(SkBits2Float(0x6018b296), SkBits2Float(0xdeee870d), SkBits2Float(0xe008cd8e), SkBits2Float(0x5ed5b2db), SkBits2Float(0x3f3504f3)); // 4.40121e+19f, -8.59386e+18f, -3.94308e+19f, 7.69931e+18f, 0.707107f
4026 p.conicTo(SkBits2Float(0xe0d526d9), SkBits2Float(0x5fa67b31), SkBits2Float(0xe085e7b2), SkBits2Float(0x5f512c01), SkBits2Float(0x3f3504f3)); // -1.22874e+20f, 2.39925e+19f, -7.7191e+19f, 1.50724e+19f, 0.707107f
4027 // this may return true or false, depending on the platform's numerics, but it should not crash
4028 (void) p.contains(-77.2027664f, 15.3066053f);
4029
4030 p.reset();
4031 p.setFillType(SkPath::kInverseWinding_FillType);
4032 REPORTER_ASSERT(reporter, p.contains(0, 0));
4033 p.setFillType(SkPath::kWinding_FillType);
4034 REPORTER_ASSERT(reporter, !p.contains(0, 0));
4035 p.moveTo(4, 4);
4036 p.lineTo(6, 8);
4037 p.lineTo(8, 4);
4038 // test on edge
4039 REPORTER_ASSERT(reporter, p.contains(6, 4));
4040 REPORTER_ASSERT(reporter, p.contains(5, 6));
4041 REPORTER_ASSERT(reporter, p.contains(7, 6));
4042 // test quick reject
4043 REPORTER_ASSERT(reporter, !p.contains(4, 0));
4044 REPORTER_ASSERT(reporter, !p.contains(0, 4));
4045 REPORTER_ASSERT(reporter, !p.contains(4, 10));
4046 REPORTER_ASSERT(reporter, !p.contains(10, 4));
4047 // test various crossings in x
4048 REPORTER_ASSERT(reporter, !p.contains(5, 7));
4049 REPORTER_ASSERT(reporter, p.contains(6, 7));
4050 REPORTER_ASSERT(reporter, !p.contains(7, 7));
4051 p.reset();
4052 p.moveTo(4, 4);
4053 p.lineTo(8, 6);
4054 p.lineTo(4, 8);
4055 // test on edge
4056 REPORTER_ASSERT(reporter, p.contains(4, 6));
4057 REPORTER_ASSERT(reporter, p.contains(6, 5));
4058 REPORTER_ASSERT(reporter, p.contains(6, 7));
4059 // test various crossings in y
4060 REPORTER_ASSERT(reporter, !p.contains(7, 5));
4061 REPORTER_ASSERT(reporter, p.contains(7, 6));
4062 REPORTER_ASSERT(reporter, !p.contains(7, 7));
4063 p.reset();
4064 p.moveTo(4, 4);
4065 p.lineTo(8, 4);
4066 p.lineTo(8, 8);
4067 p.lineTo(4, 8);
4068 // test on vertices
4069 REPORTER_ASSERT(reporter, p.contains(4, 4));
4070 REPORTER_ASSERT(reporter, p.contains(8, 4));
4071 REPORTER_ASSERT(reporter, p.contains(8, 8));
4072 REPORTER_ASSERT(reporter, p.contains(4, 8));
4073 p.reset();
4074 p.moveTo(4, 4);
4075 p.lineTo(6, 8);
4076 p.lineTo(2, 8);
4077 // test on edge
4078 REPORTER_ASSERT(reporter, p.contains(5, 6));
4079 REPORTER_ASSERT(reporter, p.contains(4, 8));
4080 REPORTER_ASSERT(reporter, p.contains(3, 6));
4081 p.reset();
4082 p.moveTo(4, 4);
4083 p.lineTo(0, 6);
4084 p.lineTo(4, 8);
4085 // test on edge
4086 REPORTER_ASSERT(reporter, p.contains(2, 5));
4087 REPORTER_ASSERT(reporter, p.contains(2, 7));
4088 REPORTER_ASSERT(reporter, p.contains(4, 6));
4089 // test canceling coincident edge (a smaller triangle is coincident with a larger one)
4090 p.reset();
4091 p.moveTo(4, 0);
4092 p.lineTo(6, 4);
4093 p.lineTo(2, 4);
4094 p.moveTo(4, 0);
4095 p.lineTo(0, 8);
4096 p.lineTo(8, 8);
4097 REPORTER_ASSERT(reporter, !p.contains(1, 2));
4098 REPORTER_ASSERT(reporter, !p.contains(3, 2));
4099 REPORTER_ASSERT(reporter, !p.contains(4, 0));
4100 REPORTER_ASSERT(reporter, p.contains(4, 4));
4101
4102 // test quads
4103 p.reset();
4104 p.moveTo(4, 4);
4105 p.quadTo(6, 6, 8, 8);
4106 p.quadTo(6, 8, 4, 8);
4107 p.quadTo(4, 6, 4, 4);
4108 REPORTER_ASSERT(reporter, p.contains(5, 6));
4109 REPORTER_ASSERT(reporter, !p.contains(6, 5));
4110 // test quad edge
4111 REPORTER_ASSERT(reporter, p.contains(5, 5));
4112 REPORTER_ASSERT(reporter, p.contains(5, 8));
4113 REPORTER_ASSERT(reporter, p.contains(4, 5));
4114 // test quad endpoints
4115 REPORTER_ASSERT(reporter, p.contains(4, 4));
4116 REPORTER_ASSERT(reporter, p.contains(8, 8));
4117 REPORTER_ASSERT(reporter, p.contains(4, 8));
4118
4119 p.reset();
4120 const SkPoint qPts[] = {{6, 6}, {8, 8}, {6, 8}, {4, 8}, {4, 6}, {4, 4}, {6, 6}};
4121 p.moveTo(qPts[0]);
4122 for (int index = 1; index < (int) SK_ARRAY_COUNT(qPts); index += 2) {
4123 p.quadTo(qPts[index], qPts[index + 1]);
4124 }
4125 REPORTER_ASSERT(reporter, p.contains(5, 6));
4126 REPORTER_ASSERT(reporter, !p.contains(6, 5));
4127 // test quad edge
4128 SkPoint halfway;
4129 for (int index = 0; index < (int) SK_ARRAY_COUNT(qPts) - 2; index += 2) {
4130 SkEvalQuadAt(&qPts[index], 0.5f, &halfway, nullptr);
4131 REPORTER_ASSERT(reporter, p.contains(halfway.fX, halfway.fY));
4132 }
4133
4134 // test conics
4135 p.reset();
4136 const SkPoint kPts[] = {{4, 4}, {6, 6}, {8, 8}, {6, 8}, {4, 8}, {4, 6}, {4, 4}};
4137 p.moveTo(kPts[0]);
4138 for (int index = 1; index < (int) SK_ARRAY_COUNT(kPts); index += 2) {
4139 p.conicTo(kPts[index], kPts[index + 1], 0.5f);
4140 }
4141 REPORTER_ASSERT(reporter, p.contains(5, 6));
4142 REPORTER_ASSERT(reporter, !p.contains(6, 5));
4143 // test conic edge
4144 for (int index = 0; index < (int) SK_ARRAY_COUNT(kPts) - 2; index += 2) {
4145 SkConic conic(&kPts[index], 0.5f);
4146 halfway = conic.evalAt(0.5f);
4147 REPORTER_ASSERT(reporter, p.contains(halfway.fX, halfway.fY));
4148 }
4149 // test conic end points
4150 REPORTER_ASSERT(reporter, p.contains(4, 4));
4151 REPORTER_ASSERT(reporter, p.contains(8, 8));
4152 REPORTER_ASSERT(reporter, p.contains(4, 8));
4153
4154 // test cubics
4155 SkPoint pts[] = {{5, 4}, {6, 5}, {7, 6}, {6, 6}, {4, 6}, {5, 7}, {5, 5}, {5, 4}, {6, 5}, {7, 6}};
4156 for (int i = 0; i < 3; ++i) {
4157 p.reset();
4158 p.setFillType(SkPath::kEvenOdd_FillType);
4159 p.moveTo(pts[i].fX, pts[i].fY);
4160 p.cubicTo(pts[i + 1].fX, pts[i + 1].fY, pts[i + 2].fX, pts[i + 2].fY, pts[i + 3].fX, pts[i + 3].fY);
4161 p.cubicTo(pts[i + 4].fX, pts[i + 4].fY, pts[i + 5].fX, pts[i + 5].fY, pts[i + 6].fX, pts[i + 6].fY);
4162 p.close();
4163 REPORTER_ASSERT(reporter, p.contains(5.5f, 5.5f));
4164 REPORTER_ASSERT(reporter, !p.contains(4.5f, 5.5f));
4165 // test cubic edge
4166 SkEvalCubicAt(&pts[i], 0.5f, &halfway, nullptr, nullptr);
4167 REPORTER_ASSERT(reporter, p.contains(halfway.fX, halfway.fY));
4168 SkEvalCubicAt(&pts[i + 3], 0.5f, &halfway, nullptr, nullptr);
4169 REPORTER_ASSERT(reporter, p.contains(halfway.fX, halfway.fY));
4170 // test cubic end points
4171 REPORTER_ASSERT(reporter, p.contains(pts[i].fX, pts[i].fY));
4172 REPORTER_ASSERT(reporter, p.contains(pts[i + 3].fX, pts[i + 3].fY));
4173 REPORTER_ASSERT(reporter, p.contains(pts[i + 6].fX, pts[i + 6].fY));
4174 }
4175}
4176
4177class PathRefTest_Private {
4178public:
4179 static void TestPathRef(skiatest::Reporter* reporter) {
4180 static const int kRepeatCnt = 10;
4181
4182 sk_sp<SkPathRef> pathRef(new SkPathRef);
4183
4184 SkPathRef::Editor ed(&pathRef);
4185
4186 {
4187 ed.growForRepeatedVerb(SkPath::kMove_Verb, kRepeatCnt);
4188 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countVerbs());
4189 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countPoints());
4190 REPORTER_ASSERT(reporter, 0 == pathRef->getSegmentMasks());
4191 for (int i = 0; i < kRepeatCnt; ++i) {
4192 REPORTER_ASSERT(reporter, SkPath::kMove_Verb == pathRef->atVerb(i));
4193 }
4194 ed.resetToSize(0, 0, 0);
4195 }
4196
4197 {
4198 ed.growForRepeatedVerb(SkPath::kLine_Verb, kRepeatCnt);
4199 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countVerbs());
4200 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countPoints());
4201 REPORTER_ASSERT(reporter, SkPath::kLine_SegmentMask == pathRef->getSegmentMasks());
4202 for (int i = 0; i < kRepeatCnt; ++i) {
4203 REPORTER_ASSERT(reporter, SkPath::kLine_Verb == pathRef->atVerb(i));
4204 }
4205 ed.resetToSize(0, 0, 0);
4206 }
4207
4208 {
4209 ed.growForRepeatedVerb(SkPath::kQuad_Verb, kRepeatCnt);
4210 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countVerbs());
4211 REPORTER_ASSERT(reporter, 2*kRepeatCnt == pathRef->countPoints());
4212 REPORTER_ASSERT(reporter, SkPath::kQuad_SegmentMask == pathRef->getSegmentMasks());
4213 for (int i = 0; i < kRepeatCnt; ++i) {
4214 REPORTER_ASSERT(reporter, SkPath::kQuad_Verb == pathRef->atVerb(i));
4215 }
4216 ed.resetToSize(0, 0, 0);
4217 }
4218
4219 {
4220 SkScalar* weights = nullptr;
4221 ed.growForRepeatedVerb(SkPath::kConic_Verb, kRepeatCnt, &weights);
4222 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countVerbs());
4223 REPORTER_ASSERT(reporter, 2*kRepeatCnt == pathRef->countPoints());
4224 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countWeights());
4225 REPORTER_ASSERT(reporter, SkPath::kConic_SegmentMask == pathRef->getSegmentMasks());
4226 REPORTER_ASSERT(reporter, weights);
4227 for (int i = 0; i < kRepeatCnt; ++i) {
4228 REPORTER_ASSERT(reporter, SkPath::kConic_Verb == pathRef->atVerb(i));
4229 }
4230 ed.resetToSize(0, 0, 0);
4231 }
4232
4233 {
4234 ed.growForRepeatedVerb(SkPath::kCubic_Verb, kRepeatCnt);
4235 REPORTER_ASSERT(reporter, kRepeatCnt == pathRef->countVerbs());
4236 REPORTER_ASSERT(reporter, 3*kRepeatCnt == pathRef->countPoints());
4237 REPORTER_ASSERT(reporter, SkPath::kCubic_SegmentMask == pathRef->getSegmentMasks());
4238 for (int i = 0; i < kRepeatCnt; ++i) {
4239 REPORTER_ASSERT(reporter, SkPath::kCubic_Verb == pathRef->atVerb(i));
4240 }
4241 ed.resetToSize(0, 0, 0);
4242 }
4243 }
4244};
4245
4246static void test_operatorEqual(skiatest::Reporter* reporter) {
4247 SkPath a;
4248 SkPath b;
4249 REPORTER_ASSERT(reporter, a == a);
4250 REPORTER_ASSERT(reporter, a == b);
4251 a.setFillType(SkPath::kInverseWinding_FillType);
4252 REPORTER_ASSERT(reporter, a != b);
4253 a.reset();
4254 REPORTER_ASSERT(reporter, a == b);
4255 a.lineTo(1, 1);
4256 REPORTER_ASSERT(reporter, a != b);
4257 a.reset();
4258 REPORTER_ASSERT(reporter, a == b);
4259 a.lineTo(1, 1);
4260 b.lineTo(1, 2);
4261 REPORTER_ASSERT(reporter, a != b);
4262 a.reset();
4263 a.lineTo(1, 2);
4264 REPORTER_ASSERT(reporter, a == b);
4265}
4266
4267static void compare_dump(skiatest::Reporter* reporter, const SkPath& path, bool force,
4268 bool dumpAsHex, const char* str) {
4269 SkDynamicMemoryWStream wStream;
4270 path.dump(&wStream, force, dumpAsHex);
4271 sk_sp<SkData> data = wStream.detachAsData();
4272 REPORTER_ASSERT(reporter, data->size() == strlen(str));
4273 if (strlen(str) > 0) {
4274 REPORTER_ASSERT(reporter, !memcmp(data->data(), str, strlen(str)));
4275 } else {
4276 REPORTER_ASSERT(reporter, data->data() == nullptr || !memcmp(data->data(), str, strlen(str)));
4277 }
4278}
4279
4280static void test_dump(skiatest::Reporter* reporter) {
4281 SkPath p;
4282 compare_dump(reporter, p, false, false, "path.setFillType(SkPath::kWinding_FillType);\n");
4283 compare_dump(reporter, p, true, false, "path.setFillType(SkPath::kWinding_FillType);\n");
4284 p.moveTo(1, 2);
4285 p.lineTo(3, 4);
4286 compare_dump(reporter, p, false, false, "path.setFillType(SkPath::kWinding_FillType);\n"
4287 "path.moveTo(1, 2);\n"
4288 "path.lineTo(3, 4);\n");
4289 compare_dump(reporter, p, true, false, "path.setFillType(SkPath::kWinding_FillType);\n"
4290 "path.moveTo(1, 2);\n"
4291 "path.lineTo(3, 4);\n"
4292 "path.lineTo(1, 2);\n"
4293 "path.close();\n");
4294 p.reset();
4295 p.setFillType(SkPath::kEvenOdd_FillType);
4296 p.moveTo(1, 2);
4297 p.quadTo(3, 4, 5, 6);
4298 compare_dump(reporter, p, false, false, "path.setFillType(SkPath::kEvenOdd_FillType);\n"
4299 "path.moveTo(1, 2);\n"
4300 "path.quadTo(3, 4, 5, 6);\n");
4301 p.reset();
4302 p.setFillType(SkPath::kInverseWinding_FillType);
4303 p.moveTo(1, 2);
4304 p.conicTo(3, 4, 5, 6, 0.5f);
4305 compare_dump(reporter, p, false, false, "path.setFillType(SkPath::kInverseWinding_FillType);\n"
4306 "path.moveTo(1, 2);\n"
4307 "path.conicTo(3, 4, 5, 6, 0.5f);\n");
4308 p.reset();
4309 p.setFillType(SkPath::kInverseEvenOdd_FillType);
4310 p.moveTo(1, 2);
4311 p.cubicTo(3, 4, 5, 6, 7, 8);
4312 compare_dump(reporter, p, false, false, "path.setFillType(SkPath::kInverseEvenOdd_FillType);\n"
4313 "path.moveTo(1, 2);\n"
4314 "path.cubicTo(3, 4, 5, 6, 7, 8);\n");
4315 p.reset();
4316 p.setFillType(SkPath::kWinding_FillType);
4317 p.moveTo(1, 2);
4318 p.lineTo(3, 4);
4319 compare_dump(reporter, p, false, true,
4320 "path.setFillType(SkPath::kWinding_FillType);\n"
4321 "path.moveTo(SkBits2Float(0x3f800000), SkBits2Float(0x40000000)); // 1, 2\n"
4322 "path.lineTo(SkBits2Float(0x40400000), SkBits2Float(0x40800000)); // 3, 4\n");
4323 p.reset();
4324 p.moveTo(SkBits2Float(0x3f800000), SkBits2Float(0x40000000));
4325 p.lineTo(SkBits2Float(0x40400000), SkBits2Float(0x40800000));
4326 compare_dump(reporter, p, false, false, "path.setFillType(SkPath::kWinding_FillType);\n"
4327 "path.moveTo(1, 2);\n"
4328 "path.lineTo(3, 4);\n");
4329}
4330
4331namespace {
4332
4333class ChangeListener : public SkPathRef::GenIDChangeListener {
4334public:
4335 ChangeListener(bool *changed) : fChanged(changed) { *fChanged = false; }
4336 ~ChangeListener() override {}
4337 void onChange() override {
4338 *fChanged = true;
4339 }
4340private:
4341 bool* fChanged;
4342};
4343
4344}
4345
4346class PathTest_Private {
4347public:
4348 static void TestPathTo(skiatest::Reporter* reporter) {
4349 SkPath p, q;
4350 p.lineTo(4, 4);
4351 p.reversePathTo(q);
4352 check_path_is_line(reporter, &p, 4, 4);
4353 q.moveTo(-4, -4);
4354 p.reversePathTo(q);
4355 check_path_is_line(reporter, &p, 4, 4);
4356 q.lineTo(7, 8);
4357 q.conicTo(8, 7, 6, 5, 0.5f);
4358 q.quadTo(6, 7, 8, 6);
4359 q.cubicTo(5, 6, 7, 8, 7, 5);
4360 q.close();
4361 p.reversePathTo(q);
4362 SkRect reverseExpected = {-4, -4, 8, 8};
4363 REPORTER_ASSERT(reporter, p.getBounds() == reverseExpected);
4364 }
4365
4366 static void TestPathrefListeners(skiatest::Reporter* reporter) {
4367 SkPath p;
4368
4369 bool changed = false;
4370 p.moveTo(0, 0);
4371
4372 // Check that listener is notified on moveTo().
4373
4374 SkPathPriv::AddGenIDChangeListener(p, new ChangeListener(&changed));
4375 REPORTER_ASSERT(reporter, !changed);
4376 p.moveTo(10, 0);
4377 REPORTER_ASSERT(reporter, changed);
4378
4379 // Check that listener is notified on lineTo().
4380 SkPathPriv::AddGenIDChangeListener(p, new ChangeListener(&changed));
4381 REPORTER_ASSERT(reporter, !changed);
4382 p.lineTo(20, 0);
4383 REPORTER_ASSERT(reporter, changed);
4384
4385 // Check that listener is notified on reset().
4386 SkPathPriv::AddGenIDChangeListener(p, new ChangeListener(&changed));
4387 REPORTER_ASSERT(reporter, !changed);
4388 p.reset();
4389 REPORTER_ASSERT(reporter, changed);
4390
4391 p.moveTo(0, 0);
4392
4393 // Check that listener is notified on rewind().
4394 SkPathPriv::AddGenIDChangeListener(p, new ChangeListener(&changed));
4395 REPORTER_ASSERT(reporter, !changed);
4396 p.rewind();
4397 REPORTER_ASSERT(reporter, changed);
4398
4399 // Check that listener is notified when pathref is deleted.
4400 {
4401 SkPath q;
4402 q.moveTo(10, 10);
4403 SkPathPriv::AddGenIDChangeListener(q, new ChangeListener(&changed));
4404 REPORTER_ASSERT(reporter, !changed);
4405 }
4406 // q went out of scope.
4407 REPORTER_ASSERT(reporter, changed);
4408 }
4409};
4410
4411static void test_crbug_629455(skiatest::Reporter* reporter) {
4412 SkPath path;
4413 path.moveTo(0, 0);
4414 path.cubicTo(SkBits2Float(0xcdcdcd00), SkBits2Float(0xcdcdcdcd),
4415 SkBits2Float(0xcdcdcdcd), SkBits2Float(0xcdcdcdcd),
4416 SkBits2Float(0x423fcdcd), SkBits2Float(0x40ed9341));
4417// AKA: cubicTo(-4.31596e+08f, -4.31602e+08f, -4.31602e+08f, -4.31602e+08f, 47.951f, 7.42423f);
4418 path.lineTo(0, 0);
Yuqian Lif13beef2017-09-14 17:15:04 -04004419 test_draw_AA_path(100, 100, path);
Yuqian Li3154a532017-09-06 13:33:30 -04004420}
4421
4422static void test_fuzz_crbug_662952(skiatest::Reporter* reporter) {
4423 SkPath path;
4424 path.moveTo(SkBits2Float(0x4109999a), SkBits2Float(0x411c0000)); // 8.6f, 9.75f
4425 path.lineTo(SkBits2Float(0x410a6666), SkBits2Float(0x411c0000)); // 8.65f, 9.75f
4426 path.lineTo(SkBits2Float(0x410a6666), SkBits2Float(0x411e6666)); // 8.65f, 9.9f
4427 path.lineTo(SkBits2Float(0x4109999a), SkBits2Float(0x411e6666)); // 8.6f, 9.9f
4428 path.lineTo(SkBits2Float(0x4109999a), SkBits2Float(0x411c0000)); // 8.6f, 9.75f
4429 path.close();
4430
4431 auto surface = SkSurface::MakeRasterN32Premul(100, 100);
4432 SkPaint paint;
4433 paint.setAntiAlias(true);
4434 surface->getCanvas()->clipPath(path, true);
4435 surface->getCanvas()->drawRect(SkRect::MakeWH(100, 100), paint);
4436}
4437
4438static void test_path_crbugskia6003() {
4439 auto surface(SkSurface::MakeRasterN32Premul(500, 500));
4440 SkCanvas* canvas = surface->getCanvas();
4441 SkPaint paint;
4442 paint.setAntiAlias(true);
4443 SkPath path;
4444 path.moveTo(SkBits2Float(0x4325e666), SkBits2Float(0x42a1999a)); // 165.9f, 80.8f
4445 path.lineTo(SkBits2Float(0x4325e666), SkBits2Float(0x42a2999a)); // 165.9f, 81.3f
4446 path.lineTo(SkBits2Float(0x4325b333), SkBits2Float(0x42a2999a)); // 165.7f, 81.3f
4447 path.lineTo(SkBits2Float(0x4325b333), SkBits2Float(0x42a16666)); // 165.7f, 80.7f
4448 path.lineTo(SkBits2Float(0x4325b333), SkBits2Float(0x429f6666)); // 165.7f, 79.7f
4449 // 165.7f, 79.7f, 165.8f, 79.7f, 165.8f, 79.7f
4450 path.cubicTo(SkBits2Float(0x4325b333), SkBits2Float(0x429f6666), SkBits2Float(0x4325cccc),
4451 SkBits2Float(0x429f6666), SkBits2Float(0x4325cccc), SkBits2Float(0x429f6666));
4452 // 165.8f, 79.7f, 165.8f, 79.7f, 165.9f, 79.7f
4453 path.cubicTo(SkBits2Float(0x4325cccc), SkBits2Float(0x429f6666), SkBits2Float(0x4325cccc),
4454 SkBits2Float(0x429f6666), SkBits2Float(0x4325e666), SkBits2Float(0x429f6666));
4455 path.lineTo(SkBits2Float(0x4325e666), SkBits2Float(0x42a1999a)); // 165.9f, 80.8f
4456 path.close();
4457 canvas->clipPath(path, true);
4458 canvas->drawRect(SkRect::MakeWH(500, 500), paint);
4459}
4460
4461static void test_fuzz_crbug_662730(skiatest::Reporter* reporter) {
4462 SkPath path;
4463 path.moveTo(SkBits2Float(0x00000000), SkBits2Float(0x00000000)); // 0, 0
4464 path.lineTo(SkBits2Float(0xd5394437), SkBits2Float(0x37373737)); // -1.2731e+13f, 1.09205e-05f
4465 path.lineTo(SkBits2Float(0x37373737), SkBits2Float(0x37373737)); // 1.09205e-05f, 1.09205e-05f
4466 path.lineTo(SkBits2Float(0x37373745), SkBits2Float(0x0001b800)); // 1.09205e-05f, 1.57842e-40f
4467 path.close();
Yuqian Lif13beef2017-09-14 17:15:04 -04004468 test_draw_AA_path(100, 100, path);
Yuqian Li3154a532017-09-06 13:33:30 -04004469}
4470
4471#if !defined(SK_SUPPORT_LEGACY_DELTA_AA)
4472static void test_skbug_6947() {
4473 SkPath path;
4474 SkPoint points[] =
4475 {{125.126022f, -0.499872506f}, {125.288895f, -0.499338806f},
4476 {125.299316f, -0.499290764f}, {126.294594f, 0.505449712f},
4477 {125.999992f, 62.5047531f}, {124.0f, 62.4980202f},
4478 {124.122749f, 0.498142242f}, {125.126022f, -0.499872506f},
4479 {125.119476f, 1.50011659f}, {125.122749f, 0.50012207f},
4480 {126.122749f, 0.502101898f}, {126.0f, 62.5019798f},
4481 {125.0f, 62.5f}, {124.000008f, 62.4952469f},
4482 {124.294609f, 0.495946467f}, {125.294601f, 0.50069809f},
4483 {125.289886f, 1.50068688f}, {125.282349f, 1.50065041f},
4484 {125.119476f, 1.50011659f}};
4485 constexpr SkPath::Verb kMove = SkPath::kMove_Verb;
4486 constexpr SkPath::Verb kLine = SkPath::kLine_Verb;
4487 constexpr SkPath::Verb kClose = SkPath::kClose_Verb;
4488 SkPath::Verb verbs[] = {kMove, kLine, kLine, kLine, kLine, kLine, kLine, kLine, kClose,
4489 kMove, kLine, kLine, kLine, kLine, kLine, kLine, kLine, kLine, kLine, kLine, kClose};
4490 int pointIndex = 0;
4491 for(auto verb : verbs) {
4492 switch (verb) {
4493 case kMove:
4494 path.moveTo(points[pointIndex++]);
4495 break;
4496 case kLine:
4497 path.lineTo(points[pointIndex++]);
4498 break;
4499 case kClose:
4500 default:
4501 path.close();
4502 break;
4503 }
4504 }
Yuqian Lif13beef2017-09-14 17:15:04 -04004505 test_draw_AA_path(250, 125, path);
Yuqian Li3154a532017-09-06 13:33:30 -04004506}
Yuqian Lia81b6262017-09-06 17:10:05 -04004507
4508static void test_skbug_7015() {
4509 SkPath path;
4510 path.setFillType(SkPath::kWinding_FillType);
4511 path.moveTo(SkBits2Float(0x4388c000), SkBits2Float(0x43947c08)); // 273.5f, 296.969f
4512 path.lineTo(SkBits2Float(0x4386c000), SkBits2Float(0x43947c08)); // 269.5f, 296.969f
4513 // 269.297f, 292.172f, 273.695f, 292.172f, 273.5f, 296.969f
4514 path.cubicTo(SkBits2Float(0x4386a604), SkBits2Float(0x43921604),
4515 SkBits2Float(0x4388d8f6), SkBits2Float(0x43921604),
4516 SkBits2Float(0x4388c000), SkBits2Float(0x43947c08));
4517 path.close();
Yuqian Lif13beef2017-09-14 17:15:04 -04004518 test_draw_AA_path(500, 500, path);
Yuqian Lia81b6262017-09-06 17:10:05 -04004519}
4520
Yuqian Lic5e4e742017-09-18 14:38:43 -04004521static void test_skbug_7051() {
4522 SkPath path;
4523 path.moveTo(10, 10);
4524 path.cubicTo(10, 20, 10, 30, 30, 30);
4525 path.lineTo(50, 20);
4526 path.lineTo(50, 10);
4527 path.close();
4528 test_draw_AA_path(100, 100, path);
4529}
4530
Yuqian Li3154a532017-09-06 13:33:30 -04004531#endif
4532
4533static void test_interp(skiatest::Reporter* reporter) {
4534 SkPath p1, p2, out;
4535 REPORTER_ASSERT(reporter, p1.isInterpolatable(p2));
4536 REPORTER_ASSERT(reporter, p1.interpolate(p2, 0, &out));
4537 REPORTER_ASSERT(reporter, p1 == out);
4538 REPORTER_ASSERT(reporter, p1.interpolate(p2, 1, &out));
4539 REPORTER_ASSERT(reporter, p1 == out);
4540 p1.moveTo(0, 2);
4541 p1.lineTo(0, 4);
4542 REPORTER_ASSERT(reporter, !p1.isInterpolatable(p2));
4543 REPORTER_ASSERT(reporter, !p1.interpolate(p2, 1, &out));
4544 p2.moveTo(6, 0);
4545 p2.lineTo(8, 0);
4546 REPORTER_ASSERT(reporter, p1.isInterpolatable(p2));
4547 REPORTER_ASSERT(reporter, p1.interpolate(p2, 0, &out));
4548 REPORTER_ASSERT(reporter, p2 == out);
4549 REPORTER_ASSERT(reporter, p1.interpolate(p2, 1, &out));
4550 REPORTER_ASSERT(reporter, p1 == out);
4551 REPORTER_ASSERT(reporter, p1.interpolate(p2, 0.5f, &out));
4552 REPORTER_ASSERT(reporter, out.getBounds() == SkRect::MakeLTRB(3, 1, 4, 2));
4553 p1.reset();
4554 p1.moveTo(4, 4);
4555 p1.conicTo(5, 4, 5, 5, 1 / SkScalarSqrt(2));
4556 p2.reset();
4557 p2.moveTo(4, 2);
4558 p2.conicTo(7, 2, 7, 5, 1 / SkScalarSqrt(2));
4559 REPORTER_ASSERT(reporter, p1.isInterpolatable(p2));
4560 REPORTER_ASSERT(reporter, p1.interpolate(p2, 0.5f, &out));
4561 REPORTER_ASSERT(reporter, out.getBounds() == SkRect::MakeLTRB(4, 3, 6, 5));
4562 p2.reset();
4563 p2.moveTo(4, 2);
4564 p2.conicTo(6, 3, 6, 5, 1);
4565 REPORTER_ASSERT(reporter, !p1.isInterpolatable(p2));
4566 p2.reset();
4567 p2.moveTo(4, 4);
4568 p2.conicTo(5, 4, 5, 5, 0.5f);
4569 REPORTER_ASSERT(reporter, !p1.isInterpolatable(p2));
4570}
4571
4572DEF_TEST(PathInterp, reporter) {
4573 test_interp(reporter);
4574}
4575
4576#include "SkSurface.h"
4577DEF_TEST(PathBigCubic, reporter) {
4578 SkPath path;
4579 path.moveTo(SkBits2Float(0x00000000), SkBits2Float(0x00000000)); // 0, 0
4580 path.moveTo(SkBits2Float(0x44000000), SkBits2Float(0x373938b8)); // 512, 1.10401e-05f
4581 path.cubicTo(SkBits2Float(0x00000001), SkBits2Float(0xdf000052), SkBits2Float(0x00000100), SkBits2Float(0x00000000), SkBits2Float(0x00000100), SkBits2Float(0x00000000)); // 1.4013e-45f, -9.22346e+18f, 3.58732e-43f, 0, 3.58732e-43f, 0
4582 path.moveTo(0, 512);
4583
4584 // this call should not assert
4585 SkSurface::MakeRasterN32Premul(255, 255, nullptr)->getCanvas()->drawPath(path, SkPaint());
4586}
4587
4588DEF_TEST(PathContains, reporter) {
4589 test_contains(reporter);
4590}
4591
4592DEF_TEST(Paths, reporter) {
4593 test_fuzz_crbug_647922();
4594 test_fuzz_crbug_643933();
4595 test_sect_with_horizontal_needs_pinning();
4596 test_crbug_629455(reporter);
4597 test_fuzz_crbug_627414(reporter);
4598 test_path_crbug364224();
4599 test_fuzz_crbug_662952(reporter);
4600 test_fuzz_crbug_662730(reporter);
4601 test_fuzz_crbug_662780();
4602 test_mask_overflow();
4603 test_path_crbugskia6003();
4604 test_fuzz_crbug_668907();
4605#if !defined(SK_SUPPORT_LEGACY_DELTA_AA)
4606 test_skbug_6947();
Yuqian Lia81b6262017-09-06 17:10:05 -04004607 test_skbug_7015();
Yuqian Lic5e4e742017-09-18 14:38:43 -04004608 test_skbug_7051();
Yuqian Li3154a532017-09-06 13:33:30 -04004609#endif
4610
4611 SkSize::Make(3, 4);
4612
4613 SkPath p, empty;
4614 SkRect bounds, bounds2;
4615 test_empty(reporter, p);
4616
4617 REPORTER_ASSERT(reporter, p.getBounds().isEmpty());
4618
4619 // this triggers a code path in SkPath::operator= which is otherwise unexercised
4620 SkPath& self = p;
4621 p = self;
4622
4623 // this triggers a code path in SkPath::swap which is otherwise unexercised
4624 p.swap(self);
4625
4626 bounds.set(0, 0, SK_Scalar1, SK_Scalar1);
4627
4628 p.addRoundRect(bounds, SK_Scalar1, SK_Scalar1);
4629 check_convex_bounds(reporter, p, bounds);
4630 // we have quads or cubics
4631 REPORTER_ASSERT(reporter,
4632 p.getSegmentMasks() & (kCurveSegmentMask | SkPath::kConic_SegmentMask));
4633 REPORTER_ASSERT(reporter, !p.isEmpty());
4634
4635 p.reset();
4636 test_empty(reporter, p);
4637
4638 p.addOval(bounds);
4639 check_convex_bounds(reporter, p, bounds);
4640 REPORTER_ASSERT(reporter, !p.isEmpty());
4641
4642 p.rewind();
4643 test_empty(reporter, p);
4644
4645 p.addRect(bounds);
4646 check_convex_bounds(reporter, p, bounds);
4647 // we have only lines
4648 REPORTER_ASSERT(reporter, SkPath::kLine_SegmentMask == p.getSegmentMasks());
4649 REPORTER_ASSERT(reporter, !p.isEmpty());
4650
4651 REPORTER_ASSERT(reporter, p != empty);
4652 REPORTER_ASSERT(reporter, !(p == empty));
4653
4654 // do getPoints and getVerbs return the right result
4655 REPORTER_ASSERT(reporter, p.getPoints(nullptr, 0) == 4);
4656 REPORTER_ASSERT(reporter, p.getVerbs(nullptr, 0) == 5);
4657 SkPoint pts[4];
4658 int count = p.getPoints(pts, 4);
4659 REPORTER_ASSERT(reporter, count == 4);
4660 uint8_t verbs[6];
4661 verbs[5] = 0xff;
4662 p.getVerbs(verbs, 5);
4663 REPORTER_ASSERT(reporter, SkPath::kMove_Verb == verbs[0]);
4664 REPORTER_ASSERT(reporter, SkPath::kLine_Verb == verbs[1]);
4665 REPORTER_ASSERT(reporter, SkPath::kLine_Verb == verbs[2]);
4666 REPORTER_ASSERT(reporter, SkPath::kLine_Verb == verbs[3]);
4667 REPORTER_ASSERT(reporter, SkPath::kClose_Verb == verbs[4]);
4668 REPORTER_ASSERT(reporter, 0xff == verbs[5]);
4669 bounds2.set(pts, 4);
4670 REPORTER_ASSERT(reporter, bounds == bounds2);
4671
4672 bounds.offset(SK_Scalar1*3, SK_Scalar1*4);
4673 p.offset(SK_Scalar1*3, SK_Scalar1*4);
4674 REPORTER_ASSERT(reporter, bounds == p.getBounds());
4675
4676 REPORTER_ASSERT(reporter, p.isRect(nullptr));
4677 bounds2.setEmpty();
4678 REPORTER_ASSERT(reporter, p.isRect(&bounds2));
4679 REPORTER_ASSERT(reporter, bounds == bounds2);
4680
4681 // now force p to not be a rect
4682 bounds.set(0, 0, SK_Scalar1/2, SK_Scalar1/2);
4683 p.addRect(bounds);
4684 REPORTER_ASSERT(reporter, !p.isRect(nullptr));
4685
4686 // Test an edge case w.r.t. the bound returned by isRect (i.e., the
4687 // path has a trailing moveTo. Please see crbug.com\445368)
4688 {
4689 SkRect r;
4690 p.reset();
4691 p.addRect(bounds);
4692 REPORTER_ASSERT(reporter, p.isRect(&r));
4693 REPORTER_ASSERT(reporter, r == bounds);
4694 // add a moveTo outside of our bounds
4695 p.moveTo(bounds.fLeft + 10, bounds.fBottom + 10);
4696 REPORTER_ASSERT(reporter, p.isRect(&r));
4697 REPORTER_ASSERT(reporter, r == bounds);
4698 }
4699
4700 test_operatorEqual(reporter);
4701 test_isLine(reporter);
4702 test_isRect(reporter);
4703 test_is_simple_closed_rect(reporter);
4704 test_isNestedFillRects(reporter);
4705 test_zero_length_paths(reporter);
4706 test_direction(reporter);
4707 test_convexity(reporter);
4708 test_convexity2(reporter);
4709 test_conservativelyContains(reporter);
4710 test_close(reporter);
4711 test_segment_masks(reporter);
4712 test_flattening(reporter);
4713 test_transform(reporter);
4714 test_bounds(reporter);
4715 test_iter(reporter);
4716 test_raw_iter(reporter);
4717 test_circle(reporter);
4718 test_oval(reporter);
4719 test_strokerec(reporter);
4720 test_addPoly(reporter);
4721 test_isfinite(reporter);
4722 test_isfinite_after_transform(reporter);
4723 test_islastcontourclosed(reporter);
4724 test_arb_round_rect_is_convex(reporter);
4725 test_arb_zero_rad_round_rect_is_rect(reporter);
4726 test_addrect(reporter);
4727 test_addrect_isfinite(reporter);
4728 test_tricky_cubic();
4729 test_clipped_cubic();
4730 test_crbug_170666();
4731 test_crbug_493450(reporter);
4732 test_crbug_495894(reporter);
4733 test_crbug_613918();
4734 test_bad_cubic_crbug229478();
4735 test_bad_cubic_crbug234190();
4736 test_gen_id(reporter);
4737 test_path_close_issue1474(reporter);
4738 test_path_to_region(reporter);
4739 test_rrect(reporter);
4740 test_arc(reporter);
4741 test_arc_ovals(reporter);
4742 test_arcTo(reporter);
4743 test_addPath(reporter);
4744 test_addPathMode(reporter, false, false);
4745 test_addPathMode(reporter, true, false);
4746 test_addPathMode(reporter, false, true);
4747 test_addPathMode(reporter, true, true);
4748 test_extendClosedPath(reporter);
4749 test_addEmptyPath(reporter, SkPath::kExtend_AddPathMode);
4750 test_addEmptyPath(reporter, SkPath::kAppend_AddPathMode);
4751 test_conicTo_special_case(reporter);
4752 test_get_point(reporter);
4753 test_contains(reporter);
4754 PathTest_Private::TestPathTo(reporter);
4755 PathRefTest_Private::TestPathRef(reporter);
4756 PathTest_Private::TestPathrefListeners(reporter);
4757 test_dump(reporter);
4758 test_path_crbug389050(reporter);
4759 test_path_crbugskia2820(reporter);
4760 test_path_crbugskia5995();
4761 test_skbug_3469(reporter);
4762 test_skbug_3239(reporter);
4763 test_bounds_crbug_513799(reporter);
4764 test_fuzz_crbug_638223();
4765}
4766
4767DEF_TEST(conservatively_contains_rect, reporter) {
4768 SkPath path;
4769
4770 path.moveTo(SkBits2Float(0x44000000), SkBits2Float(0x373938b8)); // 512, 1.10401e-05f
4771 // 1.4013e-45f, -9.22346e+18f, 3.58732e-43f, 0, 3.58732e-43f, 0
4772 path.cubicTo(SkBits2Float(0x00000001), SkBits2Float(0xdf000052),
4773 SkBits2Float(0x00000100), SkBits2Float(0x00000000),
4774 SkBits2Float(0x00000100), SkBits2Float(0x00000000));
4775 path.moveTo(0, 0);
4776
4777 // this guy should not assert
4778 path.conservativelyContainsRect({ -211747, 12.1115f, -197893, 25.0321f });
4779}
4780
4781///////////////////////////////////////////////////////////////////////////////////////////////////
4782
4783static void rand_path(SkPath* path, SkRandom& rand, SkPath::Verb verb, int n) {
4784 for (int i = 0; i < n; ++i) {
4785 switch (verb) {
4786 case SkPath::kLine_Verb:
4787 path->lineTo(rand.nextF()*100, rand.nextF()*100);
4788 break;
4789 case SkPath::kQuad_Verb:
4790 path->quadTo(rand.nextF()*100, rand.nextF()*100,
4791 rand.nextF()*100, rand.nextF()*100);
4792 break;
4793 case SkPath::kConic_Verb:
4794 path->conicTo(rand.nextF()*100, rand.nextF()*100,
4795 rand.nextF()*100, rand.nextF()*100, rand.nextF()*10);
4796 break;
4797 case SkPath::kCubic_Verb:
4798 path->cubicTo(rand.nextF()*100, rand.nextF()*100,
4799 rand.nextF()*100, rand.nextF()*100,
4800 rand.nextF()*100, rand.nextF()*100);
4801 break;
4802 default:
4803 SkASSERT(false);
4804 }
4805 }
4806}
4807
4808#include "SkPathOps.h"
4809DEF_TEST(path_tight_bounds, reporter) {
4810 SkRandom rand;
4811
4812 const SkPath::Verb verbs[] = {
4813 SkPath::kLine_Verb, SkPath::kQuad_Verb, SkPath::kConic_Verb, SkPath::kCubic_Verb,
4814 };
4815 for (int i = 0; i < 1000; ++i) {
4816 for (int n = 1; n <= 10; n += 9) {
4817 for (SkPath::Verb verb : verbs) {
4818 SkPath path;
4819 rand_path(&path, rand, verb, n);
4820 SkRect bounds = path.getBounds();
4821 SkRect tight = path.computeTightBounds();
4822 REPORTER_ASSERT(reporter, bounds.contains(tight));
4823
4824 SkRect tight2;
4825 TightBounds(path, &tight2);
4826 REPORTER_ASSERT(reporter, nearly_equal(tight, tight2));
4827 }
4828 }
4829 }
4830}
4831
4832DEF_TEST(skbug_6450, r) {
4833 SkRect ri = { 0.18554693f, 195.26283f, 0.185784385f, 752.644409f };
4834 SkVector rdi[4] = {
4835 { 1.81159976e-09f, 7.58768801e-05f },
4836 { 0.000118725002f, 0.000118725002f },
4837 { 0.000118725002f, 0.000118725002f },
4838 { 0.000118725002f, 0.486297607f }
4839 };
4840 SkRRect irr;
4841 irr.setRectRadii(ri, rdi);
4842 SkRect ro = { 9.18354821e-39f, 2.1710848e+9f, 2.16945843e+9f, 3.47808128e+9f };
4843 SkVector rdo[4] = {
4844 { 0, 0 },
4845 { 0.0103298295f, 0.185887396f },
4846 { 2.52999727e-29f, 169.001938f },
4847 { 195.262741f, 195.161255f }
4848 };
4849 SkRRect orr;
4850 orr.setRectRadii(ro, rdo);
4851 SkMakeNullCanvas()->drawDRRect(orr, irr, SkPaint());
4852}
4853
4854DEF_TEST(PathRefSerialization, reporter) {
4855 SkPath path;
4856 const size_t numMoves = 5;
4857 const size_t numConics = 7;
4858 const size_t numPoints = numMoves + 2 * numConics;
4859 const size_t numVerbs = numMoves + numConics;
4860 for (size_t i = 0; i < numMoves; ++i) path.moveTo(1, 2);
4861 for (size_t i = 0; i < numConics; ++i) path.conicTo(1, 2, 3, 4, 5);
4862 REPORTER_ASSERT(reporter, path.countPoints() == numPoints);
4863 REPORTER_ASSERT(reporter, path.countVerbs() == numVerbs);
4864
4865 // Verify that path serializes/deserializes properly.
4866 sk_sp<SkData> data = path.serialize();
4867 size_t bytesWritten = data->size();
4868
4869 {
4870 SkPath readBack;
4871 REPORTER_ASSERT(reporter, readBack != path);
4872 size_t bytesRead = readBack.readFromMemory(data->data(), bytesWritten);
4873 REPORTER_ASSERT(reporter, bytesRead == bytesWritten);
4874 REPORTER_ASSERT(reporter, readBack == path);
4875 }
4876
4877 // uint32_t[] offset into serialized path.
4878 const size_t verbCountOffset = 4;
4879 const size_t pointCountOffset = 5;
4880 const size_t conicCountOffset = 6;
4881
4882 // Verify that this test is changing the right values.
4883 const int* writtenValues = static_cast<const int*>(data->data());
4884 REPORTER_ASSERT(reporter, writtenValues[verbCountOffset] == numVerbs);
4885 REPORTER_ASSERT(reporter, writtenValues[pointCountOffset] == numPoints);
4886 REPORTER_ASSERT(reporter, writtenValues[conicCountOffset] == numConics);
4887
4888 // Too many verbs, points, or conics fails to deserialize silently.
4889 const int tooManyObjects = INT_MAX;
4890 size_t offsets[] = {verbCountOffset, pointCountOffset, conicCountOffset};
4891 for (size_t i = 0; i < 3; ++i) {
4892 SkAutoMalloc storage_copy(bytesWritten);
4893 memcpy(storage_copy.get(), data->data(), bytesWritten);
4894 static_cast<int*>(storage_copy.get())[offsets[i]] = tooManyObjects;
4895 SkPath readBack;
4896 size_t bytesRead = readBack.readFromMemory(storage_copy.get(), bytesWritten);
4897 REPORTER_ASSERT(reporter, !bytesRead);
4898 }
4899
4900 // One less byte (rounded down to alignment) than was written will also
4901 // fail to be deserialized.
4902 {
4903 SkPath readBack;
4904 size_t bytesRead = readBack.readFromMemory(data->data(), bytesWritten - 4);
4905 REPORTER_ASSERT(reporter, !bytesRead);
4906 }
4907}
Mike Klein1170a552017-09-08 15:00:25 -04004908
4909DEF_TEST(NonFinitePathIteration, reporter) {
4910 SkPath path;
4911 path.moveTo(SK_ScalarInfinity, SK_ScalarInfinity);
4912
4913 int verbs = 0;
4914
4915 SkPath::RawIter iter(path);
4916 SkPoint pts[4];
4917 while (iter.next(pts) != SkPath::kDone_Verb) {
4918 verbs++;
4919 }
4920
4921 REPORTER_ASSERT(reporter, verbs == 0);
4922}
Cary Clark1acd3c72017-12-08 11:37:01 -05004923
4924
4925#ifndef SK_SUPPORT_LEGACY_SVG_ARC_TO
4926DEF_TEST(AndroidArc, reporter) {
4927 const char* tests[] = {
4928 "M50,0A50,50,0,0 1 100,50 L100,85 A15,15,0,0 1 85,100 L50,100 A50,50,0,0 1 50,0z",
4929 "M50,0L92,0 A8,8,0,0 1 100,8 L100,92 A8,8,0,0 1 92,100 L8,100"
4930 " A8,8,0,0 1 0,92 L 0,8 A8,8,0,0 1 8,0z",
4931 "M50 0A50 50,0,1,1,50 100A50 50,0,1,1,50 0"
4932 };
4933 for (auto test : tests) {
4934 SkPath aPath;
4935 SkAssertResult(SkParsePath::FromSVGString(test, &aPath));
4936 SkASSERT(aPath.isConvex());
4937 for (SkScalar scale = 1; scale < 1000; scale *= 1.1f) {
4938 SkPath scalePath = aPath;
4939 SkMatrix matrix;
4940 matrix.setScale(scale, scale);
4941 scalePath.transform(matrix);
4942 SkASSERT(scalePath.isConvex());
4943 }
4944 for (SkScalar scale = 1; scale < .001; scale /= 1.1f) {
4945 SkPath scalePath = aPath;
4946 SkMatrix matrix;
4947 matrix.setScale(scale, scale);
4948 scalePath.transform(matrix);
4949 SkASSERT(scalePath.isConvex());
4950 }
4951 }
4952}
4953#endif
Mike Reed1fe0bcc2018-01-22 16:49:49 -05004954
4955/*
4956 * Try a range of crazy values, just to ensure that we don't assert/crash.
4957 */
4958DEF_TEST(HugeGeometry, reporter) {
4959 auto surf = SkSurface::MakeRasterN32Premul(100, 100);
4960 auto canvas = surf->getCanvas();
4961
4962 const bool aas[] = { false, true };
4963 const SkPaint::Style styles[] = {
4964 SkPaint::kFill_Style, SkPaint::kStroke_Style, SkPaint::kStrokeAndFill_Style
4965 };
4966 const SkScalar values[] = {
4967 0, 1, 1000, 1000 * 1000, 1000.f * 1000 * 10000, SK_ScalarMax / 2, SK_ScalarMax,
4968 SK_ScalarInfinity
4969 };
4970
4971 SkPaint paint;
4972 for (auto x : values) {
4973 SkRect r = { -x, -x, x, x };
4974 for (auto width : values) {
4975 paint.setStrokeWidth(width);
4976 for (auto aa : aas) {
4977 paint.setAntiAlias(aa);
4978 for (auto style : styles) {
4979 paint.setStyle(style);
4980 canvas->drawRect(r, paint);
4981 canvas->drawOval(r, paint);
4982 }
4983 }
4984 }
4985 }
4986
4987}
4988
Mike Reed1c6e7832018-01-30 11:29:36 -05004989// Treat nonfinite paths as "empty" or "full", depending on inverse-filltype
4990DEF_TEST(ClipPath_nonfinite, reporter) {
4991 auto surf = SkSurface::MakeRasterN32Premul(10, 10);
4992 SkCanvas* canvas = surf->getCanvas();
4993
4994 REPORTER_ASSERT(reporter, !canvas->isClipEmpty());
4995 for (bool aa : {false, true}) {
4996 for (SkPath::FillType ft : {SkPath::kWinding_FillType, SkPath::kInverseWinding_FillType}) {
4997 for (SkScalar bad : {SK_ScalarInfinity, SK_ScalarNaN}) {
4998 for (int bits = 1; bits <= 15; ++bits) {
4999 SkPoint p0 = { 0, 0 };
5000 SkPoint p1 = { 0, 0 };
5001 if (bits & 1) p0.fX = -bad;
5002 if (bits & 2) p0.fY = -bad;
5003 if (bits & 4) p1.fX = bad;
5004 if (bits & 8) p1.fY = bad;
5005
5006 SkPath path;
5007 path.moveTo(p0);
5008 path.lineTo(p1);
5009 path.setFillType(ft);
5010 canvas->save();
5011 canvas->clipPath(path, aa);
5012 REPORTER_ASSERT(reporter, canvas->isClipEmpty() == !path.isInverseFillType());
5013 canvas->restore();
5014 }
5015 }
5016 }
5017 }
5018 REPORTER_ASSERT(reporter, !canvas->isClipEmpty());
5019}
5020