blob: 96c3def07b560bc21505e912bad065816de09713 [file] [log] [blame]
joshualitt4d8da812015-01-28 12:53:54 -08001/*
2 * Copyright 2015 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
Brian Salomon53e4c3c2016-12-21 11:38:53 -05008#ifndef GrOp_DEFINED
9#define GrOp_DEFINED
joshualitt4d8da812015-01-28 12:53:54 -080010
Mike Kleinc0bd9f92019-04-23 12:05:21 -050011#include "include/core/SkMatrix.h"
12#include "include/core/SkRect.h"
13#include "include/core/SkString.h"
Robert Phillipsb7bfbc22020-07-01 12:55:01 -040014#include "include/gpu/GrRecordingContext.h"
Greg Daniel456f9b52020-03-05 19:14:18 +000015#include "src/gpu/GrGpuResource.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050016#include "src/gpu/GrTracing.h"
17#include "src/gpu/GrXferProcessor.h"
Mike Klein0ec1c572018-12-04 11:52:51 -050018#include <atomic>
19#include <new>
joshualitt4d8da812015-01-28 12:53:54 -080020
Robert Phillips61fc7992019-10-22 11:58:17 -040021class GrAppliedClip;
bsalomon16b99132015-08-13 14:55:50 -070022class GrCaps;
Brian Salomon742e31d2016-12-07 17:06:19 -050023class GrOpFlushState;
Greg Daniel2d41d0d2019-08-26 11:08:51 -040024class GrOpsRenderPass;
joshualitt4d8da812015-01-28 12:53:54 -080025
bsalomonabd30f52015-08-13 13:34:48 -070026/**
Brian Salomon53e4c3c2016-12-21 11:38:53 -050027 * GrOp is the base class for all Ganesh deferred GPU operations. To facilitate reordering and to
28 * minimize draw calls, Ganesh does not generate geometry inline with draw calls. Instead, it
29 * captures the arguments to the draw and then generates the geometry when flushing. This gives GrOp
30 * subclasses complete freedom to decide how/when to combine in order to produce fewer draw calls
31 * and minimize state changes.
joshualitt4d8da812015-01-28 12:53:54 -080032 *
Brian Salomond25f5bc2018-08-08 11:25:17 -040033 * Ops of the same subclass may be merged or chained using combineIfPossible. When two ops merge,
34 * one takes on the union of the data and the other is left empty. The merged op becomes responsible
35 * for drawing the data from both the original ops. When ops are chained each op maintains its own
36 * data but they are linked in a list and the head op becomes responsible for executing the work for
37 * the chain.
bsalomondb4758c2015-11-23 11:14:20 -080038 *
Brian Salomon588cec72018-11-14 13:56:37 -050039 * It is required that chainability is transitive. Moreover, if op A is able to merge with B then
40 * it must be the case that any op that can chain with A will either merge or chain with any op
41 * that can chain to B.
42 *
Brian Salomon25a88092016-12-01 09:36:50 -050043 * The bounds of the op must contain all the vertices in device space *irrespective* of the clip.
bsalomondb4758c2015-11-23 11:14:20 -080044 * The bounds are used in determining which clip elements must be applied and thus the bounds cannot
45 * in turn depend upon the clip.
joshualitt4d8da812015-01-28 12:53:54 -080046 */
Brian Salomon25a88092016-12-01 09:36:50 -050047#define GR_OP_SPEW 0
48#if GR_OP_SPEW
49 #define GrOP_SPEW(code) code
50 #define GrOP_INFO(...) SkDebugf(__VA_ARGS__)
joshualittca1f07e2015-08-07 08:11:19 -070051#else
Brian Salomon25a88092016-12-01 09:36:50 -050052 #define GrOP_SPEW(code)
53 #define GrOP_INFO(...)
joshualittca1f07e2015-08-07 08:11:19 -070054#endif
joshualitt4d8da812015-01-28 12:53:54 -080055
Robert Phillips27483912018-04-20 12:43:18 -040056// Print out op information at flush time
57#define GR_FLUSH_TIME_OP_SPEW 0
58
reed1b55a962015-09-17 20:16:13 -070059// A helper macro to generate a class static id
Brian Salomon25a88092016-12-01 09:36:50 -050060#define DEFINE_OP_CLASS_ID \
reed1b55a962015-09-17 20:16:13 -070061 static uint32_t ClassID() { \
Brian Salomon25a88092016-12-01 09:36:50 -050062 static uint32_t kClassID = GenOpClassID(); \
reed1b55a962015-09-17 20:16:13 -070063 return kClassID; \
64 }
65
Brian Salomonf8334782017-01-03 09:42:58 -050066class GrOp : private SkNoncopyable {
joshualitt4d8da812015-01-28 12:53:54 -080067public:
Brian Salomon588cec72018-11-14 13:56:37 -050068 virtual ~GrOp() = default;
joshualitt4d8da812015-01-28 12:53:54 -080069
70 virtual const char* name() const = 0;
joshualitt4d8da812015-01-28 12:53:54 -080071
Brian Salomon7e67dca2020-07-21 09:27:25 -040072 using VisitProxyFunc = std::function<void(GrSurfaceProxy*, GrMipmapped)>;
Robert Phillipsb493eeb2017-09-13 13:10:52 -040073
Chris Dalton1706cbf2019-05-21 19:35:29 -060074 virtual void visitProxies(const VisitProxyFunc&) const {
Robert Phillipsb493eeb2017-09-13 13:10:52 -040075 // This default implementation assumes the op has no proxies
76 }
77
Brian Salomon7eae3e02018-08-07 14:02:38 +000078 enum class CombineResult {
79 /**
80 * The op that combineIfPossible was called on now represents its own work plus that of
Brian Salomond25f5bc2018-08-08 11:25:17 -040081 * the passed op. The passed op should be destroyed without being flushed. Currently it
82 * is not legal to merge an op passed to combineIfPossible() the passed op is already in a
83 * chain (though the op on which combineIfPossible() was called may be).
Brian Salomon7eae3e02018-08-07 14:02:38 +000084 */
85 kMerged,
86 /**
Brian Salomond25f5bc2018-08-08 11:25:17 -040087 * The caller *may* (but is not required) to chain these ops together. If they are chained
88 * then prepare() and execute() will be called on the head op but not the other ops in the
89 * chain. The head op will prepare and execute on behalf of all the ops in the chain.
90 */
91 kMayChain,
92 /**
Brian Salomon7eae3e02018-08-07 14:02:38 +000093 * The ops cannot be combined.
94 */
95 kCannotCombine
96 };
97
Michael Ludwig28b0c5d2019-12-19 14:51:00 -050098 // The arenas are the same as what was available when the op was created.
99 CombineResult combineIfPossible(GrOp* that, GrRecordingContext::Arenas* arena,
100 const GrCaps& caps);
joshualitt4d8da812015-01-28 12:53:54 -0800101
bsalomon88cf17d2016-07-08 06:40:56 -0700102 const SkRect& bounds() const {
103 SkASSERT(kUninitialized_BoundsFlag != fBoundsFlags);
104 return fBounds;
105 }
106
Brian Salomon9e50f7b2017-03-06 12:02:34 -0500107 void setClippedBounds(const SkRect& clippedBounds) {
108 fBounds = clippedBounds;
109 // The clipped bounds already incorporate any effect of the bounds flags.
110 fBoundsFlags = 0;
111 }
112
bsalomon88cf17d2016-07-08 06:40:56 -0700113 bool hasAABloat() const {
114 SkASSERT(fBoundsFlags != kUninitialized_BoundsFlag);
115 return SkToBool(fBoundsFlags & kAABloat_BoundsFlag);
116 }
117
118 bool hasZeroArea() const {
119 SkASSERT(fBoundsFlags != kUninitialized_BoundsFlag);
120 return SkToBool(fBoundsFlags & kZeroArea_BoundsFlag);
121 }
joshualitt99c7c072015-05-01 13:43:30 -0700122
Robert Phillipsc994a932018-06-19 13:09:54 -0400123#ifdef SK_DEBUG
124 // All GrOp-derived classes should be allocated in and deleted from a GrMemoryPool
joshualitt4d8da812015-01-28 12:53:54 -0800125 void* operator new(size_t size);
126 void operator delete(void* target);
127
128 void* operator new(size_t size, void* placement) {
129 return ::operator new(size, placement);
130 }
131 void operator delete(void* target, void* placement) {
132 ::operator delete(target, placement);
133 }
Robert Phillipsc994a932018-06-19 13:09:54 -0400134#endif
joshualitt4d8da812015-01-28 12:53:54 -0800135
136 /**
Brian Salomon25a88092016-12-01 09:36:50 -0500137 * Helper for safely down-casting to a GrOp subclass
bsalomonabd30f52015-08-13 13:34:48 -0700138 */
reed1b55a962015-09-17 20:16:13 -0700139 template <typename T> const T& cast() const {
140 SkASSERT(T::ClassID() == this->classID());
141 return *static_cast<const T*>(this);
142 }
143
144 template <typename T> T* cast() {
145 SkASSERT(T::ClassID() == this->classID());
146 return static_cast<T*>(this);
147 }
joshualitt4d8da812015-01-28 12:53:54 -0800148
Brian Salomon25a88092016-12-01 09:36:50 -0500149 uint32_t classID() const { SkASSERT(kIllegalOpID != fClassID); return fClassID; }
joshualitt4d8da812015-01-28 12:53:54 -0800150
joshualitt08e65e72016-03-08 09:31:15 -0800151 // We lazily initialize the uniqueID because currently the only user is GrAuditTrail
halcanary9d524f22016-03-29 09:03:52 -0700152 uint32_t uniqueID() const {
Brian Salomon25a88092016-12-01 09:36:50 -0500153 if (kIllegalOpID == fUniqueID) {
154 fUniqueID = GenOpID();
joshualitt08e65e72016-03-08 09:31:15 -0800155 }
halcanary9d524f22016-03-29 09:03:52 -0700156 return fUniqueID;
joshualitt08e65e72016-03-08 09:31:15 -0800157 }
joshualittca1f07e2015-08-07 08:11:19 -0700158
Brian Salomonbde42852016-12-21 11:37:49 -0500159 /**
Robert Phillips7327c9d2019-10-08 16:32:56 -0400160 * This can optionally be called before 'prepare' (but after sorting). Each op that overrides
161 * onPrePrepare must be prepared to handle both cases (when onPrePrepare has been called
162 * ahead of time and when it has not been called).
163 */
Robert Phillips8053c972019-11-21 10:44:53 -0500164 void prePrepare(GrRecordingContext* context, GrSurfaceProxyView* dstView, GrAppliedClip* clip,
Greg Danield358cbe2020-09-11 09:33:54 -0400165 const GrXferProcessor::DstProxyView& dstProxyView,
166 GrXferBarrierFlags renderPassXferBarriers) {
167 this->onPrePrepare(context, dstView, clip, dstProxyView, renderPassXferBarriers);
Robert Phillips61fc7992019-10-22 11:58:17 -0400168 }
Robert Phillips7327c9d2019-10-08 16:32:56 -0400169
170 /**
Brian Salomonbde42852016-12-21 11:37:49 -0500171 * Called prior to executing. The op should perform any resource creation or data transfers
172 * necessary before execute() is called.
173 */
Brian Salomon742e31d2016-12-07 17:06:19 -0500174 void prepare(GrOpFlushState* state) { this->onPrepare(state); }
bsalomon53469832015-08-18 09:20:09 -0700175
Brian Salomon25a88092016-12-01 09:36:50 -0500176 /** Issues the op's commands to GrGpu. */
Brian Salomon588cec72018-11-14 13:56:37 -0500177 void execute(GrOpFlushState* state, const SkRect& chainBounds) {
Brian Salomon5f394272019-07-02 14:07:49 -0400178 TRACE_EVENT0("skia.gpu", name());
Brian Salomon588cec72018-11-14 13:56:37 -0500179 this->onExecute(state, chainBounds);
Xiao Yu97126012018-04-25 18:11:44 -0700180 }
bsalomon53469832015-08-18 09:20:09 -0700181
Brian Salomon25a88092016-12-01 09:36:50 -0500182 /** Used for spewing information about ops when debugging. */
John Stiles8d9bf642020-08-12 15:07:45 -0400183#if GR_TEST_UTILS
John Stiles8dd1e222020-08-12 19:06:24 -0400184 virtual SkString dumpInfo() const final {
185 return SkStringPrintf("%s\nOpBounds: [L: %.2f, T: %.2f, R: %.2f, B: %.2f]",
186 this->onDumpInfo().c_str(), fBounds.fLeft, fBounds.fTop,
187 fBounds.fRight, fBounds.fBottom);
robertphillips44fbc792016-06-29 06:56:12 -0700188 }
Brian Osman9a390ac2018-11-12 09:47:48 -0500189#endif
bsalomon53469832015-08-18 09:20:09 -0700190
Brian Salomond25f5bc2018-08-08 11:25:17 -0400191 /**
192 * A helper for iterating over an op chain in a range for loop that also downcasts to a GrOp
193 * subclass. E.g.:
194 * for (MyOpSubClass& op : ChainRange<MyOpSubClass>(this)) {
195 * // ...
196 * }
197 */
Brian Salomon588cec72018-11-14 13:56:37 -0500198 template <typename OpSubclass = GrOp> class ChainRange {
Brian Salomond25f5bc2018-08-08 11:25:17 -0400199 private:
200 class Iter {
201 public:
Brian Salomon588cec72018-11-14 13:56:37 -0500202 explicit Iter(const OpSubclass* head) : fCurr(head) {}
203 inline Iter& operator++() {
204 return *this = Iter(static_cast<const OpSubclass*>(fCurr->nextInChain()));
205 }
206 const OpSubclass& operator*() const { return *fCurr; }
Brian Salomond25f5bc2018-08-08 11:25:17 -0400207 bool operator!=(const Iter& that) const { return fCurr != that.fCurr; }
208
209 private:
Brian Salomon588cec72018-11-14 13:56:37 -0500210 const OpSubclass* fCurr;
Brian Salomond25f5bc2018-08-08 11:25:17 -0400211 };
Brian Salomon588cec72018-11-14 13:56:37 -0500212 const OpSubclass* fHead;
Brian Salomond25f5bc2018-08-08 11:25:17 -0400213
214 public:
Brian Salomon588cec72018-11-14 13:56:37 -0500215 explicit ChainRange(const OpSubclass* head) : fHead(head) {}
Brian Salomond25f5bc2018-08-08 11:25:17 -0400216 Iter begin() { return Iter(fHead); }
217 Iter end() { return Iter(nullptr); }
218 };
219
Brian Salomon588cec72018-11-14 13:56:37 -0500220 /**
221 * Concatenates two op chains. This op must be a tail and the passed op must be a head. The ops
222 * must be of the same subclass.
223 */
224 void chainConcat(std::unique_ptr<GrOp>);
Brian Salomond25f5bc2018-08-08 11:25:17 -0400225 /** Returns true if this is the head of a chain (including a length 1 chain). */
Brian Salomon588cec72018-11-14 13:56:37 -0500226 bool isChainHead() const { return !fPrevInChain; }
Brian Salomond25f5bc2018-08-08 11:25:17 -0400227 /** Returns true if this is the tail of a chain (including a length 1 chain). */
228 bool isChainTail() const { return !fNextInChain; }
Brian Salomond25f5bc2018-08-08 11:25:17 -0400229 /** The next op in the chain. */
Brian Salomon588cec72018-11-14 13:56:37 -0500230 GrOp* nextInChain() const { return fNextInChain.get(); }
231 /** The previous op in the chain. */
232 GrOp* prevInChain() const { return fPrevInChain; }
233 /**
234 * Cuts the chain after this op. The returned op is the op that was previously next in the
235 * chain or null if this was already a tail.
236 */
237 std::unique_ptr<GrOp> cutChain();
238 SkDEBUGCODE(void validateChain(GrOp* expectedTail = nullptr) const);
Brian Salomond25f5bc2018-08-08 11:25:17 -0400239
Ethan Nicholas029b22c2018-10-18 16:49:56 -0400240#ifdef SK_DEBUG
241 virtual void validate() const {}
242#endif
243
joshualitt4d8da812015-01-28 12:53:54 -0800244protected:
Brian Salomond25f5bc2018-08-08 11:25:17 -0400245 GrOp(uint32_t classID);
246
bsalomon88cf17d2016-07-08 06:40:56 -0700247 /**
Brian Salomon25a88092016-12-01 09:36:50 -0500248 * Indicates that the op will produce geometry that extends beyond its bounds for the
bsalomon88cf17d2016-07-08 06:40:56 -0700249 * purpose of ensuring that the fragment shader runs on partially covered pixels for
250 * non-MSAA antialiasing.
251 */
Chris Dalton3b51df12017-11-27 14:33:06 -0700252 enum class HasAABloat : bool {
253 kNo = false,
254 kYes = true
bsalomon88cf17d2016-07-08 06:40:56 -0700255 };
256 /**
Greg Daniel5faf4742019-10-01 15:14:44 -0400257 * Indicates that the geometry being drawn in a hairline stroke. A point that is drawn in device
258 * space is also considered a hairline.
bsalomon88cf17d2016-07-08 06:40:56 -0700259 */
Greg Daniel5faf4742019-10-01 15:14:44 -0400260 enum class IsHairline : bool {
Chris Dalton3b51df12017-11-27 14:33:06 -0700261 kNo = false,
262 kYes = true
bsalomon88cf17d2016-07-08 06:40:56 -0700263 };
Robert Phillips65a88fa2017-08-08 08:36:22 -0400264
Greg Daniel5faf4742019-10-01 15:14:44 -0400265 void setBounds(const SkRect& newBounds, HasAABloat aabloat, IsHairline zeroArea) {
bsalomon88cf17d2016-07-08 06:40:56 -0700266 fBounds = newBounds;
267 this->setBoundsFlags(aabloat, zeroArea);
268 }
269 void setTransformedBounds(const SkRect& srcBounds, const SkMatrix& m,
Greg Daniel5faf4742019-10-01 15:14:44 -0400270 HasAABloat aabloat, IsHairline zeroArea) {
bsalomon88cf17d2016-07-08 06:40:56 -0700271 m.mapRect(&fBounds, srcBounds);
272 this->setBoundsFlags(aabloat, zeroArea);
273 }
Robert Phillips65a88fa2017-08-08 08:36:22 -0400274 void makeFullScreen(GrSurfaceProxy* proxy) {
Brian Salomon9f2b86c2019-10-22 10:37:46 -0400275 this->setBounds(proxy->getBoundsRect(), HasAABloat::kNo, IsHairline::kNo);
Robert Phillips65a88fa2017-08-08 08:36:22 -0400276 }
joshualitt99c7c072015-05-01 13:43:30 -0700277
Brian Salomonb41417f2018-10-24 08:58:48 -0400278 static uint32_t GenOpClassID() { return GenID(&gCurrOpClassID); }
279
280private:
Brian Salomon25a88092016-12-01 09:36:50 -0500281 void joinBounds(const GrOp& that) {
bsalomon88cf17d2016-07-08 06:40:56 -0700282 if (that.hasAABloat()) {
283 fBoundsFlags |= kAABloat_BoundsFlag;
284 }
285 if (that.hasZeroArea()) {
286 fBoundsFlags |= kZeroArea_BoundsFlag;
287 }
288 return fBounds.joinPossiblyEmptyRect(that.fBounds);
289 }
290
Michael Ludwig28b0c5d2019-12-19 14:51:00 -0500291 virtual CombineResult onCombineIfPossible(GrOp*, GrRecordingContext::Arenas*, const GrCaps&) {
Brian Salomon7eae3e02018-08-07 14:02:38 +0000292 return CombineResult::kCannotCombine;
293 }
bsalomonabd30f52015-08-13 13:34:48 -0700294
Robert Phillips8053c972019-11-21 10:44:53 -0500295 // TODO: the parameters to onPrePrepare mirror GrOpFlushState::OpArgs - fuse the two?
296 virtual void onPrePrepare(GrRecordingContext*,
Brian Salomon8afde5f2020-04-01 16:22:00 -0400297 const GrSurfaceProxyView* writeView,
Robert Phillips8053c972019-11-21 10:44:53 -0500298 GrAppliedClip*,
Greg Danield358cbe2020-09-11 09:33:54 -0400299 const GrXferProcessor::DstProxyView&,
300 GrXferBarrierFlags renderPassXferBarriers) = 0;
Brian Salomon742e31d2016-12-07 17:06:19 -0500301 virtual void onPrepare(GrOpFlushState*) = 0;
Brian Salomon588cec72018-11-14 13:56:37 -0500302 // If this op is chained then chainBounds is the union of the bounds of all ops in the chain.
303 // Otherwise, this op's bounds.
304 virtual void onExecute(GrOpFlushState*, const SkRect& chainBounds) = 0;
John Stilesaf366522020-08-13 09:57:34 -0400305#if GR_TEST_UTILS
306 virtual SkString onDumpInfo() const { return SkString(); }
307#endif
bsalomon53469832015-08-18 09:20:09 -0700308
Mike Klein0ec1c572018-12-04 11:52:51 -0500309 static uint32_t GenID(std::atomic<uint32_t>* idCounter) {
310 uint32_t id = (*idCounter)++;
311 if (id == 0) {
Ben Wagnerb4aab9a2017-08-16 10:53:04 -0400312 SK_ABORT("This should never wrap as it should only be called once for each GrOp "
bsalomonabd30f52015-08-13 13:34:48 -0700313 "subclass.");
314 }
315 return id;
316 }
317
Greg Daniel5faf4742019-10-01 15:14:44 -0400318 void setBoundsFlags(HasAABloat aabloat, IsHairline zeroArea) {
bsalomon88cf17d2016-07-08 06:40:56 -0700319 fBoundsFlags = 0;
320 fBoundsFlags |= (HasAABloat::kYes == aabloat) ? kAABloat_BoundsFlag : 0;
Greg Daniel5faf4742019-10-01 15:14:44 -0400321 fBoundsFlags |= (IsHairline ::kYes == zeroArea) ? kZeroArea_BoundsFlag : 0;
bsalomon88cf17d2016-07-08 06:40:56 -0700322 }
323
bsalomonabd30f52015-08-13 13:34:48 -0700324 enum {
Brian Salomon25a88092016-12-01 09:36:50 -0500325 kIllegalOpID = 0,
bsalomonabd30f52015-08-13 13:34:48 -0700326 };
327
bsalomon88cf17d2016-07-08 06:40:56 -0700328 enum BoundsFlags {
329 kAABloat_BoundsFlag = 0x1,
330 kZeroArea_BoundsFlag = 0x2,
331 SkDEBUGCODE(kUninitialized_BoundsFlag = 0x4)
332 };
333
Brian Salomon588cec72018-11-14 13:56:37 -0500334 std::unique_ptr<GrOp> fNextInChain;
335 GrOp* fPrevInChain = nullptr;
bsalomon88cf17d2016-07-08 06:40:56 -0700336 const uint16_t fClassID;
337 uint16_t fBoundsFlags;
338
Brian Salomon25a88092016-12-01 09:36:50 -0500339 static uint32_t GenOpID() { return GenID(&gCurrOpUniqueID); }
Brian Salomond25f5bc2018-08-08 11:25:17 -0400340 mutable uint32_t fUniqueID = SK_InvalidUniqueID;
bsalomon88cf17d2016-07-08 06:40:56 -0700341 SkRect fBounds;
342
Mike Klein0ec1c572018-12-04 11:52:51 -0500343 static std::atomic<uint32_t> gCurrOpUniqueID;
344 static std::atomic<uint32_t> gCurrOpClassID;
bsalomonabd30f52015-08-13 13:34:48 -0700345};
346
joshualitt4d8da812015-01-28 12:53:54 -0800347#endif