blob: 59c766100bcb3151b54e40fd1a7ade208c0a715f [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) {
82 auto handle = args.fUniformHandler->addUniformArray(kFragment_GrShaderFlag,
83 v.fGPUType,
84 v.fName.c_str(),
85 v.isArray() ? v.fCount : 0);
86 fUniformHandles.push_back(handle);
Ethan Nicholaseace9352018-10-15 20:09:54 +000087 }
Ethan Nicholasce008112018-08-30 09:19:50 -040088 }
Brian Osman2e29ab52019-09-20 12:19:11 -040089 GrGLSLFPFragmentBuilder* fragBuilder = args.fFragBuilder;
Brian Osmanab2f7c52020-02-06 13:31:15 -050090 SkASSERT(args.fTransformedCoords.count() == 1);
91 SkString coords = fragBuilder->ensureCoords2D(args.fTransformedCoords[0].fVaryingPoint);
Brian Salomond4bf54e2020-01-27 17:50:36 +000092 std::vector<SkString> childNames;
Brian Osman87e3bef2020-01-27 16:21:34 -050093 // We need to ensure that we call invokeChild on each child FP at least once.
94 // Any child FP that isn't sampled won't trigger a call otherwise, leading to asserts later.
Ethan Nicholaseace9352018-10-15 20:09:54 +000095 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -050096 (void)this->invokeChild(i, args, SkSL::String("_coords"));
Ethan Nicholaseace9352018-10-15 20:09:54 +000097 }
Brian Osman300fe1d2020-01-23 15:42:43 -050098 for (const auto& f : fArgs.fFunctions) {
Ethan Nicholasfc671ad2019-11-21 11:14:11 -050099 fFunctionNames.emplace_back();
Brian Osman87e3bef2020-01-27 16:21:34 -0500100 auto fmtArgIter = f.fFormatArgs.cbegin();
101 SkSL::String body =
102 this->expandFormatArgs(f.fBody.c_str(), args, fmtArgIter, coords.c_str());
103 SkASSERT(fmtArgIter == f.fFormatArgs.cend());
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500104 fragBuilder->emitFunction(f.fReturnType,
105 f.fName.c_str(),
106 f.fParameters.size(),
107 f.fParameters.data(),
108 body.c_str(),
109 &fFunctionNames.back());
Ethan Nicholasce008112018-08-30 09:19:50 -0400110 }
Brian Osman87e3bef2020-01-27 16:21:34 -0500111 auto fmtArgIter = fArgs.fFormatArgs.cbegin();
112 fragBuilder->codeAppend(this->expandFormatArgs(fArgs.fCode.c_str(), args, fmtArgIter,
113 coords.c_str()).c_str());
114 SkASSERT(fmtArgIter == fArgs.fFormatArgs.cend());
Ethan Nicholasce008112018-08-30 09:19:50 -0400115 }
116
Ethan Nicholaseace9352018-10-15 20:09:54 +0000117 void onSetData(const GrGLSLProgramDataManager& pdman,
118 const GrFragmentProcessor& _proc) override {
Brian Osmand927bd22019-12-18 11:23:12 -0500119 size_t uniIndex = 0;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000120 const GrSkSLFP& outer = _proc.cast<GrSkSLFP>();
Brian Osman9bfd5952020-02-05 10:51:44 -0500121 const uint8_t* inputs = outer.fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500122 for (const auto& v : outer.fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500123 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kUniform) {
124 continue;
125 }
126
127 const float* data = reinterpret_cast<const float*>(inputs + v.fOffset);
128 switch (v.fType) {
129 case SkRuntimeEffect::Variable::Type::kFloat:
130 pdman.set1fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400131 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500132 case SkRuntimeEffect::Variable::Type::kFloat2:
133 pdman.set2fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500134 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500135 case SkRuntimeEffect::Variable::Type::kFloat3:
136 pdman.set3fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasfc671ad2019-11-21 11:14:11 -0500137 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500138 case SkRuntimeEffect::Variable::Type::kFloat4:
139 pdman.set4fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400140 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500141 case SkRuntimeEffect::Variable::Type::kFloat2x2:
142 pdman.setMatrix2fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400143 break;
Brian Osmand927bd22019-12-18 11:23:12 -0500144 case SkRuntimeEffect::Variable::Type::kFloat3x3:
145 pdman.setMatrix3fv(fUniformHandles[uniIndex++], v.fCount, data);
146 break;
147 case SkRuntimeEffect::Variable::Type::kFloat4x4:
148 pdman.setMatrix4fv(fUniformHandles[uniIndex++], v.fCount, data);
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400149 break;
150 default:
Brian Osmand927bd22019-12-18 11:23:12 -0500151 SkDEBUGFAIL("Unsupported uniform type");
152 break;
Ethan Nicholas222e2752018-10-11 11:21:34 -0400153 }
Ethan Nicholas222e2752018-10-11 11:21:34 -0400154 }
155 }
Ethan Nicholaseace9352018-10-15 20:09:54 +0000156
Ethan Nicholaseace9352018-10-15 20:09:54 +0000157 // nearly-finished GLSL; still contains printf-style "%s" format tokens
Brian Osman300fe1d2020-01-23 15:42:43 -0500158 SkSL::PipelineStageArgs fArgs;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000159 std::vector<UniformHandle> fUniformHandles;
Brian Osman2e29ab52019-09-20 12:19:11 -0400160 std::vector<SkString> fFunctionNames;
Ethan Nicholaseace9352018-10-15 20:09:54 +0000161};
162
Brian Osman7b1678a2019-12-16 09:17:25 -0500163std::unique_ptr<GrSkSLFP> GrSkSLFP::Make(GrContext_Base* context, sk_sp<SkRuntimeEffect> effect,
Brian Osman9bfd5952020-02-05 10:51:44 -0500164 const char* name, sk_sp<SkData> inputs,
Brian Osman3b1e4c22019-08-12 15:12:14 -0400165 const SkMatrix* matrix) {
Brian Osman9bfd5952020-02-05 10:51:44 -0500166 if (inputs->size() != effect->inputSize()) {
167 return nullptr;
168 }
Brian Osmanbd4f8722020-03-06 15:23:54 -0500169 return std::unique_ptr<GrSkSLFP>(new GrSkSLFP(
170 context->priv().caps()->refShaderCaps(), context->priv().getShaderErrorHandler(),
171 std::move(effect), name, std::move(inputs), matrix));
Ethan Nicholasa70693b2019-03-04 13:07:36 -0500172}
173
Brian Osmanbd4f8722020-03-06 15:23:54 -0500174GrSkSLFP::GrSkSLFP(sk_sp<const GrShaderCaps> shaderCaps, ShaderErrorHandler* shaderErrorHandler,
175 sk_sp<SkRuntimeEffect> effect, const char* name, sk_sp<SkData> inputs,
176 const SkMatrix* matrix)
Ethan Nicholas00543112018-07-31 09:44:36 -0400177 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500178 , fShaderCaps(std::move(shaderCaps))
Brian Osmanbd4f8722020-03-06 15:23:54 -0500179 , fShaderErrorHandler(shaderErrorHandler)
Brian Osman7b1678a2019-12-16 09:17:25 -0500180 , fEffect(std::move(effect))
Ethan Nicholas00543112018-07-31 09:44:36 -0400181 , fName(name)
Brian Osman9bfd5952020-02-05 10:51:44 -0500182 , fInputs(std::move(inputs)) {
Brian Osman3b1e4c22019-08-12 15:12:14 -0400183 if (matrix) {
184 fCoordTransform = GrCoordTransform(*matrix);
Brian Osman3b1e4c22019-08-12 15:12:14 -0400185 }
Brian Osmanab2f7c52020-02-06 13:31:15 -0500186 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000187}
Ethan Nicholas00543112018-07-31 09:44:36 -0400188
189GrSkSLFP::GrSkSLFP(const GrSkSLFP& other)
190 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500191 , fShaderCaps(other.fShaderCaps)
Brian Osmanbd4f8722020-03-06 15:23:54 -0500192 , fShaderErrorHandler(other.fShaderErrorHandler)
Brian Osman7b1678a2019-12-16 09:17:25 -0500193 , fEffect(other.fEffect)
Ethan Nicholas00543112018-07-31 09:44:36 -0400194 , fName(other.fName)
Brian Osman9bfd5952020-02-05 10:51:44 -0500195 , fInputs(other.fInputs) {
Brian Osmanab2f7c52020-02-06 13:31:15 -0500196 SkASSERT(other.numCoordTransforms() == 1);
197 fCoordTransform = other.fCoordTransform;
198 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000199}
Ethan Nicholas00543112018-07-31 09:44:36 -0400200
201const char* GrSkSLFP::name() const {
202 return fName;
203}
204
Ethan Nicholasce008112018-08-30 09:19:50 -0400205void GrSkSLFP::addChild(std::unique_ptr<GrFragmentProcessor> child) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500206 child->setSampledWithExplicitCoords(true);
Ethan Nicholasce008112018-08-30 09:19:50 -0400207 this->registerChildProcessor(std::move(child));
208}
209
Ethan Nicholas00543112018-07-31 09:44:36 -0400210GrGLSLFragmentProcessor* GrSkSLFP::onCreateGLSLInstance() const {
Brian Osman7b1678a2019-12-16 09:17:25 -0500211 // Note: This is actually SkSL (again) but with inline format specifiers.
Brian Osman107c6662019-12-30 15:02:30 -0500212 SkSL::PipelineStageArgs args;
Brian Osmanbd4f8722020-03-06 15:23:54 -0500213 fEffect->toPipelineStage(fInputs->data(), fShaderCaps.get(), fShaderErrorHandler, &args);
Brian Osman300fe1d2020-01-23 15:42:43 -0500214 return new GrGLSLSkSLFP(std::move(args));
Greg Danielf4107942019-12-12 01:02:48 +0000215}
216
Brian Osmand927bd22019-12-18 11:23:12 -0500217void GrSkSLFP::onGetGLSLProcessorKey(const GrShaderCaps& caps, GrProcessorKeyBuilder* b) const {
Brian Osman32253062020-02-05 11:37:08 -0500218 // In the unlikely event of a hash collision, we also include the input size in the key.
219 // That ensures that we will (at worst) use the wrong program, but one that expects the same
220 // amount of input data.
221 b->add32(fEffect->hash());
222 b->add32(SkToU32(fInputs->size()));
Brian Osman9bfd5952020-02-05 10:51:44 -0500223 const uint8_t* inputs = fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500224 for (const auto& v : fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500225 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kIn) {
Ethan Nicholasce008112018-08-30 09:19:50 -0400226 continue;
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400227 }
Brian Osmand927bd22019-12-18 11:23:12 -0500228 // 'in' arrays are not supported
229 SkASSERT(!v.isArray());
230 switch (v.fType) {
231 case SkRuntimeEffect::Variable::Type::kBool:
232 b->add32(inputs[v.fOffset]);
233 break;
234 case SkRuntimeEffect::Variable::Type::kInt:
235 case SkRuntimeEffect::Variable::Type::kFloat:
236 b->add32(*(int32_t*)(inputs + v.fOffset));
237 break;
238 default:
239 SkDEBUGFAIL("Unsupported input variable type");
240 break;
Ethan Nicholas00543112018-07-31 09:44:36 -0400241 }
242 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400243}
244
245bool GrSkSLFP::onIsEqual(const GrFragmentProcessor& other) const {
246 const GrSkSLFP& sk = other.cast<GrSkSLFP>();
Brian Osman32253062020-02-05 11:37:08 -0500247 return fEffect->hash() == sk.fEffect->hash() && fInputs->equals(sk.fInputs.get());
Ethan Nicholas00543112018-07-31 09:44:36 -0400248}
249
250std::unique_ptr<GrFragmentProcessor> GrSkSLFP::clone() const {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000251 std::unique_ptr<GrSkSLFP> result(new GrSkSLFP(*this));
Ethan Nicholasce008112018-08-30 09:19:50 -0400252 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500253 result->addChild(this->childProcessor(i).clone());
Ethan Nicholasce008112018-08-30 09:19:50 -0400254 }
255 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400256}
257
Robert Phillips7f11fb52019-12-03 13:35:19 -0500258/**************************************************************************************************/
Ethan Nicholas00543112018-07-31 09:44:36 -0400259
260GR_DEFINE_FRAGMENT_PROCESSOR_TEST(GrSkSLFP);
261
262#if GR_TEST_UTILS
263
Mike Kleinc0bd9f92019-04-23 12:05:21 -0500264#include "include/effects/SkArithmeticImageFilter.h"
265#include "include/gpu/GrContext.h"
266#include "src/gpu/effects/generated/GrConstColorProcessor.h"
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400267
268extern const char* SKSL_ARITHMETIC_SRC;
269extern const char* SKSL_DITHER_SRC;
270extern const char* SKSL_OVERDRAW_SRC;
Ethan Nicholas00543112018-07-31 09:44:36 -0400271
272using Value = SkSL::Program::Settings::Value;
273
274std::unique_ptr<GrFragmentProcessor> GrSkSLFP::TestCreate(GrProcessorTestData* d) {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000275 int type = d->fRandom->nextULessThan(3);
Ethan Nicholas00543112018-07-31 09:44:36 -0400276 switch (type) {
277 case 0: {
Brian Osman088913a2019-12-19 15:44:56 -0500278 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_DITHER_SRC)));
Ethan Nicholas00543112018-07-31 09:44:36 -0400279 int rangeType = d->fRandom->nextULessThan(3);
Brian Osman088913a2019-12-19 15:44:56 -0500280 auto result = GrSkSLFP::Make(d->context(), effect, "Dither",
Brian Osman9bfd5952020-02-05 10:51:44 -0500281 SkData::MakeWithCopy(&rangeType, sizeof(rangeType)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400282 return std::unique_ptr<GrFragmentProcessor>(result.release());
283 }
284 case 1: {
Brian Osman088913a2019-12-19 15:44:56 -0500285 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_ARITHMETIC_SRC)));
Brian Osman0a3c57f2020-02-05 13:13:32 -0500286 ArithmeticFPInputs inputs{d->fRandom->nextF(), d->fRandom->nextF(), d->fRandom->nextF(),
287 d->fRandom->nextF(), d->fRandom->nextBool()};
Brian Osman088913a2019-12-19 15:44:56 -0500288 auto result = GrSkSLFP::Make(d->context(), effect, "Arithmetic",
Brian Osman9bfd5952020-02-05 10:51:44 -0500289 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400290 result->addChild(GrConstColorProcessor::Make(
Brian Osman9bfd5952020-02-05 10:51:44 -0500291 SK_PMColor4fWHITE, GrConstColorProcessor::InputMode::kIgnore));
Ethan Nicholasce008112018-08-30 09:19:50 -0400292 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400293 }
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400294 case 2: {
Brian Osman088913a2019-12-19 15:44:56 -0500295 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_OVERDRAW_SRC)));
Brian Osman9d10abe2019-12-13 16:31:40 -0500296 SkColor4f inputs[6];
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400297 for (int i = 0; i < 6; ++i) {
Brian Osman9d10abe2019-12-13 16:31:40 -0500298 inputs[i] = SkColor4f::FromBytes_RGBA(d->fRandom->nextU());
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400299 }
Brian Osman088913a2019-12-19 15:44:56 -0500300 auto result = GrSkSLFP::Make(d->context(), effect, "Overdraw",
Brian Osman9bfd5952020-02-05 10:51:44 -0500301 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400302 return std::unique_ptr<GrFragmentProcessor>(result.release());
303 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400304 }
305 SK_ABORT("unreachable");
Ethan Nicholas00543112018-07-31 09:44:36 -0400306}
307
308#endif