| Flutter Impeller |

runtime_stage.cc
Go to the documentation of this file.
1 // Copyright 2013 The Flutter Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 #include "impeller/runtime_stage/runtime_stage.h"
6
7 #include <array>
8 #include <memory>
9 #include <sstream>
10
11 #include "fml/mapping.h"
12 #include "impeller/base/validation.h"
13 #include "impeller/core/runtime_types.h"
14 #include "impeller/core/shader_types.h"
15 #include "impeller/runtime_stage/runtime_stage_flatbuffers.h"
16 #include "runtime_stage_types_flatbuffers.h"
17
18 namespace impeller {
19
20 static RuntimeUniformType ToType(fb::UniformDataType type) {
21 switch (type) {
22 case fb::UniformDataType::kFloat:
23 return RuntimeUniformType::kFloat;
24 case fb::UniformDataType::kSampledImage:
25 return RuntimeUniformType::kSampledImage;
26 case fb::UniformDataType::kStruct:
27 return RuntimeUniformType::kStruct;
28 }
29 FML_UNREACHABLE();
30 }
31
32 static RuntimeShaderStage ToShaderStage(fb::Stage stage) {
33 switch (stage) {
34 case fb::Stage::kVertex:
35 return RuntimeShaderStage::kVertex;
36 case fb::Stage::kFragment:
37 return RuntimeShaderStage::kFragment;
38 case fb::Stage::kCompute:
39 return RuntimeShaderStage::kCompute;
40 }
41 FML_UNREACHABLE();
42 }
43
44 /// The generated name from GLSLang/shaderc for the UBO containing non-opaque
45 /// uniforms specified in the user-written runtime effect shader.
46 ///
47 /// Vulkan does not allow non-opaque uniforms outside of a UBO.
48 const char* RuntimeStage::kVulkanUBOName =
49 "_RESERVED_IDENTIFIER_FIXUP_gl_DefaultUniformBlock";
50
51 absl::StatusOr<RuntimeStage> RuntimeStage::Create(
52 const fb::RuntimeStage* runtime_stage,
53 const std::shared_ptr<fml::Mapping>& payload) {
54 if (!runtime_stage) {
55 return absl::InvalidArgumentError("Runtime stage is null.");
56 }
57
58 RuntimeStage stage(payload);
59 stage.stage_ = ToShaderStage(runtime_stage->stage());
60 stage.entrypoint_ = runtime_stage->entrypoint()->str();
61
62 auto* uniforms = runtime_stage->uniforms();
63
64 // Note: image bindings are screwy and will always have the same offset.
65 // track the binding of the UBO to determine where the image bindings go.
66 // This is only guaranteed to give us the correct bindings if there is a
67 // single sampler2D.
68 std::optional<size_t> ubo_id;
69 if (uniforms) {
70 for (auto i = uniforms->begin(), end = uniforms->end(); i != end; i++) {
71 RuntimeUniformDescription desc;
72 desc.name = i->name()->str();
73 desc.location = i->location();
74 desc.binding = i->binding();
75 desc.type = ToType(i->type());
76 if (desc.type == kStruct) {
77 ubo_id = desc.location;
78 desc.binding = desc.location;
79 }
80 desc.dimensions = RuntimeUniformDimensions{
81 static_cast<size_t>(i->rows()), static_cast<size_t>(i->columns())};
82 desc.bit_width = i->bit_width();
83 desc.array_elements = i->array_elements();
84 if (i->struct_layout()) {
85 for (const auto& byte_type : *i->struct_layout()) {
86 desc.struct_layout.push_back(static_cast<uint8_t>(byte_type));
87 }
88 }
89 desc.struct_float_count = i->struct_float_count();
90 stage.uniforms_.push_back(std::move(desc));
91 }
92 }
93
94 stage.code_mapping_ = std::make_shared<fml::NonOwnedMapping>(
95 runtime_stage->shader()->data(), //
96 runtime_stage->shader()->size(), //
97 [payload = stage.payload_](auto, auto) {} //
98 );
99
100 size_t binding = 64;
101 if (ubo_id.has_value() && ubo_id.value() == binding) {
102 binding++;
103 }
104 for (auto& uniform : stage.uniforms_) {
105 if (uniform.type == kSampledImage) {
106 uniform.binding = binding;
107 binding++;
108 if (ubo_id.has_value() && ubo_id.value() == binding) {
109 binding++;
110 }
111 }
112 }
113
114 for (const auto& uniform : stage.GetUniforms()) {
115 if (uniform.type == kStruct) {
116 stage.descriptor_set_layouts_.push_back(DescriptorSetLayout{
117 static_cast<uint32_t>(uniform.location),
118 DescriptorType::kUniformBuffer,
119 ShaderStage::kFragment,
120 });
121 } else if (uniform.type == kSampledImage) {
122 stage.descriptor_set_layouts_.push_back(DescriptorSetLayout{
123 static_cast<uint32_t>(uniform.binding),
124 DescriptorType::kSampledImage,
125 ShaderStage::kFragment,
126 });
127 }
128 }
129
130 return stage;
131 }
132
133 std::unique_ptr<RuntimeStage> RuntimeStage::RuntimeStageIfPresent(
134 const fb::RuntimeStage* runtime_stage,
135 const std::shared_ptr<fml::Mapping>& payload) {
136 auto stage = Create(runtime_stage, payload);
137 if (!stage.ok()) {
138 return nullptr;
139 }
140 return std::make_unique<RuntimeStage>(std::move(*stage));
141 }
142
143 absl::StatusOr<RuntimeStage::Map> RuntimeStage::DecodeRuntimeStages(
144 const std::shared_ptr<fml::Mapping>& payload) {
145 if (payload == nullptr || !payload->GetMapping()) {
146 return absl::InvalidArgumentError("Payload is null or empty.");
147 }
148 if (!fb::RuntimeStagesBufferHasIdentifier(payload->GetMapping())) {
149 return absl::InvalidArgumentError(
150 "Payload does not have valid identifier.");
151 }
152
153 auto raw_stages = fb::GetRuntimeStages(payload->GetMapping());
154 if (!raw_stages) {
155 return absl::InvalidArgumentError("Failed to get runtime stages.");
156 }
157
158 const uint32_t version = raw_stages->format_version();
159 const auto expected =
160 static_cast<uint32_t>(fb::RuntimeStagesFormatVersion::kVersion);
161 if (version != expected) {
162 std::stringstream stream;
163 stream << "Unsupported runtime stages format version. Expected " << expected
164 << ", got " << version << ".";
165 return absl::InvalidArgumentError(stream.str());
166 }
167
168 return Map{
169 {RuntimeStageBackend::kSkSL,
170 RuntimeStageIfPresent(raw_stages->sksl(), payload)},
171 {RuntimeStageBackend::kMetal,
172 RuntimeStageIfPresent(raw_stages->metal(), payload)},
173 {RuntimeStageBackend::kOpenGLES,
174 RuntimeStageIfPresent(raw_stages->opengles(), payload)},
175 {RuntimeStageBackend::kOpenGLES3,
176 RuntimeStageIfPresent(raw_stages->opengles3(), payload)},
177 {RuntimeStageBackend::kVulkan,
178 RuntimeStageIfPresent(raw_stages->vulkan(), payload)},
179 };
180 }
181
182 RuntimeStage::RuntimeStage(std::shared_ptr<fml::Mapping> payload)
183 : payload_(std::move(payload)) {}
184
185 RuntimeStage::~RuntimeStage() = default;
186 RuntimeStage::RuntimeStage(RuntimeStage&&) = default;
187 RuntimeStage& RuntimeStage::operator=(RuntimeStage&&) = default;
188
189 const std::shared_ptr<fml::Mapping>& RuntimeStage::GetCodeMapping() const {
190 return code_mapping_;
191 }
192
193 const std::vector<RuntimeUniformDescription>& RuntimeStage::GetUniforms()
194 const {
195 return uniforms_;
196 }
197
198 const RuntimeUniformDescription* RuntimeStage::GetUniform(
199 const std::string& name) const {
200 for (const auto& uniform : uniforms_) {
201 if (uniform.name == name) {
202 return &uniform;
203 }
204 }
205 return nullptr;
206 }
207
208 const std::string& RuntimeStage::GetEntrypoint() const {
209 return entrypoint_;
210 }
211
212 RuntimeShaderStage RuntimeStage::GetShaderStage() const {
213 return stage_;
214 }
215
216 bool RuntimeStage::IsDirty() const {
217 return is_dirty_;
218 }
219
220 void RuntimeStage::SetClean() {
221 is_dirty_ = false;
222 }
223
224 const std::vector<DescriptorSetLayout>& RuntimeStage::GetDescriptorSetLayouts()
225 const {
226 return descriptor_set_layouts_;
227 }
228
229 } // namespace impeller
type
GLenum type
Definition: blit_command_gles.cc:153
impeller::RuntimeStage
Definition: runtime_stage.h:21
impeller::RuntimeStage::~RuntimeStage
~RuntimeStage()
impeller::RuntimeStage::RuntimeStage
RuntimeStage(RuntimeStage &&)
impeller::RuntimeStage::GetEntrypoint
const std::string & GetEntrypoint() const
Definition: runtime_stage.cc:208
impeller::RuntimeStage::operator=
RuntimeStage & operator=(RuntimeStage &&)
impeller::RuntimeStage::Create
static absl::StatusOr< RuntimeStage > Create(const fb::RuntimeStage *runtime_stage, const std::shared_ptr< fml::Mapping > &payload)
Definition: runtime_stage.cc:51
impeller::RuntimeStage::GetUniforms
const std::vector< RuntimeUniformDescription > & GetUniforms() const
Definition: runtime_stage.cc:193
impeller::RuntimeStage::SetClean
void SetClean()
Definition: runtime_stage.cc:220
impeller::RuntimeStage::GetUniform
const RuntimeUniformDescription * GetUniform(const std::string &name) const
Definition: runtime_stage.cc:198
impeller::RuntimeStage::Map
std::map< RuntimeStageBackend, std::shared_ptr< RuntimeStage > > Map
Definition: runtime_stage.h:25
impeller::RuntimeStage::kVulkanUBOName
static const char * kVulkanUBOName
Definition: runtime_stage.h:23
impeller::RuntimeStage::GetCodeMapping
const std::shared_ptr< fml::Mapping > & GetCodeMapping() const
Definition: runtime_stage.cc:189
impeller::RuntimeStage::IsDirty
bool IsDirty() const
Definition: runtime_stage.cc:216
impeller::RuntimeStage::GetDescriptorSetLayouts
const std::vector< DescriptorSetLayout > & GetDescriptorSetLayouts() const
Definition: runtime_stage.cc:224
impeller::RuntimeStage::DecodeRuntimeStages
static absl::StatusOr< Map > DecodeRuntimeStages(const std::shared_ptr< fml::Mapping > &payload)
Definition: runtime_stage.cc:143
impeller::RuntimeStage::GetShaderStage
RuntimeShaderStage GetShaderStage() const
Definition: runtime_stage.cc:212
impeller
Definition: allocation.cc:12
impeller::RuntimeShaderStage
RuntimeShaderStage
Definition: runtime_types.h:30
impeller::RuntimeShaderStage::kCompute
@ kCompute
impeller::RuntimeShaderStage::kFragment
@ kFragment
impeller::RuntimeShaderStage::kVertex
@ kVertex
impeller::RuntimeStageBackend::kOpenGLES
@ kOpenGLES
impeller::RuntimeStageBackend::kMetal
@ kMetal
impeller::RuntimeStageBackend::kVulkan
@ kVulkan
impeller::RuntimeStageBackend::kSkSL
@ kSkSL
impeller::RuntimeStageBackend::kOpenGLES3
@ kOpenGLES3
impeller::ToShaderStage
constexpr ShaderStage ToShaderStage(RuntimeShaderStage stage)
Definition: shader_types.h:29
impeller::ShaderStage::kFragment
@ kFragment
impeller::ToType
static RuntimeUniformType ToType(fb::UniformDataType type)
Definition: runtime_stage.cc:20
impeller::DescriptorType::kUniformBuffer
@ kUniformBuffer
impeller::DescriptorType::kSampledImage
@ kSampledImage
impeller::RuntimeUniformType
RuntimeUniformType
Definition: runtime_types.h:24
impeller::kSampledImage
@ kSampledImage
Definition: runtime_types.h:26
impeller::kFloat
@ kFloat
Definition: runtime_types.h:25
impeller::kStruct
@ kStruct
Definition: runtime_types.h:27
std
Definition: comparable.h:95
runtime_stage.h
runtime_types.h
shader_types.h
impeller::DescriptorSetLayout
Definition: shader_types.h:167
impeller::RuntimeUniformDescription
Definition: runtime_types.h:41
impeller::RuntimeUniformDescription::dimensions
RuntimeUniformDimensions dimensions
Definition: runtime_types.h:47
impeller::RuntimeUniformDescription::location
size_t location
Definition: runtime_types.h:43
impeller::RuntimeUniformDescription::struct_layout
std::vector< uint8_t > struct_layout
Definition: runtime_types.h:50
impeller::RuntimeUniformDescription::name
std::string name
Definition: runtime_types.h:42
impeller::RuntimeUniformDescription::type
RuntimeUniformType type
Definition: runtime_types.h:46
impeller::RuntimeUniformDescription::struct_float_count
size_t struct_float_count
Definition: runtime_types.h:51
impeller::RuntimeUniformDescription::array_elements
std::optional< size_t > array_elements
Definition: runtime_types.h:49
impeller::RuntimeUniformDescription::bit_width
size_t bit_width
Definition: runtime_types.h:48
impeller::RuntimeUniformDescription::binding
size_t binding
Location, but for Vulkan.
Definition: runtime_types.h:45
impeller::RuntimeUniformDimensions
Definition: runtime_types.h:36
end
const size_t end
Definition: tessellator_libtess.cc:63
validation.h