[WHLSL] Enforce variable lifetimes
[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     using Base = Value;
45 public:
46     Expression(Lexer::Token&& origin)
47         : Base(WTFMove(origin))
48     {
49     }
50
51     virtual ~Expression() = default;
52
53     Expression(const Expression&) = delete;
54     Expression(Expression&&) = default;
55
56     Expression& operator=(const Expression&) = delete;
57     Expression& operator=(Expression&&) = default;
58
59     UnnamedType* maybeResolvedType() { return m_type ? &*m_type : nullptr; }
60
61     UnnamedType& resolvedType()
62     {
63         ASSERT(m_type);
64         return *m_type;
65     }
66
67     void setType(UniqueRef<UnnamedType>&& type)
68     {
69         ASSERT(!m_type);
70         m_type = WTFMove(type);
71     }
72
73     const TypeAnnotation* maybeTypeAnnotation() const { return m_typeAnnotation ? &*m_typeAnnotation : nullptr; }
74
75     const TypeAnnotation& typeAnnotation() const
76     {
77         ASSERT(m_typeAnnotation);
78         return *m_typeAnnotation;
79     }
80
81     void setTypeAnnotation(TypeAnnotation&& typeAnnotation)
82     {
83         ASSERT(!m_typeAnnotation);
84         m_typeAnnotation = WTFMove(typeAnnotation);
85     }
86
87     virtual bool isAssignmentExpression() const { return false; }
88     virtual bool isBooleanLiteral() const { return false; }
89     virtual bool isCallExpression() const { return false; }
90     virtual bool isCommaExpression() const { return false; }
91     virtual bool isDereferenceExpression() const { return false; }
92     virtual bool isDotExpression() const { return false; }
93     virtual bool isGlobalVariableReference() 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     Optional<UniqueRef<UnnamedType>> m_type;
111     Optional<TypeAnnotation> m_typeAnnotation;
112 };
113
114 } // namespace AST
115
116 }
117
118 }
119
120 #define SPECIALIZE_TYPE_TRAITS_WHLSL_EXPRESSION(ToValueTypeName, predicate) \
121 SPECIALIZE_TYPE_TRAITS_BEGIN(WebCore::WHLSL::AST::ToValueTypeName) \
122     static bool isType(const WebCore::WHLSL::AST::Expression& expression) { return expression.predicate; } \
123 SPECIALIZE_TYPE_TRAITS_END()
124
125 #endif