Coverage Report

Created: 2024-09-14 07:19

/src/skia/src/core/SkAnalyticEdge.cpp
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2006 The Android Open Source Project
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 "src/core/SkAnalyticEdge.h"
9
10
#include "include/core/SkPoint.h"
11
#include "include/private/base/SkMath.h"
12
#include "include/private/base/SkTo.h"
13
#include "src/core/SkFDot6.h"
14
15
#include <algorithm>
16
#include <cstddef>
17
#include <iterator>
18
19
static const int kInverseTableSize = 1024; // SK_FDot6One * 16
20
21
6.96M
static inline SkFixed quick_inverse(SkFDot6 x) {
22
6.96M
    static const int32_t table[] = {
23
6.96M
        -4096, -4100, -4104, -4108, -4112, -4116, -4120, -4124, -4128, -4132, -4136,
24
6.96M
        -4140, -4144, -4148, -4152, -4156, -4161, -4165, -4169, -4173, -4177, -4181,
25
6.96M
        -4185, -4190, -4194, -4198, -4202, -4206, -4211, -4215, -4219, -4223, -4228,
26
6.96M
        -4232, -4236, -4240, -4245, -4249, -4253, -4258, -4262, -4266, -4271, -4275,
27
6.96M
        -4279, -4284, -4288, -4293, -4297, -4301, -4306, -4310, -4315, -4319, -4324,
28
6.96M
        -4328, -4332, -4337, -4341, -4346, -4350, -4355, -4359, -4364, -4369, -4373,
29
6.96M
        -4378, -4382, -4387, -4391, -4396, -4401, -4405, -4410, -4415, -4419, -4424,
30
6.96M
        -4429, -4433, -4438, -4443, -4447, -4452, -4457, -4462, -4466, -4471, -4476,
31
6.96M
        -4481, -4485, -4490, -4495, -4500, -4505, -4510, -4514, -4519, -4524, -4529,
32
6.96M
        -4534, -4539, -4544, -4549, -4554, -4559, -4563, -4568, -4573, -4578, -4583,
33
6.96M
        -4588, -4593, -4599, -4604, -4609, -4614, -4619, -4624, -4629, -4634, -4639,
34
6.96M
        -4644, -4650, -4655, -4660, -4665, -4670, -4675, -4681, -4686, -4691, -4696,
35
6.96M
        -4702, -4707, -4712, -4718, -4723, -4728, -4733, -4739, -4744, -4750, -4755,
36
6.96M
        -4760, -4766, -4771, -4777, -4782, -4788, -4793, -4798, -4804, -4809, -4815,
37
6.96M
        -4821, -4826, -4832, -4837, -4843, -4848, -4854, -4860, -4865, -4871, -4877,
38
6.96M
        -4882, -4888, -4894, -4899, -4905, -4911, -4917, -4922, -4928, -4934, -4940,
39
6.96M
        -4946, -4951, -4957, -4963, -4969, -4975, -4981, -4987, -4993, -4999, -5005,
40
6.96M
        -5011, -5017, -5023, -5029, -5035, -5041, -5047, -5053, -5059, -5065, -5071,
41
6.96M
        -5077, -5084, -5090, -5096, -5102, -5108, -5115, -5121, -5127, -5133, -5140,
42
6.96M
        -5146, -5152, -5159, -5165, -5171, -5178, -5184, -5190, -5197, -5203, -5210,
43
6.96M
        -5216, -5223, -5229, -5236, -5242, -5249, -5256, -5262, -5269, -5275, -5282,
44
6.96M
        -5289, -5295, -5302, -5309, -5315, -5322, -5329, -5336, -5343, -5349, -5356,
45
6.96M
        -5363, -5370, -5377, -5384, -5391, -5398, -5405, -5412, -5418, -5426, -5433,
46
6.96M
        -5440, -5447, -5454, -5461, -5468, -5475, -5482, -5489, -5497, -5504, -5511,
47
6.96M
        -5518, -5526, -5533, -5540, -5548, -5555, -5562, -5570, -5577, -5584, -5592,
48
6.96M
        -5599, -5607, -5614, -5622, -5629, -5637, -5645, -5652, -5660, -5667, -5675,
49
6.96M
        -5683, -5691, -5698, -5706, -5714, -5722, -5729, -5737, -5745, -5753, -5761,
50
6.96M
        -5769, -5777, -5785, -5793, -5801, -5809, -5817, -5825, -5833, -5841, -5849,
51
6.96M
        -5857, -5866, -5874, -5882, -5890, -5899, -5907, -5915, -5924, -5932, -5940,
52
6.96M
        -5949, -5957, -5966, -5974, -5983, -5991, -6000, -6009, -6017, -6026, -6034,
53
6.96M
        -6043, -6052, -6061, -6069, -6078, -6087, -6096, -6105, -6114, -6123, -6132,
54
6.96M
        -6141, -6150, -6159, -6168, -6177, -6186, -6195, -6204, -6213, -6223, -6232,
55
6.96M
        -6241, -6250, -6260, -6269, -6278, -6288, -6297, -6307, -6316, -6326, -6335,
56
6.96M
        -6345, -6355, -6364, -6374, -6384, -6393, -6403, -6413, -6423, -6432, -6442,
57
6.96M
        -6452, -6462, -6472, -6482, -6492, -6502, -6512, -6523, -6533, -6543, -6553,
58
6.96M
        -6563, -6574, -6584, -6594, -6605, -6615, -6626, -6636, -6647, -6657, -6668,
59
6.96M
        -6678, -6689, -6700, -6710, -6721, -6732, -6743, -6754, -6765, -6775, -6786,
60
6.96M
        -6797, -6808, -6820, -6831, -6842, -6853, -6864, -6875, -6887, -6898, -6909,
61
6.96M
        -6921, -6932, -6944, -6955, -6967, -6978, -6990, -7002, -7013, -7025, -7037,
62
6.96M
        -7049, -7061, -7073, -7084, -7096, -7108, -7121, -7133, -7145, -7157, -7169,
63
6.96M
        -7182, -7194, -7206, -7219, -7231, -7244, -7256, -7269, -7281, -7294, -7307,
64
6.96M
        -7319, -7332, -7345, -7358, -7371, -7384, -7397, -7410, -7423, -7436, -7449,
65
6.96M
        -7463, -7476, -7489, -7503, -7516, -7530, -7543, -7557, -7570, -7584, -7598,
66
6.96M
        -7612, -7626, -7639, -7653, -7667, -7681, -7695, -7710, -7724, -7738, -7752,
67
6.96M
        -7767, -7781, -7796, -7810, -7825, -7839, -7854, -7869, -7884, -7898, -7913,
68
6.96M
        -7928, -7943, -7958, -7973, -7989, -8004, -8019, -8035, -8050, -8065, -8081,
69
6.96M
        -8097, -8112, -8128, -8144, -8160, -8176, -8192, -8208, -8224, -8240, -8256,
70
6.96M
        -8272, -8289, -8305, -8322, -8338, -8355, -8371, -8388, -8405, -8422, -8439,
71
6.96M
        -8456, -8473, -8490, -8507, -8525, -8542, -8559, -8577, -8594, -8612, -8630,
72
6.96M
        -8648, -8665, -8683, -8701, -8719, -8738, -8756, -8774, -8793, -8811, -8830,
73
6.96M
        -8848, -8867, -8886, -8905, -8924, -8943, -8962, -8981, -9000, -9020, -9039,
74
6.96M
        -9058, -9078, -9098, -9118, -9137, -9157, -9177, -9198, -9218, -9238, -9258,
75
6.96M
        -9279, -9300, -9320, -9341, -9362, -9383, -9404, -9425, -9446, -9467, -9489,
76
6.96M
        -9510, -9532, -9554, -9576, -9597, -9619, -9642, -9664, -9686, -9709, -9731,
77
6.96M
        -9754, -9776, -9799, -9822, -9845, -9868, -9892, -9915, -9939, -9962, -9986,
78
6.96M
        -10010, -10034, -10058, -10082, -10106, -10131, -10155, -10180, -10205, -10230,
79
6.96M
        -10255, -10280, -10305, -10330, -10356, -10381, -10407, -10433, -10459, -10485,
80
6.96M
        -10512, -10538, -10564, -10591, -10618, -10645, -10672, -10699, -10727, -10754,
81
6.96M
        -10782, -10810, -10837, -10866, -10894, -10922, -10951, -10979, -11008, -11037,
82
6.96M
        -11066, -11096, -11125, -11155, -11184, -11214, -11244, -11275, -11305, -11335,
83
6.96M
        -11366, -11397, -11428, -11459, -11491, -11522, -11554, -11586, -11618, -11650,
84
6.96M
        -11683, -11715, -11748, -11781, -11814, -11848, -11881, -11915, -11949, -11983,
85
6.96M
        -12018, -12052, -12087, -12122, -12157, -12192, -12228, -12264, -12300, -12336,
86
6.96M
        -12372, -12409, -12446, -12483, -12520, -12557, -12595, -12633, -12671, -12710,
87
6.96M
        -12748, -12787, -12826, -12865, -12905, -12945, -12985, -13025, -13066, -13107,
88
6.96M
        -13148, -13189, -13231, -13273, -13315, -13357, -13400, -13443, -13486, -13530,
89
6.96M
        -13573, -13617, -13662, -13706, -13751, -13797, -13842, -13888, -13934, -13981,
90
6.96M
        -14027, -14074, -14122, -14169, -14217, -14266, -14315, -14364, -14413, -14463,
91
6.96M
        -14513, -14563, -14614, -14665, -14716, -14768, -14820, -14873, -14926, -14979,
92
6.96M
        -15033, -15087, -15141, -15196, -15252, -15307, -15363, -15420, -15477, -15534,
93
6.96M
        -15592, -15650, -15709, -15768, -15827, -15887, -15947, -16008, -16070, -16131,
94
6.96M
        -16194, -16256, -16320, -16384, -16448, -16513, -16578, -16644, -16710, -16777,
95
6.96M
        -16844, -16912, -16980, -17050, -17119, -17189, -17260, -17331, -17403, -17476,
96
6.96M
        -17549, -17623, -17697, -17772, -17848, -17924, -18001, -18078, -18157, -18236,
97
6.96M
        -18315, -18396, -18477, -18558, -18641, -18724, -18808, -18893, -18978, -19065,
98
6.96M
        -19152, -19239, -19328, -19418, -19508, -19599, -19691, -19784, -19878, -19972,
99
6.96M
        -20068, -20164, -20262, -20360, -20460, -20560, -20661, -20763, -20867, -20971,
100
6.96M
        -21076, -21183, -21290, -21399, -21509, -21620, -21732, -21845, -21959, -22075,
101
6.96M
        -22192, -22310, -22429, -22550, -22671, -22795, -22919, -23045, -23172, -23301,
102
6.96M
        -23431, -23563, -23696, -23831, -23967, -24105, -24244, -24385, -24528, -24672,
103
6.96M
        -24818, -24966, -25115, -25266, -25420, -25575, -25731, -25890, -26051, -26214,
104
6.96M
        -26379, -26546, -26715, -26886, -27060, -27235, -27413, -27594, -27776, -27962,
105
6.96M
        -28149, -28339, -28532, -28728, -28926, -29127, -29330, -29537, -29746, -29959,
106
6.96M
        -30174, -30393, -30615, -30840, -31068, -31300, -31536, -31775, -32017, -32263,
107
6.96M
        -32513, -32768, -33026, -33288, -33554, -33825, -34100, -34379, -34663, -34952,
108
6.96M
        -35246, -35544, -35848, -36157, -36472, -36792, -37117, -37449, -37786, -38130,
109
6.96M
        -38479, -38836, -39199, -39568, -39945, -40329, -40721, -41120, -41527, -41943,
110
6.96M
        -42366, -42799, -43240, -43690, -44150, -44620, -45100, -45590, -46091, -46603,
111
6.96M
        -47127, -47662, -48210, -48770, -49344, -49932, -50533, -51150, -51781, -52428,
112
6.96M
        -53092, -53773, -54471, -55188, -55924, -56679, -57456, -58254, -59074, -59918,
113
6.96M
        -60787, -61680, -62601, -63550, -64527, -65536, -66576, -67650, -68759, -69905,
114
6.96M
        -71089, -72315, -73584, -74898, -76260, -77672, -79137, -80659, -82241, -83886,
115
6.96M
        -85598, -87381, -89240, -91180, -93206, -95325, -97541, -99864, -102300,
116
6.96M
        -104857, -107546, -110376, -113359, -116508, -119837, -123361, -127100, -131072,
117
6.96M
        -135300, -139810, -144631, -149796, -155344, -161319, -167772, -174762, -182361,
118
6.96M
        -190650, -199728, -209715, -220752, -233016, -246723, -262144, -279620, -299593,
119
6.96M
        -322638, -349525, -381300, -419430, -466033, -524288, -599186, -699050, -838860,
120
6.96M
        -1048576, -1398101, -2097152, -4194304, 0
121
6.96M
    };
122
123
6.96M
    static constexpr size_t kLastEntry = std::size(table) - 1;
124
6.96M
    SkASSERT(SkAbs32(x) <= static_cast<int32_t>(kLastEntry));
125
6.96M
    static_assert(kLastEntry == kInverseTableSize);
126
127
6.96M
    if (x > 0) {
128
6.76M
        return -table[kLastEntry - x];
129
6.76M
    } else {
130
202k
        return table[kLastEntry + x];
131
202k
    }
132
6.96M
}
133
134
5.13M
static inline SkFixed quick_div(SkFDot6 a, SkFDot6 b) {
135
5.13M
    const int kMinBits = 3;  // abs(b) should be at least (1 << kMinBits) for quick division
136
5.13M
    const int kMaxBits = 31; // Number of bits available in signed int
137
    // Given abs(b) <= (1 << kMinBits), the inverse of abs(b) is at most 1 << (22 - kMinBits) in
138
    // SkFixed format. Hence abs(a) should be less than kMaxAbsA
139
5.13M
    const int kMaxAbsA = 1 << (kMaxBits - (22 - kMinBits));
140
5.13M
    SkFDot6 abs_a = SkAbs32(a);
141
5.13M
    SkFDot6 abs_b = SkAbs32(b);
142
5.13M
    if (abs_b >= (1 << kMinBits) && abs_b < kInverseTableSize && abs_a < kMaxAbsA) {
143
3.29M
        SkASSERT((int64_t)a * quick_inverse(b) <= SK_MaxS32
144
3.29M
              && (int64_t)a * quick_inverse(b) >= SK_MinS32);
145
3.29M
        SkFixed ourAnswer = (a * quick_inverse(b)) >> 6;
146
3.29M
        SkASSERT(
147
3.29M
            (SkFDot6Div(a,b) == 0 && ourAnswer == 0) ||
148
3.29M
            SkFixedDiv(SkAbs32(SkFDot6Div(a,b) - ourAnswer), SkAbs32(SkFDot6Div(a,b))) <= 1 << 10
149
3.29M
        );
150
3.29M
        return ourAnswer;
151
3.29M
    }
152
1.83M
    return SkFDot6Div(a, b);
153
5.13M
}
154
155
4.96M
bool SkAnalyticEdge::setLine(const SkPoint& p0, const SkPoint& p1) {
156
    // We must set X/Y using the same way (e.g., times 4, to FDot6, then to Fixed) as Quads/Cubics.
157
    // Otherwise the order of the edge might be wrong due to precision limit.
158
4.96M
    const int accuracy = kDefaultAccuracy;
159
#ifdef SK_RASTERIZE_EVEN_ROUNDING
160
    SkFixed x0 = SkFDot6ToFixed(SkScalarRoundToFDot6(p0.fX, accuracy)) >> accuracy;
161
    SkFixed y0 = SnapY(SkFDot6ToFixed(SkScalarRoundToFDot6(p0.fY, accuracy)) >> accuracy);
162
    SkFixed x1 = SkFDot6ToFixed(SkScalarRoundToFDot6(p1.fX, accuracy)) >> accuracy;
163
    SkFixed y1 = SnapY(SkFDot6ToFixed(SkScalarRoundToFDot6(p1.fY, accuracy)) >> accuracy);
164
#else
165
4.96M
    const int multiplier = (1 << kDefaultAccuracy);
166
4.96M
    SkFixed x0 = SkFDot6ToFixed(SkScalarToFDot6(p0.fX * multiplier)) >> accuracy;
167
4.96M
    SkFixed y0 = SnapY(SkFDot6ToFixed(SkScalarToFDot6(p0.fY * multiplier)) >> accuracy);
168
4.96M
    SkFixed x1 = SkFDot6ToFixed(SkScalarToFDot6(p1.fX * multiplier)) >> accuracy;
169
4.96M
    SkFixed y1 = SnapY(SkFDot6ToFixed(SkScalarToFDot6(p1.fY * multiplier)) >> accuracy);
170
4.96M
#endif
171
172
4.96M
    int winding = 1;
173
174
4.96M
    if (y0 > y1) {
175
836k
        using std::swap;
176
836k
        swap(x0, x1);
177
836k
        swap(y0, y1);
178
836k
        winding = -1;
179
836k
    }
180
181
    // are we a zero-height line?
182
4.96M
    SkFDot6 dy = SkFixedToFDot6(y1 - y0);
183
4.96M
    if (dy == 0) {
184
3.35M
        return false;
185
3.35M
    }
186
1.61M
    SkFDot6 dx = SkFixedToFDot6(x1 - x0);
187
1.61M
    SkFixed slope = quick_div(dx, dy);
188
1.61M
    SkFixed absSlope = SkAbs32(slope);
189
190
1.61M
    fX          = x0;
191
1.61M
    fDX         = slope;
192
1.61M
    fUpperX     = x0;
193
1.61M
    fY          = y0;
194
1.61M
    fUpperY     = y0;
195
1.61M
    fLowerY     = y1;
196
1.61M
    fDY         = dx == 0 || slope == 0 ? SK_MaxS32 : absSlope < kInverseTableSize
197
545k
                                                    ? quick_inverse(absSlope)
198
545k
                                                    : SkAbs32(quick_div(dy, dx));
199
1.61M
    fEdgeType   = kLine_Type;
200
1.61M
    fCurveCount = 0;
201
1.61M
    fWinding    = SkToS8(winding);
202
1.61M
    fCurveShift = 0;
203
204
1.61M
    return true;
205
4.96M
}
206
207
// This will become a bottleneck for small ovals rendering if we call SkFixedDiv twice here.
208
// Therefore, we'll let the outter function compute the slope once and send in the value.
209
// Moreover, we'll compute fDY by quickly lookup the inverse table (if possible).
210
5.67M
bool SkAnalyticEdge::updateLine(SkFixed x0, SkFixed y0, SkFixed x1, SkFixed y1, SkFixed slope) {
211
    // Since we send in the slope, we can no longer snap y inside this function.
212
    // If we don't send in the slope, or we do some more sophisticated snapping, this function
213
    // could be a performance bottleneck.
214
5.67M
    SkASSERT(fWinding == 1 || fWinding == -1);
215
5.67M
    SkASSERT(fCurveCount != 0);
216
217
    // We don't chop at y extrema for cubics so the y is not guaranteed to be increasing for them.
218
    // In that case, we have to swap x/y and negate the winding.
219
5.67M
    if (y0 > y1) {
220
0
        using std::swap;
221
0
        swap(x0, x1);
222
0
        swap(y0, y1);
223
0
        fWinding = -fWinding;
224
0
    }
225
226
5.67M
    SkASSERT(y0 <= y1);
227
228
5.67M
    SkFDot6 dx = SkFixedToFDot6(x1 - x0);
229
5.67M
    SkFDot6 dy = SkFixedToFDot6(y1 - y0);
230
231
    // are we a zero-height line?
232
5.67M
    if (dy == 0) {
233
370k
        return false;
234
370k
    }
235
236
5.30M
    SkASSERT(slope < SK_MaxS32);
237
238
5.30M
    SkFDot6     absSlope = SkAbs32(SkFixedToFDot6(slope));
239
5.30M
    fX          = x0;
240
5.30M
    fDX         = slope;
241
5.30M
    fUpperX     = x0;
242
5.30M
    fY          = y0;
243
5.30M
    fUpperY     = y0;
244
5.30M
    fLowerY     = y1;
245
5.30M
    fDY         = (dx == 0 || slope == 0)
246
5.30M
                  ? SK_MaxS32
247
5.30M
                  : absSlope < kInverseTableSize
248
3.74M
                    ? quick_inverse(absSlope)
249
3.74M
                    : SkAbs32(quick_div(dy, dx));
250
251
5.30M
    return true;
252
5.67M
}
253
254
262k
bool SkAnalyticEdge::update(SkFixed last_y, bool sortY) {
255
262k
    SkASSERT(last_y >= fLowerY); // we shouldn't update edge if last_y < fLowerY
256
262k
    if (fCurveCount < 0) {
257
28.3k
        return static_cast<SkAnalyticCubicEdge*>(this)->updateCubic(sortY);
258
233k
    } else if (fCurveCount > 0) {
259
70.6k
        return static_cast<SkAnalyticQuadraticEdge*>(this)->updateQuadratic();
260
70.6k
    }
261
163k
    return false;
262
262k
}
SkAnalyticEdge::update(int, bool)
Line
Count
Source
254
262k
bool SkAnalyticEdge::update(SkFixed last_y, bool sortY) {
255
262k
    SkASSERT(last_y >= fLowerY); // we shouldn't update edge if last_y < fLowerY
256
262k
    if (fCurveCount < 0) {
257
28.3k
        return static_cast<SkAnalyticCubicEdge*>(this)->updateCubic(sortY);
258
233k
    } else if (fCurveCount > 0) {
259
70.6k
        return static_cast<SkAnalyticQuadraticEdge*>(this)->updateQuadratic();
260
70.6k
    }
261
163k
    return false;
262
262k
}
Unexecuted instantiation: SkAnalyticEdge::update(int, bool)
263
264
1.34M
bool SkAnalyticQuadraticEdge::setQuadratic(const SkPoint pts[3]) {
265
1.34M
    if (!fQEdge.setQuadraticWithoutUpdate(pts, kDefaultAccuracy)) {
266
598k
        return false;
267
598k
    }
268
745k
    fQEdge.fQx >>= kDefaultAccuracy;
269
745k
    fQEdge.fQy >>= kDefaultAccuracy;
270
745k
    fQEdge.fQDx >>= kDefaultAccuracy;
271
745k
    fQEdge.fQDy >>= kDefaultAccuracy;
272
745k
    fQEdge.fQDDx >>= kDefaultAccuracy;
273
745k
    fQEdge.fQDDy >>= kDefaultAccuracy;
274
745k
    fQEdge.fQLastX >>= kDefaultAccuracy;
275
745k
    fQEdge.fQLastY >>= kDefaultAccuracy;
276
745k
    fQEdge.fQy = SnapY(fQEdge.fQy);
277
745k
    fQEdge.fQLastY = SnapY(fQEdge.fQLastY);
278
279
745k
    fWinding = fQEdge.fWinding;
280
745k
    fEdgeType = kQuad_Type;
281
745k
    fCurveCount = fQEdge.fCurveCount;
282
745k
    fCurveShift = fQEdge.fCurveShift;
283
284
745k
    fSnappedX = fQEdge.fQx;
285
745k
    fSnappedY = fQEdge.fQy;
286
287
745k
    return this->updateQuadratic();
288
1.34M
}
289
290
2.93M
bool SkAnalyticQuadraticEdge::updateQuadratic() {
291
2.93M
    int     success = 0; // initialize to fail!
292
2.93M
    int     count = fCurveCount;
293
2.93M
    SkFixed oldx = fQEdge.fQx;
294
2.93M
    SkFixed oldy = fQEdge.fQy;
295
2.93M
    SkFixed dx = fQEdge.fQDx;
296
2.93M
    SkFixed dy = fQEdge.fQDy;
297
2.93M
    SkFixed newx, newy, newSnappedX, newSnappedY;
298
2.93M
    int     shift = fCurveShift;
299
300
2.93M
    SkASSERT(count > 0);
301
302
3.03M
    do {
303
3.03M
        SkFixed slope;
304
3.03M
        if (--count > 0)
305
2.28M
        {
306
2.28M
            newx    = oldx + (dx >> shift);
307
2.28M
            newy    = oldy + (dy >> shift);
308
2.28M
            if (SkAbs32(dy >> shift) >= SK_Fixed1 * 2) { // only snap when dy is large enough
309
1.67M
                SkFDot6 diffY = SkFixedToFDot6(newy - fSnappedY);
310
1.67M
                slope = diffY ? quick_div(SkFixedToFDot6(newx - fSnappedX), diffY)
311
1.67M
                              : SK_MaxS32;
312
1.67M
                newSnappedY = std::min<SkFixed>(fQEdge.fQLastY, SkFixedRoundToFixed(newy));
313
1.67M
                newSnappedX = newx - SkFixedMul(slope, newy - newSnappedY);
314
1.67M
            } else {
315
615k
                newSnappedY = std::min(fQEdge.fQLastY, SnapY(newy));
316
615k
                newSnappedX = newx;
317
615k
                SkFDot6 diffY = SkFixedToFDot6(newSnappedY - fSnappedY);
318
615k
                slope = diffY ? quick_div(SkFixedToFDot6(newx - fSnappedX), diffY)
319
615k
                              : SK_MaxS32;
320
615k
            }
321
2.28M
            dx += fQEdge.fQDDx;
322
2.28M
            dy += fQEdge.fQDDy;
323
2.28M
        }
324
745k
        else    // last segment
325
745k
        {
326
745k
            newx    = fQEdge.fQLastX;
327
745k
            newy    = fQEdge.fQLastY;
328
745k
            newSnappedY = newy;
329
745k
            newSnappedX = newx;
330
745k
            SkFDot6 diffY = (newy - fSnappedY) >> 10;
331
745k
            slope = diffY ? quick_div((newx - fSnappedX) >> 10, diffY) : SK_MaxS32;
332
745k
        }
333
3.03M
        if (slope < SK_MaxS32) {
334
2.89M
            success = this->updateLine(fSnappedX, fSnappedY, newSnappedX, newSnappedY, slope);
335
2.89M
        }
336
3.03M
        oldx = newx;
337
3.03M
        oldy = newy;
338
3.03M
    } while (count > 0 && !success);
339
340
2.93M
    SkASSERT(newSnappedY <= fQEdge.fQLastY);
341
342
2.93M
    fQEdge.fQx  = newx;
343
2.93M
    fQEdge.fQy  = newy;
344
2.93M
    fQEdge.fQDx = dx;
345
2.93M
    fQEdge.fQDy = dy;
346
2.93M
    fSnappedX   = newSnappedX;
347
2.93M
    fSnappedY   = newSnappedY;
348
2.93M
    fCurveCount = SkToS8(count);
349
2.93M
    return success;
350
2.93M
}
SkAnalyticQuadraticEdge::updateQuadratic()
Line
Count
Source
290
2.93M
bool SkAnalyticQuadraticEdge::updateQuadratic() {
291
2.93M
    int     success = 0; // initialize to fail!
292
2.93M
    int     count = fCurveCount;
293
2.93M
    SkFixed oldx = fQEdge.fQx;
294
2.93M
    SkFixed oldy = fQEdge.fQy;
295
2.93M
    SkFixed dx = fQEdge.fQDx;
296
2.93M
    SkFixed dy = fQEdge.fQDy;
297
2.93M
    SkFixed newx, newy, newSnappedX, newSnappedY;
298
2.93M
    int     shift = fCurveShift;
299
300
2.93M
    SkASSERT(count > 0);
301
302
3.03M
    do {
303
3.03M
        SkFixed slope;
304
3.03M
        if (--count > 0)
305
2.28M
        {
306
2.28M
            newx    = oldx + (dx >> shift);
307
2.28M
            newy    = oldy + (dy >> shift);
308
2.28M
            if (SkAbs32(dy >> shift) >= SK_Fixed1 * 2) { // only snap when dy is large enough
309
1.67M
                SkFDot6 diffY = SkFixedToFDot6(newy - fSnappedY);
310
1.67M
                slope = diffY ? quick_div(SkFixedToFDot6(newx - fSnappedX), diffY)
311
1.67M
                              : SK_MaxS32;
312
1.67M
                newSnappedY = std::min<SkFixed>(fQEdge.fQLastY, SkFixedRoundToFixed(newy));
313
1.67M
                newSnappedX = newx - SkFixedMul(slope, newy - newSnappedY);
314
1.67M
            } else {
315
615k
                newSnappedY = std::min(fQEdge.fQLastY, SnapY(newy));
316
615k
                newSnappedX = newx;
317
615k
                SkFDot6 diffY = SkFixedToFDot6(newSnappedY - fSnappedY);
318
615k
                slope = diffY ? quick_div(SkFixedToFDot6(newx - fSnappedX), diffY)
319
615k
                              : SK_MaxS32;
320
615k
            }
321
2.28M
            dx += fQEdge.fQDDx;
322
2.28M
            dy += fQEdge.fQDDy;
323
2.28M
        }
324
745k
        else    // last segment
325
745k
        {
326
745k
            newx    = fQEdge.fQLastX;
327
745k
            newy    = fQEdge.fQLastY;
328
745k
            newSnappedY = newy;
329
745k
            newSnappedX = newx;
330
745k
            SkFDot6 diffY = (newy - fSnappedY) >> 10;
331
745k
            slope = diffY ? quick_div((newx - fSnappedX) >> 10, diffY) : SK_MaxS32;
332
745k
        }
333
3.03M
        if (slope < SK_MaxS32) {
334
2.89M
            success = this->updateLine(fSnappedX, fSnappedY, newSnappedX, newSnappedY, slope);
335
2.89M
        }
336
3.03M
        oldx = newx;
337
3.03M
        oldy = newy;
338
3.03M
    } while (count > 0 && !success);
339
340
2.93M
    SkASSERT(newSnappedY <= fQEdge.fQLastY);
341
342
2.93M
    fQEdge.fQx  = newx;
343
2.93M
    fQEdge.fQy  = newy;
344
2.93M
    fQEdge.fQDx = dx;
345
2.93M
    fQEdge.fQDy = dy;
346
2.93M
    fSnappedX   = newSnappedX;
347
2.93M
    fSnappedY   = newSnappedY;
348
2.93M
    fCurveCount = SkToS8(count);
349
2.93M
    return success;
350
2.93M
}
Unexecuted instantiation: SkAnalyticQuadraticEdge::updateQuadratic()
351
352
1.28M
bool SkAnalyticCubicEdge::setCubic(const SkPoint pts[4], bool sortY) {
353
1.28M
    if (!fCEdge.setCubicWithoutUpdate(pts, kDefaultAccuracy, sortY)) {
354
839k
        return false;
355
839k
    }
356
357
443k
    fCEdge.fCx >>= kDefaultAccuracy;
358
443k
    fCEdge.fCy >>= kDefaultAccuracy;
359
443k
    fCEdge.fCDx >>= kDefaultAccuracy;
360
443k
    fCEdge.fCDy >>= kDefaultAccuracy;
361
443k
    fCEdge.fCDDx >>= kDefaultAccuracy;
362
443k
    fCEdge.fCDDy >>= kDefaultAccuracy;
363
443k
    fCEdge.fCDDDx >>= kDefaultAccuracy;
364
443k
    fCEdge.fCDDDy >>= kDefaultAccuracy;
365
443k
    fCEdge.fCLastX >>= kDefaultAccuracy;
366
443k
    fCEdge.fCLastY >>= kDefaultAccuracy;
367
443k
    fCEdge.fCy = SnapY(fCEdge.fCy);
368
443k
    fCEdge.fCLastY = SnapY(fCEdge.fCLastY);
369
370
443k
    fWinding = fCEdge.fWinding;
371
443k
    fEdgeType = kCubic_Type;
372
443k
    fCurveCount = fCEdge.fCurveCount;
373
443k
    fCurveShift = fCEdge.fCurveShift;
374
443k
    fCubicDShift = fCEdge.fCubicDShift;
375
376
443k
    fSnappedY = fCEdge.fCy;
377
378
443k
    return this->updateCubic(sortY);
379
1.28M
}
380
381
2.65M
bool SkAnalyticCubicEdge::updateCubic(bool sortY) {
382
2.65M
    int     success;
383
2.65M
    int     count = fCurveCount;
384
2.65M
    SkFixed oldx = fCEdge.fCx;
385
2.65M
    SkFixed oldy = fCEdge.fCy;
386
2.65M
    SkFixed newx, newy;
387
2.65M
    const int ddshift = fCurveShift;
388
2.65M
    const int dshift = fCubicDShift;
389
390
2.65M
    SkASSERT(count < 0);
391
392
2.78M
    do {
393
2.78M
        if (++count < 0) {
394
2.33M
            newx    = oldx + (fCEdge.fCDx >> dshift);
395
2.33M
            fCEdge.fCDx    += fCEdge.fCDDx >> ddshift;
396
2.33M
            fCEdge.fCDDx   += fCEdge.fCDDDx;
397
398
2.33M
            newy    = oldy + (fCEdge.fCDy >> dshift);
399
2.33M
            fCEdge.fCDy    += fCEdge.fCDDy >> ddshift;
400
2.33M
            fCEdge.fCDDy   += fCEdge.fCDDDy;
401
2.33M
        }
402
443k
        else {    // last segment
403
443k
            newx    = fCEdge.fCLastX;
404
443k
            newy    = fCEdge.fCLastY;
405
443k
        }
406
407
        // we want to say SkASSERT(oldy <= newy), but our finite fixedpoint
408
        // doesn't always achieve that, so we have to explicitly pin it here.
409
2.78M
        if (sortY && newy < oldy) {
410
11.1k
            newy = oldy;
411
11.1k
        }
412
413
2.78M
        SkFixed newSnappedY = SnapY(newy);
414
        // we want to SkASSERT(snappedNewY <= fCEdge.fCLastY), but our finite fixedpoint
415
        // doesn't always achieve that, so we have to explicitly pin it here.
416
2.78M
        if (sortY && fCEdge.fCLastY < newSnappedY) {
417
358
            newSnappedY = fCEdge.fCLastY;
418
358
            count = 0;
419
358
        }
420
421
2.78M
        SkFixed slope = SkFixedToFDot6(newSnappedY - fSnappedY) == 0
422
2.78M
                        ? SK_MaxS32
423
2.78M
                        : SkFDot6Div(SkFixedToFDot6(newx - oldx),
424
2.41M
                                     SkFixedToFDot6(newSnappedY - fSnappedY));
425
426
2.78M
        success = this->updateLine(oldx, fSnappedY, newx, newSnappedY, slope);
427
428
2.78M
        oldx = newx;
429
2.78M
        oldy = newy;
430
2.78M
        fSnappedY = newSnappedY;
431
2.78M
    } while (count < 0 && !success);
432
433
2.65M
    fCEdge.fCx  = newx;
434
2.65M
    fCEdge.fCy  = newy;
435
2.65M
    fCurveCount = SkToS8(count);
436
2.65M
    return success;
437
2.65M
}
SkAnalyticCubicEdge::updateCubic(bool)
Line
Count
Source
381
2.65M
bool SkAnalyticCubicEdge::updateCubic(bool sortY) {
382
2.65M
    int     success;
383
2.65M
    int     count = fCurveCount;
384
2.65M
    SkFixed oldx = fCEdge.fCx;
385
2.65M
    SkFixed oldy = fCEdge.fCy;
386
2.65M
    SkFixed newx, newy;
387
2.65M
    const int ddshift = fCurveShift;
388
2.65M
    const int dshift = fCubicDShift;
389
390
2.65M
    SkASSERT(count < 0);
391
392
2.78M
    do {
393
2.78M
        if (++count < 0) {
394
2.33M
            newx    = oldx + (fCEdge.fCDx >> dshift);
395
2.33M
            fCEdge.fCDx    += fCEdge.fCDDx >> ddshift;
396
2.33M
            fCEdge.fCDDx   += fCEdge.fCDDDx;
397
398
2.33M
            newy    = oldy + (fCEdge.fCDy >> dshift);
399
2.33M
            fCEdge.fCDy    += fCEdge.fCDDy >> ddshift;
400
2.33M
            fCEdge.fCDDy   += fCEdge.fCDDDy;
401
2.33M
        }
402
443k
        else {    // last segment
403
443k
            newx    = fCEdge.fCLastX;
404
443k
            newy    = fCEdge.fCLastY;
405
443k
        }
406
407
        // we want to say SkASSERT(oldy <= newy), but our finite fixedpoint
408
        // doesn't always achieve that, so we have to explicitly pin it here.
409
2.78M
        if (sortY && newy < oldy) {
410
11.1k
            newy = oldy;
411
11.1k
        }
412
413
2.78M
        SkFixed newSnappedY = SnapY(newy);
414
        // we want to SkASSERT(snappedNewY <= fCEdge.fCLastY), but our finite fixedpoint
415
        // doesn't always achieve that, so we have to explicitly pin it here.
416
2.78M
        if (sortY && fCEdge.fCLastY < newSnappedY) {
417
358
            newSnappedY = fCEdge.fCLastY;
418
358
            count = 0;
419
358
        }
420
421
2.78M
        SkFixed slope = SkFixedToFDot6(newSnappedY - fSnappedY) == 0
422
2.78M
                        ? SK_MaxS32
423
2.78M
                        : SkFDot6Div(SkFixedToFDot6(newx - oldx),
424
2.41M
                                     SkFixedToFDot6(newSnappedY - fSnappedY));
425
426
2.78M
        success = this->updateLine(oldx, fSnappedY, newx, newSnappedY, slope);
427
428
2.78M
        oldx = newx;
429
2.78M
        oldy = newy;
430
2.78M
        fSnappedY = newSnappedY;
431
2.78M
    } while (count < 0 && !success);
432
433
2.65M
    fCEdge.fCx  = newx;
434
2.65M
    fCEdge.fCy  = newy;
435
2.65M
    fCurveCount = SkToS8(count);
436
2.65M
    return success;
437
2.65M
}
Unexecuted instantiation: SkAnalyticCubicEdge::updateCubic(bool)