7677b994396ba26af4e2f2eb4ebf188d95f681ad
[WebKit-https.git] / Source / WebCore / Modules / webgpu / WHLSL / AST / WHLSLExpression.h
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 #pragma once
27
28 #if ENABLE(WEBGPU)
29
30 #include "WHLSLAddressSpace.h"
31 #include "WHLSLLexer.h"
32 #include "WHLSLUnnamedType.h"
33 #include "WHLSLValue.h"
34 #include <wtf/Optional.h>
35 #include <wtf/UniqueRef.h>
36
37 namespace WebCore {
38
39 namespace WHLSL {
40
41 namespace AST {
42
43 class Expression : public Value {
44 public:
45     Expression(Lexer::Token&& origin)
46         : m_origin(WTFMove(origin))
47     {
48     }
49
50     virtual ~Expression() = default;
51
52     Expression(const Expression&) = delete;
53     Expression(Expression&&) = default;
54
55     Expression& operator=(const Expression&) = delete;
56     Expression& operator=(Expression&&) = default;
57
58     const Lexer::Token& origin() const { return m_origin; }
59
60     UnnamedType* maybeResolvedType() { return m_type ? &*m_type : nullptr; }
61
62     UnnamedType& resolvedType()
63     {
64         ASSERT(m_type);
65         return *m_type;
66     }
67
68     void setType(UniqueRef<UnnamedType>&& type)
69     {
70         ASSERT(!m_type);
71         m_type = WTFMove(type);
72     }
73
74     const TypeAnnotation* maybeTypeAnnotation() const { return m_typeAnnotation ? &*m_typeAnnotation : nullptr; }
75
76     const TypeAnnotation& typeAnnotation() const
77     {
78         ASSERT(m_typeAnnotation);
79         return *m_typeAnnotation;
80     }
81
82     void setTypeAnnotation(TypeAnnotation&& typeAnnotation)
83     {
84         ASSERT(!m_typeAnnotation);
85         m_typeAnnotation = WTFMove(typeAnnotation);
86     }
87
88     virtual bool isAssignmentExpression() const { return false; }
89     virtual bool isBooleanLiteral() const { return false; }
90     virtual bool isCallExpression() const { return false; }
91     virtual bool isCommaExpression() const { return false; }
92     virtual bool isDereferenceExpression() const { return false; }
93     virtual bool isDotExpression() const { return false; }
94     virtual bool isFloatLiteral() const { return false; }
95     virtual bool isIndexExpression() const { return false; }
96     virtual bool isIntegerLiteral() const { return false; }
97     virtual bool isLogicalExpression() const { return false; }
98     virtual bool isLogicalNotExpression() const { return false; }
99     virtual bool isMakeArrayReferenceExpression() const { return false; }
100     virtual bool isMakePointerExpression() const { return false; }
101     virtual bool isNullLiteral() const { return false; }
102     virtual bool isPropertyAccessExpression() const { return false; }
103     virtual bool isReadModifyWriteExpression() const { return false; }
104     virtual bool isTernaryExpression() const { return false; }
105     virtual bool isUnsignedIntegerLiteral() const { return false; }
106     virtual bool isVariableReference() const { return false; }
107     virtual bool isEnumerationMemberLiteral() const { return false; }
108
109 private:
110     Lexer::Token m_origin;
111     Optional<UniqueRef<UnnamedType>> m_type;
112     Optional<TypeAnnotation> m_typeAnnotation;
113 };
114
115 } // namespace AST
116
117 }
118
119 }
120
121 #define SPECIALIZE_TYPE_TRAITS_WHLSL_EXPRESSION(ToValueTypeName, predicate) \
122 SPECIALIZE_TYPE_TRAITS_BEGIN(WebCore::WHLSL::AST::ToValueTypeName) \
123     static bool isType(const WebCore::WHLSL::AST::Expression& expression) { return expression.predicate; } \
124 SPECIALIZE_TYPE_TRAITS_END()
125
126 #endif