blob: 0204872754d22af1ad9263bab133917a0610cd7f [file] [log] [blame]
Ethan Nicholas00543112018-07-31 09:44:36 -04001/*
2 * Copyright 2018 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
Mike Kleinc0bd9f92019-04-23 12:05:21 -05008#include "src/gpu/effects/GrSkSLFP.h"
Robert Phillips1efecea2019-02-15 16:58:40 -05009
Brian Osmanee426f22020-01-02 11:55:24 -050010#include "include/effects/SkRuntimeEffect.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050011#include "include/private/GrContext_Base.h"
12#include "src/gpu/GrBaseContextPriv.h"
Greg Daniel456f9b52020-03-05 19:14:18 +000013#include "src/gpu/GrTexture.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -050014#include "src/sksl/SkSLUtil.h"
Robert Phillips1efecea2019-02-15 16:58:40 -050015
Mike Kleinc0bd9f92019-04-23 12:05:21 -050016#include "src/gpu/glsl/GrGLSLFragmentProcessor.h"
17#include "src/gpu/glsl/GrGLSLFragmentShaderBuilder.h"
18#include "src/gpu/glsl/GrGLSLProgramBuilder.h"
Ethan Nicholas00543112018-07-31 09:44:36 -040019
Ethan Nicholaseace9352018-10-15 20:09:54 +000020class GrGLSLSkSLFP : public GrGLSLFragmentProcessor {
21public:
Brian Osman300fe1d2020-01-23 15:42:43 -050022 GrGLSLSkSLFP(SkSL::PipelineStageArgs&& args) : fArgs(std::move(args)) {}
Ethan Nicholas00543112018-07-31 09:44:36 -040023
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050024 SkSL::String expandFormatArgs(const SkSL::String& raw,
Brian Osman87e3bef2020-01-27 16:21:34 -050025 EmitArgs& args,
26 std::vector<SkSL::Compiler::FormatArg>::const_iterator& fmtArg,
27 const char* coordsName) {
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050028 SkSL::String result;
29 int substringStartIndex = 0;
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050030 for (size_t i = 0; i < raw.length(); ++i) {
31 char c = raw[i];
32 if (c == '%') {
33 result += SkSL::StringFragment(raw.c_str() + substringStartIndex,
34 i - substringStartIndex);
35 ++i;
36 c = raw[i];
37 switch (c) {
38 case 's': {
Brian Osman87e3bef2020-01-27 16:21:34 -050039 const SkSL::Compiler::FormatArg& arg = *fmtArg++;
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050040 switch (arg.fKind) {
41 case SkSL::Compiler::FormatArg::Kind::kInput:
42 result += args.fInputColor;
43 break;
44 case SkSL::Compiler::FormatArg::Kind::kOutput:
45 result += args.fOutputColor;
46 break;
Brian Osman7353dc52020-02-07 13:37:12 -050047 case SkSL::Compiler::FormatArg::Kind::kCoords:
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050048 result += coordsName;
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050049 break;
50 case SkSL::Compiler::FormatArg::Kind::kUniform:
51 result += args.fUniformHandler->getUniformCStr(
52 fUniformHandles[arg.fIndex]);
53 break;
Brian Osman87e3bef2020-01-27 16:21:34 -050054 case SkSL::Compiler::FormatArg::Kind::kChildProcessor: {
55 SkSL::String coords = this->expandFormatArgs(arg.fCoords, args,
56 fmtArg, coordsName);
57 result += this->invokeChild(arg.fIndex, args, coords).c_str();
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050058 break;
Brian Osman87e3bef2020-01-27 16:21:34 -050059 }
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050060 case SkSL::Compiler::FormatArg::Kind::kFunctionName:
61 SkASSERT((int) fFunctionNames.size() > arg.fIndex);
62 result += fFunctionNames[arg.fIndex].c_str();
63 break;
64 }
65 break;
66 }
67 default:
68 result += c;
69 }
70 substringStartIndex = i + 1;
71 }
72 }
73 result += SkSL::StringFragment(raw.c_str() + substringStartIndex,
74 raw.length() - substringStartIndex);
75 return result;
76 }
77
Ethan Nicholaseace9352018-10-15 20:09:54 +000078 void emitCode(EmitArgs& args) override {
Brian Osman7b1678a2019-12-16 09:17:25 -050079 const GrSkSLFP& fp = args.fFp.cast<GrSkSLFP>();
Brian Osmanf72dedd2020-01-08 13:19:58 -050080 for (const auto& v : fp.fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -050081 if (v.fQualifier == SkRuntimeEffect::Variable::Qualifier::kUniform) {
Ethan Nicholas16464c32020-04-06 13:53:05 -040082 auto handle = args.fUniformHandler->addUniformArray(&fp,
83 kFragment_GrShaderFlag,
Brian Osmand927bd22019-12-18 11:23:12 -050084 v.fGPUType,
85 v.fName.c_str(),
86 v.isArray() ? v.fCount : 0);
87 fUniformHandles.push_back(handle);
Ethan Nicholaseace9352018-10-15 20:09:54 +000088 }
Ethan Nicholasce008112018-08-30 09:19:50 -040089 }
Brian Osman2e29ab52019-09-20 12:19:11 -040090 GrGLSLFPFragmentBuilder* fragBuilder = args.fFragBuilder;
Brian Osmanab2f7c52020-02-06 13:31:15 -050091 SkASSERT(args.fTransformedCoords.count() == 1);
Ethan Nicholas58430122020-04-14 09:54:02 -040092 SkString coords = fragBuilder->ensureCoords2D(args.fTransformedCoords[0].fVaryingPoint,
93 fp.sampleMatrix());
Brian Salomond4bf54e2020-01-27 17:50:36 +000094 std::vector<SkString> childNames;
Brian Osman87e3bef2020-01-27 16:21:34 -050095 // We need to ensure that we call invokeChild on each child FP at least once.
96 // Any child FP that isn't sampled won't trigger a call otherwise, leading to asserts later.
Ethan Nicholaseace9352018-10-15 20:09:54 +000097 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -050098 (void)this->invokeChild(i, args, SkSL::String("_coords"));
Ethan Nicholaseace9352018-10-15 20:09:54 +000099 }
Brian Osman300fe1d2020-01-23 15:42:43 -0500100 for (const auto& f : fArgs.fFunctions) {
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500101 fFunctionNames.emplace_back();
Brian Osman87e3bef2020-01-27 16:21:34 -0500102 auto fmtArgIter = f.fFormatArgs.cbegin();
103 SkSL::String body =
104 this->expandFormatArgs(f.fBody.c_str(), args, fmtArgIter, coords.c_str());
105 SkASSERT(fmtArgIter == f.fFormatArgs.cend());
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500106 fragBuilder->emitFunction(f.fReturnType,
107 f.fName.c_str(),
108 f.fParameters.size(),
109 f.fParameters.data(),
110 body.c_str(),
111 &fFunctionNames.back());
Ethan Nicholasce008112018-08-30 09:19:50 -0400112 }
Brian Osman87e3bef2020-01-27 16:21:34 -0500113 auto fmtArgIter = fArgs.fFormatArgs.cbegin();
114 fragBuilder->codeAppend(this->expandFormatArgs(fArgs.fCode.c_str(), args, fmtArgIter,
115 coords.c_str()).c_str());
116 SkASSERT(fmtArgIter == fArgs.fFormatArgs.cend());
Ethan Nicholasce008112018-08-30 09:19:50 -0400117 }
118
Ethan Nicholaseace9352018-10-15 20:09:54 +0000119 void onSetData(const GrGLSLProgramDataManager& pdman,
120 const GrFragmentProcessor& _proc) override {
Brian Osmand927bd22019-12-18 11:23:12 -0500121 size_t uniIndex = 0;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000122 const GrSkSLFP& outer = _proc.cast<GrSkSLFP>();
Brian Osman9bfd5952020-02-05 10:51:44 -0500123 const uint8_t* inputs = outer.fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500124 for (const auto& v : outer.fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500125 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kUniform) {
126 continue;
127 }
128
129 const float* data = reinterpret_cast<const float*>(inputs + v.fOffset);
130 switch (v.fType) {
131 case SkRuntimeEffect::Variable::Type::kFloat:
132 pdman.set1fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400133 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500134 case SkRuntimeEffect::Variable::Type::kFloat2:
135 pdman.set2fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500136 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500137 case SkRuntimeEffect::Variable::Type::kFloat3:
138 pdman.set3fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500139 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500140 case SkRuntimeEffect::Variable::Type::kFloat4:
141 pdman.set4fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400142 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500143 case SkRuntimeEffect::Variable::Type::kFloat2x2:
144 pdman.setMatrix2fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400145 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500146 case SkRuntimeEffect::Variable::Type::kFloat3x3:
147 pdman.setMatrix3fv(fUniformHandles[uniIndex++], v.fCount, data);
148 break;
149 case SkRuntimeEffect::Variable::Type::kFloat4x4:
150 pdman.setMatrix4fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400151 break;
152 default:
Brian Osmand927bd22019-12-18 11:23:12 -0500153 SkDEBUGFAIL("Unsupported uniform type");
154 break;
Ethan Nicholas222e2752018-10-11 11:21:34 -0400155 }
Ethan Nicholas222e2752018-10-11 11:21:34 -0400156 }
157 }
Ethan Nicholaseace9352018-10-15 20:09:54 +0000158
Ethan Nicholaseace9352018-10-15 20:09:54 +0000159 // nearly-finished GLSL; still contains printf-style "%s" format tokens
Brian Osman300fe1d2020-01-23 15:42:43 -0500160 SkSL::PipelineStageArgs fArgs;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000161 std::vector<UniformHandle> fUniformHandles;
Brian Osman2e29ab52019-09-20 12:19:11 -0400162 std::vector<SkString> fFunctionNames;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000163};
164
Brian Osman7b1678a2019-12-16 09:17:25 -0500165std::unique_ptr<GrSkSLFP> GrSkSLFP::Make(GrContext_Base* context, sk_sp<SkRuntimeEffect> effect,
Brian Osman9bfd5952020-02-05 10:51:44 -0500166 const char* name, sk_sp<SkData> inputs,
Brian Osman3b1e4c22019-08-12 15:12:14 -0400167 const SkMatrix* matrix) {
Brian Osman9bfd5952020-02-05 10:51:44 -0500168 if (inputs->size() != effect->inputSize()) {
169 return nullptr;
170 }
Brian Osmanbd4f8722020-03-06 15:23:54 -0500171 return std::unique_ptr<GrSkSLFP>(new GrSkSLFP(
172 context->priv().caps()->refShaderCaps(), context->priv().getShaderErrorHandler(),
173 std::move(effect), name, std::move(inputs), matrix));
Ethan Nicholasa70693b2019-03-04 13:07:36 -0500174}
175
Brian Osmanbd4f8722020-03-06 15:23:54 -0500176GrSkSLFP::GrSkSLFP(sk_sp<const GrShaderCaps> shaderCaps, ShaderErrorHandler* shaderErrorHandler,
177 sk_sp<SkRuntimeEffect> effect, const char* name, sk_sp<SkData> inputs,
178 const SkMatrix* matrix)
Ethan Nicholas00543112018-07-31 09:44:36 -0400179 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500180 , fShaderCaps(std::move(shaderCaps))
Brian Osmanbd4f8722020-03-06 15:23:54 -0500181 , fShaderErrorHandler(shaderErrorHandler)
Brian Osman7b1678a2019-12-16 09:17:25 -0500182 , fEffect(std::move(effect))
Ethan Nicholas00543112018-07-31 09:44:36 -0400183 , fName(name)
Brian Osman9bfd5952020-02-05 10:51:44 -0500184 , fInputs(std::move(inputs)) {
Brian Osman3b1e4c22019-08-12 15:12:14 -0400185 if (matrix) {
186 fCoordTransform = GrCoordTransform(*matrix);
Brian Osman3b1e4c22019-08-12 15:12:14 -0400187 }
Brian Osmanab2f7c52020-02-06 13:31:15 -0500188 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000189}
Ethan Nicholas00543112018-07-31 09:44:36 -0400190
191GrSkSLFP::GrSkSLFP(const GrSkSLFP& other)
192 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500193 , fShaderCaps(other.fShaderCaps)
Brian Osmanbd4f8722020-03-06 15:23:54 -0500194 , fShaderErrorHandler(other.fShaderErrorHandler)
Brian Osman7b1678a2019-12-16 09:17:25 -0500195 , fEffect(other.fEffect)
Ethan Nicholas00543112018-07-31 09:44:36 -0400196 , fName(other.fName)
Brian Osman9bfd5952020-02-05 10:51:44 -0500197 , fInputs(other.fInputs) {
Brian Osmanab2f7c52020-02-06 13:31:15 -0500198 SkASSERT(other.numCoordTransforms() == 1);
199 fCoordTransform = other.fCoordTransform;
200 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000201}
Ethan Nicholas00543112018-07-31 09:44:36 -0400202
203const char* GrSkSLFP::name() const {
204 return fName;
205}
206
Ethan Nicholasce008112018-08-30 09:19:50 -0400207void GrSkSLFP::addChild(std::unique_ptr<GrFragmentProcessor> child) {
Ethan Nicholas58430122020-04-14 09:54:02 -0400208 child->setSampledWithExplicitCoords();
Ethan Nicholasce008112018-08-30 09:19:50 -0400209 this->registerChildProcessor(std::move(child));
210}
211
Ethan Nicholas00543112018-07-31 09:44:36 -0400212GrGLSLFragmentProcessor* GrSkSLFP::onCreateGLSLInstance() const {
Brian Osman7b1678a2019-12-16 09:17:25 -0500213 // Note: This is actually SkSL (again) but with inline format specifiers.
Brian Osman107c6662019-12-30 15:02:30 -0500214 SkSL::PipelineStageArgs args;
Brian Osmanbd4f8722020-03-06 15:23:54 -0500215 fEffect->toPipelineStage(fInputs->data(), fShaderCaps.get(), fShaderErrorHandler, &args);
Brian Osman300fe1d2020-01-23 15:42:43 -0500216 return new GrGLSLSkSLFP(std::move(args));
Greg Danielf4107942019-12-12 01:02:48 +0000217}
218
Brian Osmand927bd22019-12-18 11:23:12 -0500219void GrSkSLFP::onGetGLSLProcessorKey(const GrShaderCaps& caps, GrProcessorKeyBuilder* b) const {
Brian Osman32253062020-02-05 11:37:08 -0500220 // In the unlikely event of a hash collision, we also include the input size in the key.
221 // That ensures that we will (at worst) use the wrong program, but one that expects the same
222 // amount of input data.
223 b->add32(fEffect->hash());
224 b->add32(SkToU32(fInputs->size()));
Brian Osman9bfd5952020-02-05 10:51:44 -0500225 const uint8_t* inputs = fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500226 for (const auto& v : fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500227 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kIn) {
Ethan Nicholasce008112018-08-30 09:19:50 -0400228 continue;
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400229 }
Brian Osmand927bd22019-12-18 11:23:12 -0500230 // 'in' arrays are not supported
231 SkASSERT(!v.isArray());
232 switch (v.fType) {
233 case SkRuntimeEffect::Variable::Type::kBool:
234 b->add32(inputs[v.fOffset]);
235 break;
236 case SkRuntimeEffect::Variable::Type::kInt:
237 case SkRuntimeEffect::Variable::Type::kFloat:
238 b->add32(*(int32_t*)(inputs + v.fOffset));
239 break;
240 default:
241 SkDEBUGFAIL("Unsupported input variable type");
242 break;
Ethan Nicholas00543112018-07-31 09:44:36 -0400243 }
244 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400245}
246
247bool GrSkSLFP::onIsEqual(const GrFragmentProcessor& other) const {
248 const GrSkSLFP& sk = other.cast<GrSkSLFP>();
Brian Osman32253062020-02-05 11:37:08 -0500249 return fEffect->hash() == sk.fEffect->hash() && fInputs->equals(sk.fInputs.get());
Ethan Nicholas00543112018-07-31 09:44:36 -0400250}
251
252std::unique_ptr<GrFragmentProcessor> GrSkSLFP::clone() const {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000253 std::unique_ptr<GrSkSLFP> result(new GrSkSLFP(*this));
Ethan Nicholasce008112018-08-30 09:19:50 -0400254 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500255 result->addChild(this->childProcessor(i).clone());
Ethan Nicholasce008112018-08-30 09:19:50 -0400256 }
257 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400258}
259
Robert Phillips7f11fb52019-12-03 13:35:19 -0500260/**************************************************************************************************/
Ethan Nicholas00543112018-07-31 09:44:36 -0400261
262GR_DEFINE_FRAGMENT_PROCESSOR_TEST(GrSkSLFP);
263
264#if GR_TEST_UTILS
265
Mike Kleinc0bd9f92019-04-23 12:05:21 -0500266#include "include/effects/SkArithmeticImageFilter.h"
267#include "include/gpu/GrContext.h"
268#include "src/gpu/effects/generated/GrConstColorProcessor.h"
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400269
270extern const char* SKSL_ARITHMETIC_SRC;
271extern const char* SKSL_DITHER_SRC;
272extern const char* SKSL_OVERDRAW_SRC;
Ethan Nicholas00543112018-07-31 09:44:36 -0400273
274using Value = SkSL::Program::Settings::Value;
275
276std::unique_ptr<GrFragmentProcessor> GrSkSLFP::TestCreate(GrProcessorTestData* d) {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000277 int type = d->fRandom->nextULessThan(3);
Ethan Nicholas00543112018-07-31 09:44:36 -0400278 switch (type) {
279 case 0: {
Brian Osman088913a2019-12-19 15:44:56 -0500280 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_DITHER_SRC)));
Ethan Nicholas00543112018-07-31 09:44:36 -0400281 int rangeType = d->fRandom->nextULessThan(3);
Brian Osman088913a2019-12-19 15:44:56 -0500282 auto result = GrSkSLFP::Make(d->context(), effect, "Dither",
Brian Osman9bfd5952020-02-05 10:51:44 -0500283 SkData::MakeWithCopy(&rangeType, sizeof(rangeType)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400284 return std::unique_ptr<GrFragmentProcessor>(result.release());
285 }
286 case 1: {
Brian Osman088913a2019-12-19 15:44:56 -0500287 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_ARITHMETIC_SRC)));
Brian Osman0a3c57f2020-02-05 13:13:32 -0500288 ArithmeticFPInputs inputs{d->fRandom->nextF(), d->fRandom->nextF(), d->fRandom->nextF(),
289 d->fRandom->nextF(), d->fRandom->nextBool()};
Brian Osman088913a2019-12-19 15:44:56 -0500290 auto result = GrSkSLFP::Make(d->context(), effect, "Arithmetic",
Brian Osman9bfd5952020-02-05 10:51:44 -0500291 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400292 result->addChild(GrConstColorProcessor::Make(
Brian Osman9bfd5952020-02-05 10:51:44 -0500293 SK_PMColor4fWHITE, GrConstColorProcessor::InputMode::kIgnore));
Ethan Nicholasce008112018-08-30 09:19:50 -0400294 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400295 }
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400296 case 2: {
Brian Osman088913a2019-12-19 15:44:56 -0500297 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_OVERDRAW_SRC)));
Brian Osman9d10abe2019-12-13 16:31:40 -0500298 SkColor4f inputs[6];
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400299 for (int i = 0; i < 6; ++i) {
Brian Osman9d10abe2019-12-13 16:31:40 -0500300 inputs[i] = SkColor4f::FromBytes_RGBA(d->fRandom->nextU());
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400301 }
Brian Osman088913a2019-12-19 15:44:56 -0500302 auto result = GrSkSLFP::Make(d->context(), effect, "Overdraw",
Brian Osman9bfd5952020-02-05 10:51:44 -0500303 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400304 return std::unique_ptr<GrFragmentProcessor>(result.release());
305 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400306 }
307 SK_ABORT("unreachable");
Ethan Nicholas00543112018-07-31 09:44:36 -0400308}
309
310#endif