f4ce762dd6c32e1014d779a12357a454efe68066
[WebKit-https.git] / Source / WebCore / Modules / webgpu / WHLSL / WHLSLFunctionStageChecker.cpp
1 /*
2  * Copyright (C) 2019 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #include "config.h"
27 #include "WHLSLFunctionStageChecker.h"
28
29 #if ENABLE(WEBGPU)
30
31 #include "WHLSLCallExpression.h"
32 #include "WHLSLEntryPointType.h"
33 #include "WHLSLIntrinsics.h"
34 #include "WHLSLProgram.h"
35 #include "WHLSLVisitor.h"
36
37 namespace WebCore {
38
39 namespace WHLSL {
40
41 class FunctionStageChecker : public Visitor {
42 public:
43     FunctionStageChecker(AST::EntryPointType entryPointType, const Intrinsics& intrinsics)
44         : m_entryPointType(entryPointType)
45         , m_intrinsics(intrinsics)
46     {
47     }
48
49 public:
50     void visit(AST::CallExpression& callExpression) override
51     {
52         ASSERT(callExpression.function());
53         if ((callExpression.function() == &m_intrinsics.ddx() || callExpression.function() == &m_intrinsics.ddy()) && m_entryPointType != AST::EntryPointType::Fragment) {
54             setError();
55             return;
56         }
57         if ((callExpression.function() == &m_intrinsics.allMemoryBarrier() || callExpression.function() == &m_intrinsics.deviceMemoryBarrier() || callExpression.function() == &m_intrinsics.groupMemoryBarrier())
58             && m_entryPointType != AST::EntryPointType::Compute) {
59             setError();
60             return;
61         }
62         ASSERT(callExpression.function());
63         Visitor::visit(*callExpression.function());
64     }
65
66     AST::EntryPointType m_entryPointType;
67     const Intrinsics& m_intrinsics;
68 };
69
70 bool checkFunctionStages(Program& program)
71 {
72     for (auto& functionDefinition : program.functionDefinitions()) {
73         if (!functionDefinition->entryPointType())
74             continue;
75         FunctionStageChecker functionStageChecker(*functionDefinition->entryPointType(), program.intrinsics());
76         functionStageChecker.Visitor::visit(functionDefinition);
77         if (functionStageChecker.error())
78             return false;
79     }
80     return true;
81 }
82
83 }
84
85 }
86
87 #endif