Subversion Repositories s80186

// Copyright Jamie Iles, 2017
//
// This file is part of s80x86.
//
// s80x86 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.
//
// s80x86 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 s80x86.  If not, see <http://www.gnu.org/licenses/>.
 
#include <gtest/gtest.h>
#include <VSegmentRegisterFile.h>
 
#include "VerilogTestbench.h"
#include "RTLCPU.h"
 
class SegmentRegisterFileTestFixture
    : public VerilogTestbench<VSegmentRegisterFile>,
      public ::testing::Test
{
public:
    void write_sr(uint8_t sr, uint16_t v);
    void trigger_read_sr(uint8_t sr);
    uint16_t get_sr() const;
};
 
void SegmentRegisterFileTestFixture::write_sr(uint8_t sr, uint16_t v)
{
    dut.wr_sel = sr;
    dut.wr_val = v;
    dut.wr_en = 1;
    cycle();
    dut.wr_en = 0;
}
 
void SegmentRegisterFileTestFixture::trigger_read_sr(uint8_t sr)
{
    dut.rd_sel = sr;
    cycle();
}
 
uint16_t SegmentRegisterFileTestFixture::get_sr() const
{
    return dut.rd_val;
}
 
TEST_F(SegmentRegisterFileTestFixture, segment_read_write)
{
    for (auto r = 0; r < 4; ++r)
        write_sr(r, ~r);
 
    for (auto r = 0; r < 4; ++r) {
        trigger_read_sr(r);
        EXPECT_EQ(~r & 0xffff, get_sr());
    }
}
 
TEST_F(SegmentRegisterFileTestFixture, sr_read_during_write)
{
    write_sr(0, 0x1234);
    ASSERT_EQ(0x1234, get_sr());
}
 
TEST_F(SegmentRegisterFileTestFixture, cs_output_during_write)
{
    write_sr(1, 0xf00f);
    ASSERT_EQ(0xf00f, dut.cs);
}
 
class CoreFixture : public RTLCPU<verilator_debug_enabled>,
                    public ::testing::Test
{
public:
    CoreFixture() : RTLCPU(current_test_name())
    {
    }
};
TEST_F(CoreFixture, SegmentRegisterFileReset)
{
    for (auto r = static_cast<int>(ES); r <= static_cast<int>(DS); ++r) {
        write_reg(static_cast<GPR>(r), ~r);
        EXPECT_EQ(read_reg(static_cast<GPR>(r)), static_cast<uint16_t>(~r));
    }
 
    reset();
 
    for (auto r = static_cast<int>(ES); r <= static_cast<int>(DS); ++r)
        EXPECT_EQ(read_reg(static_cast<GPR>(r)),
                  static_cast<GPR>(r) == CS ? 0xffff : 0);
}