1 /* 2 * Copyright 2014 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 "SkRecordOpts.h" 9 10 #include "SkRecordPattern.h" 11 #include "SkRecords.h" 12 #include "SkTDArray.h" 13 14 using namespace SkRecords; 15 16 // Most of the optimizations in this file are pattern-based. These are all defined as structs with: 17 // - a Match typedef 18 // - a bool onMatch(SkRceord*, Match*, int begin, int end) method, 19 // which returns true if it made changes and false if not. 20 21 // Run a pattern-based optimization once across the SkRecord, returning true if it made any changes. 22 // It looks for spans which match Pass::Match, and when found calls onMatch() with that pattern, 23 // record, and [begin,end) span of the commands that matched. 24 template <typename Pass> 25 static bool apply(Pass* pass, SkRecord* record) { 26 typename Pass::Match match; 27 bool changed = false; 28 int begin, end = 0; 29 30 while (match.search(record, &begin, &end)) { 31 changed |= pass->onMatch(record, &match, begin, end); 32 } 33 return changed; 34 } 35 36 /////////////////////////////////////////////////////////////////////////////////////////////////// 37 38 static void multiple_set_matrices(SkRecord* record) { 39 struct { 40 typedef Pattern<Is<SetMatrix>, 41 Greedy<Is<NoOp>>, 42 Is<SetMatrix> > 43 Match; 44 45 bool onMatch(SkRecord* record, Match* pattern, int begin, int end) { 46 record->replace<NoOp>(begin); // first SetMatrix 47 return true; 48 } 49 } pass; 50 while (apply(&pass, record)); 51 } 52 53 /////////////////////////////////////////////////////////////////////////////////////////////////// 54 55 #if 0 // experimental, but needs knowledge of previous matrix to operate correctly 56 static void apply_matrix_to_draw_params(SkRecord* record) { 57 struct { 58 typedef Pattern<Is<SetMatrix>, 59 Greedy<Is<NoOp>>, 60 Is<SetMatrix> > 61 Pattern; 62 63 bool onMatch(SkRecord* record, Pattern* pattern, int begin, int end) { 64 record->replace<NoOp>(begin); // first SetMatrix 65 return true; 66 } 67 } pass; 68 // No need to loop, as we never "open up" opportunities for more of this type of optimization. 69 apply(&pass, record); 70 } 71 #endif 72 73 /////////////////////////////////////////////////////////////////////////////////////////////////// 74 75 // Turns the logical NoOp Save and Restore in Save-Draw*-Restore patterns into actual NoOps. 76 struct SaveOnlyDrawsRestoreNooper { 77 typedef Pattern<Is<Save>, 78 Greedy<Or<Is<NoOp>, IsDraw>>, 79 Is<Restore>> 80 Match; 81 82 bool onMatch(SkRecord* record, Match*, int begin, int end) { 83 record->replace<NoOp>(begin); // Save 84 record->replace<NoOp>(end-1); // Restore 85 return true; 86 } 87 }; 88 89 static bool fold_opacity_layer_color_to_paint(const SkPaint* layerPaint, 90 bool isSaveLayer, 91 SkPaint* paint) { 92 // We assume layerPaint is always from a saveLayer. If isSaveLayer is 93 // true, we assume paint is too. 94 95 // The alpha folding can proceed if the filter layer paint does not have properties which cause 96 // the resulting filter layer to be "blended" in complex ways to the parent layer. For example, 97 // looper drawing unmodulated filter layer twice and then modulating the result produces 98 // different image to drawing modulated filter layer twice. 99 // TODO: most likely the looper and only some xfer modes are the hard constraints 100 if (!paint->isSrcOver() || paint->getLooper()) { 101 return false; 102 } 103 104 if (!isSaveLayer && paint->getImageFilter()) { 105 // For normal draws, the paint color is used as one input for the color for the draw. Image 106 // filter will operate on the result, and thus we can not change the input. 107 // For layer saves, the image filter is applied to the layer contents. The layer is then 108 // modulated with the paint color, so it's fine to proceed with the fold for saveLayer 109 // paints with image filters. 110 return false; 111 } 112 113 if (paint->getColorFilter()) { 114 // Filter input depends on the paint color. 115 116 // Here we could filter the color if we knew the draw is going to be uniform color. This 117 // should be detectable as drawPath/drawRect/.. without a shader being uniform, while 118 // drawBitmap/drawSprite or a shader being non-uniform. However, current matchers don't 119 // give the type out easily, so just do not optimize that at the moment. 120 return false; 121 } 122 123 if (layerPaint) { 124 const uint32_t layerColor = layerPaint->getColor(); 125 // The layer paint color must have only alpha component. 126 if (SK_ColorTRANSPARENT != SkColorSetA(layerColor, SK_AlphaTRANSPARENT)) { 127 return false; 128 } 129 130 // The layer paint can not have any effects. 131 if (layerPaint->getPathEffect() || 132 layerPaint->getShader() || 133 !layerPaint->isSrcOver() || 134 layerPaint->getMaskFilter() || 135 layerPaint->getColorFilter() || 136 layerPaint->getRasterizer() || 137 layerPaint->getLooper() || 138 layerPaint->getImageFilter()) { 139 return false; 140 } 141 paint->setAlpha(SkMulDiv255Round(paint->getAlpha(), SkColorGetA(layerColor))); 142 } 143 144 return true; 145 } 146 147 // Turns logical no-op Save-[non-drawing command]*-Restore patterns into actual no-ops. 148 struct SaveNoDrawsRestoreNooper { 149 // Greedy matches greedily, so we also have to exclude Save and Restore. 150 // Nested SaveLayers need to be excluded, or we'll match their Restore! 151 typedef Pattern<Is<Save>, 152 Greedy<Not<Or<Is<Save>, 153 Is<SaveLayer>, 154 Is<Restore>, 155 IsDraw>>>, 156 Is<Restore>> 157 Match; 158 159 bool onMatch(SkRecord* record, Match*, int begin, int end) { 160 // The entire span between Save and Restore (inclusively) does nothing. 161 for (int i = begin; i < end; i++) { 162 record->replace<NoOp>(i); 163 } 164 return true; 165 } 166 }; 167 void SkRecordNoopSaveRestores(SkRecord* record) { 168 SaveOnlyDrawsRestoreNooper onlyDraws; 169 SaveNoDrawsRestoreNooper noDraws; 170 171 // Run until they stop changing things. 172 while (apply(&onlyDraws, record) || apply(&noDraws, record)); 173 } 174 175 #ifndef SK_BUILD_FOR_ANDROID_FRAMEWORK 176 static bool effectively_srcover(const SkPaint* paint) { 177 if (!paint || paint->isSrcOver()) { 178 return true; 179 } 180 // src-mode with opaque and no effects (which might change opaqueness) is ok too. 181 return !paint->getShader() && !paint->getColorFilter() && !paint->getImageFilter() && 182 0xFF == paint->getAlpha() && paint->getBlendMode() == SkBlendMode::kSrc; 183 } 184 185 // For some SaveLayer-[drawing command]-Restore patterns, merge the SaveLayer's alpha into the 186 // draw, and no-op the SaveLayer and Restore. 187 struct SaveLayerDrawRestoreNooper { 188 typedef Pattern<Is<SaveLayer>, IsDraw, Is<Restore>> Match; 189 190 bool onMatch(SkRecord* record, Match* match, int begin, int end) { 191 if (match->first<SaveLayer>()->backdrop || match->first<SaveLayer>()->clipMask) { 192 // can't throw away the layer if we have a backdrop or clip mask 193 return false; 194 } 195 196 if (match->first<SaveLayer>()->saveLayerFlags & (1U << 31)) { 197 // can't throw away the layer if the kDontClipToLayer_PrivateSaveLayerFlag is set 198 return false; 199 } 200 201 // A SaveLayer's bounds field is just a hint, so we should be free to ignore it. 202 SkPaint* layerPaint = match->first<SaveLayer>()->paint; 203 SkPaint* drawPaint = match->second<SkPaint>(); 204 205 if (nullptr == layerPaint && effectively_srcover(drawPaint)) { 206 // There wasn't really any point to this SaveLayer at all. 207 return KillSaveLayerAndRestore(record, begin); 208 } 209 210 if (drawPaint == nullptr) { 211 // We can just give the draw the SaveLayer's paint. 212 // TODO(mtklein): figure out how to do this clearly 213 return false; 214 } 215 216 if (!fold_opacity_layer_color_to_paint(layerPaint, false /*isSaveLayer*/, drawPaint)) { 217 return false; 218 } 219 220 return KillSaveLayerAndRestore(record, begin); 221 } 222 223 static bool KillSaveLayerAndRestore(SkRecord* record, int saveLayerIndex) { 224 record->replace<NoOp>(saveLayerIndex); // SaveLayer 225 record->replace<NoOp>(saveLayerIndex+2); // Restore 226 return true; 227 } 228 }; 229 void SkRecordNoopSaveLayerDrawRestores(SkRecord* record) { 230 SaveLayerDrawRestoreNooper pass; 231 apply(&pass, record); 232 } 233 #endif 234 235 /* For SVG generated: 236 SaveLayer (non-opaque, typically for CSS opacity) 237 Save 238 ClipRect 239 SaveLayer (typically for SVG filter) 240 Restore 241 Restore 242 Restore 243 */ 244 struct SvgOpacityAndFilterLayerMergePass { 245 typedef Pattern<Is<SaveLayer>, Is<Save>, Is<ClipRect>, Is<SaveLayer>, 246 Is<Restore>, Is<Restore>, Is<Restore>> Match; 247 248 bool onMatch(SkRecord* record, Match* match, int begin, int end) { 249 if (match->first<SaveLayer>()->backdrop) { 250 // can't throw away the layer if we have a backdrop 251 return false; 252 } 253 254 SkPaint* opacityPaint = match->first<SaveLayer>()->paint; 255 if (nullptr == opacityPaint) { 256 // There wasn't really any point to this SaveLayer at all. 257 return KillSaveLayerAndRestore(record, begin); 258 } 259 260 // This layer typically contains a filter, but this should work for layers with for other 261 // purposes too. 262 SkPaint* filterLayerPaint = match->fourth<SaveLayer>()->paint; 263 if (filterLayerPaint == nullptr) { 264 // We can just give the inner SaveLayer the paint of the outer SaveLayer. 265 // TODO(mtklein): figure out how to do this clearly 266 return false; 267 } 268 269 if (!fold_opacity_layer_color_to_paint(opacityPaint, true /*isSaveLayer*/, 270 filterLayerPaint)) { 271 return false; 272 } 273 274 return KillSaveLayerAndRestore(record, begin); 275 } 276 277 static bool KillSaveLayerAndRestore(SkRecord* record, int saveLayerIndex) { 278 record->replace<NoOp>(saveLayerIndex); // SaveLayer 279 record->replace<NoOp>(saveLayerIndex + 6); // Restore 280 return true; 281 } 282 }; 283 284 void SkRecordMergeSvgOpacityAndFilterLayers(SkRecord* record) { 285 SvgOpacityAndFilterLayerMergePass pass; 286 apply(&pass, record); 287 } 288 289 /////////////////////////////////////////////////////////////////////////////////////////////////// 290 291 void SkRecordOptimize(SkRecord* record) { 292 // This might be useful as a first pass in the future if we want to weed 293 // out junk for other optimization passes. Right now, nothing needs it, 294 // and the bounding box hierarchy will do the work of skipping no-op 295 // Save-NoDraw-Restore sequences better than we can here. 296 // As there is a known problem with this peephole and drawAnnotation, disable this. 297 // If we want to enable this we must first fix this bug: 298 // https://bugs.chromium.org/p/skia/issues/detail?id=5548 299 // SkRecordNoopSaveRestores(record); 300 301 // Turn off this optimization completely for Android framework 302 // because it makes the following Android CTS test fail: 303 // android.uirendering.cts.testclasses.LayerTests#testSaveLayerClippedWithAlpha 304 #ifndef SK_BUILD_FOR_ANDROID_FRAMEWORK 305 SkRecordNoopSaveLayerDrawRestores(record); 306 #endif 307 SkRecordMergeSvgOpacityAndFilterLayers(record); 308 309 record->defrag(); 310 } 311 312 void SkRecordOptimize2(SkRecord* record) { 313 multiple_set_matrices(record); 314 SkRecordNoopSaveRestores(record); 315 // See why we turn this off in SkRecordOptimize above. 316 #ifndef SK_BUILD_FOR_ANDROID_FRAMEWORK 317 SkRecordNoopSaveLayerDrawRestores(record); 318 #endif 319 SkRecordMergeSvgOpacityAndFilterLayers(record); 320 321 record->defrag(); 322 } 323