OLD | NEW |
---|---|
(Empty) | |
1 /* | |
2 * Copyright 2016 Google Inc. | |
3 * | |
4 * Use of this source code is governed by a BSD-style license that can be | |
5 * found in the LICENSE file. | |
6 */ | |
7 | |
8 #ifndef SKSL_IRGENERATOR | |
9 #define SKSL_IRGENERATOR | |
10 | |
11 #include "SkSLErrorReporter.h" | |
12 #include "ast/SkSLASTBinaryExpression.h" | |
13 #include "ast/SkSLASTBlock.h" | |
14 #include "ast/SkSLASTBreakStatement.h" | |
15 #include "ast/SkSLASTCallSuffix.h" | |
16 #include "ast/SkSLASTContinueStatement.h" | |
17 #include "ast/SkSLASTDiscardStatement.h" | |
18 #include "ast/SkSLASTDoStatement.h" | |
19 #include "ast/SkSLASTExpression.h" | |
20 #include "ast/SkSLASTExpressionStatement.h" | |
21 #include "ast/SkSLASTExtension.h" | |
22 #include "ast/SkSLASTForStatement.h" | |
23 #include "ast/SkSLASTFunction.h" | |
24 #include "ast/SkSLASTIdentifier.h" | |
25 #include "ast/SkSLASTIfStatement.h" | |
26 #include "ast/SkSLASTInterfaceBlock.h" | |
27 #include "ast/SkSLASTModifiers.h" | |
28 #include "ast/SkSLASTPrefixExpression.h" | |
29 #include "ast/SkSLASTReturnStatement.h" | |
30 #include "ast/SkSLASTStatement.h" | |
31 #include "ast/SkSLASTSuffixExpression.h" | |
32 #include "ast/SkSLASTTernaryExpression.h" | |
33 #include "ast/SkSLASTVarDeclaration.h" | |
34 #include "ast/SkSLASTVarDeclarationStatement.h" | |
35 #include "ast/SkSLASTWhileStatement.h" | |
36 #include "ir/SkSLBlock.h" | |
37 #include "ir/SkSLExpression.h" | |
38 #include "ir/SkSLExtension.h" | |
39 #include "ir/SkSLFunctionDefinition.h" | |
40 #include "ir/SkSLInterfaceBlock.h" | |
41 #include "ir/SkSLModifiers.h" | |
42 #include "ir/SkSLSymbolTable.h" | |
43 #include "ir/SkSLStatement.h" | |
44 #include "ir/SkSLType.h" | |
45 #include "ir/SkSLTypeReference.h" | |
46 #include "ir/SkSLVarDeclaration.h" | |
47 | |
48 namespace SkSL { | |
49 | |
50 /** | |
51 * Performs semantic analysis on an abstract syntax tree (AST) and produces the corresponding | |
52 * (unoptimized) intermediate representation (IR). | |
53 */ | |
54 class IRGenerator { | |
55 public: | |
56 IRGenerator(std::shared_ptr<SymbolTable> root, ErrorReporter& errorReporter) ; | |
57 | |
58 std::unique_ptr<VarDeclaration> convertVarDeclaration(const ASTVarDeclaratio n& decl, | |
59 Variable::Storage stor age); | |
60 std::unique_ptr<FunctionDefinition> convertFunction(const ASTFunction& f); | |
61 std::unique_ptr<Statement> convertStatement(const ASTStatement& statement); | |
62 std::unique_ptr<Expression> convertExpression(const ASTExpression& expressio n); | |
63 | |
64 private: | |
65 void pushSymbolTable(); | |
66 void popSymbolTable(); | |
67 | |
68 std::shared_ptr<Type> convertType(const ASTType& type); | |
69 std::unique_ptr<Expression> call(Position position, | |
70 std::shared_ptr<FunctionDeclaration> functi on, | |
71 std::vector<std::unique_ptr<Expression>> ar gumentss); | |
dogben
2016/06/28 02:14:54
typo: argumentss
| |
72 bool determineCallCost(std::shared_ptr<FunctionDeclaration> function, | |
73 const std::vector<std::unique_ptr<Expression>>& argum ents, | |
74 int* outCost); | |
75 std::unique_ptr<Expression> call(Position position, std::unique_ptr<Expressi on> function, | |
76 std::vector<std::unique_ptr<Expression>> ar guments); | |
77 std::unique_ptr<Expression> coerce(std::unique_ptr<Expression> expr, | |
78 std::shared_ptr<Type> type); | |
79 std::unique_ptr<Block> convertBlock(const ASTBlock& block); | |
80 std::unique_ptr<Statement> convertBreak(const ASTBreakStatement& b); | |
81 std::unique_ptr<Expression> convertConstructor(Position position, | |
82 std::shared_ptr<Type> type, | |
83 std::vector<std::unique_ptr<E xpression>> params); | |
84 std::unique_ptr<Statement> convertContinue(const ASTContinueStatement& c); | |
85 std::unique_ptr<Statement> convertDiscard(const ASTDiscardStatement& d); | |
86 std::unique_ptr<Statement> convertDo(const ASTDoStatement& d); | |
87 std::unique_ptr<Expression> convertBinaryExpression(const ASTBinaryExpressio n& expression); | |
88 std::unique_ptr<Extension> convertExtension(const ASTExtension& e); | |
89 std::unique_ptr<Statement> convertExpressionStatement(const ASTExpressionSta tement& s); | |
90 std::unique_ptr<Statement> convertFor(const ASTForStatement& f); | |
91 std::unique_ptr<Expression> convertIdentifier(const ASTIdentifier& identifie r); | |
92 std::unique_ptr<Statement> convertIf(const ASTIfStatement& s); | |
93 std::unique_ptr<Expression> convertIndex(std::unique_ptr<Expression> base, | |
94 const ASTExpression& index); | |
95 std::unique_ptr<InterfaceBlock> convertInterfaceBlock(const ASTInterfaceBloc k& s); | |
96 Modifiers convertModifiers(const ASTModifiers& m); | |
97 std::unique_ptr<Expression> convertPrefixExpression(const ASTPrefixExpressio n& expression); | |
98 std::unique_ptr<Statement> convertReturn(const ASTReturnStatement& r); | |
99 std::unique_ptr<Expression> convertSuffixExpression(const ASTSuffixExpressio n& expression); | |
100 std::unique_ptr<Expression> convertField(std::unique_ptr<Expression> base, | |
101 const std::string& field); | |
102 std::unique_ptr<Expression> convertSwizzle(std::unique_ptr<Expression> base, | |
103 const std::string& fields); | |
104 std::unique_ptr<Expression> convertTernaryExpression(const ASTTernaryExpress ion& expression); | |
105 std::unique_ptr<Statement> convertVarDeclarationStatement(const ASTVarDeclar ationStatement& s); | |
106 std::unique_ptr<Statement> convertWhile(const ASTWhileStatement& w); | |
107 | |
108 void checkValid(const Expression& expr); | |
109 void markReadFrom(std::shared_ptr<Variable> var); | |
110 void markWrittenTo(const Expression& expr); | |
111 | |
112 std::shared_ptr<FunctionDeclaration> fCurrentFunction; | |
113 std::shared_ptr<SymbolTable> fSymbolTable; | |
114 ErrorReporter& fErrors; | |
115 | |
116 friend class AutoSymbolTable; | |
117 friend class Compiler; | |
118 }; | |
119 | |
120 } | |
121 | |
122 #endif | |
OLD | NEW |