/****************************************************************************
**
** Copyright (C) 2011 Nokia Corporation and/or its subsidiary(-ies).
** All rights reserved.
** Contact: Nokia Corporation (qt-info@nokia.com)
**
** This file is part of the QtDeclarative module of the Qt Toolkit.
**
** $QT_BEGIN_LICENSE:LGPL$
** GNU Lesser General Public License Usage
** This file may be used under the terms of the GNU Lesser General Public
** License version 2.1 as published by the Free Software Foundation and
** appearing in the file LICENSE.LGPL included in the packaging of this
** file. Please review the following information to ensure the GNU Lesser
** General Public License version 2.1 requirements will be met:
** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
**
** In addition, as a special exception, Nokia gives you certain additional
** rights. These rights are described in the Nokia Qt LGPL Exception
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
**
** GNU General Public License Usage
** Alternatively, this file may be used under the terms of the GNU General
** Public License version 3.0 as published by the Free Software Foundation
** and appearing in the file LICENSE.GPL included in the packaging of this
** file. Please review the following information to ensure the GNU General
** Public License version 3.0 requirements will be met:
** http://www.gnu.org/copyleft/gpl.html.
**
** Other Usage
** Alternatively, this file may be used in accordance with the terms and
** conditions contained in a signed written agreement between you and Nokia.
**
**
**
**
**
** $QT_END_LICENSE$
**
****************************************************************************/

#include "qdeclarativev4irbuilder_p.h"
#include "qdeclarativev4compiler_p_p.h"

#include <private/qsganchors_p_p.h> // For AnchorLine
#include <private/qdeclarativetypenamecache_p.h>

DEFINE_BOOL_CONFIG_OPTION(qmlVerboseCompiler, QML_VERBOSE_COMPILER)

QT_BEGIN_NAMESPACE

using namespace QDeclarativeJS;

static IR::Type irTypeFromVariantType(int t, QDeclarativeEnginePrivate *engine, const QMetaObject *meta)
{
    switch (t) {
    case QMetaType::Bool:
        return IR::BoolType;

    case QMetaType::Int:
        return IR::IntType;

    case QMetaType::QReal:
        return IR::RealType;

    case QMetaType::QString:
        return IR::StringType;

    case QMetaType::QUrl:
        return IR::UrlType;

    default:
        if (t == qMetaTypeId<QDeclarative1AnchorLine>())
            return IR::AnchorLineType;
        else if (t == qMetaTypeId<QSGAnchorLine>())
            return IR::SGAnchorLineType;
        else if (const QMetaObject *m = engine->metaObjectForType(t)) {
            meta = m;
            return IR::ObjectType;
        }

        return IR::InvalidType;
    }
}

QDeclarativeV4IRBuilder::QDeclarativeV4IRBuilder(const QDeclarativeV4Compiler::Expression *expr, 
                                                             QDeclarativeEnginePrivate *engine)
: m_expression(expr), m_engine(engine), _module(0), _function(0), _block(0), _discard(false)
{
}

QDeclarativeJS::IR::Function *
QDeclarativeV4IRBuilder::operator()(QDeclarativeJS::IR::Module *module, 
                                         QDeclarativeJS::AST::Node *ast)
{
    bool discarded = false;

    qSwap(_module, module);

    IR::Function *function = _module->newFunction();
    IR::BasicBlock *block = function->newBasicBlock();

    qSwap(_discard, discarded);
    qSwap(_function, function);
    qSwap(_block, block);

    ExprResult r;
    AST::SourceLocation location;
    if (AST::ExpressionNode *asExpr = ast->expressionCast()) {
        r = expression(asExpr);
        location = asExpr->firstSourceLocation();
    } else if (AST::Statement *asStmt = ast->statementCast()) {
        r = statement(asStmt);
        location = asStmt->firstSourceLocation();
    }

    //_block->MOVE(_block->TEMP(IR::InvalidType), r.code);
    if (r.code) {
        const QMetaObject *m = 0;
        const IR::Type targetType = irTypeFromVariantType(m_expression->property->type, m_engine, m);
        if (targetType != r.type()) {
            IR::Expr *x = _block->TEMP(targetType);
            _block->MOVE(x, r, true);
            r.code = x;
        }
        _block->RET(r.code, targetType, location.startLine, location.startColumn);
    }

    qSwap(_block, block);
    qSwap(_function, function);
    qSwap(_discard, discarded);

    qSwap(_module, module);

    return discarded?0:function;
}

bool QDeclarativeV4IRBuilder::buildName(QStringList &name,
                                              AST::Node *node,
                                              QList<AST::ExpressionNode *> *nodes)
{
    if (node->kind == AST::Node::Kind_IdentifierExpression) {
        name << static_cast<AST::IdentifierExpression*>(node)->name->asString();
        if (nodes) *nodes << static_cast<AST::IdentifierExpression*>(node);
    } else if (node->kind == AST::Node::Kind_FieldMemberExpression) {
        AST::FieldMemberExpression *expr =
            static_cast<AST::FieldMemberExpression *>(node);

        if (!buildName(name, expr->base, nodes))
            return false;

        name << expr->name->asString();
        if (nodes) *nodes << expr;
    } else {
        return false;
    }

    return true;
}

void QDeclarativeV4IRBuilder::discard() 
{ 
    _discard = true; 
}

QDeclarativeV4IRBuilder::ExprResult 
QDeclarativeV4IRBuilder::expression(AST::ExpressionNode *ast)
{
    ExprResult r;
    if (ast) {
        qSwap(_expr, r);
        accept(ast);
        qSwap(_expr, r);

        if (r.is(IR::InvalidType))
            discard();
        else {
            Q_ASSERT(r.hint == r.format);
        }
    }

    return r;
}

void QDeclarativeV4IRBuilder::condition(AST::ExpressionNode *ast, IR::BasicBlock *iftrue, IR::BasicBlock *iffalse)
{
    if (! ast)
        return;
    ExprResult r(iftrue, iffalse);
    qSwap(_expr, r);
    accept(ast);
    qSwap(_expr, r);

    if (r.format != ExprResult::cx) {
        if (! r.code)
            discard();

        Q_ASSERT(r.hint == ExprResult::cx);
        Q_ASSERT(r.format == ExprResult::ex);

        if (r.type() != IR::BoolType) {
            IR::Temp *t = _block->TEMP(IR::BoolType);
            _block->MOVE(t, r);
            r = t;
        }

        _block->CJUMP(_block->UNOP(IR::OpIfTrue, r), iftrue, iffalse);
    }
}

QDeclarativeV4IRBuilder::ExprResult
QDeclarativeV4IRBuilder::statement(AST::Statement *ast)
{
    ExprResult r;
    if (ast) {
        qSwap(_expr, r);
        accept(ast);
        qSwap(_expr, r);

        if (r.is(IR::InvalidType))
            discard();
        else {
            Q_ASSERT(r.hint == r.format);
        }
    }

    return r;
}

void QDeclarativeV4IRBuilder::sourceElement(AST::SourceElement *ast)
{
    accept(ast);
}

void QDeclarativeV4IRBuilder::implicitCvt(ExprResult &expr, IR::Type type)
{
    if (expr.type() == type)
        return; // nothing to do

    IR::Expr *x = _block->TEMP(type);
    _block->MOVE(x, expr.code);
    expr.code = x;
}

// QML
bool QDeclarativeV4IRBuilder::visit(AST::UiProgram *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiImportList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiImport *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiPublicMember *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiSourceElement *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiObjectDefinition *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiObjectInitializer *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiObjectBinding *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiScriptBinding *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiArrayBinding *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiObjectMemberList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiArrayMemberList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiQualifiedId *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiSignature *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiFormalList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UiFormal *)
{
    Q_ASSERT(!"unreachable");
    return false;
}


// JS
bool QDeclarativeV4IRBuilder::visit(AST::Program *ast)
{
    _function = _module->newFunction();
    _block = _function->newBasicBlock();
    accept(ast->elements);
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::SourceElements *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FunctionSourceElement *)
{
    return true; // look inside
}

bool QDeclarativeV4IRBuilder::visit(AST::StatementSourceElement *)
{
    return true; // look inside
}

// object literals
bool QDeclarativeV4IRBuilder::visit(AST::PropertyNameAndValueList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::IdentifierPropertyName *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::StringLiteralPropertyName *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NumericLiteralPropertyName *)
{
    Q_ASSERT(!"unreachable");
    return false;
}


// array literals
bool QDeclarativeV4IRBuilder::visit(AST::ElementList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::Elision *)
{
    Q_ASSERT(!"unreachable");
    return false;
}


// function calls
bool QDeclarativeV4IRBuilder::visit(AST::ArgumentList *)
{
    Q_ASSERT(!"unreachable");
    return false;
}

// expressions
bool QDeclarativeV4IRBuilder::visit(AST::ObjectLiteral *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ArrayLiteral *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ThisExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::IdentifierExpression *ast)
{
    const quint32 line = ast->identifierToken.startLine;
    const quint32 column = ast->identifierToken.startColumn;

    const QString name = ast->name->asString();

    if (name.at(0) == QLatin1Char('u') && name.length() == 9 && name == QLatin1String("undefined")) {
        _expr.code = _block->CONST(IR::UndefinedType, 0); // ### undefined value
    } else if (m_engine->v8engine()->illegalNames().contains(name) ) {
        if (qmlVerboseCompiler()) qWarning() << "*** illegal symbol:" << name;
        return false;
    } else if (const QDeclarativeParser::Object *obj = m_expression->ids.value(name)) {
        IR::Name *code = _block->ID_OBJECT(name, obj, line, column);
        if (obj == m_expression->component)
            code->storage = IR::Name::RootStorage;
        _expr.code = code;
    } else if (QDeclarativeTypeNameCache::Data *typeNameData = m_expression->importCache->data(name)) {
        if (typeNameData->importedScriptIndex != -1) {
            // We don't support invoking imported scripts
        } else if (typeNameData->type) {
            _expr.code = _block->ATTACH_TYPE(name, typeNameData->type, IR::Name::ScopeStorage, line, column);
        } else if (typeNameData->typeNamespace) {
            // We don't support namespaces
        } else {
            Q_ASSERT(!"Unreachable");
        }
    } else {
        bool found = false;

        if (m_expression->context != m_expression->component) {
            // RootStorage is more efficient than ScopeStorage, so prefer that if they are the same
            QDeclarativePropertyCache *cache = m_expression->context->synthCache;
            const QMetaObject *metaObject = m_expression->context->metaObject();
            if (!cache) cache = m_engine->cache(metaObject);

            QDeclarativePropertyCache::Data *data = cache->property(name);

            if (data && data->revision != 0) {
                if (qmlVerboseCompiler()) 
                    qWarning() << "*** versioned symbol:" << name;
                discard();
                return false;
            }

            if (data && !data->isFunction()) {
                IR::Type irType = irTypeFromVariantType(data->propType, m_engine, metaObject);
                _expr.code = _block->SYMBOL(irType, name, metaObject, data->coreIndex, IR::Name::ScopeStorage, line, column);
                found = true;
            } 
        }

        if (!found) {
            QDeclarativePropertyCache *cache = m_expression->component->synthCache;
            const QMetaObject *metaObject = m_expression->component->metaObject();
            if (!cache) cache = m_engine->cache(metaObject);

            QDeclarativePropertyCache::Data *data = cache->property(name);

            if (data && data->revision != 0) {
                if (qmlVerboseCompiler()) 
                    qWarning() << "*** versioned symbol:" << name;
                discard();
                return false;
            }

            if (data && !data->isFunction()) {
                IR::Type irType = irTypeFromVariantType(data->propType, m_engine, metaObject);
                _expr.code = _block->SYMBOL(irType, name, metaObject, data->coreIndex, IR::Name::RootStorage, line, column);
                found = true;
            } 
        }

        if (!found && qmlVerboseCompiler())
            qWarning() << "*** unknown symbol:" << name;
    }

    if (_expr.code && _expr.hint == ExprResult::cx) {
        _expr.format = ExprResult::cx;

        if (_expr.type() != IR::BoolType) {
            IR::Temp *t = _block->TEMP(IR::BoolType);
            _block->MOVE(t, _expr);
            _expr.code = t;
        }

        _block->CJUMP(_expr.code, _expr.iftrue, _expr.iffalse);
        _expr.code = 0;
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NullExpression *)
{
    // ### TODO: cx format
    _expr.code = _block->CONST(IR::NullType, 0);
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::TrueLiteral *)
{
    // ### TODO: cx format
    _expr.code = _block->CONST(IR::BoolType, 1);
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FalseLiteral *)
{
    // ### TODO: cx format
    _expr.code = _block->CONST(IR::BoolType, 0);
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::StringLiteral *ast)
{
    // ### TODO: cx format
    _expr.code = _block->STRING(ast->value->asString());
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NumericLiteral *ast)
{
    if (_expr.hint == ExprResult::cx) {
        _expr.format = ExprResult::cx;
        _block->JUMP(ast->value ? _expr.iftrue : _expr.iffalse);
    } else {
        _expr.code = _block->CONST(ast->value);
    }
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::RegExpLiteral *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NestedExpression *)
{
    return true; // the value of the nested expression
}

bool QDeclarativeV4IRBuilder::visit(AST::ArrayMemberExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FieldMemberExpression *ast)
{
    if (IR::Expr *left = expression(ast->base)) {
        if (IR::Name *baseName = left->asName()) {
            const quint32 line = ast->identifierToken.startLine;
            const quint32 column = ast->identifierToken.startColumn;

            QString name = ast->name->asString();

            switch(baseName->symbol) {
            case IR::Name::Unbound:
                break;

            case IR::Name::AttachType:
                if (name.at(0).isUpper()) {
                    QByteArray utf8Name = name.toUtf8();
                    const char *enumName = utf8Name.constData();

                    const QMetaObject *meta = baseName->declarativeType->metaObject();
                    bool found = false;
                    for (int ii = 0; !found && ii < meta->enumeratorCount(); ++ii) {
                        QMetaEnum e = meta->enumerator(ii);
                        for (int jj = 0; !found && jj < e.keyCount(); ++jj) {
                            if (0 == strcmp(e.key(jj), enumName)) {
                                found = true;
                                _expr.code = _block->CONST(IR::IntType, e.value(jj));
                            }
                        }
                    }

                    if (!found && qmlVerboseCompiler())
                        qWarning() << "*** unresolved enum:" 
                                   << (baseName->id + QLatin1String(".") + ast->name->asString());
                } else if(const QMetaObject *attachedMeta = baseName->declarativeType->attachedPropertiesType()) {
                    QDeclarativePropertyCache *cache = m_engine->cache(attachedMeta);
                    QDeclarativePropertyCache::Data *data = cache->property(name);

                    if (!data || data->isFunction())
                        return false; // Don't support methods (or non-existing properties ;)

                    if(!data->isFinal()) {
                        if (qmlVerboseCompiler())
                            qWarning() << "*** non-final attached property:"
                                       << (baseName->id + QLatin1String(".") + ast->name->asString());
                        return false; // We don't know enough about this property
                    }

                    IR::Type irType = irTypeFromVariantType(data->propType, m_engine, attachedMeta);
                    _expr.code = _block->SYMBOL(baseName, irType, name, attachedMeta, data->coreIndex, line, column);
                }
                break;

            case IR::Name::IdObject: {
                const QDeclarativeParser::Object *idObject = baseName->idObject;
                QDeclarativePropertyCache *cache = 
                    idObject->synthCache?idObject->synthCache:m_engine->cache(idObject->metaObject());

                QDeclarativePropertyCache::Data *data = cache->property(name);

                if (!data || data->isFunction())
                    return false; // Don't support methods (or non-existing properties ;)

                if (data->revision != 0) {
                    if (qmlVerboseCompiler()) 
                        qWarning() << "*** versioned symbol:" << name;
                    discard();
                    return false;
                }

                IR::Type irType = irTypeFromVariantType(data->propType, m_engine, idObject->metaObject());
                _expr.code = _block->SYMBOL(baseName, irType, name,
                                            idObject->metaObject(), data->coreIndex, line, column);
                }
                break;

            case IR::Name::Property: 
                if (baseName->type == IR::ObjectType) {
                    const QMetaObject *m = 
                        m_engine->metaObjectForType(baseName->meta->property(baseName->index).userType());
                    QDeclarativePropertyCache *cache = m_engine->cache(m);

                    QDeclarativePropertyCache::Data *data = cache->property(name);

                    if (!data || data->isFunction())
                        return false; // Don't support methods (or non-existing properties ;)

                    if(!data->isFinal()) {
                        if (qmlVerboseCompiler())
                            qWarning() << "*** non-final property access:"
                                << (baseName->id + QLatin1String(".") + ast->name->asString());
                        return false; // We don't know enough about this property
                    }

                    IR::Type irType = irTypeFromVariantType(data->propType, m_engine, baseName->meta);
                    _expr.code = _block->SYMBOL(baseName, irType, name,
                                                baseName->meta, data->coreIndex, line, column);
                }
                break;

            case IR::Name::Object: 
            case IR::Name::Slot:
                break;
            }
        }
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NewMemberExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NewExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::CallExpression *ast)
{
    QStringList names;
    QList<AST::ExpressionNode *> nameNodes;
    if (buildName(names, ast->base, &nameNodes)) {
        //ExprResult base = expression(ast->base);
        const QString id = names.join(QLatin1String("."));
        const quint32 line = nameNodes.last()->firstSourceLocation().startLine;
        const quint32 column = nameNodes.last()->firstSourceLocation().startColumn;
        IR::Expr *base = _block->NAME(id, line, column);

        QVector<IR::Expr *> args;
        for (AST::ArgumentList *it = ast->arguments; it; it = it->next)
            args.append(expression(it->expression));

        IR::Temp *r = _block->TEMP(IR::InvalidType);
        IR::Expr *call = _block->CALL(base, args);
        _block->MOVE(r, call);
        r->type = call->type;
        _expr.code = r;
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::PostIncrementExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::PostDecrementExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::DeleteExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::VoidExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::TypeOfExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::PreIncrementExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::PreDecrementExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UnaryPlusExpression *ast)
{
    ExprResult expr = expression(ast->expression);
    if (expr.isNot(IR::InvalidType)) {
        if (expr.code->asConst() != 0) {
            _expr = expr;
            return false;
        }

        IR::Expr *code = _block->UNOP(IR::OpUPlus, expr);
        _expr.code = _block->TEMP(code->type);
        _block->MOVE(_expr, code);
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::UnaryMinusExpression *ast)
{
    ExprResult expr = expression(ast->expression);
    if (expr.isNot(IR::InvalidType)) {
        if (IR::Const *c = expr.code->asConst()) {
            _expr = expr;
            _expr.code = _block->CONST(-c->value);
            return false;
        }

        IR::Expr *code = _block->UNOP(IR::OpUMinus, expr);
        _expr.code = _block->TEMP(code->type);
        _block->MOVE(_expr, code);
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::TildeExpression *ast)
{
    ExprResult expr = expression(ast->expression);
    if (expr.isNot(IR::InvalidType)) {
        if (IR::Const *c = expr.code->asConst()) {
            _expr = expr;
            _expr.code = _block->CONST(~int(c->value));
            return false;
        }
        IR::Expr *code = _block->UNOP(IR::OpCompl, expr);
        _expr.code = _block->TEMP(code->type);
        _block->MOVE(_expr, code);
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::NotExpression *ast)
{
    ExprResult expr = expression(ast->expression);

    if (expr.isNot(IR::InvalidType)) {
        if (IR::Const *c = expr.code->asConst()) {
            _expr = expr;
            _expr.code = _block->CONST(!c->value);
            return false;
        }

        IR::Expr *code = _block->UNOP(IR::OpNot, expr);
        _expr.code = _block->TEMP(code->type);
        _block->MOVE(_expr, code);

    } else if (expr.hint == ExprResult::cx) {
        expr.format = ExprResult::cx;
        _block->CJUMP(_block->UNOP(IR::OpNot, expr), _expr.iftrue, _expr.iffalse);
        return false;
    }

    return false;
}

void QDeclarativeV4IRBuilder::binop(AST::BinaryExpression *ast, ExprResult left, ExprResult right)
{
    if (IR::Type t = maxType(left.type(), right.type())) {
        implicitCvt(left, t);
        implicitCvt(right, t);

        if (_expr.hint == ExprResult::cx) {
            _expr.format = ExprResult::cx;
            _block->CJUMP(_block->BINOP(IR::binaryOperator(ast->op), left, right), _expr.iftrue, _expr.iffalse);
        } else {
            IR::Expr *code = _block->BINOP(IR::binaryOperator(ast->op), left, right);
            _expr.code = _block->TEMP(code->type);
            _block->MOVE(_expr.code, code);
        }
    }
}

bool QDeclarativeV4IRBuilder::visit(AST::BinaryExpression *ast)
{
    switch (ast->op) {
    case QSOperator::And: {
        if (_expr.hint == ExprResult::cx) {
            _expr.format = ExprResult::cx;

            Q_ASSERT(_expr.iffalse != 0);
            Q_ASSERT(_expr.iftrue != 0);

            IR::BasicBlock *iftrue = _function->newBasicBlock();
            condition(ast->left, iftrue, _expr.iffalse);

            _block = iftrue;
            condition(ast->right, _expr.iftrue, _expr.iffalse);
        } else {
            IR::BasicBlock *iftrue = _function->newBasicBlock();
            IR::BasicBlock *iffalse = _function->newBasicBlock();
            IR::BasicBlock *endif = _function->newBasicBlock();

            condition(ast->left, iftrue, iffalse);

            IR::Temp *r = _block->TEMP(IR::InvalidType);

            _block = iffalse;
            _block->MOVE(r, _block->CONST(0)); // ### use the right null value
            _block->JUMP(endif);

            _block = iftrue;
            ExprResult right = expression(ast->right);
            _block->MOVE(r, right);
            _block->JUMP(endif);

            _block = endif;

            r->type = right.type(); // ### not exactly, it can be IR::BoolType.
            _expr.code = r;
        }
    } break;

    case QSOperator::Or: {
        IR::BasicBlock *iftrue = _function->newBasicBlock();
        IR::BasicBlock *endif = _function->newBasicBlock();

        ExprResult left = expression(ast->left);
        IR::Temp *r = _block->TEMP(left.type());
        _block->MOVE(r, left);

        IR::Expr *cond = r;
        if (r->type != IR::BoolType) {
            cond = _block->TEMP(IR::BoolType);
            _block->MOVE(cond, r);
        }

        _block->CJUMP(_block->UNOP(IR::OpNot, cond), iftrue, endif);

        _block = iftrue;
        ExprResult right = expression(ast->right);
        _block->MOVE(r, right);

        if (left.type() != right.type())
            discard();

        _expr.code = r;

        _block = endif;
    } break;

    case QSOperator::Lt:
    case QSOperator::Gt:
    case QSOperator::Le:
    case QSOperator::Ge: {
        ExprResult left = expression(ast->left);
        ExprResult right = expression(ast->right);
        if (left.type() == IR::StringType && right.type() == IR::StringType) {
            binop(ast, left, right);
        } else if (left.isValid() && right.isValid()) {
            implicitCvt(left, IR::RealType);
            implicitCvt(right, IR::RealType);
            binop(ast, left, right);
        }
    } break;

    case QSOperator::NotEqual:
    case QSOperator::Equal: {
        ExprResult left = expression(ast->left);
        ExprResult right = expression(ast->right);
        if ((left.type() == IR::NullType || left.type() == IR::UndefinedType) &&
                (right.type() == IR::NullType || right.type() == IR::UndefinedType)) {
            const bool isEq = ast->op == QSOperator::Equal;
            if (_expr.hint == ExprResult::cx) {
                _expr.format = ExprResult::cx;
                _block->JUMP(isEq ? _expr.iftrue : _expr.iffalse);
            } else {
                _expr.code = _block->CONST(IR::BoolType, isEq ? 1 : 0);
            }
        } else if ((left.type() == IR::StringType && right.type() >= IR::FirstNumberType) ||
                   (left.type() >= IR::FirstNumberType && right.type() == IR::StringType)) {
            implicitCvt(left, IR::RealType);
            implicitCvt(right, IR::RealType);
            binop(ast, left, right);
        } else if (left.type() == IR::BoolType || right.type() == IR::BoolType) {
            implicitCvt(left, IR::BoolType);
            implicitCvt(right, IR::BoolType);
        } else if (left.isValid() && right.isValid()) {
            binop(ast, left, right);
        }
    } break;

    case QSOperator::StrictEqual:
    case QSOperator::StrictNotEqual: {
        ExprResult left = expression(ast->left);
        ExprResult right = expression(ast->right);
        if (left.type() == right.type()) {
            binop(ast, left, right);
        } else if (left.type() >= IR::BoolType && right.type() >= IR::BoolType) {
            // left and right have numeric type (int or real)
            binop(ast, left, right);
        } else if (left.isValid() && right.isValid()) {
            const bool isEq = ast->op == QSOperator::StrictEqual;
            if (_expr.hint == ExprResult::cx) {
                _expr.format = ExprResult::cx;
                _block->JUMP(isEq ? _expr.iftrue : _expr.iffalse);
            } else {
                _expr.code = _block->CONST(IR::BoolType, isEq ? 1 : 0);
            }
        }
    } break;

    case QSOperator::BitAnd:
    case QSOperator::BitOr:
    case QSOperator::BitXor:
    case QSOperator::LShift:
    case QSOperator::RShift:
    case QSOperator::URShift: {
        ExprResult left = expression(ast->left);
        if (left.is(IR::InvalidType))
            return false;

        ExprResult right = expression(ast->right);
        if (right.is(IR::InvalidType))
            return false;

        implicitCvt(left, IR::IntType);
        implicitCvt(right, IR::IntType);

        IR::Expr *code = _block->BINOP(IR::binaryOperator(ast->op), left, right);
        _expr.code = _block->TEMP(code->type);
        _block->MOVE(_expr.code, code);

    } break;

    case QSOperator::Add: {
        ExprResult left = expression(ast->left);
        if (left.is(IR::InvalidType))
            return false;

        ExprResult right = expression(ast->right);
        if (right.is(IR::InvalidType))
            return false;

        if (left.isPrimitive() && right.isPrimitive()) {
            if (left.type() == IR::StringType || right.type() == IR::StringType) {
                implicitCvt(left, IR::StringType);
                implicitCvt(right, IR::StringType);
            }
            binop(ast, left, right);
        }
    } break;

    case QSOperator::Div:
    case QSOperator::Mod:
    case QSOperator::Mul:
    case QSOperator::Sub: {
        ExprResult left = expression(ast->left);
        if (left.is(IR::InvalidType))
            return false;

        ExprResult right = expression(ast->right);
        if (right.is(IR::InvalidType))
            return false;

        IR::Type t = maxType(left.type(), right.type());
        if (t >= IR::FirstNumberType) {
            implicitCvt(left, IR::RealType);
            implicitCvt(right, IR::RealType);

            IR::Expr *code = _block->BINOP(IR::binaryOperator(ast->op), left, right);
            _expr.code = _block->TEMP(code->type);
            _block->MOVE(_expr.code, code);
        }
    } break;

    case QSOperator::In:
    case QSOperator::InstanceOf:
    case QSOperator::Assign:
    case QSOperator::InplaceAnd:
    case QSOperator::InplaceSub:
    case QSOperator::InplaceDiv:
    case QSOperator::InplaceAdd:
    case QSOperator::InplaceLeftShift:
    case QSOperator::InplaceMod:
    case QSOperator::InplaceMul:
    case QSOperator::InplaceOr:
    case QSOperator::InplaceRightShift:
    case QSOperator::InplaceURightShift:
    case QSOperator::InplaceXor:
        // yup, we don't do those.
        break;
    } // switch

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ConditionalExpression *ast)
{
    IR::BasicBlock *iftrue = _function->newBasicBlock();
    IR::BasicBlock *iffalse = _function->newBasicBlock();
    IR::BasicBlock *endif = _function->newBasicBlock();

    condition(ast->expression, iftrue, iffalse);

    IR::Temp *r = _block->TEMP(IR::InvalidType);

    qSwap(_block, iftrue);
    ExprResult ok = expression(ast->ok);
    _block->MOVE(r, ok);
    _block->JUMP(endif);
    qSwap(_block, iftrue);

    qSwap(_block, iffalse);
    ExprResult ko = expression(ast->ko);
    _block->MOVE(r, ko);
    _block->JUMP(endif);
    qSwap(_block, iffalse);

    r->type = maxType(ok.type(), ko.type());
    _expr.code = r;

    _block = endif;

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::Expression *ast)
{
    _block->EXP(expression(ast->left));
    _expr = expression(ast->right);

    return false;
}


// statements
bool QDeclarativeV4IRBuilder::visit(AST::Block *ast)
{
    if (ast->statements && ! ast->statements->next) {
        // we have one and only one statement
        accept(ast->statements->statement);
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::StatementList *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::VariableStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::VariableDeclarationList *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::VariableDeclaration *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::EmptyStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ExpressionStatement *ast)
{
    if (ast->expression) {
         // return the value of this expression
        return true;
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::IfStatement *ast)
{
    if (! ast->ko) {
        // This is an if statement without an else branch.
        discard();
    } else {
        IR::BasicBlock *iftrue = _function->newBasicBlock();
        IR::BasicBlock *iffalse = _function->newBasicBlock();
        IR::BasicBlock *endif = _function->newBasicBlock();

        condition(ast->expression, iftrue, iffalse);

        IR::Temp *r = _block->TEMP(IR::InvalidType);

        qSwap(_block, iftrue);
        ExprResult ok = statement(ast->ok);
        _block->MOVE(r, ok);
        _block->JUMP(endif);
        qSwap(_block, iftrue);

        qSwap(_block, iffalse);
        ExprResult ko = statement(ast->ko);
        _block->MOVE(r, ko);
        _block->JUMP(endif);
        qSwap(_block, iffalse);

        r->type = maxType(ok.type(), ko.type());
        _expr.code = r;

        _block = endif;
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::DoWhileStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::WhileStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ForStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::LocalForStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ForEachStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::LocalForEachStatement *)
{
    discard();
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ContinueStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::BreakStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ReturnStatement *ast)
{
    if (ast->expression) {
        // return the value of the expression
        return true;
    }

    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::WithStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::SwitchStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::CaseBlock *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::CaseClauses *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::CaseClause *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::DefaultClause *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::LabelledStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::ThrowStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::TryStatement *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::Catch *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::Finally *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FunctionDeclaration *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FunctionExpression *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FormalParameterList *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::FunctionBody *)
{
    return false;
}

bool QDeclarativeV4IRBuilder::visit(AST::DebuggerStatement *)
{
    return false;
}

QT_END_NAMESPACE