blob: 48d3b79e253a1feda5b28788a0f93ddde5377f34 [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/gpu/GrTexture.h"
12#include "include/private/GrContext_Base.h"
13#include "src/gpu/GrBaseContextPriv.h"
14#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;
47 case SkSL::Compiler::FormatArg::Kind::kCoordX:
48 result += coordsName;
49 result += ".x";
50 break;
51 case SkSL::Compiler::FormatArg::Kind::kCoordY:
52 result += coordsName;
53 result += ".y";
54 break;
55 case SkSL::Compiler::FormatArg::Kind::kUniform:
56 result += args.fUniformHandler->getUniformCStr(
57 fUniformHandles[arg.fIndex]);
58 break;
Brian Osman87e3bef2020-01-27 16:21:34 -050059 case SkSL::Compiler::FormatArg::Kind::kChildProcessor: {
60 SkSL::String coords = this->expandFormatArgs(arg.fCoords, args,
61 fmtArg, coordsName);
62 result += this->invokeChild(arg.fIndex, args, coords).c_str();
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050063 break;
Brian Osman87e3bef2020-01-27 16:21:34 -050064 }
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050065 case SkSL::Compiler::FormatArg::Kind::kFunctionName:
66 SkASSERT((int) fFunctionNames.size() > arg.fIndex);
67 result += fFunctionNames[arg.fIndex].c_str();
68 break;
69 }
70 break;
71 }
72 default:
73 result += c;
74 }
75 substringStartIndex = i + 1;
76 }
77 }
78 result += SkSL::StringFragment(raw.c_str() + substringStartIndex,
79 raw.length() - substringStartIndex);
80 return result;
81 }
82
Ethan Nicholaseace9352018-10-15 20:09:54 +000083 void emitCode(EmitArgs& args) override {
Brian Osman7b1678a2019-12-16 09:17:25 -050084 const GrSkSLFP& fp = args.fFp.cast<GrSkSLFP>();
Brian Osmanf72dedd2020-01-08 13:19:58 -050085 for (const auto& v : fp.fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -050086 if (v.fQualifier == SkRuntimeEffect::Variable::Qualifier::kUniform) {
87 auto handle = args.fUniformHandler->addUniformArray(kFragment_GrShaderFlag,
88 v.fGPUType,
89 v.fName.c_str(),
90 v.isArray() ? v.fCount : 0);
91 fUniformHandles.push_back(handle);
Ethan Nicholaseace9352018-10-15 20:09:54 +000092 }
Ethan Nicholasce008112018-08-30 09:19:50 -040093 }
Brian Osman2e29ab52019-09-20 12:19:11 -040094 GrGLSLFPFragmentBuilder* fragBuilder = args.fFragBuilder;
Brian Osmanab2f7c52020-02-06 13:31:15 -050095 SkASSERT(args.fTransformedCoords.count() == 1);
96 SkString coords = fragBuilder->ensureCoords2D(args.fTransformedCoords[0].fVaryingPoint);
Brian Salomond4bf54e2020-01-27 17:50:36 +000097 std::vector<SkString> childNames;
Brian Osman87e3bef2020-01-27 16:21:34 -050098 // We need to ensure that we call invokeChild on each child FP at least once.
99 // Any child FP that isn't sampled won't trigger a call otherwise, leading to asserts later.
Ethan Nicholaseace9352018-10-15 20:09:54 +0000100 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500101 (void)this->invokeChild(i, args, SkSL::String("_coords"));
Ethan Nicholaseace9352018-10-15 20:09:54 +0000102 }
Brian Osman300fe1d2020-01-23 15:42:43 -0500103 for (const auto& f : fArgs.fFunctions) {
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500104 fFunctionNames.emplace_back();
Brian Osman87e3bef2020-01-27 16:21:34 -0500105 auto fmtArgIter = f.fFormatArgs.cbegin();
106 SkSL::String body =
107 this->expandFormatArgs(f.fBody.c_str(), args, fmtArgIter, coords.c_str());
108 SkASSERT(fmtArgIter == f.fFormatArgs.cend());
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500109 fragBuilder->emitFunction(f.fReturnType,
110 f.fName.c_str(),
111 f.fParameters.size(),
112 f.fParameters.data(),
113 body.c_str(),
114 &fFunctionNames.back());
Ethan Nicholasce008112018-08-30 09:19:50 -0400115 }
Brian Osman87e3bef2020-01-27 16:21:34 -0500116 auto fmtArgIter = fArgs.fFormatArgs.cbegin();
117 fragBuilder->codeAppend(this->expandFormatArgs(fArgs.fCode.c_str(), args, fmtArgIter,
118 coords.c_str()).c_str());
119 SkASSERT(fmtArgIter == fArgs.fFormatArgs.cend());
Ethan Nicholasce008112018-08-30 09:19:50 -0400120 }
121
Ethan Nicholaseace9352018-10-15 20:09:54 +0000122 void onSetData(const GrGLSLProgramDataManager& pdman,
123 const GrFragmentProcessor& _proc) override {
Brian Osmand927bd22019-12-18 11:23:12 -0500124 size_t uniIndex = 0;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000125 const GrSkSLFP& outer = _proc.cast<GrSkSLFP>();
Brian Osman9bfd5952020-02-05 10:51:44 -0500126 const uint8_t* inputs = outer.fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500127 for (const auto& v : outer.fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500128 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kUniform) {
129 continue;
130 }
131
132 const float* data = reinterpret_cast<const float*>(inputs + v.fOffset);
133 switch (v.fType) {
134 case SkRuntimeEffect::Variable::Type::kFloat:
135 pdman.set1fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400136 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500137 case SkRuntimeEffect::Variable::Type::kFloat2:
138 pdman.set2fv(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::kFloat3:
141 pdman.set3fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500142 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500143 case SkRuntimeEffect::Variable::Type::kFloat4:
144 pdman.set4fv(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::kFloat2x2:
147 pdman.setMatrix2fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400148 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500149 case SkRuntimeEffect::Variable::Type::kFloat3x3:
150 pdman.setMatrix3fv(fUniformHandles[uniIndex++], v.fCount, data);
151 break;
152 case SkRuntimeEffect::Variable::Type::kFloat4x4:
153 pdman.setMatrix4fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400154 break;
155 default:
Brian Osmand927bd22019-12-18 11:23:12 -0500156 SkDEBUGFAIL("Unsupported uniform type");
157 break;
Ethan Nicholas222e2752018-10-11 11:21:34 -0400158 }
Ethan Nicholas222e2752018-10-11 11:21:34 -0400159 }
160 }
Ethan Nicholaseace9352018-10-15 20:09:54 +0000161
Ethan Nicholaseace9352018-10-15 20:09:54 +0000162 // nearly-finished GLSL; still contains printf-style "%s" format tokens
Brian Osman300fe1d2020-01-23 15:42:43 -0500163 SkSL::PipelineStageArgs fArgs;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000164 std::vector<UniformHandle> fUniformHandles;
Brian Osman2e29ab52019-09-20 12:19:11 -0400165 std::vector<SkString> fFunctionNames;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000166};
167
Brian Osman7b1678a2019-12-16 09:17:25 -0500168std::unique_ptr<GrSkSLFP> GrSkSLFP::Make(GrContext_Base* context, sk_sp<SkRuntimeEffect> effect,
Brian Osman9bfd5952020-02-05 10:51:44 -0500169 const char* name, sk_sp<SkData> inputs,
Brian Osman3b1e4c22019-08-12 15:12:14 -0400170 const SkMatrix* matrix) {
Brian Osman9bfd5952020-02-05 10:51:44 -0500171 if (inputs->size() != effect->inputSize()) {
172 return nullptr;
173 }
Brian Osman7b1678a2019-12-16 09:17:25 -0500174 return std::unique_ptr<GrSkSLFP>(new GrSkSLFP(context->priv().caps()->refShaderCaps(),
Brian Osman9bfd5952020-02-05 10:51:44 -0500175 std::move(effect), name, std::move(inputs),
Brian Osman7b1678a2019-12-16 09:17:25 -0500176 matrix));
Ethan Nicholasa70693b2019-03-04 13:07:36 -0500177}
178
Brian Osman7b1678a2019-12-16 09:17:25 -0500179GrSkSLFP::GrSkSLFP(sk_sp<const GrShaderCaps> shaderCaps, sk_sp<SkRuntimeEffect> effect,
Brian Osman9bfd5952020-02-05 10:51:44 -0500180 const char* name, sk_sp<SkData> inputs, const SkMatrix* matrix)
Ethan Nicholas00543112018-07-31 09:44:36 -0400181 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500182 , fShaderCaps(std::move(shaderCaps))
183 , fEffect(std::move(effect))
Ethan Nicholas00543112018-07-31 09:44:36 -0400184 , fName(name)
Brian Osman9bfd5952020-02-05 10:51:44 -0500185 , fInputs(std::move(inputs)) {
Brian Osman3b1e4c22019-08-12 15:12:14 -0400186 if (matrix) {
187 fCoordTransform = GrCoordTransform(*matrix);
Brian Osman3b1e4c22019-08-12 15:12:14 -0400188 }
Brian Osmanab2f7c52020-02-06 13:31:15 -0500189 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000190}
Ethan Nicholas00543112018-07-31 09:44:36 -0400191
192GrSkSLFP::GrSkSLFP(const GrSkSLFP& other)
193 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500194 , fShaderCaps(other.fShaderCaps)
195 , 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) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500208 child->setSampledWithExplicitCoords(true);
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 Osman9bfd5952020-02-05 10:51:44 -0500215 SkAssertResult(fEffect->toPipelineStage(fInputs->data(), fShaderCaps.get(), &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