blob: bd5a7cd4016f39f0c51a9cbbc9d845061db5e889 [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;
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 Osman7b1678a2019-12-16 09:17:25 -0500169 return std::unique_ptr<GrSkSLFP>(new GrSkSLFP(context->priv().caps()->refShaderCaps(),
Brian Osman9bfd5952020-02-05 10:51:44 -0500170 std::move(effect), name, std::move(inputs),
Brian Osman7b1678a2019-12-16 09:17:25 -0500171 matrix));
Ethan Nicholasa70693b2019-03-04 13:07:36 -0500172}
173
Brian Osman7b1678a2019-12-16 09:17:25 -0500174GrSkSLFP::GrSkSLFP(sk_sp<const GrShaderCaps> shaderCaps, sk_sp<SkRuntimeEffect> effect,
Brian Osman9bfd5952020-02-05 10:51:44 -0500175 const char* name, sk_sp<SkData> inputs, const SkMatrix* matrix)
Ethan Nicholas00543112018-07-31 09:44:36 -0400176 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500177 , fShaderCaps(std::move(shaderCaps))
178 , fEffect(std::move(effect))
Ethan Nicholas00543112018-07-31 09:44:36 -0400179 , fName(name)
Brian Osman9bfd5952020-02-05 10:51:44 -0500180 , fInputs(std::move(inputs)) {
Brian Osman3b1e4c22019-08-12 15:12:14 -0400181 if (matrix) {
182 fCoordTransform = GrCoordTransform(*matrix);
Brian Osman3b1e4c22019-08-12 15:12:14 -0400183 }
Brian Osmanab2f7c52020-02-06 13:31:15 -0500184 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000185}
Ethan Nicholas00543112018-07-31 09:44:36 -0400186
187GrSkSLFP::GrSkSLFP(const GrSkSLFP& other)
188 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500189 , fShaderCaps(other.fShaderCaps)
190 , fEffect(other.fEffect)
Ethan Nicholas00543112018-07-31 09:44:36 -0400191 , fName(other.fName)
Brian Osman9bfd5952020-02-05 10:51:44 -0500192 , fInputs(other.fInputs) {
Brian Osmanab2f7c52020-02-06 13:31:15 -0500193 SkASSERT(other.numCoordTransforms() == 1);
194 fCoordTransform = other.fCoordTransform;
195 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000196}
Ethan Nicholas00543112018-07-31 09:44:36 -0400197
198const char* GrSkSLFP::name() const {
199 return fName;
200}
201
Ethan Nicholasce008112018-08-30 09:19:50 -0400202void GrSkSLFP::addChild(std::unique_ptr<GrFragmentProcessor> child) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500203 child->setSampledWithExplicitCoords(true);
Ethan Nicholasce008112018-08-30 09:19:50 -0400204 this->registerChildProcessor(std::move(child));
205}
206
Ethan Nicholas00543112018-07-31 09:44:36 -0400207GrGLSLFragmentProcessor* GrSkSLFP::onCreateGLSLInstance() const {
Brian Osman7b1678a2019-12-16 09:17:25 -0500208 // Note: This is actually SkSL (again) but with inline format specifiers.
Brian Osman107c6662019-12-30 15:02:30 -0500209 SkSL::PipelineStageArgs args;
Brian Osman9bfd5952020-02-05 10:51:44 -0500210 SkAssertResult(fEffect->toPipelineStage(fInputs->data(), fShaderCaps.get(), &args));
Brian Osman300fe1d2020-01-23 15:42:43 -0500211 return new GrGLSLSkSLFP(std::move(args));
Greg Danielf4107942019-12-12 01:02:48 +0000212}
213
Brian Osmand927bd22019-12-18 11:23:12 -0500214void GrSkSLFP::onGetGLSLProcessorKey(const GrShaderCaps& caps, GrProcessorKeyBuilder* b) const {
Brian Osman32253062020-02-05 11:37:08 -0500215 // In the unlikely event of a hash collision, we also include the input size in the key.
216 // That ensures that we will (at worst) use the wrong program, but one that expects the same
217 // amount of input data.
218 b->add32(fEffect->hash());
219 b->add32(SkToU32(fInputs->size()));
Brian Osman9bfd5952020-02-05 10:51:44 -0500220 const uint8_t* inputs = fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500221 for (const auto& v : fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500222 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kIn) {
Ethan Nicholasce008112018-08-30 09:19:50 -0400223 continue;
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400224 }
Brian Osmand927bd22019-12-18 11:23:12 -0500225 // 'in' arrays are not supported
226 SkASSERT(!v.isArray());
227 switch (v.fType) {
228 case SkRuntimeEffect::Variable::Type::kBool:
229 b->add32(inputs[v.fOffset]);
230 break;
231 case SkRuntimeEffect::Variable::Type::kInt:
232 case SkRuntimeEffect::Variable::Type::kFloat:
233 b->add32(*(int32_t*)(inputs + v.fOffset));
234 break;
235 default:
236 SkDEBUGFAIL("Unsupported input variable type");
237 break;
Ethan Nicholas00543112018-07-31 09:44:36 -0400238 }
239 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400240}
241
242bool GrSkSLFP::onIsEqual(const GrFragmentProcessor& other) const {
243 const GrSkSLFP& sk = other.cast<GrSkSLFP>();
Brian Osman32253062020-02-05 11:37:08 -0500244 return fEffect->hash() == sk.fEffect->hash() && fInputs->equals(sk.fInputs.get());
Ethan Nicholas00543112018-07-31 09:44:36 -0400245}
246
247std::unique_ptr<GrFragmentProcessor> GrSkSLFP::clone() const {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000248 std::unique_ptr<GrSkSLFP> result(new GrSkSLFP(*this));
Ethan Nicholasce008112018-08-30 09:19:50 -0400249 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500250 result->addChild(this->childProcessor(i).clone());
Ethan Nicholasce008112018-08-30 09:19:50 -0400251 }
252 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400253}
254
Robert Phillips7f11fb52019-12-03 13:35:19 -0500255/**************************************************************************************************/
Ethan Nicholas00543112018-07-31 09:44:36 -0400256
257GR_DEFINE_FRAGMENT_PROCESSOR_TEST(GrSkSLFP);
258
259#if GR_TEST_UTILS
260
Mike Kleinc0bd9f92019-04-23 12:05:21 -0500261#include "include/effects/SkArithmeticImageFilter.h"
262#include "include/gpu/GrContext.h"
263#include "src/gpu/effects/generated/GrConstColorProcessor.h"
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400264
265extern const char* SKSL_ARITHMETIC_SRC;
266extern const char* SKSL_DITHER_SRC;
267extern const char* SKSL_OVERDRAW_SRC;
Ethan Nicholas00543112018-07-31 09:44:36 -0400268
269using Value = SkSL::Program::Settings::Value;
270
271std::unique_ptr<GrFragmentProcessor> GrSkSLFP::TestCreate(GrProcessorTestData* d) {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000272 int type = d->fRandom->nextULessThan(3);
Ethan Nicholas00543112018-07-31 09:44:36 -0400273 switch (type) {
274 case 0: {
Brian Osman088913a2019-12-19 15:44:56 -0500275 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_DITHER_SRC)));
Ethan Nicholas00543112018-07-31 09:44:36 -0400276 int rangeType = d->fRandom->nextULessThan(3);
Brian Osman088913a2019-12-19 15:44:56 -0500277 auto result = GrSkSLFP::Make(d->context(), effect, "Dither",
Brian Osman9bfd5952020-02-05 10:51:44 -0500278 SkData::MakeWithCopy(&rangeType, sizeof(rangeType)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400279 return std::unique_ptr<GrFragmentProcessor>(result.release());
280 }
281 case 1: {
Brian Osman088913a2019-12-19 15:44:56 -0500282 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_ARITHMETIC_SRC)));
Brian Osman0a3c57f2020-02-05 13:13:32 -0500283 ArithmeticFPInputs inputs{d->fRandom->nextF(), d->fRandom->nextF(), d->fRandom->nextF(),
284 d->fRandom->nextF(), d->fRandom->nextBool()};
Brian Osman088913a2019-12-19 15:44:56 -0500285 auto result = GrSkSLFP::Make(d->context(), effect, "Arithmetic",
Brian Osman9bfd5952020-02-05 10:51:44 -0500286 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400287 result->addChild(GrConstColorProcessor::Make(
Brian Osman9bfd5952020-02-05 10:51:44 -0500288 SK_PMColor4fWHITE, GrConstColorProcessor::InputMode::kIgnore));
Ethan Nicholasce008112018-08-30 09:19:50 -0400289 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400290 }
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400291 case 2: {
Brian Osman088913a2019-12-19 15:44:56 -0500292 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_OVERDRAW_SRC)));
Brian Osman9d10abe2019-12-13 16:31:40 -0500293 SkColor4f inputs[6];
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400294 for (int i = 0; i < 6; ++i) {
Brian Osman9d10abe2019-12-13 16:31:40 -0500295 inputs[i] = SkColor4f::FromBytes_RGBA(d->fRandom->nextU());
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400296 }
Brian Osman088913a2019-12-19 15:44:56 -0500297 auto result = GrSkSLFP::Make(d->context(), effect, "Overdraw",
Brian Osman9bfd5952020-02-05 10:51:44 -0500298 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400299 return std::unique_ptr<GrFragmentProcessor>(result.release());
300 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400301 }
302 SK_ABORT("unreachable");
Ethan Nicholas00543112018-07-31 09:44:36 -0400303}
304
305#endif