/* 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 "../Functions.h"
#include "AST.h"
#include "BytecodeEmitter.h"

namespace ke {

class Module;
class Array;
class ArrayMap;

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);
    Code *compileCode(Scope *scope, unsigned lineno);
    Function *compileFunction(ModuleData *module, FunctionStatement *fun);
    void visitForALU(Type *needed, Expression *node);

    void getEnvSlot(Variable *var);
    void setEnvSlot(Variable *var);

    bool tableswitch(SwitchStatement *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(BooleanLiteral *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);
    void visit(TernaryExpression *node);
    void visit(StructureStatement *node);
    void visit(FieldExpression *node);
    void visit(SwitchStatement *node);
    void visit(FunctionTypeStatement *node);
    void visit(ArrayLiteral *node);
    void visit(ImportStatement *node);
};

}

#endif // _include_bytecode_generator_h_