caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 1 | /* |
| 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 | |
| 14 | const int firstCubicIntersectionTest = 9; |
| 15 | |
| 16 | static 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 | |
| 67 | static 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.com | ad65a3e | 2013-04-15 19:13:59 +0000 | [diff] [blame] | 163 | const size_t testSetCount = SK_ARRAY_COUNT(testSet); |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 164 | |
| 165 | static const SkDCubic newTestSet[] = { |
caryclark@google.com | fa2aeee | 2013-07-15 13:29:13 +0000 | [diff] [blame] | 166 | {{{1.0516976506771041, 2.9684399028541346 },
|
| 167 | {1.0604363140895228, 2.9633503074444141 },
|
| 168 | {1.0692548215065762, 2.9580354426587459 },
|
| 169 | {1.0781560339512140, 2.9525043684031349 }}},
|
| 170 |
|
| 171 | {{{1.0523038101345104, 2.9523755204833737 },
|
| 172 | {1.0607035288264237, 2.9580853881628375 },
|
| 173 | {1.0690530472271964, 2.9633896794787749 },
|
| 174 | {1.0773566568712512, 2.9682969775000219 }}},
|
| 175 | |
| 176 | {{{1.0386522625066592, 2.9759024812329078 },
|
| 177 | {1.0559713690392631, 2.9661782500838885 },
|
| 178 | {1.0736041309019990, 2.9555348259177858 },
|
| 179 | {1.0915734362784633, 2.9440446879826569 }}},
|
| 180 |
|
| 181 | {{{1.0396670794879301, 2.9435062123457261 },
|
| 182 | {1.0565690546812769, 2.9557413250983462 },
|
| 183 | {1.0732616463413533, 2.9663369676594282 },
|
| 184 | {1.0897791867435489, 2.9753618045797472 }}},
|
| 185 | |
| 186 | {{{0.8685656183311091, 3.0409266475785208 },
|
| 187 | {0.99189542936395292, 3.0212163698184424 },
|
| 188 | {1.1302108367493320, 2.9265646471747306 },
|
| 189 | {1.2952305904872474, 2.7940808546473788 }}},
|
| 190 |
|
| 191 | {{{0.85437872843682727, 2.7536036928549055 },
|
| 192 | {1.0045584590592620, 2.9493041024831705 },
|
| 193 | {1.1336998329885613, 3.0248027987251747 },
|
| 194 | {1.2593809752247314, 3.0152560315809107 }}},
|
| 195 | |
| 196 | {{{0, 1}, {1, 6}, {1, 0}, {6, 2}}},
|
| 197 | {{{0, 1}, {2, 6}, {1, 0}, {6, 1}}},
|
| 198 | |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 199 | {{{134,11414}, {131.990234375,11414}, {130.32666015625,11415.482421875}, {130.04275512695312,11417.4130859375}}}, |
| 200 | {{{132,11419}, {130.89543151855469,11419}, {130,11418.1044921875}, {130,11417}}}, |
| 201 | |
| 202 | {{{132,11419}, {130.89543151855469,11419}, {130,11418.1044921875}, {130,11417}}}, |
| 203 | {{{130.04275512695312,11417.4130859375}, {130.23312377929687,11418.3193359375}, {131.03707885742187,11419}, {132,11419}}}, |
| 204 | |
caryclark@google.com | a5e5592 | 2013-05-07 18:51:31 +0000 | [diff] [blame] | 205 | {{{0, 1}, {2, 3}, {5, 1}, {4, 3}}}, |
| 206 | {{{1, 5}, {3, 4}, {1, 0}, {3, 2}}}, |
| 207 | |
caryclark@google.com | b3f0921 | 2013-04-17 15:49:16 +0000 | [diff] [blame] | 208 | {{{3, 5}, {1, 6}, {5, 0}, {3, 1}}}, |
| 209 | {{{0, 5}, {1, 3}, {5, 3}, {6, 1}}}, |
| 210 | |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 211 | {{{0, 1}, {1, 5}, {1, 0}, {1, 0}}}, |
| 212 | {{{0, 1}, {0, 1}, {1, 0}, {5, 1}}}, |
| 213 | |
| 214 | {{{1, 3}, {5, 6}, {5, 3}, {5, 4}}}, |
| 215 | {{{3, 5}, {4, 5}, {3, 1}, {6, 5}}}, |
| 216 | |
| 217 | {{{0, 5}, {0, 5}, {5, 4}, {6, 4}}}, |
| 218 | {{{4, 5}, {4, 6}, {5, 0}, {5, 0}}}, |
| 219 | |
| 220 | {{{0, 4}, {1, 3}, {5, 4}, {4, 2}}}, |
| 221 | {{{4, 5}, {2, 4}, {4, 0}, {3, 1}}}, |
| 222 | |
| 223 | {{{0, 2}, {1, 5}, {3, 2}, {4, 1}}}, |
| 224 | {{{2, 3}, {1, 4}, {2, 0}, {5, 1}}}, |
| 225 | |
| 226 | {{{0, 2}, {2, 3}, {5, 1}, {3, 2}}}, |
| 227 | {{{1, 5}, {2, 3}, {2, 0}, {3, 2}}}, |
| 228 | |
| 229 | {{{2, 6}, {4, 5}, {1, 0}, {6, 1}}}, |
| 230 | {{{0, 1}, {1, 6}, {6, 2}, {5, 4}}}, |
| 231 | |
| 232 | {{{0, 1}, {1, 2}, {6, 5}, {5, 4}}}, |
| 233 | {{{5, 6}, {4, 5}, {1, 0}, {2, 1}}}, |
| 234 | |
| 235 | {{{2.5119999999999996, 1.5710000000000002}, {2.6399999999999983, 1.6599999999999997}, |
| 236 | {2.8000000000000007, 1.8000000000000003}, {3, 2}}}, |
| 237 | {{{2.4181876227114887, 1.9849772580462195}, {2.8269904869227211, 2.009330650246834}, |
| 238 | {3.2004679292461624, 1.9942047174679169}, {3.4986199496818058, 2.0035994597094731}}}, |
| 239 | |
| 240 | {{{2, 3}, {1, 4}, {1, 0}, {6, 0}}}, |
| 241 | {{{0, 1}, {0, 6}, {3, 2}, {4, 1}}}, |
| 242 | |
| 243 | {{{0, 2}, {1, 5}, {1, 0}, {6, 1}}}, |
| 244 | {{{0, 1}, {1, 6}, {2, 0}, {5, 1}}}, |
| 245 | |
| 246 | {{{0, 1}, {1, 5}, {2, 1}, {4, 0}}}, |
| 247 | {{{1, 2}, {0, 4}, {1, 0}, {5, 1}}}, |
| 248 | |
| 249 | {{{0, 1}, {3, 5}, {2, 1}, {3, 1}}}, |
| 250 | {{{1, 2}, {1, 3}, {1, 0}, {5, 3}}}, |
| 251 | |
| 252 | {{{0, 1}, {2, 5}, {6, 0}, {5, 3}}}, |
| 253 | {{{0, 6}, {3, 5}, {1, 0}, {5, 2}}}, |
| 254 | |
| 255 | {{{0, 1}, {3, 6}, {1, 0}, {5, 2}}}, |
| 256 | {{{0, 1}, {2, 5}, {1, 0}, {6, 3}}}, |
| 257 | |
| 258 | {{{1, 2}, {5, 6}, {1, 0}, {1, 0}}}, |
| 259 | {{{0, 1}, {0, 1}, {2, 1}, {6, 5}}}, |
| 260 | |
| 261 | {{{0, 6}, {1, 2}, {1, 0}, {1, 0}}}, |
| 262 | {{{0, 1}, {0, 1}, {6, 0}, {2, 1}}}, |
| 263 | |
| 264 | {{{0, 2}, {0, 1}, {3, 0}, {1, 0}}}, |
| 265 | {{{0, 3}, {0, 1}, {2, 0}, {1, 0}}}, |
| 266 | }; |
| 267 | |
caryclark@google.com | ad65a3e | 2013-04-15 19:13:59 +0000 | [diff] [blame] | 268 | const size_t newTestSetCount = SK_ARRAY_COUNT(newTestSet); |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 269 | |
| 270 | static void oneOff(skiatest::Reporter* reporter, const SkDCubic& cubic1, const SkDCubic& cubic2) { |
| 271 | #if ONE_OFF_DEBUG |
| 272 | SkDebugf("computed quadratics given\n"); |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 273 | SkDebugf(" {{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}},\n", |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 274 | cubic1[0].fX, cubic1[0].fY, cubic1[1].fX, cubic1[1].fY, |
| 275 | cubic1[2].fX, cubic1[2].fY, cubic1[3].fX, cubic1[3].fY); |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 276 | SkDebugf(" {{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}},\n", |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 277 | cubic2[0].fX, cubic2[0].fY, cubic2[1].fX, cubic2[1].fY, |
| 278 | cubic2[2].fX, cubic2[2].fY, cubic2[3].fX, cubic2[3].fY); |
| 279 | #endif |
caryclark@google.com | d892bd8 | 2013-06-17 14:10:36 +0000 | [diff] [blame] | 280 | SkTArray<SkDQuad, true> quads1; |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 281 | CubicToQuads(cubic1, cubic1.calcPrecision(), quads1); |
| 282 | #if ONE_OFF_DEBUG |
| 283 | SkDebugf("computed quadratics set 1\n"); |
| 284 | for (int index = 0; index < quads1.count(); ++index) { |
| 285 | const SkDQuad& q = quads1[index]; |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 286 | SkDebugf(" {{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}},\n", q[0].fX, q[0].fY, |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 287 | q[1].fX, q[1].fY, q[2].fX, q[2].fY); |
| 288 | } |
| 289 | #endif |
caryclark@google.com | d892bd8 | 2013-06-17 14:10:36 +0000 | [diff] [blame] | 290 | SkTArray<SkDQuad, true> quads2; |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 291 | CubicToQuads(cubic2, cubic2.calcPrecision(), quads2); |
| 292 | #if ONE_OFF_DEBUG |
| 293 | SkDebugf("computed quadratics set 2\n"); |
| 294 | for (int index = 0; index < quads2.count(); ++index) { |
| 295 | const SkDQuad& q = quads2[index]; |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 296 | SkDebugf(" {{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}},\n", q[0].fX, q[0].fY, |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 297 | q[1].fX, q[1].fY, q[2].fX, q[2].fY); |
| 298 | } |
| 299 | #endif |
| 300 | SkIntersections intersections; |
| 301 | intersections.intersect(cubic1, cubic2); |
| 302 | double tt1, tt2; |
| 303 | SkDPoint xy1, xy2; |
| 304 | for (int pt3 = 0; pt3 < intersections.used(); ++pt3) { |
| 305 | tt1 = intersections[0][pt3]; |
| 306 | xy1 = cubic1.xyAtT(tt1); |
| 307 | tt2 = intersections[1][pt3]; |
| 308 | xy2 = cubic2.xyAtT(tt2); |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 309 | const SkDPoint& iPt = intersections.pt(pt3); |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 310 | #if ONE_OFF_DEBUG |
| 311 | SkDebugf("%s t1=%1.9g (%1.9g, %1.9g) (%1.9g, %1.9g) (%1.9g, %1.9g) t2=%1.9g\n", |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 312 | __FUNCTION__, tt1, xy1.fX, xy1.fY, iPt.fX, |
| 313 | iPt.fY, xy2.fX, xy2.fY, tt2); |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 314 | #endif |
caryclark@google.com | 3dd2784 | 2013-07-15 15:00:58 +0000 | [diff] [blame^] | 315 | #if 0 |
caryclark@google.com | cffbcc3 | 2013-06-04 17:59:42 +0000 | [diff] [blame] | 316 | REPORTER_ASSERT(reporter, xy1.approximatelyEqual(iPt)); |
| 317 | REPORTER_ASSERT(reporter, xy2.approximatelyEqual(iPt)); |
| 318 | REPORTER_ASSERT(reporter, xy1.approximatelyEqual(xy2)); |
caryclark@google.com | 3dd2784 | 2013-07-15 15:00:58 +0000 | [diff] [blame^] | 319 | #endif |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 320 | } |
| 321 | } |
| 322 | |
| 323 | static void oneOff(skiatest::Reporter* reporter, int outer, int inner) { |
| 324 | const SkDCubic& cubic1 = testSet[outer]; |
| 325 | const SkDCubic& cubic2 = testSet[inner]; |
| 326 | oneOff(reporter, cubic1, cubic2); |
| 327 | } |
| 328 | |
| 329 | static void newOneOff(skiatest::Reporter* reporter, int outer, int inner) { |
| 330 | const SkDCubic& cubic1 = newTestSet[outer]; |
| 331 | const SkDCubic& cubic2 = newTestSet[inner]; |
| 332 | oneOff(reporter, cubic1, cubic2); |
| 333 | } |
| 334 | |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 335 | static void oneOffTests(skiatest::Reporter* reporter) { |
| 336 | for (size_t outer = 0; outer < testSetCount - 1; ++outer) { |
| 337 | for (size_t inner = outer + 1; inner < testSetCount; ++inner) { |
| 338 | oneOff(reporter, outer, inner); |
| 339 | } |
| 340 | } |
| 341 | for (size_t outer = 0; outer < newTestSetCount - 1; ++outer) { |
| 342 | for (size_t inner = outer + 1; inner < newTestSetCount; ++inner) { |
| 343 | oneOff(reporter, outer, inner); |
| 344 | } |
| 345 | } |
| 346 | } |
| 347 | |
| 348 | #define DEBUG_CRASH 0 |
| 349 | |
| 350 | static void CubicIntersection_RandTest(skiatest::Reporter* reporter) { |
| 351 | srand(0); |
| 352 | const int tests = 10000000; |
caryclark@google.com | db60de7 | 2013-04-11 12:33:23 +0000 | [diff] [blame] | 353 | #if !defined(SK_BUILD_FOR_WIN) && !defined(SK_BUILD_FOR_ANDROID) |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 354 | unsigned seed = 0; |
| 355 | #endif |
| 356 | for (int test = 0; test < tests; ++test) { |
| 357 | SkDCubic cubic1, cubic2; |
| 358 | for (int i = 0; i < 4; ++i) { |
| 359 | cubic1[i].fX = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100; |
| 360 | cubic1[i].fY = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100; |
| 361 | cubic2[i].fX = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100; |
| 362 | cubic2[i].fY = static_cast<double>(SK_RAND(seed)) / RAND_MAX * 100; |
| 363 | } |
| 364 | #if DEBUG_CRASH |
| 365 | char str[1024]; |
| 366 | snprintf(str, sizeof(str), |
| 367 | "{{{%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}}},\n" |
| 368 | "{{{%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}, {%1.9g, %1.9g}}},\n", |
| 369 | cubic1[0].fX, cubic1[0].fY, cubic1[1].fX, cubic1[1].fY, cubic1[2].fX, cubic1[2].fY, |
| 370 | cubic1[3].fX, cubic1[3].fY, |
| 371 | cubic2[0].fX, cubic2[0].fY, cubic2[1].fX, cubic2[1].fY, cubic2[2].fX, cubic2[2].fY, |
| 372 | cubic2[3].fX, cubic2[3].fY); |
| 373 | #endif |
| 374 | SkDRect rect1, rect2; |
| 375 | rect1.setBounds(cubic1); |
| 376 | rect2.setBounds(cubic2); |
| 377 | bool boundsIntersect = rect1.fLeft <= rect2.fRight && rect2.fLeft <= rect2.fRight |
| 378 | && rect1.fTop <= rect2.fBottom && rect2.fTop <= rect1.fBottom; |
| 379 | if (test == -1) { |
| 380 | SkDebugf("ready...\n"); |
| 381 | } |
| 382 | SkIntersections intersections2; |
| 383 | int newIntersects = intersections2.intersect(cubic1, cubic2); |
| 384 | if (!boundsIntersect && newIntersects) { |
| 385 | #if DEBUG_CRASH |
| 386 | SkDebugf("%s %d unexpected intersection boundsIntersect=%d " |
| 387 | " newIntersects=%d\n%s %s\n", __FUNCTION__, test, boundsIntersect, |
| 388 | newIntersects, __FUNCTION__, str); |
| 389 | #endif |
| 390 | REPORTER_ASSERT(reporter, 0); |
| 391 | } |
| 392 | for (int pt = 0; pt < intersections2.used(); ++pt) { |
| 393 | double tt1 = intersections2[0][pt]; |
| 394 | SkDPoint xy1 = cubic1.xyAtT(tt1); |
| 395 | double tt2 = intersections2[1][pt]; |
| 396 | SkDPoint xy2 = cubic2.xyAtT(tt2); |
| 397 | REPORTER_ASSERT(reporter, xy1.approximatelyEqual(xy2)); |
| 398 | } |
| 399 | } |
| 400 | } |
| 401 | |
| 402 | static void intersectionFinder(int index0, int index1, double t1Seed, double t2Seed, |
| 403 | double t1Step, double t2Step) { |
| 404 | const SkDCubic& cubic1 = newTestSet[index0]; |
| 405 | const SkDCubic& cubic2 = newTestSet[index1]; |
| 406 | SkDPoint t1[3], t2[3]; |
| 407 | bool toggle = true; |
| 408 | do { |
| 409 | t1[0] = cubic1.xyAtT(t1Seed - t1Step); |
| 410 | t1[1] = cubic1.xyAtT(t1Seed); |
| 411 | t1[2] = cubic1.xyAtT(t1Seed + t1Step); |
| 412 | t2[0] = cubic2.xyAtT(t2Seed - t2Step); |
| 413 | t2[1] = cubic2.xyAtT(t2Seed); |
| 414 | t2[2] = cubic2.xyAtT(t2Seed + t2Step); |
| 415 | double dist[3][3]; |
| 416 | dist[1][1] = t1[1].distance(t2[1]); |
| 417 | int best_i = 1, best_j = 1; |
| 418 | for (int i = 0; i < 3; ++i) { |
| 419 | for (int j = 0; j < 3; ++j) { |
| 420 | if (i == 1 && j == 1) { |
| 421 | continue; |
| 422 | } |
| 423 | dist[i][j] = t1[i].distance(t2[j]); |
| 424 | if (dist[best_i][best_j] > dist[i][j]) { |
| 425 | best_i = i; |
| 426 | best_j = j; |
| 427 | } |
| 428 | } |
| 429 | } |
| 430 | if (best_i == 0) { |
| 431 | t1Seed -= t1Step; |
| 432 | } else if (best_i == 2) { |
| 433 | t1Seed += t1Step; |
| 434 | } |
| 435 | if (best_j == 0) { |
| 436 | t2Seed -= t2Step; |
| 437 | } else if (best_j == 2) { |
| 438 | t2Seed += t2Step; |
| 439 | } |
| 440 | if (best_i == 1 && best_j == 1) { |
| 441 | if ((toggle ^= true)) { |
| 442 | t1Step /= 2; |
| 443 | } else { |
| 444 | t2Step /= 2; |
| 445 | } |
| 446 | } |
| 447 | } while (!t1[1].approximatelyEqual(t2[1])); |
| 448 | t1Step = t2Step = 0.1; |
| 449 | double t10 = t1Seed - t1Step * 2; |
| 450 | double t12 = t1Seed + t1Step * 2; |
| 451 | double t20 = t2Seed - t2Step * 2; |
| 452 | double t22 = t2Seed + t2Step * 2; |
| 453 | SkDPoint test; |
| 454 | while (!approximately_zero(t1Step)) { |
| 455 | test = cubic1.xyAtT(t10); |
| 456 | t10 += t1[1].approximatelyEqual(test) ? -t1Step : t1Step; |
| 457 | t1Step /= 2; |
| 458 | } |
| 459 | t1Step = 0.1; |
| 460 | while (!approximately_zero(t1Step)) { |
| 461 | test = cubic1.xyAtT(t12); |
| 462 | t12 -= t1[1].approximatelyEqual(test) ? -t1Step : t1Step; |
| 463 | t1Step /= 2; |
| 464 | } |
| 465 | while (!approximately_zero(t2Step)) { |
| 466 | test = cubic2.xyAtT(t20); |
| 467 | t20 += t2[1].approximatelyEqual(test) ? -t2Step : t2Step; |
| 468 | t2Step /= 2; |
| 469 | } |
| 470 | t2Step = 0.1; |
| 471 | while (!approximately_zero(t2Step)) { |
| 472 | test = cubic2.xyAtT(t22); |
| 473 | t22 -= t2[1].approximatelyEqual(test) ? -t2Step : t2Step; |
| 474 | t2Step /= 2; |
| 475 | } |
| 476 | #if ONE_OFF_DEBUG |
| 477 | SkDebugf("%s t1=(%1.9g<%1.9g<%1.9g) t2=(%1.9g<%1.9g<%1.9g)\n", __FUNCTION__, |
| 478 | t10, t1Seed, t12, t20, t2Seed, t22); |
| 479 | SkDPoint p10 = cubic1.xyAtT(t10); |
| 480 | SkDPoint p1Seed = cubic1.xyAtT(t1Seed); |
| 481 | SkDPoint p12 = cubic1.xyAtT(t12); |
| 482 | SkDebugf("%s p1=(%1.9g,%1.9g)<(%1.9g,%1.9g)<(%1.9g,%1.9g)\n", __FUNCTION__, |
| 483 | p10.fX, p10.fY, p1Seed.fX, p1Seed.fY, p12.fX, p12.fY); |
| 484 | SkDPoint p20 = cubic2.xyAtT(t20); |
| 485 | SkDPoint p2Seed = cubic2.xyAtT(t2Seed); |
| 486 | SkDPoint p22 = cubic2.xyAtT(t22); |
| 487 | SkDebugf("%s p2=(%1.9g,%1.9g)<(%1.9g,%1.9g)<(%1.9g,%1.9g)\n", __FUNCTION__, |
| 488 | p20.fX, p20.fY, p2Seed.fX, p2Seed.fY, p22.fX, p22.fY); |
| 489 | #endif |
| 490 | } |
| 491 | |
| 492 | static void CubicIntersection_IntersectionFinder() { |
| 493 | // double t1Seed = 0.87; |
| 494 | // double t2Seed = 0.87; |
| 495 | double t1Step = 0.000001; |
| 496 | double t2Step = 0.000001; |
| 497 | intersectionFinder(0, 1, 0.855895664, 0.864850875, t1Step, t2Step); |
| 498 | intersectionFinder(0, 1, 0.865207906, 0.865207887, t1Step, t2Step); |
| 499 | intersectionFinder(0, 1, 0.865213351, 0.865208087, t1Step, t2Step); |
| 500 | } |
| 501 | |
| 502 | static void cubicIntersectionSelfTest(skiatest::Reporter* reporter) { |
| 503 | const SkDCubic selfSet[] = { |
| 504 | {{{0, 2}, {2, 3}, {5, 1}, {3, 2}}}, |
| 505 | {{{0, 2}, {3, 5}, {5, 0}, {4, 2}}}, |
| 506 | {{{3.34, 8.98}, {1.95, 10.27}, {3.76, 7.65}, {4.96, 10.64}}}, |
| 507 | {{{3.13, 2.74}, {1.08, 4.62}, {3.71, 0.94}, {2.01, 3.81}}}, |
| 508 | {{{6.71, 3.14}, {7.99, 2.75}, {8.27, 1.96}, {6.35, 3.57}}}, |
| 509 | {{{12.81, 7.27}, {7.22, 6.98}, {12.49, 8.97}, {11.42, 6.18}}}, |
| 510 | }; |
caryclark@google.com | ad65a3e | 2013-04-15 19:13:59 +0000 | [diff] [blame] | 511 | size_t selfSetCount = SK_ARRAY_COUNT(selfSet); |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 512 | size_t firstFail = 1; |
| 513 | for (size_t index = firstFail; index < selfSetCount; ++index) { |
| 514 | const SkDCubic& cubic = selfSet[index]; |
| 515 | #if ONE_OFF_DEBUG |
| 516 | int idx2; |
| 517 | double max[3]; |
| 518 | int ts = cubic.findMaxCurvature(max); |
| 519 | for (idx2 = 0; idx2 < ts; ++idx2) { |
| 520 | SkDebugf("%s max[%d]=%1.9g (%1.9g, %1.9g)\n", __FUNCTION__, idx2, |
| 521 | max[idx2], cubic.xyAtT(max[idx2]).fX, cubic.xyAtT(max[idx2]).fY); |
| 522 | } |
caryclark@google.com | 07e97fc | 2013-07-08 17:17:02 +0000 | [diff] [blame] | 523 | SkTArray<double, true> ts1; |
| 524 | SkTArray<SkDQuad, true> quads1; |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 525 | cubic.toQuadraticTs(cubic.calcPrecision(), &ts1); |
| 526 | for (idx2 = 0; idx2 < ts1.count(); ++idx2) { |
| 527 | SkDebugf("%s t[%d]=%1.9g\n", __FUNCTION__, idx2, ts1[idx2]); |
| 528 | } |
| 529 | CubicToQuads(cubic, cubic.calcPrecision(), quads1); |
| 530 | for (idx2 = 0; idx2 < quads1.count(); ++idx2) { |
| 531 | const SkDQuad& q = quads1[idx2]; |
| 532 | SkDebugf(" {{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}},\n", |
| 533 | q[0].fX, q[0].fY, q[1].fX, q[1].fY, q[2].fX, q[2].fY); |
| 534 | } |
| 535 | SkDebugf("\n"); |
| 536 | #endif |
| 537 | SkIntersections i; |
| 538 | int result = i.intersect(cubic); |
| 539 | REPORTER_ASSERT(reporter, result == 1); |
| 540 | REPORTER_ASSERT(reporter, i.used() == 1); |
| 541 | REPORTER_ASSERT(reporter, !approximately_equal(i[0][0], i[1][0])); |
| 542 | SkDPoint pt1 = cubic.xyAtT(i[0][0]); |
| 543 | SkDPoint pt2 = cubic.xyAtT(i[1][0]); |
| 544 | REPORTER_ASSERT(reporter, pt1.approximatelyEqual(pt2)); |
| 545 | } |
| 546 | } |
| 547 | |
caryclark@google.com | fa2aeee | 2013-07-15 13:29:13 +0000 | [diff] [blame] | 548 | static void PathOpsCubicIntersectionOneOffTest(skiatest::Reporter* reporter) { |
| 549 | newOneOff(reporter, 6, 7); |
| 550 | } |
| 551 | |
caryclark@google.com | ad65a3e | 2013-04-15 19:13:59 +0000 | [diff] [blame] | 552 | static void PathOpsCubicIntersectionTest(skiatest::Reporter* reporter) { |
caryclark@google.com | 9166dcb | 2013-04-08 11:50:00 +0000 | [diff] [blame] | 553 | oneOffTests(reporter); |
| 554 | cubicIntersectionSelfTest(reporter); |
| 555 | standardTestCases(reporter); |
| 556 | if (false) CubicIntersection_IntersectionFinder(); |
| 557 | if (false) CubicIntersection_RandTest(reporter); |
| 558 | } |
| 559 | |
| 560 | #include "TestClassDef.h" |
caryclark@google.com | ad65a3e | 2013-04-15 19:13:59 +0000 | [diff] [blame] | 561 | DEFINE_TESTCLASS_SHORT(PathOpsCubicIntersectionTest) |
caryclark@google.com | fa2aeee | 2013-07-15 13:29:13 +0000 | [diff] [blame] | 562 | |
| 563 | DEFINE_TESTCLASS_SHORT(PathOpsCubicIntersectionOneOffTest) |