/* vim: set ts=4 sw=4 tw=99 et:

 *

 * Copyright (C) 2012 David Anderson

 *

 * This file is part of JITCraft.

 *

 * JITCraft is free software: you can redistribute it and/or modify it under

 * the terms of the GNU General Public License as published by the Free

 * Software Foundation, either version 3 of the License, or (at your option)

 * any later version.

 * 

 * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY

 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS

 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

 *

 * You should have received a copy of the GNU General Public License along with

 * JITCraft. If not, see http://www.gnu.org/licenses/.

 */

#ifndef _include_bytecode_compiler_h_

#define _include_bytecode_compiler_h_

#include "AST.h"

#include "BytecodeEmitter.h"

#include "Functions.h"

namespace ke {

class Module;

struct ModuleData

{

    ScopedRoot<Module> module;

    PoolList<ScopedRoot<Function> > publics;

    ScopedRoot<FixedArray> natives;

};

class BytecodeCompiler : public AstVisitor

{

    Zone *zone_;

    ParseTree *tree_;

    BytecodeEmitter emitter_;

    ScopedRoot<FixedArray> locals_;

    Scope *scope_;

    ModuleData *moduleData_;

    class LoopScope

    {

        Scope *scope_;

        BytecodeEmitter::Label *bk_;

        BytecodeEmitter::Label *ct_;

        LoopScope **prevp_;

        LoopScope *prev_;

      public:

        LoopScope(Scope *scope, BytecodeEmitter::Label *bk, BytecodeEmitter::Label *ct,

                  LoopScope **prevp)

          : scope_(scope),

            bk_(bk),

            ct_(ct),

            prevp_(prevp),

            prev_(*prevp)

        {

            *prevp_ = this;

        }

        ~LoopScope()

        {

            *prevp_ = prev_;

        }

        BytecodeEmitter::Label *break_() {

            return bk_;

        }

        BytecodeEmitter::Label *continue_() {

            return ct_;

        }

        Scope *scope() {

            return scope_;

        }

    };

    LoopScope *loop_;

  public:

    class AutoEnterScope

    {

        BytecodeCompiler *bc_;

        Scope *saved_;

      public:

        AutoEnterScope(BytecodeCompiler *bc, Scope *scope)

          : bc_(bc),

            saved_(bc->scope_)

        {

            if (scope)

                bc->scope_ = scope;

        }

        ~AutoEnterScope() {

            bc_->scope_ = saved_;

        }

    };

  private:

    void recordLifoSlot(Scope *scope);

    void unwindTo(Scope *scope);

    void visitForTest(Expression *expression,

                      BytecodeEmitter::Label *trueBranch,

                      BytecodeEmitter::Label *falseBranch,

                      BytecodeEmitter::Label *fallthrough);

    Function *compileFunction(ModuleData *module, FunctionStatement *fun);

    void visitForALU(Type *needed, Expression *node);

  public:

    BytecodeCompiler(Zone *zone, ParseTree *tree, ModuleData *module);

    Module *compile();

  public:

    void visit(NameProxy *name);

    void visit(Assignment *node);

    void visit(BinaryExpression *node);

    void visit(ReturnStatement *node);

    void visit(ForStatement *node);

    void visit(BlockStatement *node);

    void visit(VariableDeclaration *node);

    void visit(IntegerLiteral *node);

    void visit(FloatLiteral *node);

    void visit(StringLiteral *node);

    void visit(ExpressionStatement *node);

    void visit(FunctionStatement *node);

    void visit(CallExpression *node);

    void visit(IfStatement *node);

    void visit(IndexExpression *node);

    void visit(EnumStatement *node);

    void visit(WhileStatement *node);

    void visit(BreakStatement *node);

    void visit(ContinueStatement *node);

    void visit(IncDecExpression *node);

    void visit(UnaryExpression *node);

};

}

#endif // _include_bytecode_generator_h_