src/vga.js

"use strict";


var 
    /** 
     * Always 64k
     * @const 
     */
    VGA_BANK_SIZE = 64 * 1024,

    /** @const */
    MAX_XRES = 2560,

    /** @const */
    MAX_YRES = 1600,

    /** @const */
    MAX_BPP = 32;


/**
 * @constructor
 */
function VGAScreen(cpu, adapter, vga_memory_size)
{
    if(adapter === undefined)
    {
        this.adapter = new VGADummyAdapter();
    }
    else
    {
        this.adapter = adapter;
    }

    this.vga_memory_size = vga_memory_size;

    /** @type {number} */
    this.cursor_address = 0;

    /** @type {number} */
    this.cursor_scanline_start = 0xE;

    /** @type {number} */
    this.cursor_scanline_end = 0xF;

    /**
     * Number of columns in text mode
     * @type {number} 
     */
    this.max_cols = 0;

    /** 
     * Number of rows in text mode
     * @type {number} 
     */
    this.max_rows = 0;

    /**
     * Width in pixels in graphical mode
     * @type {number}
     */
    this.screen_width = 0;

    /**
     * Height in pixels in graphical mode
     * @type {number}
     */
    this.screen_height = 0;

    /**
     * video memory start address
     * @type {number}
     */
    this.start_address = 0;

    /** @type {boolean} */
    this.graphical_mode_is_linear = true;

    /** @type {boolean} */
    this.graphical_mode = false;

    /** @type {boolean} */
    this.do_complete_redraw = false;

    /* 
     * VGA palette containing 256 colors for video mode 13 etc.
     * Needs to be initialised by the BIOS
     */
    this.vga256_palette = new Int32Array(256);

    // VGA latches
    this.latch0 = 0;
    this.latch1 = 0;
    this.latch2 = 0;
    this.latch3 = 0;

        
    /** @type {number} */
    this.svga_width = 0;

    /** @type {number} */
    this.svga_height = 0;

    this.plane0;
    this.plane1;
    this.plane2;
    this.plane3;

    // 4 times 64k
    this.vga_memory = null;
    
    this.svga_memory = null;
    this.svga_memory16 = null;
    this.svga_memory32 = null;

    this.svga_enabled = false;

    /** @type {number} */
    this.svga_bpp = 0;

    /** 
     * The video buffer offset created by VBE_DISPI_INDEX_Y_OFFSET
     * In bytes
     * @type {number} 
     */
    this.svga_offset = 0;

    // Experimental, could probably need some changes
    // 01:00.0 VGA compatible controller: NVIDIA Corporation GT216 [GeForce GT 220] (rev a2)
    this.pci_space = [
        0xde, 0x10, 0x20, 0x0a, 0x07, 0x00, 0x00, 0x00, 0xa2, 0x00, 0x00, 0x03, 0x00, 0x00, 0x80, 0x00,
        0x08, 0x00, 0x00, 0xe0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0a, 0x01, 0x00, 0x00,
    ];
    this.pci_id = 0x12 << 3;
    this.pci_bars = [
        {
            size: this.vga_memory_size,
        },
    ];

    cpu.devices.pci.register_device(this);

    this.stats = {
        is_graphical: false,
        res_x: 0,
        res_y: 0,
        bpp: 0,
    };

    this.index_crtc = 0;


    // index for setting colors through port 3C9h
    this.dac_color_index = 0;

    this.attribute_controller_index = -1;

    this.dac_map = new Uint8Array(0x10);

    this.sequencer_index = -1;

    // bitmap of planes 0-3
    this.plane_write_bm = 0xF;
    this.sequencer_memory_mode = 0;
    this.graphics_index = -1;

    this.plane_read = 0, // value 0-3, which plane to read
    this.planar_mode = 0;
    this.planar_rotate_reg = 0;
    this.planar_bitmap = 0xFF;

    this.max_scan_line = 0;

    this.miscellaneous_output_register = 0xff;
    this.port_3DA_value = 0xFF;


    var io = cpu.io;
        
    io.register_write(0x3C0, this.port3C0_write, this);
    io.register_read(0x3C0, this.port3C0_read, this);

    io.register_read(0x3C1, this.port3C1_read, this);
    io.register_write(0x3C2, this.port3C2_write, this);
    
    io.register_write(0x3C4, this.port3C4_write, this);
    io.register_read(0x3C4, this.port3C4_read, this);

    io.register_write(0x3C5, this.port3C5_write, this);
    io.register_read(0x3C5, this.port3C5_read, this);

    io.register_write(0x3CE, this.port3CE_write, this);
    io.register_read(0x3CE, this.port3CE_read, this);

    io.register_write(0x3CF, this.port3CF_write, this);
    io.register_read(0x3CF, this.port3CF_read, this);

    io.register_write(0x3C7, this.port3C7_write, this);
    io.register_write(0x3C8, this.port3C8_write, this);
    io.register_write(0x3C9, this.port3C9_write, this);

    io.register_read(0x3CC, this.port3CC_read, this);

    io.register_write(0x3D4, this.port3D4_write, this);
    io.register_write(0x3D5, this.port3D5_write, this);
    io.register_read(0x3D5, this.port3D5_read, this);

    io.register_read(0x3DA, this.port3DA_read, this);


    // Bochs VBE Extensions
    // http://wiki.osdev.org/Bochs_VBE_Extensions
    this.dispi_index = -1;
    this.dispi_value = -1;
    this.dispi_enable_value = 0;

    io.register_write(0x1CE, this.port1CE_write, this);
    io.register_write(0x1CF, this.port1CF_write, this);
    io.register_write(0x1D0, this.port1D0_write, this);

    io.register_read(0x1CF, this.port1CF_read, this);
    io.register_read(0x1D0, this.port1D0_read, this);

    if(this.vga_memory_size === undefined || this.vga_memory_size < 4 * VGA_BANK_SIZE)
    {
        this.vga_memory_size = 4 * VGA_BANK_SIZE;
        dbg_log("vga memory size rounded up to " + this.vga_memory_size, LOG_VGA);
    }
    else if(this.vga_memory_size & (VGA_BANK_SIZE - 1))
    {
        // round up to next 64k
        this.vga_memory_size |= VGA_BANK_SIZE - 1;
        this.vga_memory_size++;
    }

    this.svga_memory = new Uint8Array(this.vga_memory_size);
    this.svga_memory16 = new Uint16Array(this.svga_memory.buffer);
    this.svga_memory32 = new Int32Array(this.svga_memory.buffer);

    this.vga_memory = new Uint8Array(this.svga_memory.buffer, 0, 4 * VGA_BANK_SIZE);

    this.plane0 = new Uint8Array(this.svga_memory.buffer, 0 * VGA_BANK_SIZE, VGA_BANK_SIZE);
    this.plane1 = new Uint8Array(this.svga_memory.buffer, 1 * VGA_BANK_SIZE, VGA_BANK_SIZE);
    this.plane2 = new Uint8Array(this.svga_memory.buffer, 2 * VGA_BANK_SIZE, VGA_BANK_SIZE);
    this.plane3 = new Uint8Array(this.svga_memory.buffer, 3 * VGA_BANK_SIZE, VGA_BANK_SIZE);

    this.set_size_text(80, 25);
    this.update_cursor_scanline();

    io.mmap_register(0xA0000, 0x20000, 
        this.vga_memory_read.bind(this), 
        this.vga_memory_write.bind(this)
    );
    io.mmap_register(0xE0000000, this.vga_memory_size, 
        this.svga_memory_read8.bind(this), this.svga_memory_write8.bind(this),
        this.svga_memory_read32.bind(this), this.svga_memory_write32.bind(this)
    );

    /** @const */
    this._state_skip = [
        "adapter",
        "svga_memory16",
        "svga_memory32",
        "vga_memory",
        "plane0",
        "plane1",
        "plane2",
        "plane3",
    ];
};

VGAScreen.prototype._state_restore = function()
{
    this.svga_memory16 = new Uint16Array(this.svga_memory.buffer);
    this.svga_memory32 = new Int32Array(this.svga_memory.buffer);

    this.vga_memory = new Uint8Array(this.svga_memory.buffer, 0, 4 * VGA_BANK_SIZE);

    this.plane0 = new Uint8Array(this.svga_memory.buffer, 0 * VGA_BANK_SIZE, VGA_BANK_SIZE);
    this.plane1 = new Uint8Array(this.svga_memory.buffer, 1 * VGA_BANK_SIZE, VGA_BANK_SIZE);
    this.plane2 = new Uint8Array(this.svga_memory.buffer, 2 * VGA_BANK_SIZE, VGA_BANK_SIZE);
    this.plane3 = new Uint8Array(this.svga_memory.buffer, 3 * VGA_BANK_SIZE, VGA_BANK_SIZE);

    this.adapter.set_mode(this.graphical_mode || this.svga_enabled);

    if(this.graphical_mode || this.svga_enabled)
    {
        // TODO: Consider non-svga modes
        this.set_size_graphical(this.svga_width, this.svga_height);
    }
    else
    {
        this.set_size_text(this.max_cols, this.max_rows);
        this.update_cursor_scanline();
        this.update_cursor();
    }

    this.do_complete_redraw = true;
};

VGAScreen.prototype.vga_memory_read = function(addr)
{
    addr -= 0xA0000;

    if(!this.graphical_mode || this.graphical_mode_is_linear)
    {
        return this.vga_memory[addr];
    }

    // TODO: "Color don't care"
    //dbg_assert((this.planar_mode & 0x08)  === 0, "unimplemented");

    // planar mode
    addr &= 0xFFFF;

    this.latch0 = this.plane0[addr];
    this.latch1 = this.plane1[addr];
    this.latch2 = this.plane2[addr];
    this.latch3 = this.plane3[addr];

    return this.vga_memory[this.plane_read << 16 | addr];
};

VGAScreen.prototype.vga_memory_write = function(addr, value)
{
    addr -= 0xA0000;

    if(this.graphical_mode)
    {
        if(this.graphical_mode_is_linear)
        {
            this.vga_memory_write_graphical_linear(addr, value);
        }
        else
        {
            this.vga_memory_write_graphical_planar(addr, value);
        }
    }
    else
    {
        this.vga_memory_write_text_mode(addr, value);
    }
};

VGAScreen.prototype.vga_memory_write_graphical_linear = function(addr, value)
{
    var offset = addr << 2,
        color = this.vga256_palette[value];

    this.adapter.put_pixel_linear(offset | 2, color >> 16 & 0xFF);
    this.adapter.put_pixel_linear(offset | 1, color >> 8 & 0xFF);
    this.adapter.put_pixel_linear(offset, color & 0xFF);

    this.vga_memory[addr] = value;
};

VGAScreen.prototype.vga_memory_write_graphical_planar = function(addr, value)
{
    if(addr > 0xFFFF)
    {
        return;
    }

    // TODO:
    // Replace 4 byte operations with single double word operations

    var write,
        plane0_byte,
        plane1_byte,
        plane2_byte,
        plane3_byte;

    var write_mode = this.planar_mode & 3;

    // not implemented:
    // - Planar mode 3
    // - Rotation
    // - Shift mode
    // - Host Odd/Even
    dbg_assert((this.planar_rotate_reg & 7) === 0, "unimplemented");
    dbg_assert(write_mode !== 3, "unimplemented");
    dbg_assert((this.planar_mode & 0x70)  === 0, "unimplemented");
    
    if(write_mode === 0)
    {
        plane0_byte = plane1_byte = plane2_byte = plane3_byte = value;
    }
    else if(write_mode === 2)
    {
        if(this.plane_write_bm & 1)
        {
            write = value & 1 ? 0xFF : 0;
            plane0_byte = this.latch0 & ~this.planar_bitmap | write & this.planar_bitmap;
        }
        if(this.plane_write_bm & 2)
        {
            write = value & 2 ? 0xFF : 0;
            plane1_byte = this.latch1 & ~this.planar_bitmap | write & this.planar_bitmap;
        }
        if(this.plane_write_bm & 4)
        {
            write = value & 4 ? 0xFF : 0;
            plane2_byte = this.latch2 & ~this.planar_bitmap | write & this.planar_bitmap;
        }
        if(this.plane_write_bm & 8)
        {
            write = value & 8 ? 0xFF : 0;
            plane3_byte = this.latch3 & ~this.planar_bitmap | write & this.planar_bitmap;
        }
    }

    if(write_mode === 0 || write_mode === 2)
    {
        switch(this.planar_rotate_reg & 0x18)
        {
            case 0x08:
                plane0_byte &= this.latch0;
                plane1_byte &= this.latch1;
                plane2_byte &= this.latch2;
                plane3_byte &= this.latch3;
                break;
            case 0x10:
                plane0_byte |= this.latch0;
                plane1_byte |= this.latch1;
                plane2_byte |= this.latch2;
                plane3_byte |= this.latch3;
                break;
            case 0x18:
                plane0_byte ^= this.latch0;
                plane1_byte ^= this.latch1;
                plane2_byte ^= this.latch2;
                plane3_byte ^= this.latch3;
                break;
        }

        if(this.plane_write_bm & 1)
        {
            plane0_byte = this.latch0 & ~this.planar_bitmap | plane0_byte & this.planar_bitmap;
        }
        if(this.plane_write_bm & 2)
        {
            plane1_byte = this.latch1 & ~this.planar_bitmap | plane1_byte & this.planar_bitmap;
        }
        if(this.plane_write_bm & 4)
        {
            plane2_byte = this.latch2 & ~this.planar_bitmap | plane2_byte & this.planar_bitmap;
        }
        if(this.plane_write_bm & 8)
        {
            plane3_byte = this.latch3 & ~this.planar_bitmap | plane3_byte & this.planar_bitmap;
        }
    }
    else if(write_mode === 1)
    {
        plane0_byte = this.latch0;
        plane1_byte = this.latch1;
        plane2_byte = this.latch2;
        plane3_byte = this.latch3;
    }

    if(this.plane_write_bm & 1)
    {
        this.plane0[addr] = plane0_byte;
    }
    else
    {
        plane0_byte = this.plane0[addr];
    }
    if(this.plane_write_bm & 2)
    {
        this.plane1[addr] = plane1_byte;
    }
    else
    {
        plane1_byte = this.plane1[addr];
    }
    if(this.plane_write_bm & 4)
    {
        this.plane2[addr] = plane2_byte;
    }
    else
    {
        plane2_byte = this.plane2[addr];
    }
    if(this.plane_write_bm & 8)
    {
        this.plane3[addr] = plane3_byte;
    }
    else
    {
        plane3_byte = this.plane3[addr];
    }

    if(addr >= (this.screen_width * this.screen_height << 3))
    {
        return;
    }

    // Shift these, so that the bits for the color are in 
    // the correct position in the while loop
    plane1_byte <<= 1;
    plane2_byte <<= 2;
    plane3_byte <<= 3;

    // 8 pixels per byte, we start at high (addr << 3 | 7)
    // << 2 because we're using put_pixel_linear
    var offset = (addr << 3 | 7) << 2;

    for(var i = 0; i < 8; i++)
    {
        var color_index = 
                plane0_byte >> i & 1 |
                plane1_byte >> i & 2 |
                plane2_byte >> i & 4 |
                plane3_byte >> i & 8,
            color = this.vga256_palette[this.dac_map[color_index]];

        this.adapter.put_pixel_linear(offset | 2, color >> 16);
        this.adapter.put_pixel_linear(offset | 1, color >> 8 & 0xFF);
        this.adapter.put_pixel_linear(offset, color & 0xFF);

        offset -= 4;
    }
};

VGAScreen.prototype.text_mode_redraw = function()
{
    var addr = 0x18000 | this.start_address << 1,
        chr,
        color;

    for(var row = 0; row < this.max_rows; row++)
    {
        for(var col = 0; col < this.max_cols; col++)
        {
            chr = this.vga_memory[addr];
            color = this.vga_memory[addr | 1];

            this.adapter.put_char(row, col, chr, 
                this.vga256_palette[color >> 4 & 0xF], this.vga256_palette[color & 0xF]);

            addr += 2;
        }
    }
};

VGAScreen.prototype.graphical_linear_redraw = function()
{
    // TODO
};

VGAScreen.prototype.graphical_planar_redraw = function()
{
    var addr = 0;

    for(var y = 0; y < this.screen_height; y++)
    {
        for(var x = 0; x < this.screen_width; x += 8)
        {
            for(var i = 0; i < 8; i++)
            {
                var index = y * this.screen_width + x << 2;
                var color = 
                        this.plane0[addr] >> i & 1 |
                        this.plane1[addr] >> i << 1 & 2 |
                        this.plane2[addr] >> i << 2 & 4 |
                        this.plane3[addr] >> i << 3 & 8;

                this.adapter.put_pixel_linear32(index, this.vga256_palette[this.dac_map[color]]);
            }

            addr++;
        }
    }
};

VGAScreen.prototype.vga_memory_write_text_mode = function(addr, value)
{
    if(addr < 0x18000)
    {
        return;
    }

    var memory_start = (addr - 0x18000 >> 1) - this.start_address,
        row = memory_start / this.max_cols | 0,
        col = memory_start % this.max_cols,
        chr,
        color;

    if(addr & 1)
    {
        color = value;
        chr = this.vga_memory[addr & ~1];
    }
    else
    {
        chr = value;
        color = this.vga_memory[addr | 1];
    }

    this.adapter.put_char(row, col, chr, 
            this.vga256_palette[color >> 4 & 0xF], this.vga256_palette[color & 0xF]);

    this.vga_memory[addr] = value;
};

VGAScreen.prototype.update_cursor = function()
{
    var row = (this.cursor_address - this.start_address) / this.max_cols | 0,
        col = (this.cursor_address - this.start_address) % this.max_cols;

    row = Math.min(this.max_rows - 1, row);

    this.adapter.update_cursor(row, col);
};

VGAScreen.prototype.svga_memory_read8 = function(addr)
{
    return this.svga_memory[addr & 0xFFFFFFF];
};

VGAScreen.prototype.svga_memory_read32 = function(addr)
{
    addr &= 0xFFFFFFF;

    if(addr & 3)
    {
        return this.svga_memory[addr] | this.svga_memory[addr + 1] << 8 |
               this.svga_memory[addr + 2] << 16 | this.svga_memory[addr + 3] << 24;
    }
    else
    {
        return this.svga_memory32[addr >> 2];
    }
};

VGAScreen.prototype.svga_memory_write8 = function(addr, value)
{
    addr &= 0xFFFFFFF;
    this.svga_memory[addr] = value;

    if(!this.svga_enabled)
    {
        return;
    }

    addr -= this.svga_offset;

    if(addr < 0)
    {
        return;
    }

    switch(this.svga_bpp)
    {
        case 32:
            // 4th byte is meaningless
            if((addr & 3) !== 3)
            {
                this.adapter.put_pixel_linear(addr, value);
            }
            break;

        case 24:
            addr = (addr << 2) / 3 | 0;
            this.adapter.put_pixel_linear(addr, value);
            break;

        case 16:
            if(addr & 1)
            {
                var word = this.svga_memory16[addr >> 1],
                    red = word & 0x1F,
                    green = word >> 5 & 0x3F,
                    blue = value >> 3 & 0x1F;

                blue = blue * 0xFF / 0x1F | 0;
                green = green * 0xFF / 0x3F | 0;
                red = red * 0xFF / 0x1F | 0;

                addr <<= 1;

                this.adapter.put_pixel_linear(addr, red);
                this.adapter.put_pixel_linear(addr - 1, green);
                this.adapter.put_pixel_linear(addr - 2, blue);
            }
            break;

        case 8:
            var color = this.vga256_palette[value],
                offset = addr << 2;

            this.adapter.put_pixel_linear(offset, color >> 16 & 0xFF);
            this.adapter.put_pixel_linear(offset | 1, color >> 8 & 0xFF);
            this.adapter.put_pixel_linear(offset | 2, color & 0xFF);
            break;

        default:
            if(DEBUG)
            {
                throw "SVGA: Unsupported BPP: " + this.svga_bpp;
            }
    }
};

VGAScreen.prototype.svga_memory_write32 = function(addr, value)
{
    addr &= 0xFFFFFFF;

    if(addr & 3 || this.svga_bpp !== 32)
    {
        this.svga_memory_write8(addr, value & 0xFF);
        this.svga_memory_write8(addr + 1, value >> 8 & 0xFF);
        this.svga_memory_write8(addr + 2, value >> 16 & 0xFF);
        this.svga_memory_write8(addr + 3, value >> 24 & 0xFF);
        return;
    }

    this.svga_memory32[addr >> 2] = value;

    if(!this.svga_enabled)
    {
        return;
    }

    addr -= this.svga_offset;

    if(addr < 0)
    {
        return;
    }

    switch(this.svga_bpp)
    {
        case 32:
            this.adapter.put_pixel_linear32(addr, value);
            break;

        default:
            if(DEBUG)
            {
                throw "SVGA: Unsupported BPP: " + this.svga_bpp;
            }
    }
};

VGAScreen.prototype.svga_redraw = function()
{
    var addr = this.svga_offset;
    var count = this.svga_height * this.svga_width;
    var pixel = 0;

    if(this.svga_bpp === 32)
    {
        var buf32 = new Int32Array(this.svga_memory.buffer);
        addr >>= 2;
        count <<= 2;

        for(; pixel < count; )
        {
            this.adapter.put_pixel_linear32(pixel, buf32[addr++]);
            pixel += 4;
        }
    }
    else if(this.svga_bpp === 24)
    {
        count <<= 2;

        for(; pixel < count; )
        {
            this.adapter.put_pixel_linear(pixel++, this.svga_memory[addr++]);
            this.adapter.put_pixel_linear(pixel++, this.svga_memory[addr++]);
            this.adapter.put_pixel_linear(pixel++, this.svga_memory[addr++]);
            pixel++;
        }
    }
    else
    {
        // TODO
    }
};

VGAScreen.prototype.timer = function(time)
{
    if(this.do_complete_redraw)
    {
        this.do_complete_redraw = false;

        if(this.svga_enabled)
        {
            this.svga_redraw();
        }
        else if(this.graphical_mode)
        {
            if(this.graphical_mode_is_linear)
            {
                this.graphical_linear_redraw();
            }
            else 
            {
                this.graphical_planar_redraw();
            }
        }
        else
        {
            this.text_mode_redraw();
        }
    }

    this.adapter.timer();
};

VGAScreen.prototype.destroy = function()
{

};

/**
 * @param {number} cols_count 
 * @param {number} rows_count 
 */
VGAScreen.prototype.set_size_text = function(cols_count, rows_count)
{
    this.max_cols = cols_count;
    this.max_rows = rows_count;

    this.adapter.set_size_text(cols_count, rows_count);
};

VGAScreen.prototype.set_size_graphical = function(width, height)
{
    this.adapter.set_size_graphical(width, height);
};

VGAScreen.prototype.update_cursor_scanline = function()
{
    this.adapter.update_cursor_scanline(this.cursor_scanline_start, this.cursor_scanline_end);
};

VGAScreen.prototype.set_video_mode = function(mode)
{
    var is_graphical = false;

    switch(mode)
    {
        case 0x03:
            this.set_size_text(80, 25);
            break;
        case 0x10:
            this.screen_width = 640;
            this.screen_height = 350;
            is_graphical = true;
            this.graphical_mode_is_linear = false;
            break;
        case 0x12:
            this.screen_width = 640;
            this.screen_height = 480;
            is_graphical = true;
            this.graphical_mode_is_linear = false;
            break;
        case 0x13:
            this.screen_width = 320;
            this.screen_height = 200;
            is_graphical = true;
            this.graphical_mode_is_linear = true;
            break;
        default:
    }

    this.adapter.set_mode(is_graphical);
    this.stats.is_graphical = is_graphical;

    if(is_graphical)
    {
        this.set_size_graphical(this.screen_width, this.screen_height);
        this.stats.res_x = this.screen_width;
        this.stats.res_y = this.screen_height;
        this.stats.bpp = 8;
    }

    this.graphical_mode = is_graphical;

    dbg_log("Current video mode: " + h(mode), LOG_VGA);
};

VGAScreen.prototype.port3C0_write = function(value)
{
    if(this.attribute_controller_index === -1)
    {
        this.attribute_controller_index = value;
    }
    else
    {
        if(this.attribute_controller_index < 0x10)
        {
            this.dac_map[this.attribute_controller_index] = value;
        }
        else
        switch(this.attribute_controller_index)
        {
            default:
                dbg_log("3C0 / attribute controller write " + h(this.attribute_controller_index) + ": " + h(value), LOG_VGA);
        }

        this.attribute_controller_index = -1;
    }
};

VGAScreen.prototype.port3C0_read = function()
{
    dbg_log("3C0 read", LOG_VGA);
    var result = this.attribute_controller_index;
    this.attribute_controller_index = -1;
    return result;
};

VGAScreen.prototype.port3C1_read = function()
{
    this.attribute_controller_index = -1;

    dbg_log("3C1 / attribute controller read " + h(this.attribute_controller_index), LOG_VGA);
    return -1;
};

VGAScreen.prototype.port3C2_write = function(value)
{
    dbg_log("3C2 / miscellaneous output register = " + h(value), LOG_VGA);
    this.miscellaneous_output_register = value;

    // cheat way to figure out which video mode is indended to be used
    this.switch_video_mode(value);
};

VGAScreen.prototype.port3C4_write = function(value)
{
    this.sequencer_index = value;
};

VGAScreen.prototype.port3C4_read = function()
{
    return this.sequencer_index;
};

VGAScreen.prototype.port3C5_write = function(value)
{
    switch(this.sequencer_index)
    {
        case 0x02:
            //dbg_log("plane write mask: " + h(value), LOG_VGA);
            this.plane_write_bm = value;
            break;
        case 0x04:
            dbg_log("sequencer memory mode: " + h(value), LOG_VGA);
            this.sequencer_memory_mode = value;
            break;
        default:
            dbg_log("3C5 / sequencer write " + h(this.sequencer_index) + ": " + h(value), LOG_VGA);
    }
};

VGAScreen.prototype.port3C5_read = function()
{
    switch(this.sequencer_index)
    {
        case 0x02:
            return this.plane_write_bm;
        case 0x04:
            return this.sequencer_memory_mode;
        case 0x06:
            return 0x12;
        default:
            dbg_log("3C5 / sequencer read " + h(this.sequencer_index), LOG_VGA);
    }
    return 0;
};

VGAScreen.prototype.port3C7_write = function(index)
{
    // index for reading the DAC
    dbg_log("3C7 write: " + h(index), LOG_VGA);
};

VGAScreen.prototype.port3C8_write = function(index)
{
    this.dac_color_index = index * 3;
};

VGAScreen.prototype.port3C9_write = function(color_byte)
{
    var index = this.dac_color_index / 3 | 0,
        offset = this.dac_color_index % 3,
        color = this.vga256_palette[index];

    color_byte = color_byte * 255 / 63 & 0xFF; 

    if(offset === 0)
    {
        color = color & ~0xFF0000 | color_byte << 16;
    }
    else if(offset === 1)
    {
        color = color & ~0xFF00 | color_byte << 8;
    }
    else
    {
        color = color & ~0xFF | color_byte;
        dbg_log("dac set color, index=" + h(index) + " value=" + h(color), LOG_VGA);
    }

    this.vga256_palette[index] = color;
    this.dac_color_index++;

    this.do_complete_redraw = true;
};

VGAScreen.prototype.port3CC_read = function()
{
    return this.miscellaneous_output_register;
};

VGAScreen.prototype.port3CE_write = function(value)
{
    this.graphics_index = value;
};

VGAScreen.prototype.port3CE_read = function()
{
    return this.graphics_index;
};

VGAScreen.prototype.port3CF_write = function(value)
{
    switch(this.graphics_index)
    {
        // TODO: Set/Reset bit
        //case 0:
        //case 1:
            //break;
        case 3:
            this.planar_rotate_reg = value;
            dbg_log("plane rotate: " + h(value), LOG_VGA);
            break;
        case 4:
            this.plane_read = value;
            dbg_assert(value < 4);
            dbg_log("plane read: " + h(value), LOG_VGA);
            break;
        case 5:
            this.planar_mode = value;
            dbg_log("planar mode: " + h(value), LOG_VGA);
            break;
        case 8:
            this.planar_bitmap = value;
            //dbg_log("planar bitmap: " + h(value), LOG_VGA);
            break;
        default:
            dbg_log("3CF / graphics write " + h(this.graphics_index) + ": " + h(value), LOG_VGA);
    }
};

VGAScreen.prototype.port3CF_read = function()
{
    switch(this.graphics_index)
    {
        case 3:
            return this.planar_rotate_reg;
        case 4:
            return this.plane_read;
        case 5:
            return this.planar_mode;
        case 8:
            return this.planar_bitmap;
        default:
            dbg_log("3CF / graphics read " + h(this.graphics_index), LOG_VGA);
    }
    return 0;
};

VGAScreen.prototype.port3D4_write = function(register)
{
    this.index_crtc = register;
};

VGAScreen.prototype.port3D5_write = function(value)
{
    switch(this.index_crtc)
    {
        case 0x9:
            this.max_scan_line = value;
            if((value & 0x1F) === 7)
            {
                this.set_size_text(80, 50);
            }
            else
            {
                this.set_size_text(80, 25);
            }
            break;
        case 0xA:
            this.cursor_scanline_start = value;
            this.update_cursor_scanline();
            break;
        case 0xB:
            this.cursor_scanline_end = value;
            this.update_cursor_scanline();
            break;
        case 0xC:
            this.start_address = this.start_address & 0xff | value << 8;
            this.do_complete_redraw = true;
            break;
        case 0xD:
            this.start_address = this.start_address & 0xff00 | value;
            this.do_complete_redraw = true;
            //dbg_log("start addr: " + h(this.start_address, 4), LOG_VGA);
            break;
        case 0xE:
            this.cursor_address = this.cursor_address & 0xFF | value << 8;
            this.update_cursor();
            break;
        case 0xF:
            this.cursor_address = this.cursor_address & 0xFF00 | value;
            this.update_cursor();
            break;
        default:
            dbg_log("3D5 / CRTC write " + h(this.index_crtc) + ": " + h(value), LOG_VGA);
    }

};

VGAScreen.prototype.port3D5_read = function()
{
    if(this.index_crtc === 0x9)
    {
        return this.max_scan_line;
    }
    if(this.index_crtc === 0xA)
    {
        return this.cursor_scanline_start;
    }
    else if(this.index_crtc === 0xB)
    {
        return this.cursor_scanline_end;
    }
    else if(this.index_crtc === 0xE)
    {
        return this.cursor_address >> 8;
    }
    else if(this.index_crtc === 0xF)
    {
        return this.cursor_address & 0xFF;
    }

    dbg_log("3D5 read " + h(this.index_crtc), LOG_VGA);
    return 0;
};

VGAScreen.prototype.port3DA_read = function()
{
    // status register
    this.port_3DA_value ^= 8;
    this.attribute_controller_index = -1
    return this.port_3DA_value;
};

VGAScreen.prototype.switch_video_mode = function(mar)
{
    // Cheap way to figure this out, using the Miscellaneous Output Register 
    // See: http://wiki.osdev.org/VGA_Hardware#List_of_register_settings

    if(mar === 0x67)
    {
        this.set_video_mode(0x3);
    }
    else if(mar === 0xE3)
    {
        // also mode X
        this.set_video_mode(0x12);
    }
    else if(mar === 0x63)
    {
        this.set_video_mode(0x13);
    }
    else if(mar === 0xA3)
    {
        this.set_video_mode(0x10);
    }
    else
    {
        dbg_log("Unkown MAR value: " + h(mar, 2) + ", going back to text mode", LOG_VGA);
        this.set_video_mode(0x3);
    }
};

VGAScreen.prototype.svga_bytes_per_line = function()
{
    var bits = this.svga_bpp === 15 ? 16 : this.svga_bpp;

    return this.svga_width * bits / 8;
};

VGAScreen.prototype.port1CE_write = function(value)
{
    this.dispi_index = value;
};

VGAScreen.prototype.port1CF_write = function(value, low_port)
{
    if(low_port === 0x1CE)
    {
        this.dispi_index = this.dispi_index & 0xFF | value << 8;
    }
    else
    {
        this.dispi_value = value;

        dbg_log("1CF / dispi write low " + h(this.dispi_index) + ": " + h(value), LOG_VGA);
    }
};

VGAScreen.prototype.port1D0_write = function(value)
{
    dbg_log("1D0 / dispi write high " + h(this.dispi_index) + ": " + h(value), LOG_VGA);
    this.dispi_value = this.dispi_value & 0xFF | value << 8;

    switch(this.dispi_index)
    {
        case 1:
            this.svga_width = this.dispi_value;
            if(this.svga_width > MAX_XRES)
            {
                dbg_log("svga_width reduced from " + this.svga_width + " to " + MAX_XRES, LOG_VGA);
                this.svga_width = MAX_XRES;
            }
            break;
        case 2:
            this.svga_height = this.dispi_value;
            if(this.svga_height > MAX_YRES)
            {
                dbg_log("svga_height reduced from " + this.svga_height + " to " + MAX_YRES, LOG_VGA);
                this.svga_height = MAX_YRES;
            }
            break;
        case 3:
            this.svga_bpp = this.dispi_value;
            break;
        case 4:
            // enable, options
            this.svga_enabled = (this.dispi_value & 1) === 1;
            this.dispi_enable_value = this.dispi_value;
            break;
        case 9:
            // y offset
            this.svga_offset = this.dispi_value * this.svga_bytes_per_line();
            dbg_log("SVGA offset: " + h(this.svga_offset) + " y=" + h(this.dispi_value), LOG_VGA);
            this.do_complete_redraw = true;
            break;
        default:
    }

    if(this.svga_enabled && (!this.svga_width || !this.svga_height))
    {
        dbg_log("SVGA: disabled because of invalid width/height: " + this.svga_width + "x" + this.svga_height, LOG_VGA);
        this.svga_enabled = false;
    }

    dbg_log("SVGA: enabled=" + this.svga_enabled + ", " + this.svga_width + "x" + this.svga_height + "x" + this.svga_bpp, LOG_VGA);

    if(this.svga_enabled && this.dispi_index === 4)
    {
        this.set_size_graphical(this.svga_width, this.svga_height);
        this.adapter.set_mode(true);

        this.stats.bpp = this.svga_bpp;
        this.stats.is_graphical = true;
        this.stats.res_x = this.svga_width;
        this.stats.res_y = this.svga_height;
    }
};

VGAScreen.prototype.port1CF_read = function()
{
    dbg_log("1CF / dispi read low " + h(this.dispi_index), LOG_VGA);
    return this.svga_register_read(this.dispi_index);
};
VGAScreen.prototype.port1D0_read = function()
{
    dbg_log("1D0 / dispi read high " + h(this.dispi_index), LOG_VGA);
    return this.svga_register_read(this.dispi_index) >> 8;
};

VGAScreen.prototype.svga_register_read = function(n)
{
    switch(n)
    {
        case 0:
            // id
            return 0xB0C0;
        case 1:
            return this.dispi_value & 2 ? MAX_XRES : this.svga_width;
        case 2:
            return this.dispi_value & 2 ? MAX_YRES : this.svga_height;
        case 3:
            return this.dispi_value & 2 ? MAX_BPP : this.svga_bpp;
        case 4:
            return this.dispi_enable_value;
        case 6:
            // virtual width
            return this.svga_width;
        case 0x0A:
            // memory size in 64 kilobyte banks
            return this.vga_memory_size / VGA_BANK_SIZE | 0;
    }

    return 0xFF;
};


/** @constructor */
function VGADummyAdapter()
{
    this.put_pixel_linear = function() {};
    this.put_pixel_linear32 = function() {};
    this.put_char = function() {};
    this.set_mode = function() {};
    this.set_size_graphical = function() {};
    this.set_size_text = function() {};
    this.update_cursor = function() {};
    this.update_cursor_scanline = function() {};
    this.timer = function() {};
}