blob: 58d7d9802416cf53792a307d77b999ec34b3bb26 [file] [log] [blame]
caryclark@google.com9166dcb2013-04-08 11:50:00 +00001/*
2 * Copyright 2012 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#include "PathOpsCubicIntersectionTestData.h"
8#include "PathOpsTestCommon.h"
9#include "SkIntersections.h"
10#include "SkPathOpsRect.h"
11#include "SkReduceOrder.h"
12#include "Test.h"
13
14const int firstCubicIntersectionTest = 9;
15
16static void standardTestCases(skiatest::Reporter* reporter) {
17 for (size_t index = firstCubicIntersectionTest; index < tests_count; ++index) {
18 int iIndex = static_cast<int>(index);
19 const SkDCubic& cubic1 = tests[index][0];
20 const SkDCubic& cubic2 = tests[index][1];
21 SkReduceOrder reduce1, reduce2;
22 int order1 = reduce1.reduce(cubic1, SkReduceOrder::kNo_Quadratics,
23 SkReduceOrder::kFill_Style);
24 int order2 = reduce2.reduce(cubic2, SkReduceOrder::kNo_Quadratics,
25 SkReduceOrder::kFill_Style);
26 const bool showSkipped = false;
27 if (order1 < 4) {
28 if (showSkipped) {
29 SkDebugf("%s [%d] cubic1 order=%d\n", __FUNCTION__, iIndex, order1);
30 }
31 continue;
32 }
33 if (order2 < 4) {
34 if (showSkipped) {
35 SkDebugf("%s [%d] cubic2 order=%d\n", __FUNCTION__, iIndex, order2);
36 }
37 continue;
38 }
39 SkIntersections tIntersections;
40 tIntersections.intersect(cubic1, cubic2);
41 if (!tIntersections.used()) {
42 if (showSkipped) {
43 SkDebugf("%s [%d] no intersection\n", __FUNCTION__, iIndex);
44 }
45 continue;
46 }
47 if (tIntersections.isCoincident(0)) {
48 if (showSkipped) {
49 SkDebugf("%s [%d] coincident\n", __FUNCTION__, iIndex);
50 }
51 continue;
52 }
53 for (int pt = 0; pt < tIntersections.used(); ++pt) {
54 double tt1 = tIntersections[0][pt];
55 SkDPoint xy1 = cubic1.xyAtT(tt1);
56 double tt2 = tIntersections[1][pt];
57 SkDPoint xy2 = cubic2.xyAtT(tt2);
58 if (!xy1.approximatelyEqual(xy2)) {
59 SkDebugf("%s [%d,%d] x!= t1=%g (%g,%g) t2=%g (%g,%g)\n",
60 __FUNCTION__, (int)index, pt, tt1, xy1.fX, xy1.fY, tt2, xy2.fX, xy2.fY);
61 }
62 REPORTER_ASSERT(reporter, xy1.approximatelyEqual(xy2));
63 }
64 }
65}
66
67static const SkDCubic testSet[] = {
68// FIXME: uncommenting these two will cause this to fail
69// this results in two curves very nearly but not exactly coincident
70#if 0
71{{{67.426548091427676, 37.993772624988935}, {23.483695892376684, 90.476863174921306},
72 {35.597065061143162, 79.872482633158796}, {75.38634169631932, 18.244890038969412}}},
73{{{67.4265481, 37.9937726}, {23.4836959, 90.4768632}, {35.5970651, 79.8724826},
74 {75.3863417, 18.24489}}},
75#endif
76
77{{{0, 0}, {0, 1}, {1, 1}, {1, 0}}},
78{{{1, 0}, {0, 0}, {0, 1}, {1, 1}}},
79
80{{{0, 1}, {4, 5}, {1, 0}, {5, 3}}},
81{{{0, 1}, {3, 5}, {1, 0}, {5, 4}}},
82
83{{{0, 1}, {1, 6}, {1, 0}, {1, 0}}},
84{{{0, 1}, {0, 1}, {1, 0}, {6, 1}}},
85
86{{{0, 1}, {3, 4}, {1, 0}, {5, 1}}},
87{{{0, 1}, {1, 5}, {1, 0}, {4, 3}}},
88
89{{{0, 1}, {1, 2}, {1, 0}, {6, 1}}},
90{{{0, 1}, {1, 6}, {1, 0}, {2, 1}}},
91
92{{{0, 1}, {0, 5}, {1, 0}, {4, 0}}},
93{{{0, 1}, {0, 4}, {1, 0}, {5, 0}}},
94
95{{{0, 1}, {3, 4}, {1, 0}, {3, 0}}},
96{{{0, 1}, {0, 3}, {1, 0}, {4, 3}}},
97
98{{{0, 0}, {1, 2}, {3, 4}, {4, 4}}},
99{{{0, 0}, {1, 2}, {3, 4}, {4, 4}}},
100{{{4, 4}, {3, 4}, {1, 2}, {0, 0}}},
101
102{{{0, 1}, {2, 3}, {1, 0}, {1, 0}}},
103{{{0, 1}, {0, 1}, {1, 0}, {3, 2}}},
104
105{{{0, 2}, {0, 1}, {1, 0}, {1, 0}}},
106{{{0, 1}, {0, 1}, {2, 0}, {1, 0}}},
107
108{{{0, 1}, {0, 2}, {1, 0}, {1, 0}}},
109{{{0, 1}, {0, 1}, {1, 0}, {2, 0}}},
110
111{{{0, 1}, {1, 6}, {1, 0}, {2, 0}}},
112{{{0, 1}, {0, 2}, {1, 0}, {6, 1}}},
113
114{{{0, 1}, {5, 6}, {1, 0}, {1, 0}}},
115{{{0, 1}, {0, 1}, {1, 0}, {6, 5}}},
116
117{{{95.837747722788592, 45.025976907939643}, {16.564570095652982, 0.72959763963222402},
118 {63.209855865319199, 68.047528419665767}, {57.640240647662544, 59.524565264361243}}},
119{{{51.593891741518817, 38.53849970667553}, {62.34752929878772, 74.924924725166022},
120 {74.810149322641152, 34.17966562983564}, {29.368398119401373, 94.66719277886078}}},
121
122{{{39.765160968417838, 33.060396198677083}, {5.1922921581157908, 66.854301452103215},
123 {31.619281802149157, 25.269248720849514}, {81.541621071073038, 70.025341524754353}}},
124{{{46.078911165743556, 48.259962651999651}, {20.24450549867214, 49.403916182650214},
125 {0.26325131778756683, 24.46489805563581}, {15.915006546264051, 83.515023059917155}}},
126
127{{{65.454505973241524, 93.881892270353575}, {45.867360264932437, 92.723972719499827},
128 {2.1464054482739447, 74.636369140183717}, {33.774068594804994, 40.770872887582925}}},
129{{{72.963387832494163, 95.659300729473728}, {11.809496633619768, 82.209921247423594},
130 {13.456139067865974, 57.329313623406605}, {36.060621606214262, 70.867335643091849}}},
131
132{{{32.484981432782945, 75.082940782924624}, {42.467313093350882, 48.131159948246157},
133 {3.5963115764764657, 43.208665839959245}, {79.442476890721579, 89.709102357602262}}},
134{{{18.98573861410177, 93.308887208490106}, {40.405250173250792, 91.039661826118675},
135 {8.0467721950480584, 42.100282172719147}, {40.883324221187891, 26.030185504830527}}},
136
137{{{7.5374809128872498, 82.441702896003477}, {22.444346930107265, 22.138854312775123},
138 {66.76091829629658, 50.753805856571446}, {78.193478508942519, 97.7932997968948}}},
139{{{97.700573130371311, 53.53260215070685}, {87.72443481149358, 84.575876772671876},
140 {19.215031396232092, 47.032676472809484}, {11.989686410869325, 10.659507480757082}}},
141
142{{{26.192053931854691, 9.8504326817814416}, {10.174241480498686, 98.476562741434464},
143 {21.177712558385782, 33.814968789841501}, {75.329030899018534, 55.02231980442177}}},
144{{{56.222082700683771, 24.54395039218662}, {95.589995289030483, 81.050822735322086},
145 {28.180450866082897, 28.837706255185282}, {60.128952916771617, 87.311672180570511}}},
146
147{{{42.449716172390481, 52.379709366885805}, {27.896043159019225, 48.797373636065686},
148 {92.770268299044233, 89.899302036454571}, {12.102066544863426, 99.43241951960718}}},
149{{{45.77532924980639, 45.958701495993274}, {37.458701356062065, 68.393691335056758},
150 {37.569326692060258, 27.673713456687381}, {60.674866037757539, 62.47349659096146}}},
151
152{{{67.426548091427676, 37.993772624988935}, {23.483695892376684, 90.476863174921306},
153 {35.597065061143162, 79.872482633158796}, {75.38634169631932, 18.244890038969412}}},
154{{{61.336508189019057, 82.693132843213675}, {44.639380902349664, 54.074825790745592},
155 {16.815615499771951, 20.049704667203923}, {41.866884958868326, 56.735503699973002}}},
156
157{{{18.1312339, 31.6473732}, {95.5711034, 63.5350219}, {92.3283165, 62.0158945},
158 {18.5656052, 32.1268808}}},
159{{{97.402018, 35.7169972}, {33.1127443, 25.8935163}, {1.13970027, 54.9424981},
160 {56.4860195, 60.529264}}},
161};
162
caryclark@google.comad65a3e2013-04-15 19:13:59 +0000163const size_t testSetCount = SK_ARRAY_COUNT(testSet);
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000164
165static const SkDCubic newTestSet[] = {
caryclark@google.coma5e55922013-05-07 18:51:31 +0000166{{{0, 1}, {2, 3}, {5, 1}, {4, 3}}},
167{{{1, 5}, {3, 4}, {1, 0}, {3, 2}}},
168
caryclark@google.comb3f09212013-04-17 15:49:16 +0000169{{{3, 5}, {1, 6}, {5, 0}, {3, 1}}},
170{{{0, 5}, {1, 3}, {5, 3}, {6, 1}}},
171
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000172{{{0, 1}, {1, 5}, {1, 0}, {1, 0}}},
173{{{0, 1}, {0, 1}, {1, 0}, {5, 1}}},
174
175{{{1, 3}, {5, 6}, {5, 3}, {5, 4}}},
176{{{3, 5}, {4, 5}, {3, 1}, {6, 5}}},
177
178{{{0, 5}, {0, 5}, {5, 4}, {6, 4}}},
179{{{4, 5}, {4, 6}, {5, 0}, {5, 0}}},
180
181{{{0, 4}, {1, 3}, {5, 4}, {4, 2}}},
182{{{4, 5}, {2, 4}, {4, 0}, {3, 1}}},
183
184{{{0, 2}, {1, 5}, {3, 2}, {4, 1}}},
185{{{2, 3}, {1, 4}, {2, 0}, {5, 1}}},
186
187{{{0, 2}, {2, 3}, {5, 1}, {3, 2}}},
188{{{1, 5}, {2, 3}, {2, 0}, {3, 2}}},
189
190{{{2, 6}, {4, 5}, {1, 0}, {6, 1}}},
191{{{0, 1}, {1, 6}, {6, 2}, {5, 4}}},
192
193{{{0, 1}, {1, 2}, {6, 5}, {5, 4}}},
194{{{5, 6}, {4, 5}, {1, 0}, {2, 1}}},
195
196{{{2.5119999999999996, 1.5710000000000002}, {2.6399999999999983, 1.6599999999999997},
197 {2.8000000000000007, 1.8000000000000003}, {3, 2}}},
198{{{2.4181876227114887, 1.9849772580462195}, {2.8269904869227211, 2.009330650246834},
199 {3.2004679292461624, 1.9942047174679169}, {3.4986199496818058, 2.0035994597094731}}},
200
201{{{2, 3}, {1, 4}, {1, 0}, {6, 0}}},
202{{{0, 1}, {0, 6}, {3, 2}, {4, 1}}},
203
204{{{0, 2}, {1, 5}, {1, 0}, {6, 1}}},
205{{{0, 1}, {1, 6}, {2, 0}, {5, 1}}},
206
207{{{0, 1}, {1, 5}, {2, 1}, {4, 0}}},
208{{{1, 2}, {0, 4}, {1, 0}, {5, 1}}},
209
210{{{0, 1}, {3, 5}, {2, 1}, {3, 1}}},
211{{{1, 2}, {1, 3}, {1, 0}, {5, 3}}},
212
213{{{0, 1}, {2, 5}, {6, 0}, {5, 3}}},
214{{{0, 6}, {3, 5}, {1, 0}, {5, 2}}},
215
216{{{0, 1}, {3, 6}, {1, 0}, {5, 2}}},
217{{{0, 1}, {2, 5}, {1, 0}, {6, 3}}},
218
219{{{1, 2}, {5, 6}, {1, 0}, {1, 0}}},
220{{{0, 1}, {0, 1}, {2, 1}, {6, 5}}},
221
222{{{0, 6}, {1, 2}, {1, 0}, {1, 0}}},
223{{{0, 1}, {0, 1}, {6, 0}, {2, 1}}},
224
225{{{0, 2}, {0, 1}, {3, 0}, {1, 0}}},
226{{{0, 3}, {0, 1}, {2, 0}, {1, 0}}},
227};
228
caryclark@google.comad65a3e2013-04-15 19:13:59 +0000229const size_t newTestSetCount = SK_ARRAY_COUNT(newTestSet);
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000230
231static void oneOff(skiatest::Reporter* reporter, const SkDCubic& cubic1, const SkDCubic& cubic2) {
232#if ONE_OFF_DEBUG
233 SkDebugf("computed quadratics given\n");
234 SkDebugf(" {{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}},\n",
235 cubic1[0].fX, cubic1[0].fY, cubic1[1].fX, cubic1[1].fY,
236 cubic1[2].fX, cubic1[2].fY, cubic1[3].fX, cubic1[3].fY);
237 SkDebugf(" {{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}},\n",
238 cubic2[0].fX, cubic2[0].fY, cubic2[1].fX, cubic2[1].fY,
239 cubic2[2].fX, cubic2[2].fY, cubic2[3].fX, cubic2[3].fY);
240#endif
241 SkTDArray<SkDQuad> quads1;
242 CubicToQuads(cubic1, cubic1.calcPrecision(), quads1);
243#if ONE_OFF_DEBUG
244 SkDebugf("computed quadratics set 1\n");
245 for (int index = 0; index < quads1.count(); ++index) {
246 const SkDQuad& q = quads1[index];
247 SkDebugf(" {{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}},\n", q[0].fX, q[0].fY,
248 q[1].fX, q[1].fY, q[2].fX, q[2].fY);
249 }
250#endif
251 SkTDArray<SkDQuad> quads2;
252 CubicToQuads(cubic2, cubic2.calcPrecision(), quads2);
253#if ONE_OFF_DEBUG
254 SkDebugf("computed quadratics set 2\n");
255 for (int index = 0; index < quads2.count(); ++index) {
256 const SkDQuad& q = quads2[index];
257 SkDebugf(" {{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}},\n", q[0].fX, q[0].fY,
258 q[1].fX, q[1].fY, q[2].fX, q[2].fY);
259 }
260#endif
261 SkIntersections intersections;
262 intersections.intersect(cubic1, cubic2);
263 double tt1, tt2;
264 SkDPoint xy1, xy2;
265 for (int pt3 = 0; pt3 < intersections.used(); ++pt3) {
266 tt1 = intersections[0][pt3];
267 xy1 = cubic1.xyAtT(tt1);
268 tt2 = intersections[1][pt3];
269 xy2 = cubic2.xyAtT(tt2);
270#if ONE_OFF_DEBUG
271 SkDebugf("%s t1=%1.9g (%1.9g, %1.9g) (%1.9g, %1.9g) (%1.9g, %1.9g) t2=%1.9g\n",
272 __FUNCTION__, tt1, xy1.fX, xy1.fY, intersections.pt(pt3).fX,
273 intersections.pt(pt3).fY, xy2.fX, xy2.fY, tt2);
274#endif
275 REPORTER_ASSERT(reporter, xy1.approximatelyEqual(xy2));
276 }
277}
278
279static void oneOff(skiatest::Reporter* reporter, int outer, int inner) {
280 const SkDCubic& cubic1 = testSet[outer];
281 const SkDCubic& cubic2 = testSet[inner];
282 oneOff(reporter, cubic1, cubic2);
283}
284
285static void newOneOff(skiatest::Reporter* reporter, int outer, int inner) {
286 const SkDCubic& cubic1 = newTestSet[outer];
287 const SkDCubic& cubic2 = newTestSet[inner];
288 oneOff(reporter, cubic1, cubic2);
289}
290
291static void oneOffTest(skiatest::Reporter* reporter) {
292 newOneOff(reporter, 0, 1);
caryclark@google.coma5e55922013-05-07 18:51:31 +0000293 oneOff(reporter, 14, 16);
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000294}
295
296static void oneOffTests(skiatest::Reporter* reporter) {
297 for (size_t outer = 0; outer < testSetCount - 1; ++outer) {
298 for (size_t inner = outer + 1; inner < testSetCount; ++inner) {
299 oneOff(reporter, outer, inner);
300 }
301 }
302 for (size_t outer = 0; outer < newTestSetCount - 1; ++outer) {
303 for (size_t inner = outer + 1; inner < newTestSetCount; ++inner) {
304 oneOff(reporter, outer, inner);
305 }
306 }
307}
308
309#define DEBUG_CRASH 0
310
311static void CubicIntersection_RandTest(skiatest::Reporter* reporter) {
312 srand(0);
313 const int tests = 10000000;
caryclark@google.comdb60de72013-04-11 12:33:23 +0000314#if !defined(SK_BUILD_FOR_WIN) && !defined(SK_BUILD_FOR_ANDROID)
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000315 unsigned seed = 0;
316#endif
317 for (int test = 0; test < tests; ++test) {
318 SkDCubic cubic1, cubic2;
319 for (int i = 0; i < 4; ++i) {
320 cubic1[i].fX = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100;
321 cubic1[i].fY = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100;
322 cubic2[i].fX = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100;
323 cubic2[i].fY = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100;
324 }
325 #if DEBUG_CRASH
326 char str[1024];
327 snprintf(str, sizeof(str),
328 "{{{%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}}},\n"
329 "{{{%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}}},\n",
330 cubic1[0].fX, cubic1[0].fY, cubic1[1].fX, cubic1[1].fY, cubic1[2].fX, cubic1[2].fY,
331 cubic1[3].fX, cubic1[3].fY,
332 cubic2[0].fX, cubic2[0].fY, cubic2[1].fX, cubic2[1].fY, cubic2[2].fX, cubic2[2].fY,
333 cubic2[3].fX, cubic2[3].fY);
334 #endif
335 SkDRect rect1, rect2;
336 rect1.setBounds(cubic1);
337 rect2.setBounds(cubic2);
338 bool boundsIntersect = rect1.fLeft <= rect2.fRight && rect2.fLeft <= rect2.fRight
339 && rect1.fTop <= rect2.fBottom && rect2.fTop <= rect1.fBottom;
340 if (test == -1) {
341 SkDebugf("ready...\n");
342 }
343 SkIntersections intersections2;
344 int newIntersects = intersections2.intersect(cubic1, cubic2);
345 if (!boundsIntersect && newIntersects) {
346 #if DEBUG_CRASH
347 SkDebugf("%s %d unexpected intersection boundsIntersect=%d "
348 " newIntersects=%d\n%s %s\n", __FUNCTION__, test, boundsIntersect,
349 newIntersects, __FUNCTION__, str);
350 #endif
351 REPORTER_ASSERT(reporter, 0);
352 }
353 for (int pt = 0; pt < intersections2.used(); ++pt) {
354 double tt1 = intersections2[0][pt];
355 SkDPoint xy1 = cubic1.xyAtT(tt1);
356 double tt2 = intersections2[1][pt];
357 SkDPoint xy2 = cubic2.xyAtT(tt2);
358 REPORTER_ASSERT(reporter, xy1.approximatelyEqual(xy2));
359 }
360 }
361}
362
363static void intersectionFinder(int index0, int index1, double t1Seed, double t2Seed,
364 double t1Step, double t2Step) {
365 const SkDCubic& cubic1 = newTestSet[index0];
366 const SkDCubic& cubic2 = newTestSet[index1];
367 SkDPoint t1[3], t2[3];
368 bool toggle = true;
369 do {
370 t1[0] = cubic1.xyAtT(t1Seed - t1Step);
371 t1[1] = cubic1.xyAtT(t1Seed);
372 t1[2] = cubic1.xyAtT(t1Seed + t1Step);
373 t2[0] = cubic2.xyAtT(t2Seed - t2Step);
374 t2[1] = cubic2.xyAtT(t2Seed);
375 t2[2] = cubic2.xyAtT(t2Seed + t2Step);
376 double dist[3][3];
377 dist[1][1] = t1[1].distance(t2[1]);
378 int best_i = 1, best_j = 1;
379 for (int i = 0; i < 3; ++i) {
380 for (int j = 0; j < 3; ++j) {
381 if (i == 1 && j == 1) {
382 continue;
383 }
384 dist[i][j] = t1[i].distance(t2[j]);
385 if (dist[best_i][best_j] > dist[i][j]) {
386 best_i = i;
387 best_j = j;
388 }
389 }
390 }
391 if (best_i == 0) {
392 t1Seed -= t1Step;
393 } else if (best_i == 2) {
394 t1Seed += t1Step;
395 }
396 if (best_j == 0) {
397 t2Seed -= t2Step;
398 } else if (best_j == 2) {
399 t2Seed += t2Step;
400 }
401 if (best_i == 1 && best_j == 1) {
402 if ((toggle ^= true)) {
403 t1Step /= 2;
404 } else {
405 t2Step /= 2;
406 }
407 }
408 } while (!t1[1].approximatelyEqual(t2[1]));
409 t1Step = t2Step = 0.1;
410 double t10 = t1Seed - t1Step * 2;
411 double t12 = t1Seed + t1Step * 2;
412 double t20 = t2Seed - t2Step * 2;
413 double t22 = t2Seed + t2Step * 2;
414 SkDPoint test;
415 while (!approximately_zero(t1Step)) {
416 test = cubic1.xyAtT(t10);
417 t10 += t1[1].approximatelyEqual(test) ? -t1Step : t1Step;
418 t1Step /= 2;
419 }
420 t1Step = 0.1;
421 while (!approximately_zero(t1Step)) {
422 test = cubic1.xyAtT(t12);
423 t12 -= t1[1].approximatelyEqual(test) ? -t1Step : t1Step;
424 t1Step /= 2;
425 }
426 while (!approximately_zero(t2Step)) {
427 test = cubic2.xyAtT(t20);
428 t20 += t2[1].approximatelyEqual(test) ? -t2Step : t2Step;
429 t2Step /= 2;
430 }
431 t2Step = 0.1;
432 while (!approximately_zero(t2Step)) {
433 test = cubic2.xyAtT(t22);
434 t22 -= t2[1].approximatelyEqual(test) ? -t2Step : t2Step;
435 t2Step /= 2;
436 }
437#if ONE_OFF_DEBUG
438 SkDebugf("%s t1=(%1.9g<%1.9g<%1.9g) t2=(%1.9g<%1.9g<%1.9g)\n", __FUNCTION__,
439 t10, t1Seed, t12, t20, t2Seed, t22);
440 SkDPoint p10 = cubic1.xyAtT(t10);
441 SkDPoint p1Seed = cubic1.xyAtT(t1Seed);
442 SkDPoint p12 = cubic1.xyAtT(t12);
443 SkDebugf("%s p1=(%1.9g,%1.9g)<(%1.9g,%1.9g)<(%1.9g,%1.9g)\n", __FUNCTION__,
444 p10.fX, p10.fY, p1Seed.fX, p1Seed.fY, p12.fX, p12.fY);
445 SkDPoint p20 = cubic2.xyAtT(t20);
446 SkDPoint p2Seed = cubic2.xyAtT(t2Seed);
447 SkDPoint p22 = cubic2.xyAtT(t22);
448 SkDebugf("%s p2=(%1.9g,%1.9g)<(%1.9g,%1.9g)<(%1.9g,%1.9g)\n", __FUNCTION__,
449 p20.fX, p20.fY, p2Seed.fX, p2Seed.fY, p22.fX, p22.fY);
450#endif
451}
452
453static void CubicIntersection_IntersectionFinder() {
454// double t1Seed = 0.87;
455// double t2Seed = 0.87;
456 double t1Step = 0.000001;
457 double t2Step = 0.000001;
458 intersectionFinder(0, 1, 0.855895664, 0.864850875, t1Step, t2Step);
459 intersectionFinder(0, 1, 0.865207906, 0.865207887, t1Step, t2Step);
460 intersectionFinder(0, 1, 0.865213351, 0.865208087, t1Step, t2Step);
461}
462
463static void cubicIntersectionSelfTest(skiatest::Reporter* reporter) {
464 const SkDCubic selfSet[] = {
465 {{{0, 2}, {2, 3}, {5, 1}, {3, 2}}},
466 {{{0, 2}, {3, 5}, {5, 0}, {4, 2}}},
467 {{{3.34, 8.98}, {1.95, 10.27}, {3.76, 7.65}, {4.96, 10.64}}},
468 {{{3.13, 2.74}, {1.08, 4.62}, {3.71, 0.94}, {2.01, 3.81}}},
469 {{{6.71, 3.14}, {7.99, 2.75}, {8.27, 1.96}, {6.35, 3.57}}},
470 {{{12.81, 7.27}, {7.22, 6.98}, {12.49, 8.97}, {11.42, 6.18}}},
471 };
caryclark@google.comad65a3e2013-04-15 19:13:59 +0000472 size_t selfSetCount = SK_ARRAY_COUNT(selfSet);
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000473 size_t firstFail = 1;
474 for (size_t index = firstFail; index < selfSetCount; ++index) {
475 const SkDCubic& cubic = selfSet[index];
476 #if ONE_OFF_DEBUG
477 int idx2;
478 double max[3];
479 int ts = cubic.findMaxCurvature(max);
480 for (idx2 = 0; idx2 < ts; ++idx2) {
481 SkDebugf("%s max[%d]=%1.9g (%1.9g, %1.9g)\n", __FUNCTION__, idx2,
482 max[idx2], cubic.xyAtT(max[idx2]).fX, cubic.xyAtT(max[idx2]).fY);
483 }
484 SkTDArray<double> ts1;
485 SkTDArray<SkDQuad> quads1;
486 cubic.toQuadraticTs(cubic.calcPrecision(), &ts1);
487 for (idx2 = 0; idx2 < ts1.count(); ++idx2) {
488 SkDebugf("%s t[%d]=%1.9g\n", __FUNCTION__, idx2, ts1[idx2]);
489 }
490 CubicToQuads(cubic, cubic.calcPrecision(), quads1);
491 for (idx2 = 0; idx2 < quads1.count(); ++idx2) {
492 const SkDQuad& q = quads1[idx2];
493 SkDebugf(" {{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}},\n",
494 q[0].fX, q[0].fY, q[1].fX, q[1].fY, q[2].fX, q[2].fY);
495 }
496 SkDebugf("\n");
497 #endif
498 SkIntersections i;
499 int result = i.intersect(cubic);
500 REPORTER_ASSERT(reporter, result == 1);
501 REPORTER_ASSERT(reporter, i.used() == 1);
502 REPORTER_ASSERT(reporter, !approximately_equal(i[0][0], i[1][0]));
503 SkDPoint pt1 = cubic.xyAtT(i[0][0]);
504 SkDPoint pt2 = cubic.xyAtT(i[1][0]);
505 REPORTER_ASSERT(reporter, pt1.approximatelyEqual(pt2));
506 }
507}
508
caryclark@google.comad65a3e2013-04-15 19:13:59 +0000509static void PathOpsCubicIntersectionTest(skiatest::Reporter* reporter) {
caryclark@google.com9166dcb2013-04-08 11:50:00 +0000510 oneOffTest(reporter);
511 oneOffTests(reporter);
512 cubicIntersectionSelfTest(reporter);
513 standardTestCases(reporter);
514 if (false) CubicIntersection_IntersectionFinder();
515 if (false) CubicIntersection_RandTest(reporter);
516}
517
518#include "TestClassDef.h"
caryclark@google.comad65a3e2013-04-15 19:13:59 +0000519DEFINE_TESTCLASS_SHORT(PathOpsCubicIntersectionTest)