[WHLSL] Standard library is too big to directly include in WebCore
[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         if ((&callExpression.function() == m_intrinsics.ddx() || &callExpression.function() == m_intrinsics.ddy()) && m_entryPointType != AST::EntryPointType::Fragment) {
53             setError();
54             return;
55         }
56         if ((&callExpression.function() == m_intrinsics.allMemoryBarrier() || &callExpression.function() == m_intrinsics.deviceMemoryBarrier() || &callExpression.function() == m_intrinsics.groupMemoryBarrier())
57             && m_entryPointType != AST::EntryPointType::Compute) {
58             setError();
59             return;
60         }
61         Visitor::visit(callExpression.function());
62     }
63
64     AST::EntryPointType m_entryPointType;
65     const Intrinsics& m_intrinsics;
66 };
67
68 bool checkFunctionStages(Program& program)
69 {
70     for (auto& functionDefinition : program.functionDefinitions()) {
71         if (!functionDefinition->entryPointType())
72             continue;
73         FunctionStageChecker functionStageChecker(*functionDefinition->entryPointType(), program.intrinsics());
74         functionStageChecker.Visitor::visit(functionDefinition);
75         if (functionStageChecker.error())
76             return false;
77     }
78     return true;
79 }
80
81 }
82
83 }
84
85 #endif