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 <VIP.h>

#include "VerilogTestbench.h"

class IPTestFixture : public VerilogTestbench<VIP>, public ::testing::Test

{

public:

    void inc();

    uint16_t get();

    void commit();

    void rollback();

    void set(uint16_t v);

};

void IPTestFixture::inc()

{

    this->dut.inc = 1;

    after_n_cycles(1, [&] { this->dut.inc = 0; });

    cycle();

}

uint16_t IPTestFixture::get()

{

    return this->dut.val;

}

void IPTestFixture::set(uint16_t val)

{

    this->dut.wr_val = val;

    this->dut.wr_en = 1;

    after_n_cycles(1, [&] { this->dut.wr_en = 0; });

    cycle();

}

void IPTestFixture::commit()

{

    this->dut.start_instruction = 1;

    after_n_cycles(1, [&] { this->dut.start_instruction = 0; });

    cycle();

}

void IPTestFixture::rollback()

{

    this->dut.rollback = 1;

    after_n_cycles(1, [&] { this->dut.rollback = 0; });

    cycle();

}

TEST_F(IPTestFixture, IncrementAndReset)

{

    ASSERT_EQ(0U, get());

    inc();

    inc();

    ASSERT_EQ(2U, get());

    reset();

    ASSERT_EQ(0U, get());

}

TEST_F(IPTestFixture, SetNewValue)

{

    ASSERT_EQ(0U, get());

    set(0xa55a);

    ASSERT_EQ(0xa55a, get());

}

TEST_F(IPTestFixture, IncNoRollback)

{

    set(0x0100);

    commit();

    inc();

    inc();

    inc();

    inc();

    rollback();

    ASSERT_EQ(0x0100, get());

}