1 /****************************************************************************
3 ** Copyright (C) 2012 Nokia Corporation and/or its subsidiary(-ies).
4 ** Contact: http://www.qt-project.org/
6 ** This file is part of the QtQml module of the Qt Toolkit.
8 ** $QT_BEGIN_LICENSE:LGPL$
9 ** GNU Lesser General Public License Usage
10 ** This file may be used under the terms of the GNU Lesser General Public
11 ** License version 2.1 as published by the Free Software Foundation and
12 ** appearing in the file LICENSE.LGPL included in the packaging of this
13 ** file. Please review the following information to ensure the GNU Lesser
14 ** General Public License version 2.1 requirements will be met:
15 ** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
17 ** In addition, as a special exception, Nokia gives you certain additional
18 ** rights. These rights are described in the Nokia Qt LGPL Exception
19 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
21 ** GNU General Public License Usage
22 ** Alternatively, this file may be used under the terms of the GNU General
23 ** Public License version 3.0 as published by the Free Software Foundation
24 ** and appearing in the file LICENSE.GPL included in the packaging of this
25 ** file. Please review the following information to ensure the GNU General
26 ** Public License version 3.0 requirements will be met:
27 ** http://www.gnu.org/copyleft/gpl.html.
30 ** Alternatively, this file may be used in accordance with the terms and
31 ** conditions contained in a signed written agreement between you and Nokia.
40 ****************************************************************************/
42 #ifndef QV4IRBUILDER_P_H
43 #define QV4IRBUILDER_P_H
45 #include <QtCore/qglobal.h>
53 class QV4IRBuilder : public QQmlJS::AST::Visitor
56 QV4IRBuilder(const QV4Compiler::Expression *, QQmlEnginePrivate *);
58 bool operator()(QQmlJS::IR::Function *, QQmlJS::AST::Node *, bool *invalidatable);
67 QQmlJS::IR::Expr *code;
68 QQmlJS::IR::BasicBlock *iftrue;
69 QQmlJS::IR::BasicBlock *iffalse;
70 Format hint; // requested format
71 Format format; // instruction format
73 ExprResult(QQmlJS::IR::Expr *expr = 0)
74 : code(expr), iftrue(0), iffalse(0), hint(ex), format(ex) {}
76 ExprResult(QQmlJS::IR::BasicBlock *iftrue, QQmlJS::IR::BasicBlock *iffalse)
77 : code(0), iftrue(iftrue), iffalse(iffalse), hint(cx), format(ex) {}
79 inline QQmlJS::IR::Type type() const { return code ? code->type : QQmlJS::IR::InvalidType; }
81 inline QQmlJS::IR::Expr *get() const { return code; }
82 inline operator QQmlJS::IR::Expr *() const { return get(); }
83 inline QQmlJS::IR::Expr *operator->() const { return get(); }
84 inline bool isValid() const { return code ? code->type != QQmlJS::IR::InvalidType : false; }
85 inline bool is(QQmlJS::IR::Type t) const { return type() == t; }
86 inline bool isNot(QQmlJS::IR::Type t) const { return type() != t; }
88 bool isPrimitive() const {
90 case QQmlJS::IR::UndefinedType: // ### TODO
91 case QQmlJS::IR::NullType: // ### TODO
92 case QQmlJS::IR::UrlType: // ### TODO
95 case QQmlJS::IR::StringType:
96 case QQmlJS::IR::BoolType:
97 case QQmlJS::IR::IntType:
98 case QQmlJS::IR::FloatType:
99 case QQmlJS::IR::NumberType:
108 inline void accept(QQmlJS::AST::Node *ast) { QQmlJS::AST::Node::accept(ast, this); }
110 ExprResult expression(QQmlJS::AST::ExpressionNode *ast);
111 ExprResult statement(QQmlJS::AST::Statement *ast);
112 void sourceElement(QQmlJS::AST::SourceElement *ast);
113 void condition(QQmlJS::AST::ExpressionNode *ast, QQmlJS::IR::BasicBlock *iftrue, QQmlJS::IR::BasicBlock *iffalse);
114 void binop(QQmlJS::AST::BinaryExpression *ast, ExprResult left, ExprResult right);
116 void implicitCvt(ExprResult &expr, QQmlJS::IR::Type type);
118 virtual bool preVisit(QQmlJS::AST::Node *ast);
121 virtual bool visit(QQmlJS::AST::UiProgram *ast);
122 virtual bool visit(QQmlJS::AST::UiImportList *ast);
123 virtual bool visit(QQmlJS::AST::UiImport *ast);
124 virtual bool visit(QQmlJS::AST::UiPublicMember *ast);
125 virtual bool visit(QQmlJS::AST::UiSourceElement *ast);
126 virtual bool visit(QQmlJS::AST::UiObjectDefinition *ast);
127 virtual bool visit(QQmlJS::AST::UiObjectInitializer *ast);
128 virtual bool visit(QQmlJS::AST::UiObjectBinding *ast);
129 virtual bool visit(QQmlJS::AST::UiScriptBinding *ast);
130 virtual bool visit(QQmlJS::AST::UiArrayBinding *ast);
131 virtual bool visit(QQmlJS::AST::UiObjectMemberList *ast);
132 virtual bool visit(QQmlJS::AST::UiArrayMemberList *ast);
133 virtual bool visit(QQmlJS::AST::UiQualifiedId *ast);
136 virtual bool visit(QQmlJS::AST::Program *ast);
137 virtual bool visit(QQmlJS::AST::SourceElements *ast);
138 virtual bool visit(QQmlJS::AST::FunctionSourceElement *ast);
139 virtual bool visit(QQmlJS::AST::StatementSourceElement *ast);
142 virtual bool visit(QQmlJS::AST::PropertyNameAndValueList *ast);
143 virtual bool visit(QQmlJS::AST::IdentifierPropertyName *ast);
144 virtual bool visit(QQmlJS::AST::StringLiteralPropertyName *ast);
145 virtual bool visit(QQmlJS::AST::NumericLiteralPropertyName *ast);
148 virtual bool visit(QQmlJS::AST::ElementList *ast);
149 virtual bool visit(QQmlJS::AST::Elision *ast);
152 virtual bool visit(QQmlJS::AST::ArgumentList *ast);
155 virtual bool visit(QQmlJS::AST::ObjectLiteral *ast);
156 virtual bool visit(QQmlJS::AST::ArrayLiteral *ast);
157 virtual bool visit(QQmlJS::AST::ThisExpression *ast);
158 virtual bool visit(QQmlJS::AST::IdentifierExpression *ast);
159 virtual bool visit(QQmlJS::AST::NullExpression *ast);
160 virtual bool visit(QQmlJS::AST::TrueLiteral *ast);
161 virtual bool visit(QQmlJS::AST::FalseLiteral *ast);
162 virtual bool visit(QQmlJS::AST::StringLiteral *ast);
163 virtual bool visit(QQmlJS::AST::NumericLiteral *ast);
164 virtual bool visit(QQmlJS::AST::RegExpLiteral *ast);
165 virtual bool visit(QQmlJS::AST::NestedExpression *ast);
166 virtual bool visit(QQmlJS::AST::ArrayMemberExpression *ast);
167 virtual bool visit(QQmlJS::AST::FieldMemberExpression *ast);
168 virtual bool visit(QQmlJS::AST::NewMemberExpression *ast);
169 virtual bool visit(QQmlJS::AST::NewExpression *ast);
170 virtual bool visit(QQmlJS::AST::CallExpression *ast);
171 virtual bool visit(QQmlJS::AST::PostIncrementExpression *ast);
172 virtual bool visit(QQmlJS::AST::PostDecrementExpression *ast);
173 virtual bool visit(QQmlJS::AST::DeleteExpression *ast);
174 virtual bool visit(QQmlJS::AST::VoidExpression *ast);
175 virtual bool visit(QQmlJS::AST::TypeOfExpression *ast);
176 virtual bool visit(QQmlJS::AST::PreIncrementExpression *ast);
177 virtual bool visit(QQmlJS::AST::PreDecrementExpression *ast);
178 virtual bool visit(QQmlJS::AST::UnaryPlusExpression *ast);
179 virtual bool visit(QQmlJS::AST::UnaryMinusExpression *ast);
180 virtual bool visit(QQmlJS::AST::TildeExpression *ast);
181 virtual bool visit(QQmlJS::AST::NotExpression *ast);
182 virtual bool visit(QQmlJS::AST::BinaryExpression *ast);
183 virtual bool visit(QQmlJS::AST::ConditionalExpression *ast);
184 virtual bool visit(QQmlJS::AST::Expression *ast);
187 virtual bool visit(QQmlJS::AST::Block *ast);
188 virtual bool visit(QQmlJS::AST::StatementList *ast);
189 virtual bool visit(QQmlJS::AST::VariableStatement *ast);
190 virtual bool visit(QQmlJS::AST::VariableDeclarationList *ast);
191 virtual bool visit(QQmlJS::AST::VariableDeclaration *ast);
192 virtual bool visit(QQmlJS::AST::EmptyStatement *ast);
193 virtual bool visit(QQmlJS::AST::ExpressionStatement *ast);
194 virtual bool visit(QQmlJS::AST::IfStatement *ast);
195 virtual bool visit(QQmlJS::AST::DoWhileStatement *ast);
196 virtual bool visit(QQmlJS::AST::WhileStatement *ast);
197 virtual bool visit(QQmlJS::AST::ForStatement *ast);
198 virtual bool visit(QQmlJS::AST::LocalForStatement *ast);
199 virtual bool visit(QQmlJS::AST::ForEachStatement *ast);
200 virtual bool visit(QQmlJS::AST::LocalForEachStatement *ast);
201 virtual bool visit(QQmlJS::AST::ContinueStatement *ast);
202 virtual bool visit(QQmlJS::AST::BreakStatement *ast);
203 virtual bool visit(QQmlJS::AST::ReturnStatement *ast);
204 virtual bool visit(QQmlJS::AST::WithStatement *ast);
205 virtual bool visit(QQmlJS::AST::SwitchStatement *ast);
206 virtual bool visit(QQmlJS::AST::CaseBlock *ast);
207 virtual bool visit(QQmlJS::AST::CaseClauses *ast);
208 virtual bool visit(QQmlJS::AST::CaseClause *ast);
209 virtual bool visit(QQmlJS::AST::DefaultClause *ast);
210 virtual bool visit(QQmlJS::AST::LabelledStatement *ast);
211 virtual bool visit(QQmlJS::AST::ThrowStatement *ast);
212 virtual bool visit(QQmlJS::AST::TryStatement *ast);
213 virtual bool visit(QQmlJS::AST::Catch *ast);
214 virtual bool visit(QQmlJS::AST::Finally *ast);
215 virtual bool visit(QQmlJS::AST::FunctionDeclaration *ast);
216 virtual bool visit(QQmlJS::AST::FunctionExpression *ast);
217 virtual bool visit(QQmlJS::AST::FormalParameterList *ast);
218 virtual bool visit(QQmlJS::AST::FunctionBody *ast);
219 virtual bool visit(QQmlJS::AST::DebuggerStatement *ast);
222 bool buildName(QList<QStringRef> &name, QQmlJS::AST::Node *node,
223 QList<QQmlJS::AST::ExpressionNode *> *nodes);
226 const QV4Compiler::Expression *m_expression;
227 QQmlEnginePrivate *m_engine;
229 QQmlJS::IR::Function *_function;
230 QQmlJS::IR::BasicBlock *_block;
241 #endif // QV4IRBUILDER_P_H