| /* |
| * Copyright (C) 2019 Apple Inc. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' |
| * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, |
| * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
| * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS |
| * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
| * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
| * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF |
| * THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #include "config.h" |
| #include "WHLSLSemanticMatcher.h" |
| |
| #if ENABLE(WEBGPU) |
| |
| #include "WHLSLBuiltInSemantic.h" |
| #include "WHLSLFunctionDefinition.h" |
| #include "WHLSLGatherEntryPointItems.h" |
| #include "WHLSLInferTypes.h" |
| #include "WHLSLPipelineDescriptor.h" |
| #include "WHLSLProgram.h" |
| #include "WHLSLResourceSemantic.h" |
| #include "WHLSLStageInOutSemantic.h" |
| #include <wtf/HashMap.h> |
| #include <wtf/HashSet.h> |
| #include <wtf/Optional.h> |
| #include <wtf/text/WTFString.h> |
| |
| namespace WebCore { |
| |
| namespace WHLSL { |
| |
| static bool matchMode(Binding::BindingDetails bindingType, AST::ResourceSemantic::Mode mode) |
| { |
| return WTF::visit(WTF::makeVisitor([&](UniformBufferBinding) -> bool { |
| return mode == AST::ResourceSemantic::Mode::Buffer; |
| }, [&](SamplerBinding) -> bool { |
| return mode == AST::ResourceSemantic::Mode::Sampler; |
| }, [&](TextureBinding) -> bool { |
| return mode == AST::ResourceSemantic::Mode::Texture; |
| }, [&](StorageBufferBinding) -> bool { |
| return mode == AST::ResourceSemantic::Mode::UnorderedAccessView; |
| }), bindingType); |
| } |
| |
| static Optional<HashMap<Binding*, size_t>> matchResources(Vector<EntryPointItem>& entryPointItems, Layout& layout, ShaderStage shaderStage) |
| { |
| HashMap<Binding*, size_t> result; |
| HashSet<size_t, DefaultHash<size_t>::Hash, WTF::UnsignedWithZeroKeyHashTraits<size_t>> itemIndices; |
| for (auto& bindGroup : layout) { |
| auto space = bindGroup.name; |
| for (auto& binding : bindGroup.bindings) { |
| if (!binding.visibility.contains(shaderStage)) |
| continue; |
| for (size_t i = 0; i < entryPointItems.size(); ++i) { |
| auto& item = entryPointItems[i]; |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::ResourceSemantic>(semantic)) |
| continue; |
| auto& resourceSemantic = WTF::get<AST::ResourceSemantic>(semantic); |
| if (!matchMode(binding.binding, resourceSemantic.mode())) |
| continue; |
| if (binding.externalName != resourceSemantic.index()) |
| continue; |
| if (space != resourceSemantic.space()) |
| continue; |
| result.add(&binding, i); |
| itemIndices.add(i); |
| } |
| } |
| } |
| |
| for (size_t i = 0; i < entryPointItems.size(); ++i) { |
| auto& item = entryPointItems[i]; |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::ResourceSemantic>(semantic)) |
| continue; |
| if (!itemIndices.contains(i)) |
| return WTF::nullopt; |
| } |
| |
| return result; |
| } |
| |
| static bool matchInputsOutputs(Vector<EntryPointItem>& vertexOutputs, Vector<EntryPointItem>& fragmentInputs) |
| { |
| for (auto& fragmentInput : fragmentInputs) { |
| if (!WTF::holds_alternative<AST::StageInOutSemantic>(*fragmentInput.semantic)) |
| continue; |
| auto& fragmentInputStageInOutSemantic = WTF::get<AST::StageInOutSemantic>(*fragmentInput.semantic); |
| bool found = false; |
| for (auto& vertexOutput : vertexOutputs) { |
| if (!WTF::holds_alternative<AST::StageInOutSemantic>(*vertexOutput.semantic)) |
| continue; |
| auto& vertexOutputStageInOutSemantic = WTF::get<AST::StageInOutSemantic>(*vertexOutput.semantic); |
| if (fragmentInputStageInOutSemantic.index() == vertexOutputStageInOutSemantic.index()) { |
| if (matches(*fragmentInput.unnamedType, *vertexOutput.unnamedType)) { |
| found = true; |
| break; |
| } |
| return false; |
| } |
| } |
| if (!found) |
| return false; |
| } |
| return true; |
| } |
| |
| static bool isAcceptableFormat(VertexFormat vertexFormat, AST::UnnamedType& unnamedType, Intrinsics& intrinsics) |
| { |
| switch (vertexFormat) { |
| case VertexFormat::FloatR32G32B32A32: |
| return matches(unnamedType, intrinsics.float4Type()); |
| case VertexFormat::FloatR32G32B32: |
| return matches(unnamedType, intrinsics.float3Type()); |
| case VertexFormat::FloatR32G32: |
| return matches(unnamedType, intrinsics.float2Type()); |
| default: |
| ASSERT(vertexFormat == VertexFormat::FloatR32); |
| return matches(unnamedType, intrinsics.floatType()); |
| } |
| } |
| |
| static Optional<HashMap<VertexAttribute*, size_t>> matchVertexAttributes(Vector<EntryPointItem>& vertexInputs, VertexAttributes& vertexAttributes, Intrinsics& intrinsics) |
| { |
| HashMap<VertexAttribute*, size_t> result; |
| HashSet<size_t, DefaultHash<size_t>::Hash, WTF::UnsignedWithZeroKeyHashTraits<size_t>> itemIndices; |
| for (auto& vertexAttribute : vertexAttributes) { |
| for (size_t i = 0; i < vertexInputs.size(); ++i) { |
| auto& item = vertexInputs[i]; |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::StageInOutSemantic>(semantic)) |
| continue; |
| auto& stageInOutSemantic = WTF::get<AST::StageInOutSemantic>(semantic); |
| if (stageInOutSemantic.index() != vertexAttribute.shaderLocation) |
| continue; |
| if (!isAcceptableFormat(vertexAttribute.vertexFormat, *item.unnamedType, intrinsics)) |
| return WTF::nullopt; |
| result.add(&vertexAttribute, i); |
| itemIndices.add(i); |
| } |
| } |
| |
| for (size_t i = 0; i < vertexInputs.size(); ++i) { |
| auto& item = vertexInputs[i]; |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::StageInOutSemantic>(semantic)) |
| continue; |
| if (!itemIndices.contains(i)) |
| return WTF::nullopt; |
| } |
| |
| return result; |
| } |
| |
| static bool isAcceptableFormat(TextureFormat textureFormat, AST::UnnamedType& unnamedType, Intrinsics& intrinsics, bool isColor) |
| { |
| if (isColor) { |
| switch (textureFormat) { |
| case TextureFormat::R8Unorm: |
| case TextureFormat::R8UnormSrgb: |
| case TextureFormat::R8Snorm: |
| case TextureFormat::R16Unorm: |
| case TextureFormat::R16Snorm: |
| case TextureFormat::R16Float: |
| case TextureFormat::R32Float: |
| return matches(unnamedType, intrinsics.floatType()); |
| case TextureFormat::RG8Unorm: |
| case TextureFormat::RG8UnormSrgb: |
| case TextureFormat::RG8Snorm: |
| case TextureFormat::RG16Unorm: |
| case TextureFormat::RG16Snorm: |
| case TextureFormat::RG16Float: |
| case TextureFormat::RG32Float: |
| return matches(unnamedType, intrinsics.float2Type()); |
| case TextureFormat::B5G6R5Unorm: |
| case TextureFormat::RG11B10Float: |
| return matches(unnamedType, intrinsics.float3Type()); |
| case TextureFormat::RGBA8Unorm: |
| case TextureFormat::RGBA8UnormSrgb: |
| case TextureFormat::BGRA8Unorm: |
| case TextureFormat::BGRA8UnormSrgb: |
| case TextureFormat::RGBA8Snorm: |
| case TextureFormat::RGB10A2Unorm: |
| case TextureFormat::RGBA16Unorm: |
| case TextureFormat::RGBA16Snorm: |
| case TextureFormat::RGBA16Float: |
| case TextureFormat::RGBA32Float: |
| return matches(unnamedType, intrinsics.float4Type()); |
| case TextureFormat::R32Uint: |
| return matches(unnamedType, intrinsics.uintType()); |
| case TextureFormat::R32Sint: |
| return matches(unnamedType, intrinsics.intType()); |
| case TextureFormat::RG32Uint: |
| return matches(unnamedType, intrinsics.uint2Type()); |
| case TextureFormat::RG32Sint: |
| return matches(unnamedType, intrinsics.int2Type()); |
| case TextureFormat::RGBA32Uint: |
| return matches(unnamedType, intrinsics.uint4Type()); |
| case TextureFormat::RGBA32Sint: |
| return matches(unnamedType, intrinsics.int4Type()); |
| default: |
| ASSERT_NOT_REACHED(); |
| return false; |
| } |
| } |
| return false; |
| } |
| |
| static Optional<HashMap<AttachmentDescriptor*, size_t>> matchColorAttachments(Vector<EntryPointItem>& fragmentOutputs, Vector<AttachmentDescriptor>& attachmentDescriptors, Intrinsics& intrinsics) |
| { |
| HashMap<AttachmentDescriptor*, size_t> result; |
| HashSet<size_t, DefaultHash<size_t>::Hash, WTF::UnsignedWithZeroKeyHashTraits<size_t>> itemIndices; |
| for (auto& attachmentDescriptor : attachmentDescriptors) { |
| for (size_t i = 0; i < fragmentOutputs.size(); ++i) { |
| auto& item = fragmentOutputs[i]; |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::StageInOutSemantic>(semantic)) |
| continue; |
| auto& stageInOutSemantic = WTF::get<AST::StageInOutSemantic>(semantic); |
| if (stageInOutSemantic.index() != attachmentDescriptor.name) |
| continue; |
| if (!isAcceptableFormat(attachmentDescriptor.textureFormat, *item.unnamedType, intrinsics, true)) |
| return WTF::nullopt; |
| result.add(&attachmentDescriptor, i); |
| itemIndices.add(i); |
| } |
| } |
| |
| for (size_t i = 0; i < fragmentOutputs.size(); ++i) { |
| auto& item = fragmentOutputs[i]; |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::StageInOutSemantic>(semantic)) |
| continue; |
| if (!itemIndices.contains(i)) |
| return WTF::nullopt; |
| } |
| |
| return result; |
| } |
| |
| static bool matchDepthAttachment(Vector<EntryPointItem>& fragmentOutputs, Optional<AttachmentDescriptor>& depthStencilAttachmentDescriptor, Intrinsics& intrinsics) |
| { |
| auto iterator = std::find_if(fragmentOutputs.begin(), fragmentOutputs.end(), [&](EntryPointItem& item) { |
| auto& semantic = *item.semantic; |
| if (!WTF::holds_alternative<AST::BuiltInSemantic>(semantic)) |
| return false; |
| auto& builtInSemantic = WTF::get<AST::BuiltInSemantic>(semantic); |
| return builtInSemantic.variable() == AST::BuiltInSemantic::Variable::SVDepth; |
| }); |
| if (iterator == fragmentOutputs.end()) |
| return true; |
| |
| if (depthStencilAttachmentDescriptor) { |
| ASSERT(!depthStencilAttachmentDescriptor->name); |
| return isAcceptableFormat(depthStencilAttachmentDescriptor->textureFormat, *iterator->unnamedType, intrinsics, false); |
| } |
| return false; |
| } |
| |
| Optional<MatchedRenderSemantics> matchSemantics(Program& program, RenderPipelineDescriptor& renderPipelineDescriptor, bool distinctFragmentShader, bool fragmentShaderExists) |
| { |
| auto vertexFunctions = program.nameContext().getFunctions(renderPipelineDescriptor.vertexEntryPointName, AST::NameSpace::NameSpace1); |
| if (vertexFunctions.size() != 1 || !vertexFunctions[0].get().entryPointType() || !is<AST::FunctionDefinition>(vertexFunctions[0].get())) |
| return WTF::nullopt; |
| auto& vertexShaderEntryPoint = downcast<AST::FunctionDefinition>(vertexFunctions[0].get()); |
| auto vertexShaderEntryPointItems = gatherEntryPointItems(program.intrinsics(), vertexShaderEntryPoint); |
| if (!vertexShaderEntryPointItems) |
| return WTF::nullopt; |
| auto vertexShaderResourceMap = matchResources(vertexShaderEntryPointItems->inputs, renderPipelineDescriptor.layout, ShaderStage::Vertex); |
| if (!vertexShaderResourceMap) |
| return WTF::nullopt; |
| auto matchedVertexAttributes = matchVertexAttributes(vertexShaderEntryPointItems->inputs, renderPipelineDescriptor.vertexAttributes, program.intrinsics()); |
| if (!matchedVertexAttributes) |
| return WTF::nullopt; |
| if (!fragmentShaderExists) |
| return {{ &vertexShaderEntryPoint, nullptr, *vertexShaderEntryPointItems, EntryPointItems(), *vertexShaderResourceMap, HashMap<Binding*, size_t>(), *matchedVertexAttributes, HashMap<AttachmentDescriptor*, size_t>() }}; |
| |
| auto fragmentNameSpace = distinctFragmentShader ? AST::NameSpace::NameSpace2 : AST::NameSpace::NameSpace1; |
| auto fragmentFunctions = program.nameContext().getFunctions(renderPipelineDescriptor.fragmentEntryPointName, fragmentNameSpace); |
| if (fragmentFunctions.size() != 1 || !fragmentFunctions[0].get().entryPointType() || !is<AST::FunctionDefinition>(fragmentFunctions[0].get())) |
| return WTF::nullopt; |
| auto& fragmentShaderEntryPoint = downcast<AST::FunctionDefinition>(fragmentFunctions[0].get()); |
| auto fragmentShaderEntryPointItems = gatherEntryPointItems(program.intrinsics(), fragmentShaderEntryPoint); |
| if (!fragmentShaderEntryPointItems) |
| return WTF::nullopt; |
| auto fragmentShaderResourceMap = matchResources(fragmentShaderEntryPointItems->inputs, renderPipelineDescriptor.layout, ShaderStage::Fragment); |
| if (!fragmentShaderResourceMap) |
| return WTF::nullopt; |
| if (!matchInputsOutputs(vertexShaderEntryPointItems->outputs, fragmentShaderEntryPointItems->inputs)) |
| return WTF::nullopt; |
| auto matchedColorAttachments = matchColorAttachments(fragmentShaderEntryPointItems->outputs, renderPipelineDescriptor.attachmentsStateDescriptor.attachmentDescriptors, program.intrinsics()); |
| if (!matchedColorAttachments) |
| return WTF::nullopt; |
| if (!matchDepthAttachment(fragmentShaderEntryPointItems->outputs, renderPipelineDescriptor.attachmentsStateDescriptor.depthStencilAttachmentDescriptor, program.intrinsics())) |
| return WTF::nullopt; |
| return {{ &vertexShaderEntryPoint, &fragmentShaderEntryPoint, *vertexShaderEntryPointItems, *fragmentShaderEntryPointItems, *vertexShaderResourceMap, *fragmentShaderResourceMap, *matchedVertexAttributes, *matchedColorAttachments }}; |
| } |
| |
| Optional<MatchedComputeSemantics> matchSemantics(Program& program, ComputePipelineDescriptor& computePipelineDescriptor) |
| { |
| auto functions = program.nameContext().getFunctions(computePipelineDescriptor.entryPointName, AST::NameSpace::NameSpace1); |
| if (functions.size() != 1 || !functions[0].get().entryPointType() || !is<AST::FunctionDefinition>(functions[0].get())) |
| return WTF::nullopt; |
| auto& entryPoint = downcast<AST::FunctionDefinition>(functions[0].get()); |
| auto entryPointItems = gatherEntryPointItems(program.intrinsics(), entryPoint); |
| if (!entryPointItems) |
| return WTF::nullopt; |
| ASSERT(entryPointItems->outputs.isEmpty()); |
| auto resourceMap = matchResources(entryPointItems->inputs, computePipelineDescriptor.layout, ShaderStage::Compute); |
| if (!resourceMap) |
| return WTF::nullopt; |
| return {{ &entryPoint, *entryPointItems, *resourceMap }}; |
| } |
| |
| } // namespace WHLSL |
| |
| } // namespace WebCore |
| |
| #endif // ENABLE(WEBGPU) |