blob: a2e9b465d645ba573dcd01fc693d989f69bd7262 [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,
Ethan Nicholasafe2c902020-04-28 13:55:02 -0400166 const char* name, sk_sp<SkData> inputs) {
Brian Osman9bfd5952020-02-05 10:51:44 -0500167 if (inputs->size() != effect->inputSize()) {
168 return nullptr;
169 }
Brian Osmanbd4f8722020-03-06 15:23:54 -0500170 return std::unique_ptr<GrSkSLFP>(new GrSkSLFP(
171 context->priv().caps()->refShaderCaps(), context->priv().getShaderErrorHandler(),
Ethan Nicholasafe2c902020-04-28 13:55:02 -0400172 std::move(effect), name, std::move(inputs)));
Ethan Nicholasa70693b2019-03-04 13:07:36 -0500173}
174
Brian Osmanbd4f8722020-03-06 15:23:54 -0500175GrSkSLFP::GrSkSLFP(sk_sp<const GrShaderCaps> shaderCaps, ShaderErrorHandler* shaderErrorHandler,
Ethan Nicholasafe2c902020-04-28 13:55:02 -0400176 sk_sp<SkRuntimeEffect> effect, const char* name, sk_sp<SkData> inputs)
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 Osmanab2f7c52020-02-06 13:31:15 -0500183 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000184}
Ethan Nicholas00543112018-07-31 09:44:36 -0400185
186GrSkSLFP::GrSkSLFP(const GrSkSLFP& other)
187 : INHERITED(kGrSkSLFP_ClassID, kNone_OptimizationFlags)
Brian Osman7b1678a2019-12-16 09:17:25 -0500188 , fShaderCaps(other.fShaderCaps)
Brian Osmanbd4f8722020-03-06 15:23:54 -0500189 , fShaderErrorHandler(other.fShaderErrorHandler)
Brian Osman7b1678a2019-12-16 09:17:25 -0500190 , 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 this->addCoordTransform(&fCoordTransform);
Ethan Nicholaseace9352018-10-15 20:09:54 +0000194}
Ethan Nicholas00543112018-07-31 09:44:36 -0400195
196const char* GrSkSLFP::name() const {
197 return fName;
198}
199
Ethan Nicholasce008112018-08-30 09:19:50 -0400200void GrSkSLFP::addChild(std::unique_ptr<GrFragmentProcessor> child) {
Ethan Nicholas58430122020-04-14 09:54:02 -0400201 child->setSampledWithExplicitCoords();
Ethan Nicholasce008112018-08-30 09:19:50 -0400202 this->registerChildProcessor(std::move(child));
203}
204
Ethan Nicholas00543112018-07-31 09:44:36 -0400205GrGLSLFragmentProcessor* GrSkSLFP::onCreateGLSLInstance() const {
Brian Osman7b1678a2019-12-16 09:17:25 -0500206 // Note: This is actually SkSL (again) but with inline format specifiers.
Brian Osman107c6662019-12-30 15:02:30 -0500207 SkSL::PipelineStageArgs args;
Brian Osmanbd4f8722020-03-06 15:23:54 -0500208 fEffect->toPipelineStage(fInputs->data(), fShaderCaps.get(), fShaderErrorHandler, &args);
Brian Osman300fe1d2020-01-23 15:42:43 -0500209 return new GrGLSLSkSLFP(std::move(args));
Greg Danielf4107942019-12-12 01:02:48 +0000210}
211
Brian Osmand927bd22019-12-18 11:23:12 -0500212void GrSkSLFP::onGetGLSLProcessorKey(const GrShaderCaps& caps, GrProcessorKeyBuilder* b) const {
Brian Osman32253062020-02-05 11:37:08 -0500213 // In the unlikely event of a hash collision, we also include the input size in the key.
214 // That ensures that we will (at worst) use the wrong program, but one that expects the same
215 // amount of input data.
216 b->add32(fEffect->hash());
217 b->add32(SkToU32(fInputs->size()));
Brian Osman9bfd5952020-02-05 10:51:44 -0500218 const uint8_t* inputs = fInputs->bytes();
Brian Osmanf72dedd2020-01-08 13:19:58 -0500219 for (const auto& v : fEffect->inputs()) {
Brian Osmand927bd22019-12-18 11:23:12 -0500220 if (v.fQualifier != SkRuntimeEffect::Variable::Qualifier::kIn) {
Ethan Nicholasce008112018-08-30 09:19:50 -0400221 continue;
Ethan Nicholasc1c686b2019-04-02 17:30:23 -0400222 }
Brian Osmand927bd22019-12-18 11:23:12 -0500223 // 'in' arrays are not supported
224 SkASSERT(!v.isArray());
225 switch (v.fType) {
226 case SkRuntimeEffect::Variable::Type::kBool:
227 b->add32(inputs[v.fOffset]);
228 break;
229 case SkRuntimeEffect::Variable::Type::kInt:
230 case SkRuntimeEffect::Variable::Type::kFloat:
231 b->add32(*(int32_t*)(inputs + v.fOffset));
232 break;
233 default:
234 SkDEBUGFAIL("Unsupported input variable type");
235 break;
Ethan Nicholas00543112018-07-31 09:44:36 -0400236 }
237 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400238}
239
240bool GrSkSLFP::onIsEqual(const GrFragmentProcessor& other) const {
241 const GrSkSLFP& sk = other.cast<GrSkSLFP>();
Brian Osman32253062020-02-05 11:37:08 -0500242 return fEffect->hash() == sk.fEffect->hash() && fInputs->equals(sk.fInputs.get());
Ethan Nicholas00543112018-07-31 09:44:36 -0400243}
244
245std::unique_ptr<GrFragmentProcessor> GrSkSLFP::clone() const {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000246 std::unique_ptr<GrSkSLFP> result(new GrSkSLFP(*this));
Ethan Nicholasce008112018-08-30 09:19:50 -0400247 for (int i = 0; i < this->numChildProcessors(); ++i) {
Brian Osman87e3bef2020-01-27 16:21:34 -0500248 result->addChild(this->childProcessor(i).clone());
Ethan Nicholasce008112018-08-30 09:19:50 -0400249 }
250 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400251}
252
Robert Phillips7f11fb52019-12-03 13:35:19 -0500253/**************************************************************************************************/
Ethan Nicholas00543112018-07-31 09:44:36 -0400254
255GR_DEFINE_FRAGMENT_PROCESSOR_TEST(GrSkSLFP);
256
257#if GR_TEST_UTILS
258
Mike Kleinc0bd9f92019-04-23 12:05:21 -0500259#include "include/effects/SkArithmeticImageFilter.h"
Mike Kleina73819b2020-04-17 08:26:30 -0500260#include "include/effects/SkOverdrawColorFilter.h"
Mike Kleinc0bd9f92019-04-23 12:05:21 -0500261#include "include/gpu/GrContext.h"
262#include "src/gpu/effects/generated/GrConstColorProcessor.h"
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400263
264extern const char* SKSL_ARITHMETIC_SRC;
265extern const char* SKSL_DITHER_SRC;
266extern const char* SKSL_OVERDRAW_SRC;
Ethan Nicholas00543112018-07-31 09:44:36 -0400267
268using Value = SkSL::Program::Settings::Value;
269
270std::unique_ptr<GrFragmentProcessor> GrSkSLFP::TestCreate(GrProcessorTestData* d) {
Ethan Nicholaseace9352018-10-15 20:09:54 +0000271 int type = d->fRandom->nextULessThan(3);
Ethan Nicholas00543112018-07-31 09:44:36 -0400272 switch (type) {
273 case 0: {
Brian Osman088913a2019-12-19 15:44:56 -0500274 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_DITHER_SRC)));
Ethan Nicholas00543112018-07-31 09:44:36 -0400275 int rangeType = d->fRandom->nextULessThan(3);
Brian Osman088913a2019-12-19 15:44:56 -0500276 auto result = GrSkSLFP::Make(d->context(), effect, "Dither",
Brian Osman9bfd5952020-02-05 10:51:44 -0500277 SkData::MakeWithCopy(&rangeType, sizeof(rangeType)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400278 return std::unique_ptr<GrFragmentProcessor>(result.release());
279 }
280 case 1: {
Brian Osman088913a2019-12-19 15:44:56 -0500281 static auto effect = std::get<0>(SkRuntimeEffect::Make(SkString(SKSL_ARITHMETIC_SRC)));
Brian Osman0a3c57f2020-02-05 13:13:32 -0500282 ArithmeticFPInputs inputs{d->fRandom->nextF(), d->fRandom->nextF(), d->fRandom->nextF(),
283 d->fRandom->nextF(), d->fRandom->nextBool()};
Brian Osman088913a2019-12-19 15:44:56 -0500284 auto result = GrSkSLFP::Make(d->context(), effect, "Arithmetic",
Brian Osman9bfd5952020-02-05 10:51:44 -0500285 SkData::MakeWithCopy(&inputs, sizeof(inputs)));
Ethan Nicholasce008112018-08-30 09:19:50 -0400286 result->addChild(GrConstColorProcessor::Make(
Ethan Nicholasafe2c902020-04-28 13:55:02 -0400287 SK_PMColor4fWHITE, GrConstColorProcessor::InputMode::kIgnore));
Ethan Nicholasce008112018-08-30 09:19:50 -0400288 return std::unique_ptr<GrFragmentProcessor>(result.release());
Ethan Nicholas00543112018-07-31 09:44:36 -0400289 }
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400290 case 2: {
Mike Kleina73819b2020-04-17 08:26:30 -0500291 SkColor colors[SkOverdrawColorFilter::kNumColors];
292 for (SkColor& c : colors) {
293 c = d->fRandom->nextU();
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400294 }
Mike Kleina73819b2020-04-17 08:26:30 -0500295 return SkOverdrawColorFilter::MakeWithSkColors(colors)
296 ->asFragmentProcessor(d->context(), GrColorInfo{});
Ethan Nicholas78aceb22018-08-31 16:13:58 -0400297 }
Ethan Nicholas00543112018-07-31 09:44:36 -0400298 }
299 SK_ABORT("unreachable");
Ethan Nicholas00543112018-07-31 09:44:36 -0400300}
301
302#endif